An explanation of some of the difficulties in private information retrieval, along with an interesting scheme to make using bloom filters more tenable.
— wesleyac
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.
— porterjamesj
The PDF specification includes a JavaScript interpreter, and Chrome's PDF reader implements some of its API. This PDF has a game of Breakout embedded inside it. The README describes the clever hacks used to make it work.
— davidbalbert
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.
— Alec