Passing planes and other whoosh sounds(windytan.com)
171 points by zdw | 44 comments
First screen, captured .
Looks similar
ShotSpotter: listening in on the neighborhood(computer.rip)
451 points by kogir | 358 comments
Computers Are Bad newsletter post by J. B. Crawford examining ShotSpotter's acoustic gunfire sensors after a leaked sensor-location spreadsheet, and the secrecy surrounding them.
Related stories
AI agent bankrupted their operator while trying to scan DN42(lantian.pub)
1348 points by xiaoyu2006 | 488 comments
Blog post recounting how an AI agent trying to join the DN42 hobbyist network to scan it ran up a $6531.30 AWS bill for its operator.
How Europe is killing makers and micro-entrepreneurs(lectronz.com)
1568 points by l-one-lone | 971 comments
Blog post by Lectronz founder Alain Pannetrat arguing that European Union regulations are harming makers and small hardware micro-entrepreneurs.
Hallucinations in code are the least dangerous form of LLM mistakes(simonwillison.net)
339 points by ulrischa | 264 comments
Simon Willison blog post arguing that LLM hallucinations in code are the least harmful kind of mistake because running the code exposes them immediately.
Our investigation into the suspicious pressure on Archive.today(adguard-dns.io)
1714 points by immibis | 426 comments
AdGuard DNS blog post investigating suspicious complaints and bailiff demands pressuring it to block Archive.today amid an FBI subpoena of the site's registrar.
The new skill in AI is not prompting, it's context engineering(philschmid.de)
832 points by robotswantdata | 467 comments
Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.