type  title  author  last post 
Story  Imperative Functional Programs that Explain their Work  gasche  20170531 09:03 
Forum topic  Refining Structured Type System  Ivan Vodišek  20170530 17:40 
Forum topic  Finding Solutions vs. Verifying Solutions  Ivan Vodišek  20170529 18:23 
Forum topic  A refutation of Gödel's first incompleteness theorem  Enrique Perez Arnaud  20170525 18:11 
Story  Databases from finite categories  Charles Stewart  20170524 06:43 
Forum topic  Any thoughts on WanaDecrypt0r?  marco  20170521 21:12 
Forum topic  SW verification continues  hbrandl  20170516 21:54 
Forum topic  Prove: 'Cont r a = (a > r) > r' forms a monad  marco  20170516 02:03 
Forum topic  the type of eval in Shen  Mark Tarver  20170515 16:21 
Forum topic  Practical Principled FRP: Forget the past, change the future, FRPNow!  Sean McDirmid  20170512 16:41 

Recent comments
8 hours 11 min ago
9 hours 44 min ago
17 hours 4 min ago
20 hours 46 min ago
1 day 30 min ago
1 day 2 hours ago
1 day 3 hours ago
1 day 3 hours ago
1 day 4 hours ago
1 day 5 hours ago