Y
Hacker News
new
|
ask
|
show
|
jobs
by
gringoDan
15 days ago
You might be interested in Erik Hoel's more formal version of this argument:
https://www.theintrinsicperspective.com/p/proving-literally-...