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
1 hour 1 min ago
1 day 23 hours ago
2 days 2 hours ago
3 days 21 hours ago
3 days 22 hours ago
4 days 4 hours ago
4 days 6 hours ago
4 days 14 hours ago
4 days 14 hours ago
4 days 15 hours ago