Posts

• Mar 22, 2022

  How to write a linter using tree-sitter in an hour

• Mar 1, 2022

  How to write a tree-sitter grammar in an afternoon

• Feb 13, 2022

  Dirty Nix flake quality-of-life hacks

• Feb 8, 2022

  Organizing mathematical theories in Coq: an overview

• Dec 28, 2021

  Speeding up my AoC solution by a factor of 2700 with Dijkstra's

• Jun 27, 2021

  A non-trivial trivial theorem: doing classical mathematics in Coq

• Feb 26, 2020

  Translating Common Lisp to Haskell—a case study

• Feb 20, 2020

  Free monads from scratch

subscribe via RSS