Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
purplesyringa
6 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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
