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
3 hours 17 min ago
3 hours 17 min ago
3 hours 53 min ago
5 hours 28 min ago
7 hours 46 min ago
10 hours 35 min ago
11 hours 11 min ago
12 hours 1 min ago
18 hours 37 min ago
18 hours 43 min ago