13 Aug '12, 3pm

12aug2012: Oregon Programming Languages Summer School: Logic, Languages, Compilation, and Verification, excellen...

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

Tweets

Adding Languages Without Losing Page Ranking: Y...

seochat.com 13 Aug '12, 12pm

The Internet reaches into all nations, so it's not unusual for a company to decide that its website must target multiple l...