Monthly Highlights
13561.
Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean
(twitter.com)
13562.
Show HN: Local-first LaTeX editor – open-source
(apps.microsoft.com)
13563.
How to Use an Nvidia EGPU with Your Mac for Local AI in 2026
(compute-market.com)
13564.
The data black hole at the center of AI [video]
(youtube.com)
13565.
13566.
Partially Observable Stochastic Games for Cyber Deception [pdf]
(gamesec-conf.org)
13567.
An Interactive Map on a Microcontroller
(geastack.com)
13568.
Apache Kafka's log compaction corrupts data
(redpanda.com)
13569.
Red-Teaming the Agentic Red-Team
(arxiv.org)
13570.
The Illusion of Ownership – It's yours until it isn't
(yashgarg.dev)
13571.
13572.
Show HN: Indie Launch – personalized launch plans for indie developers
(indielaunch.club)
13573.
13574.
Never Too Late
(stephengbarr.substack.com)
13575.
A History of Tug-of-War Fatalities
(priceonomics.com)
13576.
Venice proposes hiking entry fee to €50
(euronews.com)
13577.
13578.
Astryx Design System
(astryx.atmeta.com)
13579.
Abdullah Ibrahim, RIP
(nytimes.com)
13580.
Palmier-pro: macOS video editor built for AI
(github.com)
13581.
The Metaculus Democracy Threat Index
(astralcodexten.com)
13583.
World-first catch: new shark species
(eurekalert.org)
13584.
13585.
Why American data centers can't plug in
(worksinprogress.co)
13586.
Air Force faults crew in second KC-46 tanker accident that tore off boom
(taskandpurpose.com)
13587.
13588.
Contributing to Haskell Through a Beginner's Lens
(blog.haskell.org)
13589.
The Agentic Resource Discovery Specification
(developers.googleblog.com)
13590.