Daily Top Stories
1.
Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
2.
Palestinian boy, 12, describes how Israeli forces killed his family in car (bbc.com)
3.
Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
4.
MoD sources warn Palantir role at heart of government is threat to UK security (thenerve.news)
5.
US Job Market Visualizer (karpathy.ai)
6.
US SEC preparing to scrap quarterly reporting requirement (reuters.com)
7.
Why I love FreeBSD (it-notes.dragas.net)
8.
Meta’s renewed commitment to jemalloc (engineering.fb.com)
9.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
10.
The “small web” is bigger than you might think (kevinboone.me)
11.
My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
12.
The American Healthcare Conundrum (github.com)
13.
Obsession with growth is destroying nature, 150 countries warn (politico.eu)
14.
AirPods Max 2 (apple.com)
15.
Starlink Mini as a failover (jackpearce.co.uk)
16.
Show HN: Claude Code skills that build complete Godot games (github.com)
17.
'Pokémon Go' players unknowingly trained delivery robots with 30B images (popsci.com)
18.
Lazycut: A simple terminal video trimmer using FFmpeg (github.com)
19.
Ask HN: What is it like being in a CS major program these days?
20.
Nvidia Launches Vera CPU, Purpose-Built for Agentic AI (nvidianews.nvidia.com)
21.
Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
22.
The return-to-the-office trend backfires (thehill.com)
23.
Even faster asin() was staring right at me (16bpp.net)
24.
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) (arxiv.org)
25.
Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
26.
Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
27.
MM120, a pharmaceutical form of LSD, shown to reduce anxiety symptoms (2025) (sciencedaily.com)
28.
Language model teams as distributed systems (arxiv.org)
29.
385TB video game archive saved by fans; torrents being generated (tomshardware.com)
30.
Teens sue xAI over Grok's pornographic images of them (bbc.com)