George Hotz - The Challenges of Formal Programming (via searchlore.ai)