2026 May 8 Random walks, satisfiability, and quantum walks Open slides