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.
Why I love FreeBSD (it-notes.dragas.net)
7.
Meta’s renewed commitment to jemalloc (engineering.fb.com)
8.
My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
9.
The “small web” is bigger than you might think (kevinboone.me)
10.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
11.
Obsession with growth is destroying nature, 150 countries warn (politico.eu)
12.
AirPods Max 2 (apple.com)
13.
US commercial insurers pay 254% of Medicare for the same hospital procedures (github.com)
14.
Starlink Mini as a failover (jackpearce.co.uk)
15.
'Pokémon Go' players unknowingly trained delivery robots with 30B images (popsci.com)
16.
US SEC preparing to scrap quarterly reporting requirement (reuters.com)
17.
Ask HN: What is it like being in a CS major program these days?
18.
Show HN: Claude Code skills that build complete Godot games (github.com)
19.
Lazycut: A simple terminal video trimmer using FFmpeg (github.com)
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.
Federal Right to Privacy Act – Draft legislation (righttoprivacyact.github.io)
23.
The return-to-the-office trend backfires (thehill.com)
24.
Even faster asin() was staring right at me (16bpp.net)
25.
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) (arxiv.org)
26.
Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
27.
Tell HN: AI tools are making me lose interest in CS fundamentals
28.
385TB video game archive saved by fans; torrents being generated (tomshardware.com)
29.
MM120, a pharmaceutical form of LSD, shown to reduce anxiety symptoms (2025) (sciencedaily.com)
30.
Why I may ‘hire’ AI instead of a graduate student (science.org)