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.
My talk from Haskell Talks at Mercury 2022
Thoughts on sneaking proofs into hidden layers
The need for going beyond propositional logic to capture causal structure
Implementing basic Haskell lenses in twenty exercises
An unusual programming language
A lot of simple math describing qubits
A Template Haskell Adventure
A whirlwind tour through one of the conceptually simplest techniques for better reasoning
How likely is the winner of the first game to win the series?
Reinforcement learning implementation in PyTorch