Math blog
- September 7th, 2025 | Fibre integrals and the Thom isomorphism (unfinished)
- July 26th, 2025 | Some solutions to problems from the 2025 IMO
- July 1st, 2025 | Leray-Hirsch theorem
- June 11th, 2025 | Seifert-Van Kampen for fundamental groupoids in painful detail
- May 14th, 2025 | Every exercise in the first three chapters of Hartshorne (incomplete!)
- May 6th, 2025 | A complete proof of the Myers-Steenrod theorem