Hi there! I'm a software engineer with interests in math, functional programming, machine learning, AI, motivation structures, and more. I've written about many of these topics below. Check out my favorite posts.
I started Hylomorphic and am currently working at Academia. Here's more about my work.
Please feel free to contact me. I'm always looking for interesting projects, people, and perspectives!
No iteration!
Understanding execution is exciting
Confusing code and alphabetic enumeration
Ways to handle nonexistent values
Generated and human-edited music
To really learn, first you must become confused
How to be safer with next to no effort
Changing the changing of your mind
Ways to turn things into other things
Playing with fun-to-visualize mathematical structures
Redesigning everyday interactions
Being bad at something never felt this good
Non-primitive-recursive functions and fork bombs
How to do new things without doing new things
Calculating traffic loads
Another horribly abused phrase
Looking up to imperfect role models
Interpolation in its finest forms
Differences between learning, practice, and training
Commands that improve your ghci experience
Facts learnable just by looking inside
Seriously dealing with ideas requires some unoriginality
Light filters aren't spooky objects from beyond classical physics
Type-level Peano exponentiation comes to the rescue
Goals are far more powerful than blacklists
If you're always winning, you're doing something wrong
The story of one research director and a very big choice
You can have all three of C, A, and P
Why so many people despise buzzwords
Fiction could be far stranger and vaster than it is
What non-analysis does better than analysis
Trying to gain intuition for what happens at high speed
A beginner's guide to the ways Haskell helps us avoid errors
The need for a structured set of principled practice problems
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