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.
Generality, specificity, and their levels of precision
A beginner’s guide to the ways Haskell helps us avoid errors
A whirlwind tour through one of the conceptually simplest techniques for better reasoning
Implementing basic Haskell lenses in twenty exercises
A lot of simple math describing qubits
Thoughts on sneaking proofs into hidden layers
Definitional flavors of the gamma function
Reinforcement learning implementation in PyTorch