"We Really Don't Know How to Compute!" - Gerald Sussman (2011)
Strange Loop Conference · 64:18 · Watch on YouTube
We don't know how to compute efficiently like biology does, so we must trade strict correctness for evolvability via extensible generic operations and propagator-style architectures.