Home » user account

Paul Snively

typetitleauthorlast post sort icon
StoryThe AI Systems of Left 4 Dead Manuel J. Simoni2010-01-07 23:43
Forum topicIs (probabilistic) non-determinism pure ? Steven Obua2009-12-30 21:38
StoryObjects as Modules in Newspeak James Iry2009-12-27 23:52
Forum topicThe Memory Pool System: Thirty person-years of memory management development goes Open Source tonyg2009-11-18 22:12
StoryLambda, the Ultimate TA Ehud Lamm2009-11-05 17:26
Forum topicWhat is a Type? andrew johnson2009-10-28 20:53
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
Forum topicruby vs python shahbaz2009-09-21 10:28
StoryA Verified Compiler for an Impure Functional Language Paul Snively2009-08-12 03:12
StoryCertified Web Services in Ynot Paul Snively2009-08-06 20:35
StoryVerified Programming in Guru James Iry2009-08-06 19:13
Forum topicAdvanced Types in Qi shahbaz2009-08-02 17:00
Forum topicSystem-level Static Analysis David Teller2009-07-25 00:53
StoryCforall Jim Apple2009-07-21 01:47
Forum topicProposing a LtU twitter (news) feed ... fbahr2009-07-20 21:36
StoryAnnouncing the new Haskell Prime process, and Haskell 2010 Ehud Lamm2009-07-13 20:40
StoryAchieving Security Despite Compromise Using Zero-Knowledge Paul Snively2009-06-19 10:19
Forum topicPreventing downcasting and adding a universal variant cdiggins2009-06-16 22:17
StoryClosures for C Charles Stewart2009-06-09 01:07
Forum topicScala Lift Off Unconference review raould2009-06-08 18:17
StoryGoing functional on exotic trades Ehud Lamm2009-06-02 23:41
Forum topicSocial science research about programming language adoption? Tim Chevalier2009-06-02 15:05
Forum topicTim Sweeney on Epic Games' History Paul Snively2009-05-27 07:14
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryJoshua Bloch: "Nearly All Binary Searches Broken" Ehud Lamm2009-05-15 15:20