How I came to write THAT paper with Leslie Lamport
- 21 Aug 2026 [ general type theory set theory memories ] As people grow older, they grow wiser, or at least they think they do.
- Then it becomes their duty to impart their accumulated wisdom to the younger generation.
- Leslie Lamport made his name in distributed systems and fault tolerance.
Unverified
- 21 Aug 2026 [ general type theory set theory memories ] As people grow older, they grow wiser, or at least they think they do.
- Then it becomes their duty to impart their accumulated wisdom to the younger generation.
- Leslie Lamport made his name in distributed systems and fault tolerance.
Sources: Github