Loop Invariants explained. Read CLRS Algorithms with me. Part #1.

In the world of professional software, we usually "prove" our code works by writing unit tests. But in Computer Science, we use a concept called a Loop Invariant to mathematically guarantee that our logic is flawless before we even hit "Run." Today, ...