Hi there! I'm a software engineer with fairly wide-reaching interests. I've written about a few of them below.
I started and currently work at Hylomorphic. Here's more about my work.
Please feel free to contact me. I'm always looking for interesting projects, people, and perspectives!
Generality, specificity, and their levels of precision
Thoughts on String Theory (the tennis one)
On being underpinned by a different kind of machine
Game design at its most efficient
Thoughts on building habits and following through on goals
Good things happen at 100bpm
Why people spend almost all their time on lesser evils
An eschatological exploration
Remembering the conditions where it doesn't hold
Wild speculations about a certain meeting in the far future
A whirlwind tour through one of the conceptually simplest techniques for better reasoning
Bouncing around the circle of fifths
What's in a name?
Mining the C code for interesting tidbits
What's intergalactically funny?
Translating from MetaLua
Building up some intuition
Differences in some of my favorite sports, at scale
Infinite recursion defeats the type system once again!
How sum types help us avoid bugs
Abusing pattern matching for the greater good
Exploring things that change, but not that much
Why these posts exist