| 31 Jan 2025 |
Project Euler 208: Using classical algebra to speed up a graph search |
| 12 Jun 2024 |
Notes on learning Lean (4/?) |
| 09 May 2024 |
Notes on learning Lean (3/?) |
| 26 Feb 2024 |
Notes on learning Lean (2/?) |
| 13 Feb 2024 |
Notes on learning Lean (1/?) |
| 16 Aug 2022 |
Writing a Pandoc filter to convert Org to Things |
| 17 Oct 2020 |
On why I use Emacs to write TeX |
| 26 Sep 2020 |
Summer 2020 update |
| 12 Jan 2020 |
Counting orbit points (part 3): Asymptotics for convex-cocompact groups |
| 05 Jan 2020 |
Counting orbit points (part 2): Patterson-Sullivan theory |
| 19 Oct 2019 |
Counting orbit points under group actions - Part 1 |
| 18 Dec 2018 |
What is an "a priori estimate"? |
| 14 Oct 2018 |
The most overloaded word in math |
| 30 Jun 2018 |
An algebraic definition of the cotangent space |
| 02 Jun 2018 |
Summer 2018 update |
| 20 Apr 2018 |
Construction of Chern classes |
| 24 Feb 2018 |
A week at Berlin Mathematical School |
| 17 Jan 2018 |
Setting up GitLab to automatically generate PDFs from committed LaTeX files |
| 25 Dec 2017 |
Cohomology as a measure of local to global failure |