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?
βKevin Hartnett is one of todayβs finest chroniclers of math. With marvelous clarity and narrative flair, he introduces us to computer-verified proof, the drama behind it, and the people reimagining what math can be.β β @stevenstrogatz.com www.quantabooks.org/books/the-pr...
06.03.2026 19:35
π 0
π 1
π¬ 0
π 0
In January, we went inside the Dilley detention center. Children shared letters describing the anguish of being ripped from their lives: propub.li/4cUHm8L
After publishing that story, we learned about Edison, a 13-year-old from Chicago detained for 2+ months. Listen to Edison in his own words π
04.03.2026 00:01
π 647
π 300
π¬ 9
π 20
Do you envision physics/science in the mix as entertainment or is this strictly for martini lovers (as opposed to lovers of the ten martini problem)?
04.03.2026 00:16
π 1
π 0
π¬ 1
π 0
Conservation of mass.
25.02.2026 23:19
π 1
π 0
π¬ 0
π 0
Eight months before publication, Terence Taoβs SIX MATH ESSENTIALS is already the #1 selling math book on Amazon.
23.02.2026 21:59
π 2
π 0
π¬ 1
π 0
US repeals key βendangerment findingβ that climate change is a public threat
Overturning the 2009 decision means billions of extra tonnes of greenhouse-gas emissions over the next three decades.
Todayβs action βis a rejection of the most basic laws of physicsβ, says #climate scientist Friederike Otto.
I report on the EPA revoking its own ruling on the danger of greenhouse gases:
www.nature.com/articles/d41... π§ͺ
12.02.2026 23:33
π 75
π 45
π¬ 6
π 5
Be the first to hear about our forthcoming books and special events. Receive author interviews and publishing tips. Get the inside story behind our logo, imprint, and book projects. Sign up for our newsletter at the bottom of this web page: quantabooks.org
12.02.2026 16:29
π 2
π 1
π¬ 1
π 0
Politics may represent your reality, but science represents everyoneβs reality.
11.02.2026 18:11
π 2
π 0
π¬ 0
π 0
Six Math Essentials
The βMozart of mathematicsβ invites readers on a brief tour of six core ideasβnumbers, algebra, geometry, probability, analysis, and dynamicsβthat ca...
Weβre thrilled to announce that Terence Tao (@teorth.bsky.social)βs SIX MATH ESSENTIALS is available for preorder: us.macmillan.com/books/978037.... A whirlwind tour through six core ideas that have guided mathematicians from antiquity to the frontiers of what we know today. Pubs October 27, 2026.
10.02.2026 15:09
π 47
π 14
π¬ 2
π 1
I'm thrilled to reveal the new cover for @teorth.bsky.social's SIX MATH ESSENTIALS! This slim, elegant book reveals Terry Tao's deep insights about what math is, where mathematical ideas came from, how they've evolved, and how math is best used to make sense of the complexities of our world.
10.02.2026 16:05
π 2
π 0
π¬ 1
π 0
Washington Post Begins Laying Off More Than 300 Journalists
Marty Baron: "The Washington Postβs ambitions will be sharply diminished, its talented and brave staff will be further depleted and the public will be denied the ground-level, fact-based reporting in our communities and around the world that is needed more than ever." www.nytimes.com/2026/02/04/b...
04.02.2026 21:21
π 0
π 0
π¬ 0
π 0
Canadian Company Cancels Sale of Virginia Warehouse to ICE
Jim Pattison Developments said the sale of an industrial building, which was planned to become an Immigration and Customs Enforcement processing facility, would not go forward.
A Canadian company said on Friday that it would no longer sell a warehouse in Virginia to the U.S. Department of Homeland Security, which had planned to use the site as an ICE processing facility.
01.02.2026 20:59
π 1284
π 237
π¬ 59
π 35
Just experienced the most intense tear gassing of my life by federal officers outside the ICE facility in Portland where marchers gathered. There was no fast exit as they indiscriminately threw loads of gas and flash bangs. Children were in the crowd screaming. @oregoncapitalchronicle.com
01.02.2026 00:50
π 12665
π 6184
π¬ 383
π 441
Sinner possesses the speed, consistency and offensive/defensive prowess of Djokovic (whom he lost to in their nail-biting AO semifinal), while Alcaraz displays the athleticism, variety and finesse of Federer and Nadal combined into one player. Tennis is in good hands. πΎ
01.02.2026 14:54
π 0
π 0
π¬ 0
π 0
Earth-size planet spotted with yearlong orbit
Long-overlooked Kepler signal discovered by citizen scientists reveals promising world worth a closer look
New planet just dropped and it
1) is almost exactly Earth-sized
2) has a year that's almost exactly 1 Earth year.
3) orbits a star that is not a π’temperamental little shit M-dwarf π’but is instead a π§‘ good orange boi π§‘
Me for @science.org based on results presented at #RockyWorlds4: ππ§ͺ
28.01.2026 21:42
π 1531
π 433
π¬ 50
π 103
Bruce Springsteen - Streets Of Minneapolis (Official Lyric Video)
YouTube video by Bruce Springsteen
The Boss standing up for all thatβs Good and Pretti in America. youtu.be/GDaPdpwA4Iw?...
30.01.2026 02:37
π 3
π 0
π¬ 0
π 0
Gun Sellers Have Made Millions From Trumpβs Deployment of Immigration Agents
Last year, the Department of Homeland Security spent a record sum on guns and ammunition, a Trace analysis found.
βA Trace analysis of federal spending data found that gun industry revenue ballooned as Department of Homeland Security agents carried out mass federal raids in major cities β and shot people trying to protest or document the agentsβ activities.β
www.thetrace.org/2026/01/gun-...
29.01.2026 19:14
π 0
π 0
π¬ 0
π 0
What flat Earthers and other anti-scientific conspiracy theorists have in common is a myopic view of the world. Earth looks flat from where we stand. Vaccines look dangerous if someone we know had an adverse reaction. It's science that gives us a broader perspective and brings us closer to reality.
22.01.2026 21:58
π 3
π 1
π¬ 0
π 0
Senior Editor, Science
WIRED is where a better future is imagined. For three decades, we have been the indispensable guide to a world in constant transformation. We cover humanityβs biggest challenges, from climate change t...
Hey! @wired.com is doing a bunch of hiring. Here we go with a thread of five great jobs, with a few more coming shortly:
1) We are hiring a senior editor for our science desk, which means you get to work with geniuses like @timmarchman.bsky.social @mollytaft.com and @emilymullin.bsky.social
14.01.2026 21:28
π 408
π 315
π¬ 4
π 9
Thatβs one way to keep people off your front lawn.
14.01.2026 21:26
π 0
π 0
π¬ 0
π 0
Vaccines Are Helping Older People More Than We Knew
Oh, just get vaccinated (part 5,000)
"Many shots seem to have βoff-targetβ benefits, such as lowering the risk of dementia, studies have found." (gift article)
04.01.2026 17:30
π 1081
π 290
π¬ 21
π 24
R.F.K. Jr. Likely to Swap U.S. Childhood Vaccine Schedule for Denmarkβs
βTheyβre going to bring back suffering and death,β said Dr. Sean OβLeary, chair of the infectious disease committee for the American Academy of Pediatrics. βI donβt say that with any hyperbole, thatβs exactly whatβs going to happen.β www.nytimes.com/2025/12/19/h...
20.12.2025 01:20
π 3
π 0
π¬ 1
π 0
The Biggest Breakthroughs in Mathematics: 2025
YouTube video by Quanta Magazine
Best time of the year for @quantamagazine.bsky.social readers: The Year in Review series dropped this week.
Articles: www.quantamagazine.org/tag/2025-in-...
Math recap video: youtu.be/hRpcWpAeWng?...
Physics recap video: youtu.be/CPoQkE9KaAY?...
19.12.2025 16:14
π 2
π 0
π¬ 0
π 0
βIgnorance more frequently begets confidence than does knowledge: it is those who know little, not those who know much, who so positively assert that this or that problem will never be solved by science.β β Charles Darwin
17.12.2025 21:33
π 2
π 1
π¬ 0
π 0
What are Lie groups, you ask? Leila Sloman has you covered.
15.12.2025 17:47
π 1
π 0
π¬ 0
π 0