Hacker News new | ask | show | jobs
user: digital55
created: 2013-09-30
karma: 13218

submissions:

From Trust to Verification: Lean's Impact on Mathematics
2 points | 0 comments
What Emily Bender meant by "stochastic parrots"
177 points | 262 comments
Instead of banning AI, I made a classroom contract with my students
95 points | 91 comments
Mathematics in the Age of AI
3 points | 0 comments
They Spent Years on a Math Problem. Then They Were Scooped by A.I
4 points | 0 comments
Remarks on the Disproof of the Unit Distance Conjecture [pdf]
1 points | 0 comments
The Viruses Causing New Outbreaks Are Less Familiar to Science
6 points | 3 comments
A New Consciousness of Mathematics
1 points | 0 comments
Get Started with Lean Proof Assistant
2 points | 0 comments
Quantum computing is reaching its make-or-break moment
3 points | 0 comments
The Next 15 Years of Moore's Law, According to Imec
2 points | 1 comments
Alexander Grothendieck Revolutionized 20th-Century Mathematics
7 points | 1 comments
Math long resisted a digital disruption. AI is poised to change that
2 points | 0 comments
The exotic particles that could break the Standard Model
3 points | 0 comments
What It's Like to Live with an Experimental Brain Implant
1 points | 0 comments
Where Are All These Meteors Coming From?
5 points | 0 comments
Are Strings Still Our Best Hope for a Theory of Everything?
1 points | 0 comments
Truth Machine: PW Talks with Kevin Hartnett
1 points | 0 comments
Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prize
58 points | 9 comments
A.I. Writes Buggy Code. A Silicon Valley Startup Wants to Fix It
2 points | 0 comments
Quantum Data Can Teach AI to Do Better Chemistry
2 points | 0 comments
The Password That Lets Caterpillars Hide in an Ant's Lair
4 points | 0 comments
Greenland Sharks Defy Aging
3 points | 0 comments
South Carolina Hospitals Aren't Required to Disclose Measles-Related Admissions
11 points | 0 comments
0 points | 0 comments
Six Math Essentials
317 points | 64 comments
Quantum physicists create largest ever 'superposition'
4 points | 0 comments
Why Does Life Keep Evolving These Geometric Patterns?
2 points | 1 comments
MIT fusion-lab head shot dead: a horror 'impossible to believe'
3 points | 1 comments
John Noble Wilford, Times Reporter Who Covered the Moon Landing, Dies at 92
1 points | 0 comments