I write about:
- functional programming in Haskell, Scala, Erlang
- category theory encodings in Scala, Haskell, Idris
- blockchain, especially Cardano
- compilers, type theory, constraint solvers in Scala, Haskell
- distributed systems in Erlang
- formal verification in Agda
- AI
based on my open source work.
A recurring theme: property-first design, laws when possible, tests when necessary.