Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
speed_spread
on Oct 27, 2023
|
parent
|
context
|
favorite
| on:
Lean4 helped Terence Tao discover a small bug in h...
He's gonna fix EVERYTHING. And he's gonna do it in ONE WEEK!
alexisread
on Oct 27, 2023
|
next
[–]
For those that don't get the reference, president Camacho from Idiocracy :)
rey0927
on Oct 27, 2023
|
prev
|
next
[–]
if he helps in building AGI then yes
readyplayernull
on Oct 27, 2023
|
prev
[–]
You know, we have this thing in our company, when someone performs so well they can do other people's work.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
