Sign in

Thomas Lin

@7homaslin.com
1.3K followers 387 following 306 posts

Super nerd here to spread the joy of learning. 📖 Publisher @quantabooks.org‬ at @simonsfoundation.org 📚 Author list: Terence Tao, David Tong, Kevin Hartnett ⚛️ Founding EIC @quantamagazine.org 💼 Prev @nytimes.com, CASW, CUNY J-School 🚴🏼🎾♟️

PostsRepliesMedia
Reposted by Thomas Lin
ProPublica @propublica.org · 10h
NEW: California is teeming with black-market dairies, propped up by consumer demand fueled by misinformation. With evidence against one raw goat milk farm, regulators could have sought punitive action. But that’s not what happened.
propublica.org
A Girl Nearly Died After Drinking Raw Milk. The State Did Little to Punish the Unlicensed Farmer Who Sold It.
California is teeming with black-market dairies, propped up by consumer demand fueled by misinformation. With evidence against one raw goat milk farm, regulators could have sought punitive action. But...
20822461070
Thomas Lin @7homaslin.com · 27/09/2026
“The changes have hindered the C.D.C.’s ability to respond to outbreaks as measles spreads at home and Ebola abroad, and to issue timely guidance on vaccinations as cooling temperatures kick off the respiratory season, according to current and former employees.” www.nytimes.com/2026/09/26/h...
nytimes.com
‘Zombified’ C.D.C., Hobbled by Cuts, Struggles to Fulfill Scientific Mission
The agency has lost its independence and nearly a third of its staff, as Health Secretary Robert F. Kennedy Jr. and associates have tightened control.
010
Thomas Lin @7homaslin.com · 27/09/2026
Top story on cover of Sunday @nytimes: “Interviews with more than 30 current and former employees reveal the agency is now tightly controlled by Mr. Kennedy and his associates, and its scientists are finding it increasingly difficult to do their jobs effectively.”
100
Reposted by Thomas Lin
ProPublica @propublica.org · 26/09/2026
Hey, ProPublica reporter Jake Pearson here. I’m taking over the account to tell you about my new story. For months, I posed as a problem gambler on DraftKings to test the company's "responsible gaming" safeguards. Spoiler alert: They made me a VIP — and I lost $10K. Here's how it all went down. 🧵
Selfie taken by ProPublica reporter Jake Pearson, a man wearing a backwards baseball cap and an orange T-shirt.
19595913527
Thomas Lin @7homaslin.com · 19/09/2026
Just as I am delighted to read article-length explainer threads by Phil Ball.
120
Thomas Lin @7homaslin.com · 18/09/2026
For anyone wondering what Navier-Stokes is all about and what the recent proof did and didn’t do, watch @QuantaMagazine’s excellent new explainer video: youtu.be/PsWR1rQEWYo
youtu.be
Why Navier-Stokes Pushes Math and Physics to the Edge
YouTube video by Quanta Magazine
043
Thomas Lin @7homaslin.com · 18/09/2026
Kennedy Assures Vaccine Skeptics That They Have a ‘Friend at the White House’ www.nytimes.com/2026/09/17/h...
nytimes.com
RFK Jr. Assures Vaccine Skeptics They Have a ‘Friend at the White House’
The health secretary spoke at a conference featuring misinformation about vaccines, including a claim that the success of the polio vaccines was a “fraud.”
010
Reposted by Thomas Lin
Quanta Books @quantabooks.org · 15/09/2026
Amid OpenAI’s news that they’d solved the Navier-Stokes problem—verified w/ Lean—many mathematicians, including Quanta Books author Terence Tao (@teorth.bsky.social), worry that the rapid pace of AI proofs could short-circuit the main purpose of math: “to increase your understanding of a subject.”
142
Thomas Lin @7homaslin.com · 15/09/2026
@quantabooks.org just published a new blog post to help make sense of the rapid pace of AI-generated and -assisted mathematics. www.quantabooks.org/is-ai-solvin...
quantabooks.org
Is AI Solving Math Too Fast?
In a world where AI can rapidly solve longstanding problems like Navier-Stokes, some mathematicians are calling for a more deliberative process to help preserve the field’s core values.
021
Thomas Lin @7homaslin.com · 15/09/2026
Glad you’re starting to feel better!
110
Thomas Lin @7homaslin.com · 14/09/2026
Huge congrats to Dr. Emily Levesque, the author of @quantabooks.org’s forthcoming title STARLIGHT IS FALLING!
030
Reposted by Thomas Lin
Tara C. Smith @aetiology.bsky.social · 13/09/2026
Another Pennsylvania #measles death, this time in an unvaccinated 40 year old woman. 3 deaths with less than 700 confirmed cases suggests this outbreak is much larger than reported (no surprise).
washingtonpost.com
Pennsylvania woman dies of measles-related complications, local coroner says
The 40-year-old woman, who was from Jefferson County was unvaccinated, according to the coroner.
1016194
Thomas Lin @7homaslin.com · 11/09/2026
Signed by:
000
Thomas Lin @7homaslin.com · 11/09/2026
In a letter warning of a “severe misalignment of AI in mathematics,” 25 Fields Medalists write: “the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community.” Read the letter: mathandai.org
131
Thomas Lin @7homaslin.com · 11/09/2026
Computer scientist Lance Fortnow connects the dots from the Navier-Stokes announcement to Lean (and @kevinhartnett.bsky.social’s new book THE PROOF IN THE CODE from @quantabooks.org ).
000
Thomas Lin @7homaslin.com · 08/09/2026
I enjoyed chatting with Susan D'Agostino for @insidehighered.com at the International Congress of Mathematicians in July and hope readers are interested in learning more about the philosophy behind @quantamagazine.org and @quantabooks.org. www.insidehighered.com/opinion/colu...
insidehighered.com
Quanta’s Thomas Lin Trusts Public Can Handle Complex Ideas
The founding editor built a math and science magazine that high schoolers and Nobel laureates alike read. Now, he’s turned to books.
062
Thomas Lin @7homaslin.com · 05/09/2026
AnthropicAI just announced a formalization of Fermat’s Last Theorem using 13 million lines of Lean code. First on their recommended reading list is @kevinhartnett.bsky.social’s new book THE PROOF IN THE CODE: www.quantabooks.org/books/the-pr... Source: www.anthropic.com/research/for...
041
Thomas Lin @7homaslin.com · 03/09/2026
Terry also recently introduced for a broad general audience the core concepts in his forthcoming book SIX MATH ESSENTIALS in this new @bigthink.com video, which already has over 1.2 million views: youtu.be/OOMx2BHHWtE?...
youtu.be
One of the world's greatest mathematicians explains 6 essential concepts of math | Terence Tao
YouTube video by Big Think
000
Thomas Lin @7homaslin.com · 02/09/2026
On why it matters: “many problems in harmonic analysis, partial differential equations, and number theory, which all have the general flavor of trying to control the amount of ‘constructive interference’ that can be present in some superposition of oscillating waves in ‘space’.”
000
Thomas Lin @7homaslin.com · 02/09/2026
@teorth.bsky.social wrote a clear, nontechnical explanation of the Kakeya Conjecture (for which Hong Wang won the Fields Medal in July), why it matters, how it was solved, and future directions, and posted it on the arXiv: arxiv.org/abs/2608.22209
arxiv.org
Rotating needles in space: the road to the Kakeya conjecture, and why it matters
A non-technical exposition of the Kakeya conjecture, why it matters, and the road to the solution of this conjecture in three dimensions by Hong Wang and Joshua Zahl.
262
Thomas Lin @7homaslin.com · 02/09/2026
The feeling is mutual. We feel lucky to be working with you, Will.
010
Reposted by Thomas Lin
Will Ratcliff @wcratcliff.bsky.social · 01/09/2026
Four billion years ago, Earth was a sterile rock. Today it is teeming with life, from simple microbes to extraordinarily complex societies that span the globe. How does that happen? I'm writing a book about the answer: Life Unbounded, from Quanta Books. www.quantabooks.org/books/life-u...
quantabooks.org
Life Unbounded
In LIFE UNBOUNDED, pioneering evolutionary biologist William C. Ratcliff reveals that every great leap in life’s complexity, from the first cells to human culture, was driven by the same underlying pr...
817236
Thomas Lin @7homaslin.com · 01/09/2026
Very excited to be joining forces with the evolutionary biologist @wcratcliff.bsky.social for his first popular science book! You’ll want to bookmark this one.
020
Reposted by Thomas Lin
Joel @itsjoels.bsky.social · 25/08/2026
This is the letter kids got at the end of Dolly’s Imagination Library. I defy you to read this and not cry.
Sorry, I can’t type that.
7253894911275
Reposted by Thomas Lin
Quanta Books @quantabooks.org · 25/08/2026
In July, Quanta Books attended the 2026 ICM in Philly, where we met readers, sold books, and hosted 3 events: a signing with @teorth.bsky.social or his forthcoming book and a talk with @kevinhartnett.bsky.social and publisher @7homaslin.com on Kevin’s book THE PROOF IN THE CODE (& another signing).
122
Thomas Lin @7homaslin.com · 24/08/2026
Thanks to everyone who came by the @quantabooks.org booth at the ICM last month! My heart was full seeing the love for @quantamagazine.org and the excitement around @kevinhartnett.bsky.social’s THE PROOF IN THE CODE and @teorth.bsky.social’s SIX MATH ESSENTIALS. www.quantabooks.org/quanta-books...
quantabooks.org
Quanta Books at Math’s Main Event
020
Thomas Lin @7homaslin.com · 15/08/2026
As seen at @powells.bsky.social in Portland, OR, today, @kevinhartnett.bsky.social’s mathematical thriller about the birth and rise of the verification language Lean, THE PROOF IN THE CODE.
010
Thomas Lin @7homaslin.com · 28/07/2026
The “hydrogenobody” is "an organelle, new to science, that is essential to the biochemical process of rebuilding atoms into compounds that are heating the planet." Scientists are trying to target hydrogenobody-rich protozoans in cow guts to "curb the burp." www.quantamagazine.org/a-new-way-th...
quantamagazine.org
A New Way That a Cow’s Inner World Shapes Earth’s Atmosphere | Quanta Magazine
An organelle discovered inside a microbe inside a cow’s gut helps explain how livestock burps contribute to warming our planet.
001
Thomas Lin @7homaslin.com · 22/07/2026
A stunning cover for a stunningly brilliant book about quantum field theory by the one and only David Tong.
040
Thomas Lin @7homaslin.com · 14/07/2026
Why is @nattyover.bsky.social (and about 10% of the human population, including one of my sons) left-handed? Why indeed. Fun fact I learned: "Ultrasound studies indicate that a fetus’s dominant hand is decided before its brain even connects to its limbs." www.quantamagazine.org/why-am-i-lef...
quantamagazine.org
Why Am I Left-Handed? | Quanta Magazine
An invisible difference in 10% of humans poses deep mysteries in several fields at once.
021
Thomas Lin @7homaslin.com · 10/07/2026
This glass frog has to be one of the coolest creatures I saw in Costa Rica last month. Its translucent skin is an amazing adaptation to camouflage it from predators. When you shine a light from below, you can see its internal organs!
000
Thomas Lin @7homaslin.com · 07/07/2026
"Our real duty as teachers has always been challenging students to think. The task now is finding ways to engage them in the painful, essential work of critical thinking in a world where machines are willing to do it for them." www.science.org/content/arti...
science.org
Instead of banning AI, I made a classroom contract with my students
“I used AI daily—how could I expect my students to avoid it entirely?” this computer scientist writes
011
Thomas Lin @7homaslin.com · 02/07/2026
In biology news, one big step closer to making synthetic life: www.quantamagazine.org/for-the-firs...
quantamagazine.org
For the First Time, a Cell Built From Scratch Grows and Divides | Quanta Magazine
Scientists built a synthetic cell that combines more lifelike properties than ever before — proof of concept that it’s possible to bring nonliving materials to life, or something close to it, in the l...
010
Reposted by Thomas Lin
Ferris Jabr @ferrisjabr.bsky.social · 01/07/2026
I've been documenting a pair of black-capped chickadees nesting in our garden as they fly back & forth every few minutes, hunting meals. An avg clutch of 6 to 8 chickadees requires 3,000 to 5,000 feedings over the ~16 days from hatching to fledging. Most popular foods: caterpillars, moths, spiders.
A collage of 16 photos of black-capped chickadees. Each photo depicts a closeup of a single chickadee with prey in their mouth, such as a caterpillar, adult moth, other winged insect, or spider. The chickadees are small songbirds with gray-white plumage and patches of black on their heads and throats.
414633
Thomas Lin @7homaslin.com · 30/06/2026
“You need to learn math. You need to learn it in the kind of way it’s always been learned, and understand the concepts, and wrestle with them. If you ever want to be someone like Terry Tao who’s directing AI, you need to have that deep level of understanding.” www.quantabooks.org/kevin-hartne...
quantabooks.org
Kevin Hartnett on Mathematics in the Age of AI
Sometimes, a book perfectly meets its moment. Kevin Hartnett’s THE PROOF IN THE CODE was released on June 9, when everyone wanted to talk about math, computers, and AI.
000
Thomas Lin @7homaslin.com · 24/06/2026
If you’re in the Philadelphia area on July 25, stop by the @quantabooks.org booth at the International Congress of Mathematicians at the Pennsylvania Convention Center. Terry Tao (@teorth.bsky.social) will be signing bookplates from 11am to noon.
quantabooks.org
Six Math Essentials - Quanta Books
The “Mozart of mathematics” invites readers on a brief tour of six core ideas—numbers, algebra, geometry, probability, analysis, and dynamics—that capture the beauty and power of mathematical thinking...
021
Reposted by Thomas Lin
Simons Foundation @simonsfoundation.org · 09/06/2026
In his book, "The Proof in the Code: How a Truth Machine Is Transforming Math and AI," @kevinhartnett.bsky.social tells the story of computer program Lean in an effort to answer a longstanding question: Can computers reveal universal truths? Out today from @quantabooks.org: bit.ly/43X5To1
394
Reposted by Thomas Lin
Grant Sanderson @3blue1brown.com · 10/06/2026
@quantabooks.org just released their first book, on the story of Lean by @kevinhartnett.bsky.social. It's a great story, about a pretty significant part of what's happening in math right now. www.quantabooks.org/books/the-pr...
quantabooks.org
The Proof in the Code - Quanta Books
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
010419
Thomas Lin @7homaslin.com · 08/06/2026
Get the inside story on Terry Tao’s journey into Lean and AI for math. This is an abridged chapter from @kevinhartnett.bsky.social’s THE PROOF IN THE CODE, available in bookstores tomorrow!
010
Thomas Lin @7homaslin.com · 07/06/2026
Also: “There is no democracy without journalism. It can’t be done. That is why I am a journalist.”
030
Thomas Lin @7homaslin.com · 07/06/2026
Love that @kevinroose.com said on Hard Fork that THE PROOF IN THE CODE by @kevinhartnett.bsky.social is “the most interesting book I’ve ever read about math.” www.nytimes.com/2026/06/05/p...
nytimes.com
Hot I.P.O. Summer + What Is A.I. Doing to Math? + HatGPT
030
Thomas Lin @7homaslin.com · 07/06/2026
“about four hours after our deadline, Bari Weiss sends an email to my boss, Tanya Simon. Two of the things in the email include, can we make the protesters look more violent? … And … Renee Good’s car. You need to describe her as driving toward the officer.” www.nytimes.com/2026/06/07/m...
nytimes.com
Scott Pelley on the Bari Weiss Era and His Last Days at ‘60 Minutes’
181
Reposted by Thomas Lin
Quanta Books @quantabooks.org · 04/06/2026
As Grant Sanderson (@3blue1brown.com) says, the program Lean is "one of the most important things happening to math right now—future generations may come to regard it as the Euclid’s Elements of our time."
101
Thomas Lin @7homaslin.com · 03/06/2026
"Ruptosis" sounds like the body's way to lobbest thou thy holy hand grenade. www.nature.com/articles/d41...
nature.com
Bang! Exploding immune cells splatter potent toxins everywhere
Detonation of newly discovered ‘ruptoblasts’, found in flatworms, releases compounds that kill nearby cells in minutes.
000
Reposted by Thomas Lin
Quanta Books @quantabooks.org · 03/06/2026
From award-winning science writer Anil Ananthaswamy (@anilananth.bsky.social): To learn about the future of computer science, math and AI, read Kevin Hartnett's (@kevinhartnett.bsky.social) THE PROOF IN THE CODE. Available June 9.
233
Thomas Lin @7homaslin.com · 03/06/2026
“I have been in combat in Afghanistan,” Mr. Pelley said. “I have been in combat in Iraq. I have been in the war zone in Ukraine multiple times, risking my life and the happiness of my family because of my devotion to the broadcast.” www.nytimes.com/2026/06/02/b...
nytimes.com
CBS News Fires Scott Pelley of ‘60 Minutes’
041
Reposted by Thomas Lin
Thor Benson @thorbenson.bsky.social · 01/06/2026
CBS meetings now
694661651
Thomas Lin @7homaslin.com · 01/06/2026
15 minutes of drama at 60 Minutes. 🍿 www.nytimes.com/2026/06/01/b...
nytimes.com
Scott Pelley Accuses CBS News Boss of ‘Murdering’ ‘60 Minutes’
010
Reposted by Thomas Lin
Quanta Books @quantabooks.org · 28/05/2026
The programming language and math proof assistant Lean is the latest tool in a millennia-long search to discover and verify the truth. A thread: (1/7)
132
Reposted by Thomas Lin
Quanta Books @quantabooks.org · 26/05/2026
Want to know what the next phase of human-machine relations looks like? Futurist Amy Webb (@amywebb.bsky.social) points to Kevin Hartnett's (@kevinhartnett.bsky.social) THE PROOF IN THE CODE.
112