HN user

digital55

13,218 karma
Posts1,407
Comments11
View on HN
www.simonsfoundation.org 16d ago

From Trust to Verification: Lean's Impact on Mathematics

digital55
2pts0
spectrum.ieee.org 16d ago

What Emily Bender meant by "stochastic parrots"

digital55
177pts262
www.science.org 19d ago

Instead of banning AI, I made a classroom contract with my students

digital55
95pts91
www.quantabooks.org 20d ago

Mathematics in the Age of AI

digital55
3pts0
www.nytimes.com 1mo ago

They Spent Years on a Math Problem. Then They Were Scooped by A.I

digital55
4pts0
cdn.openai.com 1mo ago

Remarks on the Disproof of the Unit Distance Conjecture [pdf]

digital55
1pts0
www.nytimes.com 1mo ago

The Viruses Causing New Outbreaks Are Less Familiar to Science

digital55
6pts3
apoorvapanidapu.substack.com 1mo ago

A New Consciousness of Mathematics

digital55
1pts0
lean-lang.org 1mo ago

Get Started with Lean Proof Assistant

digital55
2pts0
www.scientificamerican.com 2mo ago

Quantum computing is reaching its make-or-break moment

digital55
3pts0
spectrum.ieee.org 2mo ago

The Next 15 Years of Moore's Law, According to Imec

digital55
2pts1
www.quantamagazine.org 2mo ago

Alexander Grothendieck Revolutionized 20th-Century Mathematics

digital55
7pts1
www.sciencenews.org 2mo ago

Math long resisted a digital disruption. AI is poised to change that

digital55
2pts0
www.nature.com 2mo ago

The exotic particles that could break the Standard Model

digital55
3pts0
spectrum.ieee.org 3mo ago

What It's Like to Live with an Experimental Brain Implant

digital55
1pts0
www.nytimes.com 3mo ago

Where Are All These Meteors Coming From?

digital55
5pts0
www.quantamagazine.org 3mo ago

Are Strings Still Our Best Hope for a Theory of Everything?

digital55
1pts0
www.publishersweekly.com 3mo ago

Truth Machine: PW Talks with Kevin Hartnett

digital55
1pts0
www.scientificamerican.com 4mo ago

Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prize

digital55
58pts9
www.nytimes.com 4mo ago

A.I. Writes Buggy Code. A Silicon Valley Startup Wants to Fix It

digital55
2pts0
spectrum.ieee.org 4mo ago

Quantum Data Can Teach AI to Do Better Chemistry

digital55
2pts0
www.nytimes.com 4mo ago

The Password That Lets Caterpillars Hide in an Ant's Lair

digital55
4pts0
www.sciencenews.org 4mo ago

Greenland Sharks Defy Aging

digital55
3pts0
www.propublica.org 4mo ago

South Carolina Hospitals Aren't Required to Disclose Measles-Related Admissions

digital55
11pts0
terrytao.wordpress.com 5mo ago

Six Math Essentials

digital55
317pts64
www.nature.com 6mo ago

Quantum physicists create largest ever 'superposition'

digital55
4pts0
www.scientificamerican.com 6mo ago

Why Does Life Keep Evolving These Geometric Patterns?

digital55
2pts1
www.nature.com 7mo ago

MIT fusion-lab head shot dead: a horror 'impossible to believe'

digital55
3pts1
www.nytimes.com 7mo ago

John Noble Wilford, Times Reporter Who Covered the Moon Landing, Dies at 92

digital55
1pts0
www.simonsfoundation.org 7mo ago

Quanta to publish popular math and physics books by Terence Tao and David Tong

digital55
133pts35
Six Math Essentials 5 months ago

Terence Tao: Just a brief announcement that I have been working with Quanta Books to publish a short book in popular mathematics entitled “Six Math Essentials“, which will cover six of the fundamental concepts in mathematics.

The video mentions that physicists are looking for the "ripples" (gravitational waves) that would prove inflation, and while they haven't found them yet, they seem to be getting closer to detecting them.