PyCon 2026 part 2 of my presentation: From prompt to Proof | Dark Hacker News