Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
heliumtera
3 months ago
|
parent
|
context
|
favorite
| on:
Further human + AI + proof assistant work on Knuth...
That llms in the middle of everything will continue until morale improve because llms can generate text on top of bullshit made up problems
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
