YourBasic personal blog
Loop invariants can give you coding superpowers
A loop invariant is a simple yet powerful tool for designing, testing, modifying, documenting and proving code correct.
- Points
- 118
- HN comments
- 82
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 3, 2019 | Loop invariants can give you coding superpowers by ilarum | 118 | 82 |