recent posts

typetitleauthorlast post sort icon
Forum topicFiltering system calls with a packet filtering language Manuel J. Simoni2012-03-15 20:57
Forum topicSoftware Cartography and Code Navigation Sean McDirmid2012-03-16 00:17
Forum topic2012 APL Programming Contest is Open Morten Kromberg2012-03-16 21:47
Forum topicParametric Grammars skaller2012-03-18 07:59
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
Forum topicLong rant on Erlang-style Actors: Lost Dimension const2012-03-20 08:57
StoryLanguage mystery: identify the source language to a worm based on its object code James Iry2012-03-20 23:15
Forum topicsome Mozart 2 VM code raould2012-03-21 12:51
Forum topicBrief Question on extension to ANF IR scottmcl2012-03-26 11:56
Forum topicDistributed capabilities versus network latency Jules Jacobs2012-03-26 17:45