Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
benreesman
on Dec 28, 2024
|
parent
|
context
|
favorite
| on:
Machine-Assisted Proof [pdf]
The beef is that many of us have enough grime on our hands. Many of us at the absolute elite frontier of this technology find its application in both technical reality and fundraising fantasy to be beneath any possible ideal.
And there are a lot of us.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
And there are a lot of us.