Carl Kadie
Carl Kadie leads the FaST-LMM open-source Python project for genomics. He also contributes to other Python and Rust projects, including a visualizer for the Turning Machine bbchallenge.org website. Previously, Carl was a Principal Applied Scientist at Microsoft and Microsoft Research, where he worked in machine learning, statistics, and genomics, with publications in Science and Nature.
(On the side, he writes fun articles about Python, Rust, and scientific programming on Medium.)
Sessions
Why can we solve some equations with neat formulas, while others stubbornly resist every trick we know? Equations with squares bow to the quadratic formula. Those with cubes and fourth powers also have solutions. But then the magic stops. And when we, as data scientists, add exponentials, logarithms, or trigonometric terms into models, the resulting equations often cross into territory where no closed-form solutions exist.
This talk is both fun and useful. With Python and SymPy, we’ll “cheat” our way through centuries of mathematics, testing families of equations to see when closed forms appear and when numerical methods are our only option. Attendees will enjoy surprising examples, a bit of mathematical history, and practical insight into when exact solutions exist — and when to stop searching and switch to numerical methods.
Many talks show how to make Python code faster. This one flips the script: what if we try to make our Python as slow as possible? By exploring deliberately inefficient programs — from infinite loops to Turing machines that halt only after an astronomically long time — we’ll discover surprising lessons about computation, large numbers, and the limits of programming languages. Inspired by new Turing machine results, this talk will connect Python experiments with deep questions in theoretical computer science.