L∃AN together – live stream schedule
(leanprover-community.github.io)
2026 Archive
10021.
10022.
NYT investigation on an ice raid [video]
(youtube.com)
10023.
How WhatsApp Scaled to Billions of Users
(singhajit.com)
10024.
Mistral Launches Vibe 2.0
(mistral.ai)
10025.
What it's like to get undressed by Grok
(rollingstone.com)
10026.
Same Radio, Different Citizens
(blog.cosmos-institute.org)
10027.
10028.
Reef: Paste bash into fish. It just works
(github.com)
10029.
AppSecMaster – Learn Application Security with hands on challenges
(appsecmaster.net)
10030.
Never Work with Bad People
(arseniy.wtf)
10031.
Show HN: A reputation index from mitchellh's Vouch trust files
(vouchbook.dev)
10032.
2025 Shkreli Awards – Lown Institute
(lowninstitute.org)
10033.
KDE Plasma 6.6 Released
(kde.org)
10036.
10037.
SQL vs. NoSQL: How to Answer This Interview Question in 2026
(thetrueengineer.com)
10038.
Approximation Game
(lcamtuf.substack.com)
10039.
War Is a Racket (Maj. Gen. Smedley Butler, USMC)
(archive.org)
10040.
Oppenheimer's Letter of Recommendation for Richard Feynman (1943)
(cantorsparadise.com)
10041.
10042.
Cuba rejects U.S. Embassy request to bring in fuel, calls it 'shameless'
(washingtonpost.com)
10043.
10044.
Your rights when an airport checkpoint is staffed by ICE agents
(papersplease.org)
10046.
The Anti-Intellectualism of the Silicon Valley Elite
(thenation.com)
10047.
ICE kills woman in MN on Jan 7, 2025 [video]
(old.reddit.com)
10048.
Free Speech Union hacked by trans activists
(telegraph.co.uk)
10049.
Show HN: How I generate animated pixel art with AI and Python
(sarthakmishra.com)
10050.