Making the web fun again, reviving the Geocities hosting model. Yay!
Proofs, upside down (PDF), “A functional correspondence between natural deduction and the sequent calculus”, by Matthias Puech.
European Common Lisp Meeting 2013, slides are up.
OmniOS builds on Illumos to make a complete operating system. Looks pretty interesting.
ndn.js is the first native version of the NDN (Named Data Networking) protocol written in JavaScript. It is wire format compatible with PARC’s CCNx.
jor1k, Open RISC 1000 Javascript Emulator Running Linux.
zfec, an efficient, portable erasure coding tool.