BlogViral

Show HN: Darnix – Darwin Built with Nix The Darwin kernel (XNU) has been open source since 1999. But "open source" and "you can actually build and boot it" are very different things. XNU depends on proprietary tooling, kexts, and a bunch of open source projects published without a build system. Darnix builds the whole thing with Nix. The kernel, the filesystem, the boot image, all the way to a running QEMU instance. We patched XNU to run on QEMU without kexts, ported HFS+ from a kernel extension into the kernel itself, fixed GRUB's Mach-O loader, and wired it all together as a flake. The build is fully sandboxed. No root, no volume mounting, no device access, no network. The bigger idea is a revival of PureDarwin ( https://ift.tt/odhfyva ), a standalone OS on Apple's open source Darwin layer, with Nix managing everything above the kernel. Sort of like a Nix OS on XNU instead of Linux. Right now the kernel boots, mounts a ramdisk, and runs a single static bin...

Show HN: My dad is a forensic accountant. I automated ~62% of his job https://ift.tt/AT157ZF May 22, 2026 at 11:19PM

Show HN: I Made a Claude Skill for Spec-Driven Development (SDD) At my work they provided a single Claude subscription for everyone on the team. To be honest I like kiro better as it provides a way better SDD management. But the company can't provide it and I can't afford it yet. Turns out I had the skill creator skill in my claude instance so I made use of it to create this Skill. I made it fully by using Claude but I wanted to make it open source, so I asked it to help me make tests and preparations for it, even a CI to run python tests. Well, we got this results with it: - Phase 2A: 67 static assertions (Python script, runs in CI) - Phase 2B: 15 behavioral tests (live Claude Code session) - Phase 2C: 53 generation quality checks across 3 end-to-end flows All of these passed and the CI also passed (after a few tries). I made it to suit my way of prompting and coding and based it off kiro's SDD management, but I want it to be publicly available and used by many people. Acc...

Show HN: Freenet, a peer-to-peer platform for decentralized apps For the past 5 years or so I've been working on a ground-up redesign of Freenet, my peer-to-peer project from the early 2000s (now renamed Hyphanet). The new Freenet has been up and running since December along with some early applications like River[1], our decentralized group chat and Delta - a decentralized CMS. Users have already started to build their own apps on Freenet including games, and we have some interesting apps in development like Atlas, a search/recommendation engine. Architecturally, this new Freenet is a global, decentralized key-value store where keys are webassembly contracts which define what values (aka "state") are valid for that key, how or when the values can be mutated, and how the state can be efficiently synchronized between peers. We've developed a unique (AFAIK) solution to the consistency problem, every contract must define a "merge" operation for the contract...

Show HN: Agent.email – sign up via curl, claim with a human OTP Hi HN! We're Haakam, Michael, and Adi from AgentMail- a ycs25 company. We give AI agents their own email inboxes. Recently, we ran an experiment called Agent.Email. It's a signup flow designed specifically for AI agents instead of humans. The inspiration came from a few comments we received when we did our seed launch a few months back. They all came from the very apt observation that agents not being able to sign up to a product made for agents without human credentials was ironic and unideal. This is basically the thesis we built AgentMail on: The internet was made for humans exclusively, designed to keep machines out by default. Every signup flow assumes a browser, a person reading a page, and clicking a confirmation link. Unless agents can't do that, they can't be first class users of the internet. Agents can now get an email inbox by themselves. (This also means a lot of email nobody wants to read gets...

Show HN: IgniteMS – batch text embeddings at 253K msg/s on 8x A100 https://ift.tt/sNWrGB3 May 21, 2026 at 12:07AM