|
|
| | Memories: First exposure to computers (lawrencecpaulson.github.io) | | 70 points by furcyd on Dec 7, 2022 | past | 56 comments | |
| | Verifying distributed systems with Isabelle/HOL (lawrencecpaulson.github.io) | | 163 points by eatonphil on Oct 12, 2022 | past | 18 comments | |
| | Memories: Edinburgh ML to Standard ML (lawrencecpaulson.github.io) | | 119 points by todsacerdoti on Oct 5, 2022 | past | 40 comments | |
| | Proving the Obvious (lawrencecpaulson.github.io) | | 2 points by todsacerdoti on Sept 19, 2022 | past | |
| | Why are you being constructive? (lawrencecpaulson.github.io) | | 1 point by todsacerdoti on Sept 18, 2022 | past | |
| | Ackermann's function is not primitive recursive, I (lawrencecpaulson.github.io) | | 2 points by furcyd on Aug 31, 2022 | past | |
| | On Turing Machines (lawrencecpaulson.github.io) | | 1 point by signa11 on Aug 6, 2022 | past | |
| | On Turing Machines (lawrencecpaulson.github.io) | | 26 points by furcyd on July 6, 2022 | past | 3 comments | |
| | What is the point of formalising mathematics? (lawrencecpaulson.github.io) | | 1 point by nabla9 on June 22, 2022 | past | |
| | What is the point of formalising mathematics? (lawrencecpaulson.github.io) | | 5 points by furcyd on June 22, 2022 | past | |
| | Formalising Gödel's incompleteness theorems, I (lawrencecpaulson.github.io) | | 83 points by furcyd on May 18, 2022 | past | 51 comments | |
| | Types versus sets (and what about categories?) (lawrencecpaulson.github.io) | | 79 points by carnitine on March 16, 2022 | past | 31 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
