Daily issue / 2026-09-05
Useful things that surfaced in Hacker News discussions on 2026-09-05. Open the context to see why each one caught our attention—or jump straight to the original thread.
What we found
Microsoft's SMT solver for symbolic reasoning, constraint solving, and software verification.
Source discussion: Solving the Jane Street reverse engineering challenge
“I love z3. I used it for the first time for Jane Street's puzzle last year involving a hashing alg disguised as a neural network.”
mdritch · recommendation · first hand use
Direct HN comment
An open-source chip-layout viewer and editor with a scriptable Python API.
Source discussion: Solving the Jane Street reverse engineering challenge
“I ended up using the KLayout Python API to parse the GDS and extract the netlist, which was actually quite nice to use.”
BalistaCRATZ · recommendation · first hand use
Direct HN comment
An MCP server that gives agents a unified endpoint for Nix resources.
Source discussion: Ask HN: Who is using MCP in production?
“I could name the nixos mcp. Its useful because it bundles all the nix resources to one endpoint which is more efficient than web search and gives you better control over the sources.”
ma2kx · recommendation · first hand use
Direct HN comment
A fast file-search SDK and MCP server for coding agents and editors.
Source discussion: Ask HN: Who is using MCP in production?
“I use fff [1] For the performance improvements when reading files.”
Motheki · recommendation · first hand use
Direct HN comment
A single-file archive format for serving tiled maps from static object storage.
Source discussion: Show HN: Open-Source eInk Bike Computer
“We use it on oceanconnect.ca and in my opinion it’s pretty awesome. Very efficient to store and retrieve, and cut our S3 PUT request costs by something like 90% across the project.”
steve_adams_86 · recommendation · production use
Direct HN comment
A Rust-powered web build tool built on Rspack for modern JavaScript projects.
Source discussion: The Rust React Compiler is now native in Vite
“It’s just the best thing ever. Compiling at work took a minute for full builds with babel, and with rsbuild it now takes about 0.9 seconds.”
Waterluvian · recommendation · production use
Direct HN comment
A self-hosted DNS server for network-wide ad and tracker blocking.
Source discussion: Shutting down our public encrypted DNS
“I run Adguard Home on my router. Unlike the main Adguard product, Adguard Home is fully FOSS. It's been rock-solid for me, and improves on pi-hole in various ways - like full IPv6 support.”
ripdog · recommendation · first hand use
Direct HN comment
A configurable managed DNS service with per-device filtering profiles and overrides.
Source discussion: Shutting down our public encrypted DNS
“I've been using NextDNS [0] for a long time. It's worth the price because you can set up all kinds of different blocking profiles and have different ones on different devices”
windexh8er · recommendation · first hand use
Direct HN comment
An independent open-source browser built around its own standards-based web engine.
Source discussion: Actively exploited sandbox RCE in all Chromium versions
“Ladybird—another completely different web engine—is really promising. I spent five hours building it from source, having it take about 8 gigabytes of space, and it perfectly renders my own webpages and blogs.”
strenholme · recommendation · evaluated
Direct HN comment
Leila Philip's narrative-science book about beavers reshaping North American landscapes.
Source discussion: Artificial beaver dams saw juvenile coho salmon survival rates go from 8% to 60%
“I'd recommend Leila Philip's Beaverland: How One Weird Rodent Made America. It's a great work of narrative science writing.”
culi · recommendation
Direct HN comment
A video essay series about political proposals shedding their language of reasonableness.
Source discussion: Record-High 89% in U.S. Say Government Corruption Widespread
“I highly recommend the whole series, as it has renewed relevance today.”
Terr_ · recommendation · evaluated
Direct HN comment