Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Building agents: When to fold subagents into your main agent loop
Anthropic's Diane Sarkis explains when teams building on Claude Platform should replace orchestrator-plus-subagent designs with a single agent loop that loads skills and tools on demand, how to migrate in stages while measuring with task-completion evals, and how several teams can keep contributing through MCP tools, skills and knowledge bases.
12 min · 2,835 words
Aaron Allen's 'Hanami, Why?' series covers Hanami's database layer: why it splits persistence into relations, repos and structs instead of Rails-style models, the advantages of the repo pattern, keeping persistence from leaking into the rest of an app, and the rough edges he has found so far.
11 min · 2,581 words
Composite objects and C++26 the std::polymorphic type
Marius Bancila explains C++26's std::polymorphic, the companion to std::indirect for owning polymorphic members in composite classes, covering value semantics, copying, and how it simplifies strategy objects, AST nodes, and similar has-a hierarchies.
8 min · 1,888 words
Types of types: Haskell's Kind system
A practical tour of Haskell’s kind system—values, types, kinds, higher-kinded types and data, and custom kinds—drawn from adding typed configuration to a Redis clone.
15 min · 3,422 words
Building a Job Queue in Postgres with SKIP LOCKED
Michael Guay walks through running background jobs in Postgres instead of Redis: the jobs table, claiming work safely with SKIP LOCKED, leases for crashed workers, retries with backoff, dedup, LISTEN/NOTIFY wakeups, and when not to.
9 min · 2,138 words
Agentic-SDD: Giving Claude Code Agents a Real Engineering Process
Agentic-SDD is a Claude Code plugin that gates coding agents through a six-stage require→plan→analyze→implement→verify→fix pipeline with on-disk status, specialist agents, and a bundled knowledge-search engine.
6 min · 1,303 words
Anatomy of a Lean Proof for Software Engineers
A walkthrough of formalizing a theory-of-computation style finite-automata proof in Lean, showing software engineers what Mathlib proofs look like structure-by-structure—from informal constructive argument to machine-checked theorem.
55 min · 12,670 words
A Spring AI tutorial on hardening agents for production: guardrails, evaluation loops, observability, tool authorization, and human-in-the-loop approval beyond a basic MCP-connected demo.
17 min · 3,953 words
Engineer-Led, AI-Assisted: A Practical Workflow for Building Software
Nathan Pickard describes an engineer-led, AI-assisted software workflow covering planning, development, testing, code review, and context management—arguing AI depends on engineering judgment rather than replacing it.
20 min · 4,529 words
Automating eval design and hillclimbing with Claude
Lance Martin (claude.dev) explains principles for production-like evals with held-out sets, then shows how the claude-api skill’s build-eval and hillclimb commands automate design and overfitting-aware improvement—including cost and performance case studies.
2 min · 462 words
Go concurrency distilled This mini book provides a brief overview of many concurrency topics in Go. Each topic comes with interactive examples — feel free to experiment with them by changing the code and clicking Run . There's also a [PDF version](https://github.com/nalgeon/go conc distilled) with static examples. This is a quick refresher on Go concurrency, not a beginner's guide.
28 min · 6,445 words
Parsing Expression Grammar in Lisp: Converting Org to HTML with (ice-9 peg) in Guile
Hi everyone. In this blog post I want to take you in an adventure of parsing Org mode with Parsing Expression Grammars (PEG) in Guile Scheme (ice 9 peg) and converting to HTML (via SXML): OrgWebAlchemy. I wanted to share something with you all that I’ve been working on for a while. It all started with some naive regular expressions to parse Org mode content, but I pretty quickly realized I needed something smarter than that to get to where I want to.
5 min · 1,135 words
Retry vs Circuit Breaker vs Fallback
Retries, circuit breakers, and fallbacks solve different failure modes in backend integrations. Using the wrong one can amplify outages—here is when each pattern helps and when it hurts.
6 min · 1,469 words
I Got Tired of Vibe Coding, So I Rebuilt the SDLC as Twelve Agent Skills
Zeeshan Hanif open-sources a twelve-skill agent kit that turns vibe coding into a disciplined pipeline—from requirements interview to deployed, verified software with decisions traced on disk.
19 min · 4,397 words
Custom Purchase Flows and Paywalls with RevenueCat on Android
A hands-on Android guide to building custom purchase flows and paywalls with RevenueCat’s Purchases SDK—PurchaseParams, callbacks, coroutines, and UI ownership.
19 min · 4,405 words
Executable Scripts with Dependencies
The Unix shell is great for supporting executable scripts via the shebang header, but I’ve always found scripting languages limiting, due to the inability to specify dependencies (other than the standard library). This has always been Python’s appeal with its “batteries included”, but I dislike Python, and its standard library isn’t enough either. And then, Scala CLI has spoiled me, now being my favorite way to build scripts.
4 min · 993 words
Design a Real-Time Voice AI Agent
# Design a Real-Time Voice AI Agent - Authors - Name - Amit Shekhar - Published on A Real-Time Voice AI Agent is a system that listens to a person speaking, understands what they said, thinks about it, takes actions if needed, and talks back in a natural human-like voice, all wit
57 min · 13,082 words
SwiftUI data dependencies and their effect on view updates
Natalia Panferova compares stored inputs, state, bindings, environment values, and observable models—and explains which changes actually re-evaluate a SwiftUI view body.
13 min · 2,954 words