recent posts

type sort icontitleauthorlast post
StoryAutomatic Patch-Based Exploit Generation Charles Stewart2008-04-30 06:49
StoryHow OCaml type checker works -- or what polymorphism and garbage collection have in common Paul Snively2013-03-10 16:42
StoryCUFP 2012 Tutorials Ehud Lamm2012-08-27 14:42
StoryAutomatic Generation of Peephole Superoptimizers neelk2008-05-17 07:58
StoryDependent Types for JavaScript naasking2013-04-18 10:44
StoryLanguage geek at the Maker Faire Ehud Lamm2008-05-08 06:29
StoryWhat is the most bizarre thing you have seen done with TeX? Ehud Lamm2013-03-27 07:47
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
StoryDryadLINQ Ehud Lamm2008-05-09 00:22
StoryPractical Set Theory Charles Stewart2008-07-25 09:16