2026
an archive of posts from this year
| Apr 30, 2026 | Currying in Categories |
|---|---|
| Apr 17, 2026 | Part 3: Verifying IMP Programs |
| Apr 17, 2026 | Part 2: Lean's `Part` Monad |
| Apr 17, 2026 | Part 1: Domain Theory Basics |
| Apr 17, 2026 | Partiality in a Total Type Theory |
| Feb 07, 2026 | Foundations of Algorithmic Randomness and Computability |