news, !paper 2025-07-10

727 Measuring the impact of AI on experienced open-source developer productivity / metr.org / 473

565 Postgres LISTEN/NOTIFY does not scale / recall.ai / 314

436 Grok 4 Launch [video] / twitter.com/xai / 601

356 German court rules Meta tracking technology violates European privacy laws / therecord.media / 168

335 Flix – A powerful effect-oriented programming language / flix.dev / 184

327 Grok 4 / simonwillison.net / 247

301 Graphical Linear Algebra / graphicallinearalgebra.net / 25

295 The ChompSaw: A benchtop power tool that's safe for kids to use / core77.com / 208

292 FOKS: Federated Open Key Service / foks.pub / 69

286 Show HN: Open source alternative to Perplexity Comet / browseros.com / 120

281 What is Realtalk’s relationship to AI? (2024) / dynamicland.org / 92

279 Is Gemini 2.5 good at bounding boxes? / simedw.com / 60

275 Red Hat Technical Writing Style Guide / stylepedia.net / 150

258 Underwater turbine spinning for 6 years off Scotland's coast is a breakthrough / apnews.com / 221

252 A Virginia public library is fighting off a takeover by private equity / lithub.com / 225

223 Show HN: Cactus – Ollama for Smartphones / github.com/cactus-compute / 81

216 How to prove false statements: Practical attacks on Fiat-Shamir / quantamagazine.org / 165

212 Matt Trout has died / shadowcat.co.uk / 79

200 Show HN: Petrichor – a free, open-source, offline music player for macOS / github.com/kushalpandya / 105

184 Show HN: Typeform was too expensive so I built my own forms / ikiform.com / 93

181 Kite News / kite.kagi.com / 145

173 Seven Engineers Suspended After $2.3M Bridge Includes 90-Degree Turn / vice.com / 195

165 Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation / ntsb.gov:443 / 194

151 Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs / github.com/afnanenayet / 44

140 Optimizing a Math Expression Parser in Rust / rpallas.xyz / 55

134 I used to prefer permissive licenses and now favor copyleft / vitalik.eth.limo / 137

132 Orwell Diaries 1938-1942 / orwelldiaries.wordpress.com / 86

117 U.S. will review social media for foreign student visa applications / npr.org / 196

103 Mini robots detect and fix water pipe leaks without digging / foxnews.com / 56

a hack by dynin labs