News for hackers. Stuff that matters.
Re:To be a better programmer, write little proofs in your head by deterministic on Wednesday July 16, 2025 @11:44PM (#44589487)
Even better: Use comments to "prove" your code:

// x == 0 && (y == 0 || y == x + 1) && a[x + y] != 0

... code here ...

// x == 0 && (y == x + 1) && ...

There are no comments on this comment yet.