lawrencecpaulson.github.io
↩

The semantics of a simple functional language
2023-03-10 22:45:11 (Hacker News)
Source: Hacker News
Formalising a new proof that the square root of two is irrational
2023-01-18 22:41:53 (Hacker News)
Source: Hacker News
Memories: Artificial Intelligence at Stanford in the 70s
2023-01-11 05:06:06 (Hacker News)
Source: Hacker News
Memories: First Exposure to Computers
2022-12-07 05:09:13 (Hacker News)
Source: Hacker News

↩