type  title  author  last post 
Forum topic  The Platonic Solids of Software Construction and Their Realization in C  bryanedds  20170929 19:00 
Forum topic  Something I forgot  marco  20170826 06:44 
Story  Graydon Hoare: What next for compiled languages?  Ehud Lamm  20170821 15:39 
Story  Happy Birthday, dear Lambda: 17 is good edition  Ehud Lamm  20170818 06:51 
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 

Recent comments
2 hours 44 min ago
2 hours 45 min ago
5 hours 7 sec ago
6 hours 59 min ago
10 hours 10 min ago
1 day 5 hours ago
1 day 5 hours ago
1 day 6 hours ago
1 day 10 hours ago
2 days 9 hours ago