News for hackers. Stuff that matters.

A comment on To be a better programmer, write little proofs in your head. Parent comment

Re:To be a better programmer, write little proofs in your head by purplesyringa on Wednesday July 16, 2025 @06:10AM (#44580554)
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.
[ Parent | on HN ]

There are no comments on this comment yet.