Blog archive

September 2024

• My recent contributions to Gecko (3/3)

July 2024

• My recent contributions to Gecko (2/3)

June 2024

• My recent contributions to Gecko (1/3)

May 2024

• Flygskam and o caminho da Corunha
• Time travel debugging of WebKit with rr

June 2023

• Infinite version of the Set card game

January 2023

• MathML in Chrome 109

June 2022

• Update on OpenType MATH fonts
• Short blog post from Madrid's hotel room

July 2020

• Igalia's contribution to the Mozilla project and Open Prioritization
• Contributions to Web Platform Interoperability (First Half of 2020)

April 2020

• Transcendental number from the oscillating zeno's paradox
• A Zeno paradox to prove the reals are uncountable

March 2020

• S[α] for strings of ordinals
• Ordinals as strings of ∅, commas and braces

December 2019

• Review of my year 2019 at Igalia

February 2019

• Review of Igalia's Web Platform activities (H2 2018)

July 2018

• Review of Igalia's Web Platform activities (H1 2018)

April 2018

• BlinkOn 9: Working on the Web Platform from a cooperative

January 2018

• Review of Igalia's Web Platform activities (H2 2017)

October 2017

• Recent Browser Events

September 2017

• Review of Igalia's Web Platform activities (H1 2017)

August 2017

• The AMP Project and Igalia working together to improve WebKit and the Web Platform

April 2017

• MathZilla collection ported to WebExtensions

January 2017

• Mus Window System

December 2016

• ¡Igalia is hiring!
• STIX Two in Gecko and WebKit
• Chromium on R-Car M3 & AGL/Wayland

October 2016

• Analysis of Ozone Wayland
• Fonts at the Web Engines Hackfest 2016

July 2016

• MathML Improvements in WebKit
• MathML Refactoring in WebKit

April 2016

• OpenType MATH in HarfBuzz

December 2015

• MathML at the Web Engines Hackfest 2015

January 2015

• The canonical well-ordering of α×α (part 2)
• The canonical well-ordering of α×α (part 1)

December 2013

• Decomposition of 2D-transform matrices

June 2013

• Exercises in Set Theory: Iterated Forcing and Martin’s Axiom

May 2013

• Exercises in Set Theory: Applications of Forcing

April 2013

• Suslin’s Problem

March 2013

• Exercises in Set Theory: Classical Independence Results

January 2013

• Analysis of Lithium's algorithm

November 2012

• Exercises in Set Theory: Ultrafilters and Boolean algebras

September 2012

• Master Thesis, LaTeXML and Quantum Groups (part 2)

June 2012

• Quantum Groups at root of unity

April 2012

• Cyclic HSP based on Subgroup Reduction

March 2012

• Shelah’s PCF theory

December 2010

• Maximal Subgroup Reduction and HSP over Projective Linear Groups
• Can transfinite numbers be extended to more general algebraic structures?

August 2010

• Two Open Problems for the Subgroup-Reduction based Dedekindian HSP Algorithm

July 2010

• Thoughts on the Dihedral Hidden Subgroup Problem (part 3)

June 2010

• Thoughts on the Dihedral Hidden Subgroup Problem (part 2)
• Thoughts on the Dihedral Hidden Subgroup Problem

May 2010

• Two contributions to the Hidden Subgroup Problem