2026
an archive of posts from this year
| 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 6, 2026 | Changing bases — an intuitive explanation |