1
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.
Texts about AI, programming, algorithms and Go, with plenty of code examples.
Visit yourbasic.org → On Hacker News Apr 2019 – May 2019
Software Engineering 2Math & Algorithms 1Programming Languages 1
A loop invariant is a simple yet powerful tool for designing, testing, modifying, documenting and proving code correct.