🛠️ All DevTools

Show HN: Coding Agent Survey – Which coding agents do you use?

Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler

A complete ClickHouse OLAP engine, compiled to WebAssembly

Show HN: Pglayers – PostgreSQL extensions as stackable Docker layers

In Praise of Observational Evidence

Show HN: GolemUI – The new paradigm for JavaScript forms We&#x27;re a team of three friends who have been working with forms and Open Source for a decade, and we joined forces together to create something where we can apply all of our experience.<p>We recently released GolemUI, an Open Source library to generate forms dynamically from JSON definitions, with a typed layer to simplify authoring.<p>This library has a lot to offer. These are the main characteristics:<p>1. A JSON engine. The form is governed by a JSON definition that you can store in a DB, version, diff, or generate it with LLMs as a validated JSON.<p>2. We provide also 28 headless components (and growing) that you can style with CSS variables. We offer APIs so you can drop in Material, Shoelace, or your own components.<p>3. A DX typed authoring layer on top to write forms programmatically, that generates JSON. So you don&#x27;t have to write it.<p>4. The same definition can render the UI components in React, Angular, Vue, Lit, or Vanilla JS.<p>5. We also have a deterministic MCP that has tools for to validate the model&#x27;s output, generate JSONs or code, and ensure that the definition returned by the LLM is always valid.<p>You can find more information here:<p>Happy to hear any feedback from you and answer any questions!

Can you build a recognizable World Map in under 500 bytes?

For First Time, a Cell Built from Scratch Grows and Divides

FFmpeg 9.1's new AAC encoder

Trust your compiler: Modern C++

Notes from Building Tinkerfont

Most arguments are about ego, not ideas

Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline 3 weeks ago I had a nasty accident and fractured my vertebrae. As I lay in bed I needed something to take my mind off it all so built &quot;Claudoro&quot;.<p>Claudoro is a pomodoro timer built right into the Claude Code status line, as well as can be directly controlled from Claude Code and the CLI. A few years ago I built &quot;pymodoro&quot; which was great, but recently I felt I needed something embedded in the tools I actually use, and I also wanted something that was flexible, and I could tweak and nudge.<p>Anyway I hope it is useful to you, and I&#x27;d love some feedback on how to improve it.<p>Thank you...!<p>PS this is a write up all about how it works etc: <a href="https:&#x2F;&#x2F;benemson.com&#x2F;blog&#x2F;agents&#x2F;claudoro-pomodoro-timer-claude-code" rel="nofollow">https:&#x2F;&#x2F;benemson.com&#x2F;blog&#x2F;agents&#x2F;claudoro-pomodoro-timer-cla...</a>

Announcing Box3D :: Box2D

Show HN: Frond – a frontend runtime for your app's dependency graph

18 AI personas deliberate your hardest decisions across multiple LLM providers. Aristotle, Feynman, Kahneman, Torvalds & more — structured multi-round deliberation with genuine model diversity. One command: /council

Client-side load balancing at a million requests per second

Show HN: HackerNows – Native iOS HN Client

Apple 'Hide My Email' vulnerability reveals peoples' real email addresses <a href="https:&#x2F;&#x2F;www.404media.co&#x2F;apple-hide-my-email-vulnerability-reveals-peoples-real-email-addresses&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.404media.co&#x2F;apple-hide-my-email-vulnerability-re...</a>, <a href="https:&#x2F;&#x2F;archive.vn&#x2F;mCbBw" rel="nofollow">https:&#x2F;&#x2F;archive.vn&#x2F;mCbBw</a>

We put a Redis server inside our runtime