Correctness
2 notes
From Idea to Proof: Execute a Coding Interview
A timed method for turning an algorithm choice into correct code, a concise proof, adversarial tests, and a useful trade-off discussion.
Pattern Cards: Remember the Invariant, Not the Template
Compress each algorithm family into triggers, invariants, proof obligations, complexity, and explicit failure boundaries.