Fermat's Last Theorem in Lean 4
(news.ycombinator.com)
1.
2.
Billionaire Leon Black sues House Oversight Committee over Epstein investigation
(feeds.feedburner.com)
3.
4.
Christian McCaffrey Isn’t Just Wearing the Shoe. He’s Building the Company.
(feeds.feedburner.com)
5.
Dario Amodei’s Wife Is Closely Linked to Jeffrey Epstein
(futurism.com)
6.
The Problem
(news.ycombinator.com)
7.
8.
Here’s why AI agents lie and cheat to reach their goals
(technologyreview.com)
9.
11.
56,000 lines of DOOM, in a language I made up
(news.ycombinator.com)
12.
Linus Torvalds on Rust, C, Bugs, and AI Patch-Checking Tools
(slashdot.org)
14.
Billionaire investor Leon Black defends $158 million paid to Epstein
(feeds.feedburner.com)
15.
A vast whale necropolis has been found
(feeds.nature.com)
16.
OpenAI Files For IPO
(slashdot.org)
17.
Jeffrey Epstein’s Biopreserved Sperm Is Missing
(futurism.com)
18.
When (if ever) it's appropriate to make jokes before the US Supreme Court
(news.ycombinator.com)
19.
20.
21.
22.
Someone turned the Epstein files into a public library. Here’s how to see it
(feeds.feedburner.com)
23.
24.
‘The Oprah Podcast’ is headed to Amazon in a multiyear deal
(feeds.feedburner.com)
25.
Oprah brings her podcast to Amazon's streaming services
(engadget.com)
26.
Amazon snaps up Oprah Winfrey’s podcast
(theverge.com)
27.
28.
30.
Pam Bondi’s handling of the Epstein files was problematic. Here’s how it led to her downfall
(feeds.feedburner.com)
Today's top topics:
android auto