Blog Archive

Jul 13, 2020 » Igalia's contribution to the Mozilla project and Open Prioritization

Jul 6, 2020 » Contributions to Web Platform Interoperability (First Half of 2020)

Apr 6, 2020 » Transcendental number from the oscillating zeno's paradox

Apr 3, 2020 » A Zeno paradox to prove the reals are uncountable

Mar 8, 2020 » S[α] for strings of ordinals

Mar 5, 2020 » Ordinals as strings of ∅, commas and braces

Dec 10, 2019 » Review of my year 2019 at Igalia

Feb 27, 2019 » Review of Igalia's Web Platform activities (H2 2018)

Jul 10, 2018 » Review of Igalia's Web Platform activities (H1 2018)

Apr 26, 2018 » BlinkOn 9: Working on the Web Platform from a cooperative

Jan 12, 2018 » Review of Igalia's Web Platform activities (H2 2017)

Oct 23, 2017 » Recent Browser Events

Sep 7, 2017 » Review of Igalia's Web Platform activities (H1 2017)

Aug 30, 2017 » The AMP Project and Igalia working together to improve WebKit and the Web Platform

Aug 28, 2017 » Rêve avec moi

Apr 29, 2017 » MathZilla collection ported to WebExtensions

Jan 23, 2017 » Mus Window System

Dec 22, 2016 » ¡Igalia is hiring!

Dec 10, 2016 » STIX Two in Gecko and WebKit

Dec 3, 2016 » Chromium on R-Car M3 & AGL/Wayland

Oct 25, 2016 » Analysis of Ozone Wayland

Oct 6, 2016 » Fonts at the Web Engines Hackfest 2016

Jul 13, 2016 » MathML Improvements in WebKit

Jul 9, 2016 » MathML Refactoring in WebKit

Apr 16, 2016 » OpenType MATH in HarfBuzz

Dec 20, 2015 » MathML at the Web Engines Hackfest 2015

Jan 31, 2015 » The canonical well-ordering of α×α (part 2)

Jan 30, 2015 » The canonical well-ordering of α×α (part 1)

Dec 1, 2013 » Decomposition of 2D-transform matrices

Jun 1, 2013 » Exercises in Set Theory: Iterated Forcing and Martin’s Axiom

May 3, 2013 » Exercises in Set Theory: Applications of Forcing

Apr 4, 2013 » Suslin’s Problem

Mar 20, 2013 » Exercises in Set Theory: Classical Independence Results

Jan 22, 2013 » Analysis of Lithium's algorithm

Nov 27, 2012 » Exercises in Set Theory: Ultrafilters and Boolean algebras

Sep 13, 2012 » Master Thesis, LaTeXML and Quantum Groups (part 2)

Jun 23, 2012 » Quantum Groups at root of unity

Apr 22, 2012 » Cyclic HSP based on Subgroup Reduction

Mar 15, 2012 » Shelah’s PCF theory

Dec 10, 2010 » Maximal Subgroup Reduction and HSP over Projective Linear Groups

Dec 1, 2010 » Can transfinite numbers be extended to more general algebraic structures?

Aug 5, 2010 » Two Open Problems for the Subgroup-Reduction based Dedekindian HSP Algorithm

Jul 5, 2010 » Thoughts on the Dihedral Hidden Subgroup Problem (part 3)

Jun 20, 2010 » Thoughts on the Dihedral Hidden Subgroup Problem (part 2)

Jun 16, 2010 » Thoughts on the Dihedral Hidden Subgroup Problem

May 6, 2010 » Two contributions to the Hidden Subgroup Problem