Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
purplesyringa
9 months ago
|
parent
|
context
|
favorite
| on:
To be a better programmer, write little proofs in ...
IME, LLMs are completely incapable of reasoning about anything remotely difficult. All you'll get are proofs by assertion, not anything rigid you can trust.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
