2022-11-13 BuckeyeCTF 2022 Writeup - Nile & Andes

blockchain ctf

2022-11-08 Minecraft markets are inefficient

economics minecraft

2022-10-02 SekaiCTF 2022 Writeup - Matryoshka

ctf

2022-08-01 Hosting a Minecraft server without extra hardware

minecraft tailscale

2022-06-23 My method for fast mental conversion between ℃ and ℉

hacks

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

linting parsing tree-sitter

2022-03-01 How to write a tree-sitter grammar in an afternoon

parsing tree-sitter

2022-02-13 Dirty Nix flake quality-of-life hacks

hacks nix

2022-02-08 Organizing mathematical theories in Coq: an overview

coq programming

2021-12-28 Speeding up my AoC solution by a factor of 2700 with Dijkstra’s

algorithms haskell programming

2021-06-27 A non-trivial trivial theorem: doing classical mathematics in Coq

coq math

2020-02-26 Translating Common Lisp to Haskell—a case study

common-lisp haskell

2020-02-20 Free monads from scratch

haskell math