Wesley put a 4GB file in a 232KB file system by making some clever modifications to the FAT.
An explanation of some of the difficulties in private information retrieval, along with an interesting scheme to make using bloom filters more tenable.
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.