Peter Wang - The Future of Software: Beyond Functional Correctness (via searchlore.ai)