siraben's musings
About Me

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

siraben's musings

  • siraben's musings
  • [email protected]
  • siraben

Writing proofs and programs.