August 2025 Archive
1531.
The Open-Office Trap (2014) (newyorker.com)
1532.
Debugging Behind the Iron Curtain (2010) (jakepoz.com)
1533.
Artificial biosensor can better measure the body's main stress hormone (medicalxpress.com)
1534.
Show HN: Mathpad – Physical keypad for typing math symbols (crowdsupply.com)
1535.
Kyoto University team develops pain reliever comparable to morphine (japantimes.co.jp)
1536.
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos (rickovercorpus.org)
1537.
Unification (2018) (eli.thegreenplace.net)
1538.
Workday suffered a data breach (gizmodo.com)
1539.
Herbie detects inaccurate expressions and finds more accurate replacements (herbie.uwplse.org)
1540.
As Alaska's salmon plummet, scientists home in on the killer (science.org)
1541.
What Does One Billion Dollars Look Like? (whatdoesonebilliondollarslooklike.website)
1542.
OpenAI's new GPT-5 models announced early by GitHub (theverge.com)
1543.
How we enforce .NET coding standards to improve productivity (anthonysimmon.com)
1544.
A parser for TypeScript types, written in TypeScript types (github.com)
1545.
LibreOffice says Microsoft Office exploits you, offers free ODF migration guide (neowin.net)
1546.
Show HN: FilterQL – A tiny query language for filtering structured data (github.com)
1547.
Launch HN: Dedalus Labs (YC S25) – Vercel for Agents
1548.
R0ML's Ratio (blog.glyph.im)
1549.
Guile bindings for Sway window manager (github.com)
1550.
Eca: Editor Code Assistant – AI pair programming capabilities agnostic of editor (github.com)
1551.
Explanation of the Linux-kernel memory consistency model (2017) (raw.githubusercontent.com)
1552.
Job growth has slowed sharply; the question is why (stayathomemacro.substack.com)
1553.
Reading for pleasure plummets by 40% in the US (medicalxpress.com)
1554.
Hyprland – An independent, dynamic tiling Wayland compositor (hypr.land)
1555.
Ripple – A TypeScript UI framework that takes the best of React, Solid, Svelte (github.com)
1556.
How well do coding agents use your library? (stackbench.ai)
1557.
Exploring the tragedy of the Counter-Strike 2 server browser (bphilip.uk)
1558.
Convo-Lang: LLM Programming Language and Runtime (learn.convo-lang.ai)
1559.
Show HN: Browser AI agent platform designed for reliability (github.com)
1560.
Lightweight LSAT (lightweightlsat.com)