1. Show HN: ZkGolf (zk.golf)
A competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4.
3. The <Usermedia> HTML Element (developer.chrome.com)
Learn about the <usermedia> HTML element, a new Capability Element landing in Chrome 151.
4. Show HN: ctx – Search the coding agent history already on your machine (github.com)
Search the coding agent history already on your machine - ctxrs/ctx
6. U.S. Officials Believed Israel Was Plotting to Kill Iranian Negotiators (www.nytimes.com)
7. Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline (github.com)
Claudoro: Feature rich Pomodoro timer embedded into Claude Code - emson/claudoro
8. The gauge broke: devs felt 20% faster with AI, measured 19% slower (intrepidkarthi.com)
For two years I argued the feeling of AI speed had come apart from the fact of it, from watching my own teams. This summer it stopped being an anecdote. A controlled trial measured experienced developers feeling about 20% faster while running about 19% slower. The instrument we steer by reads backward.
9. We Don't Have to Be This Bad at Improving Society (kasperjunge.com)
Major political reforms and big product bets fail for the same reason: too much decision risk taken in one huge bet. Working in small learnable chunks and defining outcomes instead of outputs can change that.
10. Show HN: Salt – a systems language with Z3 theorem proving in the compiler (salt-lang.dev)
A language where safety contracts are checked by Z3 at compile time. Arena memory, MLIR codegen, and exact performance parity with C.
11. How VictoriaLogs Stores Your Logs in a Columnar Layout (victoriametrics.com)
A beginner-friendly tour of how VictoriaLogs stores your logs on disk: streams and daily partitions, immutable parts, blocks and columns, and the files inside a part (timestamps, values, bloom filters, column headers, and the two-level index) that let a query read only the bytes it needs.
12. Show HN: I built an open-source alternative to Claude Cowork (github.com)
The AI Agent designed for work with security in mind. - valmishq/valmis
13. OpenAI: In early talks to give 5% stake to US Government (www.theguardian.com)
CEO Sam Altman argued move would share benefits of AI and it would involve other firms doing similar, report says
14. Show HN: I measured the half-life of 41,301 Show HN launches. It's 7 hours (jonno.nz)
I scraped all 41,301 Show HN posts from the last year. Half the comments a launch will ever get arrive inside 7.2 hours, and success doesn
15. Comparing Fable and 10 other LLMs on refactoring a LangGraph god node (wtf.korridzy.com)
Weekly Tracker Feed by Korridzy.
16. The Wisdom of Quinn the Eskimo (Apple Developer Technical Support Engineer) (github.com)
Share and Enjoy®. Contribute to macshome/The-Wisdom-of-Quinn development by creating an account on GitHub.
17. Database Traffic Control (planetscale.com)
Enforce real-time limits on your Postgres query traffic to protect your database from runaway queries and unexpected load spikes.
18. Wireless LAN SD (www.sdcard.org)
The Wireless LAN SD Standard The Wireless LAN SD standard was developed as a new SD standard to enable devices mounted with IEEE 802.11 (a/b/g/n) to perform wireless communications between home networks, SNS and cloud services, and SD memory cards. The Wireless LAN SD standard is the first iSDIO standard that integrates normal SD memory... Read more »
19. A New Catalog of Stellar Rotation Periods for over a Million Stars (aasnova.org)
A recent study has leveraged TESS
20. Show HN: QUALITY.md – open format/specification, agent skill, and CLI (getquality.md)
Model your project's quality so teams and agents can evaluate it, stay aligned on what good means, and improve it over time.
21. Claude's AskUserQuestion: "No response after 60s – continued without an answer" (github.com)
Preflight Checklist I have searched existing issues and this hasn't been reported yet This is a single bug report (please file separate reports for different bugs) I am using the latest version of ...
22. Meta building cloud business to sell excess AI capacity (www.reuters.com)
23. Show HN: Cyclearchive.com – search vintage cycling magazines (cyclearchive.com)
25. Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity (www.microsoft.com)
AI agents can't remember past conversations. They must constantly reload or retrieve context, which grows less efficient as tasks get longer and more complex. Memora solves this with a scalable memory system separating what’s stored from how it's retrieved.
26. Former Microsoft dev built a 2.5KB Notepad clone (theguptalog.blogspot.com)
27. Creating a Personalised Bin Calendar (alexwlchan.net)
28. Show HN: Unobin compiles Infrastructure as Code to one binary (cloudboss.co)
29. Modeling the Covid-19 Outbreak with J (2020) (datakinds.github.io)
”; DROP TABLE *;
30. The vibration of the pager has a sound all its own (www.notyouremergency.com)
Leadership writing for managers who'd rather triage than optimize.