The Proof Machine (2016)
BenoitP
27 points
4 comments
July 27, 2026
Related Discussions
Found 5 related stories in 378.2ms across 15,062 title embeddings via pgvector HNSW
- Bullshit Machines Arodex · 27 pts · May 12, 2026 · 52% similar
- Machines Don't Press Play weatherreport · 15 pts · June 04, 2026 · 50% similar
- Richard Feynman and the Connection Machine (1989) yankcrime · 50 pts · July 15, 2026 · 50% similar
- Show HN: ProofShot – Give AI coding agents eyes to verify the UI they build jberthom · 127 pts · March 24, 2026 · 49% similar
- Multiway Turing Machines (2021 pre-ai) marysminefnuf · 21 pts · July 26, 2026 · 49% similar
Discussion Highlights (1 comments)
siraben
I've been working on an interactive click-and-prove prover that is backed by dependently typed terms.[0] The Proof Machine only goes up to some Simply-Typed Lambda Calculus terms, whereas I have the logic sufficiently powerful to support recursion and reasoning about programs and equality. [0] https://touchproof.siraben.dev/