Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
eigenket
on Oct 27, 2023
|
parent
|
context
|
favorite
| on:
Lean4 helped Terence Tao discover a small bug in h...
This is a beautifully and slightly ridiculously formal comment to read two comments deep in response to my comment beginning "In an informal sense".
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
