recent posts

typetitleauthorlast post sort icon
Forum topicLearn python to implement a complicated static code analyzer zell08v2012-03-30 20:10
Forum topicDisruptive PLT Revisited Sean McDirmid2012-03-31 13:27
Forum topicCareer paths and concerns Jonathan Schuster2012-03-31 18:04
Forum topicPredicate calculus in program verification hbrandl2012-04-02 23:41
Forum topicNew tutorial blog on category theory for programmers mikestay2012-04-03 12:35
Forum topicPythonect 0.1.0 Release ikotler2012-04-03 15:02
Forum topicErik Meijer: Your Mouse is a Database - Rx and Modern Asynchronous Programming Charles Torre2012-04-04 15:50
Forum topicLang.NEXT 2012 - Session Videos Coming Online Charles Torre2012-04-06 02:51
Forum topicThe Monad.Reader Wouter Swierstra2012-04-11 12:54
Forum topicReverend Bayes, meet Countess Lovelace: Probabilistic Programming for Machine Learning Charles Torre2012-04-13 20:16