From Soundness to Blame: Formalizing Python typing in Lean - Jia Chen - PyCon US 2026 Typing Summit
Title: From Soundness to Blame - Formalizing Python typing in Lean Speaker: Jia Chen - Meta PyCon US 2026 Typing Summit Slides: https://drive.google.com/file/d/1oFFP...
▶︎
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
▶︎
Constraint sets in ty - Douglas Creager - PyCon US 2026 Typing Summit
▶︎
Tuscan Cottage Wildflowers Oil Painting | 4K Vintage Wallpaper Art Screensaver | Vintage Frames
▶︎
PEP 827: Type Manipulation - Michael J. Sullivan - PyCon US 2026 Typing Summit
▶︎
#12: "Resilient Payment Systems: How bank transfers actually work" by Jacek Miloszewski
▶︎
Building the PERFECT Linux PC with Linus Torvalds
▶︎
Yuval Noah Harari on Donald Trump’s Core Delusion | The Ezra Klein Show
▶︎
Why The Russian Accent Terrifies Everyone
▶︎
I turned an old van into a 2-STORY tiny house
▶︎
Inside Anthropic, the $965 Billion AI Juggernaut | The Circuit
▶︎
Watch Ukrainian Drones OBLITERATE a Russian Jet
▶︎
TV Art Screensaver Modern Art | Line Art | Vintage Art TV Background | 4K Fine Art for your TV
▶︎
Typing Council Updates and Q&A - PyCon US 2026 Typing Summit
▶︎
What do tech pioneers think about the AI revolution? - The Engineers, BBC World Service
▶︎
Nobody Breaks Celebrities Like Rowan Atkinson
▶︎
Python OOP Will Finally Make Sense After This
▶︎
Leading in the Age of AI: A Conversation with NVIDIA CEO Jensen Huang | Global Conference 2026
▶︎
The Unity Tutorial For Complete Beginners
▶︎
LIVE: Conan O’Brien speaks at Harvard graduation ceremony (full)
▶︎