Lightning Interviews, by Ward Cunningham. Interesting people, short videos, what else could one wish for.

Chordial is an open source implementation of MIT’s Chord DHT algorithm in the Erlang programming language. Amazingly compact.

A one-page proof of Chaitin’s theorem

Type-safe prototype-based programming with first-class selectors and namespaces in OCaml, by Mauricio Fernandez. Slick.

KERN is a minimalist typography experience challenging you to precisely place a missing letter into a falling word while avoiding any unnecessary ligatures! For the iPhone.

98 pages, by Craig Frazer.