recent posts

typetitleauthorlast post sort icon
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
Forum topicSymmetry in type systems Jules Jacobs2012-04-17 22:15
Forum topicRetrospective Thoughts on BitC raould2012-04-18 16:43