Brooks Moses

typetitleauthor sort iconlast post
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
StoryThe Genuine Sieve of Eratosthenes Ehud Lamm2013-10-26 21:32
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
StoryWhat needs to be done? Ehud Lamm2011-11-07 05:29
StoryGood Ideas, Through the Looking Glass Ehud Lamm2011-01-15 17:04
StoryLand of Lisp Ohad Kammar2010-10-30 20:17
StorySIGPLAN's first Programming Languages Software Award goes to LLVM bashyal2010-07-06 19:16
StoryProgramming CNC machines in Haskell Ehud Lamm2010-05-24 13:24
StoryThe Right Tool James Iry2010-05-19 13:15
StoryDifferentiating Parsers Manuel J. Simoni2009-12-09 23:48
StoryTwo Bits: The Cultural Significance of Free Software Ehud Lamm2009-12-07 22:12
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
Forum topicIs null needed? BigZaphod2008-08-09 00:52
Forum topicPractical Laziness jimdesu2006-12-04 23:47
Forum topicStephen Wolfram forecasts the future Curt Sampson2006-12-03 04:23