Posts
Hosting a Minecraft server without extra hardware
My method for fast mental conversion between ℃ and ℉
How to write a linter using tree-sitter in an hour
How to write a tree-sitter grammar in an afternoon
Dirty Nix flake quality-of-life hacks
Organizing mathematical theories in Coq: an overview
Speeding up my AoC solution by a factor of 2700 with Dijkstra's
A non-trivial trivial theorem: doing classical mathematics in Coq
Translating Common Lisp to Haskell—a case study
Free monads from scratch
subscribe via RSS