-
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.