Adding Languages Without Losing Page Ranking: Y...
The Internet reaches into all nations, so it's not unusual for a company to decide that its website must target multiple l...
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 distributi...
Full article: http://chneukirchen.org/trivium/2012-08-12
@anarchaia
»
13 Aug '12, 3pm
The Internet reaches into all nations, so it's not unusual for a company to decide that its website must target multiple l...