Hacker News new | past | comments | ask | show | jobs | submit | from login
Seven Sketches in Compositionality: An Invitation to Applied Category Theory (lambda-the-ultimate.org)
7 points by chmaynard 84 days ago | past | web
Abstraction Tiers of Notation (lambda-the-ultimate.org)
2 points by Kinrany 5 months ago | past | web
Why type systems are interesting? (lambda-the-ultimate.org)
1 point by rahulrrixe 5 months ago | past | web
Functional Design Patterns – Relating Haskell Typeclasses to Design Patterns (lambda-the-ultimate.org)
3 points by ghosthamlet 7 months ago | past | web
Derivatives of Regular Expressions (2007) (lambda-the-ultimate.org)
147 points by tosh 8 months ago | past | web | 49 comments
The AST Typing Problem (lambda-the-ultimate.org)
3 points by jasim 9 months ago | past | web
How to decrease bugs in the code (lambda-the-ultimate.org)
1 point by homarp 9 months ago | past | web
On compositionality (lambda-the-ultimate.org)
1 point by mpweiher 10 months ago | past | web
On compositionality (lambda-the-ultimate.org)
3 points by joeyespo 10 months ago | past | web
History of Lisp (1979) (lambda-the-ultimate.org)
4 points by cnahr 10 months ago | past | web
History of Lisp (lambda-the-ultimate.org)
3 points by matt_d 10 months ago | past | web
Do Be Do Be Do (lambda-the-ultimate.org)
1 point by tosh 11 months ago | past | web
Interactive scientific computing; of pythonic parts and goldilocks languages (lambda-the-ultimate.org)
1 point by tosh 11 months ago | past | web
Safe Dynamic Memory Management in Ada and SPARK (lambda-the-ultimate.org)
4 points by mpweiher 11 months ago | past | web
Are “jets” a good idea? (2017) (lambda-the-ultimate.org)
97 points by networked on July 17, 2018 | past | web | 75 comments
Process Algebras: Whats the point? (2007) (lambda-the-ultimate.org)
2 points by alex_hirner on July 13, 2018 | past | web
The Left Hand of Equals (lambda-the-ultimate.org)
72 points by Ice_cream_suit on June 10, 2018 | past | web | 27 comments
Type Bombs (lambda-the-ultimate.org)
2 points by lkurusa on May 13, 2018 | past | web
Sequent Calculus as a Compiler Intermediate Language (lambda-the-ultimate.org)
3 points by mpweiher on Apr 6, 2018 | past | web
Resource Polymorphism (lambda-the-ultimate.org)
1 point by mpweiher on Mar 8, 2018 | past | web
Are Monads a Waste of Time? (lambda-the-ultimate.org)
177 points by YouAreGreat on Feb 20, 2018 | past | web | 270 comments
Lambda the Ultimate | Programming Languages Weblog (lambda-the-ultimate.org)
2 points by TheAsprngHacker on Nov 18, 2017 | past | web
“8th” – a gentle introduction to a modern Forth (lambda-the-ultimate.org)
3 points by amock on Oct 2, 2017 | past | web | 2 comments
[dupe] Graydon Hoare: What next for compiled languages? (lambda-the-ultimate.org)
62 points by mpweiher on Aug 20, 2017 | past | web | 5 comments
Happy Birthday, dear Lambda: 17 is good edition (lambda-the-ultimate.org)
53 points by igravious on Aug 16, 2017 | past | web
Implementing Algebraic Effects in C (lambda-the-ultimate.org)
1 point by mpweiher on Aug 2, 2017 | past | web
Happy Birthday, dear Lambda: 17 is good edition (lambda-the-ultimate.org)
2 points by eternalban on Aug 1, 2017 | past | web
Happy Birthday, dear Lambda: 17 is good edition (lambda-the-ultimate.org)
2 points by protomyth on July 28, 2017 | past | web
Project Snowflake: Non-blocking safe manual memory management in .NET (lambda-the-ultimate.org)
1 point by mpweiher on July 27, 2017 | past | web
LtU discussion of Ethereum, 2014-2017 (lambda-the-ultimate.org)
2 points by chalst on July 26, 2017 | past | web

Registration is open for Startup School 2019. Classes start July 22nd.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: