from Hacker News

martyalain

joined 4/10/16, 6:22 AM has 663 karma

• Looking for a Hidden Determinism

  by martyalain on 4/27/25, 5:05 PM, with 4 comments

• Is a fibered spacetime a way to go

  by martyalain on 4/15/25, 8:46 AM, with 1 comments

• Should lambdascratch be an answer for kids?

  by martyalain on 4/9/25, 1:35 AM, with 1 comments

• Divine Recursion

  by martyalain on 3/29/25, 4:17 AM, with 1 comments

• Show HN: To understand recursion, you must understand recursion

  by martyalain on 3/28/25, 6:02 PM, with 3 comments

• Show HN: A fibered space time, why not?

  by martyalain on 3/25/25, 9:34 AM, with 1 comments

• Show HN: Nested Expressions and One RegExp

  by martyalain on 3/20/25, 10:19 PM, with 1 comments

• Show HN: The lambdaway project, an extensible hypertext editor

  by martyalain on 3/1/25, 3:03 PM, with 1 comments

• About the Roots of Coding

  by martyalain on 2/27/25, 7:50 AM, with 1 comments

• ChatGPT and Me about Lambdatalk

  by martyalain on 2/20/25, 3:44 AM, with 1 comments

• Que pense ChatGPT d'une Relativité Complexe?

  by martyalain on 2/19/25, 2:52 PM, with 3 comments

• Show HN: Un éditeur de texte extensible

  by martyalain on 11/28/24, 4:46 AM, with 3 comments

• A pocket calculator using lambdatalk vs. Python

  by martyalain on 11/12/24, 9:10 AM, with 1 comments

• A code is a system of transcription rules

  by martyalain on 10/18/24, 10:41 PM, with 1 comments

• Looking for Tu

  by martyalain on 10/15/24, 8:54 AM, with 2 comments

• Computing Fibonacci(100) at lambda-calculus level

  by martyalain on 9/26/24, 10:02 AM, with 1 comments

• Λ-calculus using binary numbers of variable length

  by martyalain on 8/10/24, 6:47 AM, with 2 comments

• Lambda_calculus revisited for dummies (like me)

  by martyalain on 7/27/24, 3:26 PM, with 1 comments

• Show HN: A text editor with a programming language

  by martyalain on 8/15/23, 6:51 AM, with 1 comments

• Show HN: Lambda-Calculus at a Glance

  by martyalain on 4/21/23, 12:56 AM, with 0 comments