## Posts

### 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