Some blog posts

• 2024 Feb 4 TMP: Abstraction-Safe Effect Handlers via Tunneling (pt 2)
• 2024 Jan 21 Substitution: the boring part of eval implementations
• 2024 Jan 15 TMP: Abstraction-Safe Effect Handlers via Tunneling (pt 1)
• 2023 Dec 29 Merry Christmas
• 2023 Dec 9 TMP: Fully In-Place Functional Programming
• 2023 Nov 26 TMP: Counting Immutable Beans
• 2023 Nov 17 Bottom of the Stack
• 2023 Nov 16 Syntax Capabilities pt. 2
• 2023 Oct 11 Syntax Capabilities
• 2022 Oct 16 Wayland interfaces in the times of rust ownership
• 2020 May 26 Code-vid: yasm utf string ops
• 2020 May 26 Code-vid: UEFI
• 2020 Jan 15 RiiR: Ghosts of Departed Proofs
• 2019 Dec 6 Parsing 2: recursive descent
• 2019 Nov 24 colour and light
• 2019 Nov 9 Parsing 1: PDA
• 2018 Jun 6 slack-rtm