My Favorite Posts

If you’re looking for a cross-section of what I’m interested in, these are some of the posts I recommend you check out first.

See all posts

Forgetful Functors and Lossy Language

Generality, specificity, and their levels of precision

Haskell Error Reduction

A beginner’s guide to the ways Haskell helps us avoid errors

Flip It Around

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

Building Lenses

Implementing basic Haskell lenses in twenty exercises

Deconstructing Hadamard Gates

A lot of simple math describing qubits

Dependently Typed Activation Functions

Thoughts on sneaking proofs into hidden layers

Hidden Recursion

Definitional flavors of the gamma function

Vanilla Policy Gradient

Reinforcement learning implementation in PyTorch