Kevin Hartnett @kevinhartnett

Kevin Hartnett

@kevinhartnett.bsky.social

Science journalist and author of "The Proof in the Code," the story of Lean, the interactive theorem prover developed by Leo de Moura at Microsoft Research, which is transforming the way math research is conducted. Coming in Spring 2026 from Quanta Books.

32 Followers | 18 Following | 1 Posts | Joined: 02.02.2025 | 1.2486

Latest posts by kevinhartnett.bsky.social on Bluesky

Excited to announce that my book, "The Proof in the Code," will be the first title from @quantabooks.bsky.social, a new collaboration between @simonsfoundation.org and @fsgbooks.bsky.social. Coming in Spring 2026, it's the story of how Lean is transforming math (and influencing AI via RL).

02.02.2025 16:49 — 👍 8 🔁 2 💬 0 📌 1

@kevinhartnett is following 18 prominent accounts

Sebastien Bubeck
@sbubeck

I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.

John Carlos Baez
@johncarlosbaez.mathstodon.xyz.ap.brid.gy

I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]

Jason Rute
@jasonrute

AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning

Geoffrey Irving
@girving

Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.

José A. Alonso
@jalonso

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain

Timothy Gowers
@wtgowers

Mathematics professor at Collège de France and fellow of Trinity College Cambridge.

Erica Klarreich
@ericaklarreich

Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.

Dave Richeson
@divbyzero

Mathematician. John J. & Ann Curley Chair in Liberal Arts at Dickinson College. Author of Tales of Impossibility and Euler's Gem. Coffee drinker. [Everything in the timeline before October 2024 was imported from my Twitter/X feed 2008-24.]

Mr Honner
@mrhonner.com.web.brid.gy

[bridged from https://mrhonner.com/ on the web: https://fed.brid.gy/web/mrhonner.com ]

Daniel Litt
@littmath

Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.

Evelyn Lamb
@evelynjlamb

Math and science writer. Complex analysis fangirl.

Terence Tao
@teorth

Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/

Joseph Myers
@polyomino.org.uk

Recreational mathematician and GNU toolchain developer. Main social media presence is https://mathstodon.xyz/@jsm28

@xenaproject

Ben Mathis-Lilley
@benmathislilley

Quanta Books
@quantabooks.org

Exploring the frontiers of science and math. Illuminating humanity’s quest to understand the universe. Capturing the wonder of discovery. For readers who want to know more. Visit our website for more: www.quantabooks.org

Farrar, Straus and Giroux
@fsgbooks

Farrar, Straus and Giroux has published award-winning fiction, nonfiction, & poetry since 1946. Home of MCD Books, FSG Originals, and AUWA Books.

Bluesky
@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app