type  title  author  last post 
Forum topic  The question of the possibility of a simple formal foundation to the natural languages.  Enrique Perez Arnaud  20170816 01:24 
Forum topic  Question: do you have to climb the tower of interpreters?  artemonster  20170726 19:26 
Forum topic  What would be involved in moving logic beyond FOL?  Charles Stewart  20170714 15:18 
Story  YOW! Lambda Jam 2017: John Hughes  Why Functional Programming Matters  Ehud Lamm  20170712 11:44 
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 
Forum topic  Prove: 'Cont r a = (a > r) > r' forms a monad  marco  20170516 02:03 
Forum topic  Domain specific language for playing games  davidb  20170503 22:47 
Forum topic  Making a onepass compiler by generating fexprs that generate code  Josh Scholar  20170414 19:51 
Story  Salon des Refusés  Dialectics for new computer science  gasche  20170219 07:18 
Forum topic  How will look a modern imperative language? All love here is functional only..  mamcx  20170218 18:58 
Forum topic  Archaeological dig to find the first Lisp example of the Ycombinator  filipallberg  20170131 00:42 
Story  Stroustrup's Rule and Layering Over Time  Ehud Lamm  20170104 21:43 
Forum topic  Eliminating left recursion  skaller  20161213 00:23 
Forum topic  On the (Alleged) Value of Proof for Assurance  shap  20161124 01:04 
Story  Philip Wadler: Category Theory for the Working Hacker  Ehud Lamm  20160923 20:29 
Forum topic  Term Rewrite System Implementations?  Ivan Vodišek  20160918 00:10 
Forum topic  Lecturing birds how to fly  Charles Stewart  20160907 18:46 
Forum topic  Programming Languages as Mathematical Representations  mfidelman  20160903 23:25 
Forum topic  Is there a language with the ability to write arbitrary type functions?  davidb  20160824 18:18 
Forum topic  Microscript  Ivan Vodišek  20160808 22:31 
Forum topic  A language for blind uncomprehending idiots who have no idea how programs work.  Ray Dillinger  20160808 13:51 
Forum topic  Is there an existing name for my higherorder function?  shawnbrown  20160807 13:10 
Forum topic  how to design PL support for effects emerging from parallel nondeterminism?  Rys McCusker  20160715 20:51 
Forum topic  Theory of syntax extensions: does it exist?  johnwcowan  20160530 10:47 

Recent comments
2 hours 8 min ago
2 hours 8 min ago
2 hours 20 min ago
8 hours 26 min ago
9 hours 3 min ago
9 hours 10 min ago
12 hours 17 min ago
15 hours 1 min ago
16 hours 18 min ago
16 hours 56 min ago