Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by martyalain
Λ-Calculus (Revisited for Dummies)
2 points
martyalain
2021-11-11T08:32:14Z
lambdaway.free.fr
Funny things with x:= λw.x w
4 points
martyalain
2021-11-09T05:51:50Z
lambdaway.free.fr
Λ-calculus using binary numbers of variable length
2 points
martyalain
2021-10-31T10:10:32Z
lambdaway.free.fr
Scheme, Back to λ-Calculus
3 points
martyalain
2021-10-29T11:55:10Z
lambdaway.free.fr
Λ-Calculus with and Without Closures
1 points
martyalain
2021-10-21T08:47:04Z
lambdaway.free.fr
Adding two binary numbers of any size
1 points
martyalain
2021-09-19T05:36:18Z
lambdaway.free.fr
Rewriting as Computation
1 points
martyalain
2021-09-10T10:49:37Z
lambdaway.free.fr
Λ-Calculus and the Towers of Hanoï
1 points
martyalain
2021-09-05T19:28:25Z
lambdaway.free.fr
Ask HN: How to Double Your Salary?
1 points
martyalain
2021-09-02T12:10:08Z
news.ycombinator.com
Coding with IIFEs
1 points
martyalain
2021-08-31T03:15:16Z
lambdaway.free.fr
Lisp Is My Friend
1 points
martyalain
2021-08-20T07:54:17Z
lambdaway.free.fr
From λ-calculus to a programmable text editor
2 points
martyalain
2021-07-26T15:45:17Z
lambdaway.free.fr
Show HN: Lambdatalk with Closures Inside
1 points
martyalain
2021-07-18T09:16:39Z
lambdaway.free.fr
Is there a life out of closures?
2 points
martyalain
2021-06-23T15:40:31Z
lambdaway.free.fr
Coding is a matter of text rewriting
3 points
martyalain
2021-06-06T11:17:19Z
lambdaway.free.fr
No Future?
1 points
martyalain
2021-05-29T04:55:11Z
lambdaway.free.fr
Ask HN: An enhanced text replacement tool
1 points
martyalain
2021-05-24T08:53:34Z
news.ycombinator.com
Show HN: Coding is a matter of text replacement
1 points
martyalain
2021-05-16T05:40:42Z
lambdaway.free.fr
Show HN: Horner and Newton, an Easy Way
1 points
martyalain
2021-04-05T04:57:50Z
lambdaway.free.fr
A factorial with λ calculus in a post card
1 points
martyalain
2021-03-28T05:37:20Z
lambdaway.free.fr
1
2
3
4
5
6
7