Hacker News new | past | comments | ask | show | jobs | submit | from login
[dupe] Coq Will Be Renamed (lambda-the-ultimate.org)
45 points by tmfi 3 months ago | past | 1 comment
Lambda the Ultimate Is Down Session Table Full (lambda-the-ultimate.org)
4 points by DanielBryars 5 months ago | past | 3 comments
Google Brain's Jax and Flax (lambda-the-ultimate.org)
1 point by mindcrime 5 months ago | past | 1 comment
Delimited Continuations as Exceptions (lambda-the-ultimate.org)
2 points by omginternets 6 months ago | past
Tackling the Awkward Squad for Reactive Programming (lambda-the-ultimate.org)
1 point by eitland 8 months ago | past
Tackling the Awkward Squad for Reactive Programming (lambda-the-ultimate.org)
3 points by mpweiher 10 months ago | past | 1 comment
No widely adopted progress in language design for 50 years? (lambda-the-ultimate.org)
3 points by miltondts 10 months ago | past
The Simple Essence of Algebraic Subtyping: Principal Type Inference (lambda-the-ultimate.org)
4 points by mindcrime 11 months ago | past | 1 comment
Why is there no widely accepted progress for 50 years? (lambda-the-ultimate.org)
2 points by mpweiher 12 months ago | past | 1 comment
Turnstile+: Dependent Type Systems as Macros (lambda-the-ultimate.org)
1 point by Kinrany on July 12, 2020 | past
Modularizing SQL? (2007) (lambda-the-ultimate.org)
50 points by Kinrany on June 17, 2020 | past | 63 comments
Turnstile+: Dependent Type Systems as Macros (lambda-the-ultimate.org)
3 points by chalst on Feb 14, 2020 | past
Histogram: You have to know the past to understand the present (lambda-the-ultimate.org)
1 point by yori on Dec 12, 2019 | past
Making a one-pass compiler by generating fexprs that generate code (lambda-the-ultimate.org)
3 points by pcr910303 on Dec 10, 2019 | past
Immediate Mode GUIs (lambda-the-ultimate.org)
2 points by pcr910303 on Nov 10, 2019 | past
Histogram- You have to know the past to understand the present (lambda-the-ultimate.org)
2 points by joeyespo on Sept 29, 2019 | past
“Three Things I Wish I Knew When I Started Designing Languages” (lambda-the-ultimate.org)
1 point by tosh on Aug 27, 2019 | past
Applied Category Theory – The Emerging Science of Compositionality (lambda-the-ultimate.org)
1 point by joker3 on Aug 5, 2019 | past
Seven Sketches in Compositionality: An Invitation to Applied Category Theory (lambda-the-ultimate.org)
7 points by chmaynard on April 28, 2019 | past
Abstraction Tiers of Notation (lambda-the-ultimate.org)
2 points by Kinrany on Feb 5, 2019 | past
Why type systems are interesting? (lambda-the-ultimate.org)
1 point by rahulrrixe on Jan 25, 2019 | past
Functional Design Patterns – Relating Haskell Typeclasses to Design Patterns (lambda-the-ultimate.org)
3 points by ghosthamlet on Dec 14, 2018 | past
Derivatives of Regular Expressions (2007) (lambda-the-ultimate.org)
147 points by tosh on Nov 11, 2018 | past | 49 comments
The AST Typing Problem (lambda-the-ultimate.org)
3 points by jasim on Oct 4, 2018 | past
How to decrease bugs in the code (lambda-the-ultimate.org)
1 point by homarp on Sept 24, 2018 | past
On compositionality (lambda-the-ultimate.org)
1 point by mpweiher on Sept 8, 2018 | past
On compositionality (lambda-the-ultimate.org)
3 points by joeyespo on Sept 7, 2018 | past
History of Lisp (1979) (lambda-the-ultimate.org)
4 points by cnahr on Aug 26, 2018 | past
History of Lisp (lambda-the-ultimate.org)
3 points by matt_d on Aug 25, 2018 | past
Do Be Do Be Do (lambda-the-ultimate.org)
1 point by tosh on Aug 12, 2018 | past

Applications are open for YC Winter 2022

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

Search: