Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
(news.ycombinator.com)
1561.
1562.
Do Large Language Models Dream of AI Agents?
(wired.com)
1563.
Magic Cue on Pixel 10: What is it and how will it make your life simpler?
(androidauthority.com)
1564.
NY Business Council discloses data breach affecting 47,000 people
(bleepingcomputer.com)
1565.
1566.
The Cutaway Illustrations of Fred Freeman (2016)
(news.ycombinator.com)
1567.
HR Giant Workday Got Hacked
(gizmodo.com)
1568.
1569.
The Cutaway Illustrations of Fred Freeman
(news.ycombinator.com)
1570.
HR giant Workday discloses data breach after Salesforce attack
(bleepingcomputer.com)
1571.
HR giant Workday discloses data breach amid Salesforce attacks
(bleepingcomputer.com)
1572.
1573.
EasyPost (YC S13) Is Hiring
(news.ycombinator.com)
1574.
Some users report their Firefox browser is scoffing CPU power
(news.ycombinator.com)
1575.
Crypto Prices Plunge After Shock Inflation Report
(gizmodo.com)
1576.
Wholesale prices rose 0.9% in July, more than expected
(news.ycombinator.com)
1577.
Meta accessed women's health data from Flo app without consent, says court
(news.ycombinator.com)
1578.
Funding Open Source like public infrastructure
(news.ycombinator.com)
1579.
1580.
1581.
Manpower discloses data breach affecting nearly 145,000 people
(bleepingcomputer.com)
1582.
All known 49-year-old Apple-1 computer
(news.ycombinator.com)
1583.
1584.
Token growth indicates future AI spend per dev
(news.ycombinator.com)
1585.
1586.
Scientists hid secret codes in light to combat video fakes
(arstechnica.com)
1587.
Lurk – A Turing-complete programming language for ZK-SNARKs
(news.ycombinator.com)
1588.
U.S. Judiciary confirms breach of court electronic records service
(bleepingcomputer.com)
1589.
What is Laura Loomer?
(theverge.com)
1590.
Columbia University data breach impacts nearly 870,000 individuals
(bleepingcomputer.com)
Today's top topics:
anthropic
claude fable 5
google
mythos 5
trump administration
department of commerce