News for hackers. Stuff that matters.

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

Re:To be a better programmer, write little proofs in your head by runeblaze on Wednesday July 16, 2025 @04:14PM (#44586342)
I literally don't even write proofs in my head. Every time I write algo I just ask Cursor for a Lean/Rocq proof of correctness. No tests. No test coverage. The sheer power of type theory
[ Parent | on HN ]

There are no comments on this comment yet.