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