2026
an archive of posts from this year
| Aug 21, 2026 | The hand that writes |
|---|---|
| Aug 3, 2026 | How Universal Proofs Motivate Dependent Types |
| Jul 29, 2026 | Passenger |
| Jul 9, 2026 | Reading Moggi: computations as effectful maps |
| Jul 6, 2026 | What makes induction legitimate? |
| Jul 5, 2026 | What does a language for a Turing machine represent? |
| Jul 5, 2026 | Induction is about how things are made |
| Apr 28, 2026 | On Abstract Thinking |
| Apr 6, 2026 | Changing bases — an intuitive explanation |