-
14
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean
(github.com)
-
314
Improving GPT‑5.6 Sol in ChatGPT, expanding GPT‑5.6 Luna access for free users
(openai.com)
-
245
The Valley of Webhooks
(weli.dev)
-
174
Sycophantic AI Decreases Prosocial Intentions and Promotes Dependence (2025)
(arxiv.org)
-
68
Launch HN: HyperProbe (YC S26) – Agents that do read-only debugging in prod
(hyperprobe.co)
-
74
"It's unclear how Sopwith escaped to the general public."
(unsung.aresluna.org)
-
12
ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14
(mlir-school.github.io)
-
26
Three in five Americans favor stronger oversight of social media companies
(reuters.com)
-
8
A weapon that could help red squirrels in their Battle of Britain
(economist.com)
-
338
Humans missed 1 in 3 threats approving AI agent commands across 40k game runs
(scalex.dev)
-
99
Tiny black holes may be exploding stars across the Milky Way
(sciencedaily.com)
-
149
Inside vLLM: Anatomy of a High-Throughput LLM Inference System (2025)
(aleksagordic.com)
-
19
IRC technology news from the first half of 2026
(ilmarilauhakangas.fi)
-
182
LinkedIn Feed Blocker
(github.com)
-
71
The German Mittelstand
(kieranvelasquez.substack.com)
-
145
The Entropy of a Markov Chain
(chillphysicsenjoyer.substack.com)
-
261
Amazon Is Creating the Biggest Pollution Source in the Country
(newrepublic.com)
-
6
Show HN: Weather balloon to the stratosphere with a Raspberry Pi computer
(github.com)
-
379
NASA figured out how to keep its Voyager 2 probe running for another year
(space.com)
-
116
When online commenters detect my art as AI
(davidrevoy.com)
-
119
Let's all meet up in the Y2K
(blog.gingerbeardman.com)
-
11
Building Groovie, an Advanced Web-Based Drum Machine / Beat Sequencer
(pointersgonewild.com)
-
661
Cloudflare OS: an open platform for agents, apps, and work
(blog.cloudflare.com)
-
155
Why Erdős Problems Are Falling to AI
(quantamagazine.org)
-
442
Born Against, or why hobby programming communities are against LLM usage
(blog.fogus.me)
-
3
Debugging Information for Inlined Functions
(lwn.net)
-
19
The malignant rise of OnlyFans managers
(theguardian.com)
-
134
Building an Advanced Agentic Harness
(data4sci.com)
-
79
New Orleans is testing Carbyne’s AI-powered Emergency Call Triage software
(shreveporttimes.com)
-
12
Tesla Driver Tries 'I Wasn't Driving' Excuse to Get Out of Speeding Ticket
(gizmodo.com)