Post

Amazon book reviewers are not always known for their concision, but this reader captured @kevinhartnett.bsky.social’s THE PROOF IN THE CODE (@quantabooks.org / @fsgbooks.bsky.social) in two sentences:

8/10/26, 2:55 pm1 repost1 like

Thomas Lin

@7homaslin.com

Multiple order options and formats available here (and check out our next two books, by Terence Tao and David Tong): www.quantabooks.org/books/the-pr...

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?