Kero’s achievement, the world’s first sub 20 second time for 40 Lines of Tetris.
The elements of an inductive type, by Andrej Bauer. “‘An inductive type contains exactly those elements that we obtain by repeatedly using the constructors.’ If you believe the above statement you should keep reading.”
Dependently typed metaprogramming (in Agda), course material by Conor McBride.
MCLinker is a full-fledged system linker for mobile devices. It supports multiple platforms (ARM, X86 and Mips). It is fast, small with low memory footprints. And the best, MCLinker is UIUC BSD-Style open source.
Reconstructing Corrupt DEFLATEd Files (PDF), by Ralf D. Brown. Whoa.
In their own words: Unix pioneers remember the good times
Build your own FPGA, from 7400s. WJW.
Lessons from 11 years of community, Matt Haughey’s SXSW 2011 about MetaFilter. Recommended.
NTP Reference Clock Statistics, John Ackermann: I run four NTP Stratum 1 servers with attached reference clocks.
Creating publication quality graphs in R
13th Century abbey has gargoyle shaped like film monster ALIEN