Guido Van Rossum - Heuristics in Type Optimization (via searchlore.ai)