| | De Bruijn Numerals (marvinborner.de) |
| 77 points by marvinborner 1 day ago | past | 10 comments |
|
| | De Bruijn Numerals (marvinborner.de) |
| 2 points by marvinborner 18 days ago | past |
|
| | Many Factorials in Lambda Calculus (marvinborner.de) |
| 13 points by marvinborner 33 days ago | past | 5 comments |
|
| | Squeezing Pi from 122 Bits of Lambda Calculus (marvinborner.de) |
| 2 points by marvinborner 9 months ago | past |
|
| | Infinite Apply – Lambda Calculus (marvinborner.de) |
| 3 points by FranchuFranchu 9 months ago | past |
|
| | Show HN: Drawing with Lambda Calculus (marvinborner.de) |
| 4 points by marvinborner 10 months ago | past |
|
| | Tiny, Untyped Monads (marvinborner.de) |
| 4 points by marvinborner 11 months ago | past |
|
| | Crafting formulas: Lambdas all the way down (marvinborner.de) |
| 129 points by marvinborner on Aug 6, 2024 | past | 30 comments |
|
| | Lambda Screen: Fractals in pure lambda calculus (marvinborner.de) |
| 142 points by mmphosis on April 9, 2024 | past | 8 comments |
|
| | Lambda Screen: Fractals in Pure Lambda Calculus (marvinborner.de) |
| 3 points by marvinborner on April 8, 2024 | past |
|
| | Show HN: Infinite Craft, but for Lambda Calculus (marvinborner.de) |
| 3 points by marvinborner on March 5, 2024 | past |
|
| | Show HN: Programming with Pure Lambda Calculus (marvinborner.de) |
| 61 points by marvinborner on Dec 14, 2023 | past | 8 comments |
|
| | Metaprogramming and self-interpretation of lambda calculus (marvinborner.de) |
| 32 points by marvinborner on Nov 12, 2023 | past | 5 comments |
|
| | Show HN: Bruijn – Programming language based on pure lambda calculus (marvinborner.de) |
| 1 point by awesomelvin on June 24, 2023 | past |
|
| | The Bruijn Programming Language (marvinborner.de) |
| 3 points by awesomelvin on April 8, 2023 | past |
|
