Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
fifilura
on Oct 27, 2023
|
parent
|
context
|
favorite
| on:
Lean4 helped Terence Tao discover a small bug in h...
I am sure 100% of thornewolf and 99% of people reading the same news as you know who Terence Tao is, but extrapolating from your own perspective is treacherous.
https://xkcd.com/1053/
LoganDark
on Oct 27, 2023
[–]
https://xkcd.com/2501
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://xkcd.com/1053/