Guido Van Rossum - The Future of Typing and Technology (via searchlore.ai)