Road Trip Planner
Planning a road trip with Datalog.
Simple Verifiable Elections
How cryptography can increase both security and confidence in our elections.
My first foray into Rust
A story of coming to Rust from Haskell.
Adventures in Refactoring
Spelunking into stale code two years later.
Graphical Models: Introduction
Motivating graphical models and defining Bayesian Networks.
A small use case for Deriving Via
Reducing boilerplate in exception hierarchies via Deriving Via.
Introduction to Brick
A small introduction to the terminal user interface framework.
Who needs HashLife when you have comonads?
Improving a naive implementation of the Game of Life with an elegant and performant solution.