Vulgarization and blog posts about the GIFT framework, published on Substack.
| Post | Topic |
|---|---|
| Gift from Bit | Why geometry might be the language of physics |
| 13 Theorems, Zero Trust Required | Machine-verified proofs in Lean 4 |
| Joyce’s Theorem, Now in Lean | Formalizing G₂ holonomy existence |
| The Algebra That Waited | E₈ and the structure of matter |
| On What Comes First | Mathematical platonism and physics |
| Roberto Carlos’ Geometry | Geometry explained through football |
| Lice of the Universe | A lighthearted take on fundamental constants |
All posts are also available at giftheory.substack.com.