Writing about type systems, compilers, functional programming, and the ideas that make software more expressive and correct.
Some decisions are reflexes and some need deliberation. A small experiment in learning a world model as code: synthesize a program from observations, verify it against everything seen, and plan inside it before acting.
How structured concurrency applies the same insight Dijkstra used to abolish goto — and why the result looks a lot like the composable, effect-explicit model functional programmers have been building toward for decades.
Why treating an append-only log as the primary source of truth simplifies distributed state, enables replay-based recovery, and maps perfectly onto CQRS.
Product types, sum types, and why combining them gives you a small, complete algebra, explained through Java records and sealed interfaces. First in a series leading to algebraic effects.
How a self-referential type bound solves a real inheritance problem, why Java's own Enum uses the same trick, and what it all means in practice.