Oregon Programming Languages Summer School: Logic, Languages, Compilation, and Verification, excellent talk recordings and other material is online.
An argument against call/cc, by Oleg Kiselyov: “The primitive call/cc is a bad abstraction […] and its capture of the continuation of the whole program is not practically useful.”
A New Rose: The First Simple Symmetric 11-Venn Diagram
Divide and Conquer: Cracking MS-CHAPv2 with a 100% success rate, “the security of MS-CHAPv2 can be reduced to the strength of a single DES encryption.”
RFC 4418: UMAC: Message Authentication Code using Universal Hashing, this makes SSH measurable faster.
Writing Your Own Presentation Style in ConTeXt, by Thomas A. Schmitz (2006).
A Tutorial on the Curry-Howard Correspondence, by Darryl McAdams.
Plan 9 for Raspberry Pi, patches by Richard Miller. Still early.
Perl/Linux, a Linux distribution where all programs are written in Perl.
A $14 “ergo” keyboard from surplus parts, or “stupid nerd hacks”.
Expressing foldl in terms of foldr, also see the comments.
Bundesgesetze und -verordnungen in Git.
London Bells / Urban Instruments, awesome.
Minecraft: Cathedral of Cologne, WJW.