January 1, 2026
December 8, 2025
November 1, 2025
- Teaching Compilers: Incrementally and Extensibly once more. The course notes are updated and extended. The significantly re-written Section 3 of the course notes (starts on p.12) now gives a very simple introduction to optimization in the tagless-final style without re-writing or pattern-matching, using normalization-by-evaluation instead.
October 3, 2025
- More Fun with Monoids and Map-Reduce: with quite more explanations -- in particular, of the parallel Horner rule (relating to outer semidirect product) and Boyer-Moore majority voting. Added the complete OCaml code for the parallel nested-aggregation, using OCaml domains.
September 5, 2025
August 6, 2025
continues in a separate document: ChangeLog-29.html
continues in a separate document: ChangeLog-0.html