Hacker News new | ask | show | jobs
user: max-amb
created: 2025-09-20
karma: 26

submissions:

0 points | 0 comments
An introduction to formal proof verification and the Curry-Howard Correspondence
24 points | 3 comments
Curry-Howard Correspondence – How proof assistants work [pdf]
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Zero Knowledge Tolstoyan Art
40 points | 22 comments
Some Intuition Behind the Contrapositive
1 points | 0 comments
Celebrated British artist David Hockney dies aged 88
6 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Turing Machines and Formal Computation
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments