recent posts

typetitle sort iconauthorlast post
Forum topicWolframAlpha Srikumar Subramanian2009-05-21 21:16
Forum topicwondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? spdegabrielle2010-01-07 02:11
Forum topicword2vec Sean McDirmid2015-09-05 18:26
Forum topicWorking around limitations of whole-program monomorphization John Nowak2010-10-01 18:40
Forum topicWorkshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU) craiganslow2014-07-18 06:50
Forum topicWorkshop on Non-Traditional Programming Models for High-Performance Computing Allen McPherson2009-09-30 18:24
Forum topicWorkshop on Probabilistic Programming in December Daniel Roy2013-01-23 15:36
StoryWorkshop on Scripting for the Semantic Web Danny Ayers2005-02-08 12:03
Forum topicWorkshop on Synchronization and Concurrency in OO languages Sriram Srinivasan2005-12-07 12:09
Forum topicWorld’s first formal machine-checked proof of a general-purpose operating system kernel Derek Elkins2009-08-14 01:20