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
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.
The Nicest Place on the Internet