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
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
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
When it all began