Making the web fun again, reviving the Geocities hosting model. Yay!
Obama’s war on journalism
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
compatible with PARC’s CCNx.
zfec, an efficient, portable erasure coding tool.
The last breath of the Reader