This post shows that TLA+ can be used for things you might not expect, like modeling autoscaling and load balancing with off-the-shelf tools.
A gentle introduction to the world of image processing, accessible to anyone who's familiar with Python.
A tiling window manager, written from scratch. Miles used it as his main window manager for a year after writing it.
A clever use of augmented reality to overlay the New York City subway map over a MetroCard.
A fun exploration of how to use generic types in Rust to write code that feels more Lisp-like.
A quirky, object-oriented standard library for OCaml.
Visualizing algorithms is the most fun way to teach, learn, and comprehend them! I had an actual use case for this at work, and it was gratifying to make a fun visual explanation for it.
Pipet is a set of commands to store and retrieve snippets of text. It uses a fuzzy finder for retrieval!
Using a Sequence to Sequence model to generate punchlines for fake jokes.