Hacker News top 30 - 2025-07-11
- Measuring the impact of AI on experienced open-source developer productivity metr.org - 372 comments 571 points
- Is Gemini 2.5 good at bounding boxes? simedw.com - 58 comments 264 points
- Grok 4 simonwillison.net - 182 comments 262 points
- Flix – A powerful effect-oriented programming language flix.dev - 101 comments 249 points
- What is Realtalk’s relationship to AI? - 2024 dynamicland.org - 82 comments 246 points
- Graphical Linear Algebra graphicallinearalgebra.net - 16 comments 227 points
- How to prove false statements: Practical attacks on Fiat-Shamir www.quantamagazine.org - 154 comments 205 points
- FOKS: Federated Open Key Service foks.pub - 43 comments 203 points
- Show HN: Open source alternative to Perplexity Comet www.browseros.com - 66 comments 198 points
- Red Hat Technical Writing Style Guide stylepedia.net - 81 comments 185 points
- Matt Trout has died www.shadowcat.co.uk - 52 comments 181 points
- Show HN: Typeform was too expensive so I built my own forms www.ikiform.com - 91 comments 174 points
- Show HN: Pangolin – Open source alternative to Cloudflare Tunnels github.com - 21 comments 173 points
- Kite News kite.kagi.com - 137 comments 172 points
- Grok: Searching X for “From:Elonmusk - Israel or Palestine or Hamas or Gaza” simonwillison.net - 85 comments 168 points
- Seven Engineers Suspended After $2.3M Bridge Includes 90-Degree Turn www.vice.com - 180 comments 164 points
- Underwater turbine spinning for 6 years off Scotland’s coast is a breakthrough apnews.com - 130 comments 148 points
- Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation www.ntsb.gov - 151 comments 147 points
- Optimizing a Math Expression Parser in Rust rpallas.xyz - 55 comments 136 points
- Show HN: Cactus – Ollama for Smartphones news.ycombinator.com - 54 comments 133 points
- Turkey bans Grok over Erdoğan insults www.politico.eu - 101 comments 127 points
- Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs github.com - 28 comments 113 points
- AI coding tools can reduce productivity secondthoughts.ai - 84 comments 110 points
- Orwell Diaries 1938-1942 orwelldiaries.wordpress.com - 59 comments 100 points
- U.S. will review social media for foreign student visa applications www.npr.org - 156 comments 94 points
- At last, a use case for AI agents with sky-high ROI: Stealing crypto www.theregister.com - 35 comments 94 points
- Executed Chinese prisoners likely used in UK exhibition - 2021 www.theartnewspaper.com - 49 comments 89 points
- Millions of Cars Exposed to Remote Hacking via PerfektBlue Attack www.securityweek.com - 64 comments 76 points
- US utilities plot big rise in electricity rates as data centre demand booms www.ft.com - 87 comments 75 points
- Belkin ending support for older Wemo products www.belkin.com - 56 comments 74 points
July 11, 2025 ∙