Digitally induced released haskell-agent, an experimental agent harness written in Haskell that functions as a concurrent streaming interpreter of a web socket DSL, with features including an interact…
ProofRun, a five-day-old Go CLI with 12 stars on GitHub, treats coding-agent test claims as cache entries that expire, binding results to a SHA-256 hash of the code state and marking them STALE when c…
Askance, a new human-in-the-loop GUI for agentic coding, lets developers answer questions from AI coding agents like Claude Code via a local server and CLI, with support for Markdown, Mermaid diagrams…
OneLoop, a local-first coding agent written in Rust with Nix tooling, was released by developer oneness (Birkey) on GitHub, with its initial commit dated April 18, 2026. The agent supports OpenRouter …
LabCraft, an AI-mentored learning platform that is not a chatbot, launched Part 1 of its ~48-part Nix/NixOS course, featuring Linux VMs with instrumented shells where an AI mentor observes user comman…
Midstall released Claude-for-Hardware, a plugin of 15 Claude Code skills for hardware design, validation, and bring-up, covering tasks from HDL module design and SoC integration to FPGA bring-up, tape…
Hunk, a new terminal diff viewer designed for agentic coders, has been released, offering a review-first interface that displays entire changesets in a single stream with side-by-side and stacked layo…
A developer created a bash script that blocks AI agents from using Homebrew on a system, displaying a warning message and exiting with code 42. The script instructs agents to use Nix instead, aiming t…
Farid Zakaria redesigned his personal blog fzakaria.com using AI, adding a sidebar layout, a Nix store entry in the footer, and three new Jekyll plugins for image source-sets, CSS content hashing, and…
Sandbox-bwrap-nix, a lightweight sandbox combining bubblewrap and Nix, boots in under a second with no daemon or root privileges, providing isolated environments for running AI coding agents and exper…
Flox has released two reference patterns for implementing declarative AI stacks as code, enabling reproducible, cross-platform AI environments. The first pattern composes four modular environments to …
Scarf, a developer tools company, is migrating its core web API from Haskell to Python after seven years, citing the high cost of Haskell's slow compilation in an era of AI-generated code and agentic …
A developer has published a mechanized type inference algorithm for biased record concatenation, based on Mitchell Wand's 1991 paper, to address challenges in type-checking the Nix language. The algor…
Hugging Face announced major updates to its Kernels project, introducing a new repository type on the Hub, improved security with trusted publishers and code signing, revamped CLIs, and expanded frame…
Shopify's AI agent River, which coauthors roughly one in eight merged pull requests, succeeds because it operates only in public Slack channels, creating visible transcripts that enable company-wide l…
A developer explains the basics of type inference for anonymous records, arguing that good type inference for such records is a key missing feature in statically typed languages. The post introduces t…
A researcher using nanoGPT on a MacBook Pro faces dependency failures when moving to a GPU cluster, prompting a solution using Nix and Flox to create reproducible, cross-platform runtime environments …
A developer deleted their blog post comparing Nix flakes and Guix after Andrew Tropin publicly accused them of using an LLM to write it. The author, who had researched and hand-coded the site, said th…
Zerostack released v1.5 of its lightweight Unix-inspired coding agent, achieving feature parity with Claude Code on key agent capabilities. The update introduces a redesigned TUI, multi-modal input su…
A blogger deleted their post comparing Nix flakes and Guix equivalents after Andrew Tropin accused them of using an LLM to write it, devastating the author who had invested significant effort into the…