Peter Wang - The Triangle of Code Correctness (via searchlore.ai)