mitchell vitez

email linkedin github resume

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!

Forgetful Functors and Lossy Language

Generality, specificity, and their levels of precision

In Praise of Intricate Writing

Thoughts on String Theory (the tennis one)

OCaml's Categorical Origins

On being underpinned by a different kind of machine

The Supreme Cleverness of Mario Kart's Mirror Mode

Game design at its most efficient

Incentives are a Hell of a Drug

Thoughts on building habits and following through on goals

The Rise of Dark Downtempo

Good things happen at 100bpm

Things We Criticize

Why people spend almost all their time on lesser evils

The Badness of Death

An eschatological exploration

Black-Scholes Under Duress

Remembering the conditions where it doesn't hold

My Superintelligence Can Beat Up Your Superintelligence

Wild speculations about a certain meeting in the far future

Flip It Around

A whirlwind tour through one of the conceptually simplest techniques for better reasoning

Giant Steps, Tiny Steps

Bouncing around the circle of fifths

What "Hylomorphic" Means

What's in a name?

How Python Dictionaries Work

Mining the C code for interesting tidbits

Alien-Worthy Human Humor

What's intergalactically funny?

Building an AST for Lua in Haskell

Translating from MetaLua

The Chebyshev's Inequality Proof of the Weak Law of Large Numbers

Building up some intuition

Why Volleying Is Allowed In Tennis But Not In Ping-Pong

Differences in some of my favorite sports, at scale

The Only Runtime Error I've Ever Seen In Elm

Infinite recursion defeats the type system once again!

Sum Types Are Better Than Others

How sum types help us avoid bugs

Roman Numerals In Haskell

Abusing pattern matching for the greater good

Semi-Conserved Quantities

Exploring things that change, but not that much

A Resolution

Why these posts exist