| | Databases from finite categories (lambda-the-ultimate.org) |
|
1 point by _isus on May 24, 2017 | past
|
|
| | On the Importance of Turing completeness (lambda-the-ultimate.org) |
|
1 point by laex on May 18, 2017 | past
|
|
| | Type Systems as Macros (lambda-the-ultimate.org) |
|
103 points by mpweiher on April 21, 2017 | past | 16 comments
|
|
| | Type Systems as Macros (lambda-the-ultimate.org) |
|
1 point by protomyth on April 20, 2017 | past
|
|
| | Kdb+ 3.5 released last month (lambda-the-ultimate.org) |
|
1 point by moks on March 29, 2017 | past
|
|
| | Logic Production Systems: A new mixed logic/imperative programming language (lambda-the-ultimate.org) |
|
125 points by zephyrfalcon on March 27, 2017 | past | 33 comments
|
|
| | Kdb+ 3.5 released last month (lambda-the-ultimate.org) |
|
4 points by mpweiher on March 26, 2017 | past
|
|
| | Google Dart, JavaScript and Web Assembly (2011) (lambda-the-ultimate.org) |
|
3 points by orange888 on Jan 12, 2017 | past | 1 comment
|
|
| | Do Be Do Be Do (lambda-the-ultimate.org) |
|
3 points by mpweiher on Dec 27, 2016 | past
|
|
| | Do Be Do Be Do (lambda-the-ultimate.org) |
|
1 point by edwintorok on Dec 20, 2016 | past
|
|
| | [dupe] Programming by poking: why MIT stopped teaching SICP (lambda-the-ultimate.org) |
|
33 points by tosh on Dec 5, 2016 | past | 9 comments
|
|
| | Salon des Refusés – Dialectics for new computer science (lambda-the-ultimate.org) |
|
1 point by edwintorok on Nov 27, 2016 | past
|
|
| | Salon des Refusés – Dialectics for new computer science (lambda-the-ultimate.org) |
|
2 points by ehudla on Nov 26, 2016 | past
|
|
| | Polymorphism, subtyping and type inference in MLsub (lambda-the-ultimate.org) |
|
7 points by mpweiher on Nov 23, 2016 | past
|
|
| | Automating Ad Hoc Data Representation Transformations (lambda-the-ultimate.org) |
|
2 points by based2 on Oct 22, 2016 | past
|
|
| | Typed X (Racket, Clojure, Lua) just doesn't pan out? (lambda-the-ultimate.org) |
|
3 points by josebaez on Oct 14, 2016 | past
|
|
| | Have tracing JIT compilers won? (2010) (lambda-the-ultimate.org) |
|
2 points by bakery2k on Sept 26, 2016 | past
|
|
| | Set-Theoretic Types for Polymorphic Variants (lambda-the-ultimate.org) |
|
1 point by joeyespo on June 9, 2016 | past
|
|
| | Whoever does not understand Lisp is doomed to reinvent it (2007) (lambda-the-ultimate.org) |
|
175 points by rlander on May 14, 2016 | past | 229 comments
|
|
| | Simon Peyton Jones Elected into the Royal Society Fellowship (lambda-the-ultimate.org) |
|
297 points by _isus on April 30, 2016 | past | 31 comments
|
|
| | Best successor to Scheme? (lambda-the-ultimate.org) |
|
12 points by tbirdz on April 20, 2016 | past
|
|
| | C Is Manly, Python Is for N00bs:How False Stereotypes Turn into Technical Truths (lambda-the-ultimate.org) |
|
3 points by eternalban on March 13, 2016 | past | 1 comment
|
|
| | Why not C++? (lambda-the-ultimate.org) |
|
47 points by cronjobber on March 5, 2016 | past | 84 comments
|
|
| | Coordinated concurrent programming in Syndicate (lambda-the-ultimate.org) |
|
2 points by shoover on Jan 30, 2016 | past
|
|
| | Performance Problems You Can Fix: Dynamic Analysis of Memoization Opportunities (lambda-the-ultimate.org) |
|
1 point by ingve on Jan 12, 2016 | past
|
|
| | Static vs. Dynamic Languages: A Literature Review (lambda-the-ultimate.org) |
|
8 points by joeyespo on Nov 27, 2015 | past
|
|
| | Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega (lambda-the-ultimate.org) |
|
1 point by joeyespo on Nov 10, 2015 | past
|
|
| | Type safety for core Scala – based on Definitional Interpreters (lambda-the-ultimate.org) |
|
1 point by jedharris on Oct 30, 2015 | past | 3 comments
|
|
| | Gilad Is Right (Confessions from a Recovering Typoholic) (2006) (lambda-the-ultimate.org) |
|
8 points by raphaelss on Oct 7, 2015 | past
|
|
| | F* reworked and released as v0.9.0 (lambda-the-ultimate.org) |
|
76 points by platz on Sept 14, 2015 | past | 7 comments
|
|
|
|
More |
