type  title  author  last post 
Forum topic  SelfCertification: Bootstrapping Certified Typecheckers  dmbarbour  20120223 18:23 
Forum topic  Syntax Desugaring Algorithm Question  bryanedds  20120223 23:46 
Forum topic  Shen (the next Qi Lisp) released  raould  20120223 23:50 
Forum topic  PLT humor on Twitter  Manuel J. Simoni  20120225 21:54 
Forum topic  Negation and proofs by contradiction with the proof engine  hbrandl  20120227 18:27 
Forum topic  why inheritence in OOP?  ad1mt  20120228 13:30 
Forum topic  [Meta] Are we Reddit?  James Iry  20120229 02:46 
Story  Milawa: A SelfVerifying Theorem Prover for an ACL2Like Logic  Paul Snively  20120229 19:59 
Story  Milawa on Jitawa: a Verified Theorem Prover  Paul Snively  20120229 22:34 
Story  When Formal Systems Kill: Computer Ethics and Formal Methods  James Iry  20120229 23:02 

Recent comments
13 hours 2 min ago
14 hours 37 min ago
14 hours 45 min ago
1 day 6 hours ago
1 day 7 hours ago
1 day 15 hours ago
2 days 12 hours ago
2 days 17 hours ago
3 days 11 hours ago
3 days 12 hours ago