Syntactic Unification Is Easy!
2020-02-19Last year I tried implementing syntactic unification and got completely stuck on the algorithms. Last week I read the MicroKanren paper and discovered that unification could be very simple. Let me show you how!
Hosting My Own Git
2020-02-18I don’t want to have to use GitHub for all my personal projects while they still support ICE, so I figure out how to do my own hosting.
Modding Games and Freezing Fish
2019-11-06I learn how to write my own mod for a C# game so that I can skip a part I was stuck on. You can do it to! (This post contains minor spoilers for the Dark Bramble in Outer Wilds)
Hello World, in 0x A Presses
2019-11-02Write a Hello World program in Rust, without ever pressing the A key, and learn some things along the way.
Getting Spaced in Heat Signature
2018-10-05I tell the dramatic story of one of my early heat signature games.
LLVM 💖s Peano Addition
2018-09-07I am surprised to discover that LLVM can optimize the standard peano definition of addition, so I set out to investigate.
Computing Min
2018-08-27I benchmark a few different implementations of min, because that’s fun.
Debugging in the Deep End
2018-04-17I discuss the approach I used to fix a bug in VCV Rack despite having never looked at the codebase before.
You Got Your Race Condition Inside My Package Manager!
2017-08-14We solve a fun, surreal debugging mystery involving pip and version compatibility.
I'm a Rust Contributor
2016-09-20I got a PR merged into Rust, wow, that’s pretty cool!