Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Foundational Cryptography in SPARK
AdaCore's M. Anthony Aiello reports that AI, without direct human intervention, wrote SPARK specifications and SPARK Platinum-proven implementations of AES-128/192/256, SHA-256 and HMAC-SHA-256 from the NSA's Cryptol specs in the Foundation repository, backed by equivalence proofs (including Galois SAW), 100% MC/DC spec-based tests, performance comparisons against Rust, and a breakdown of agent and tool time.
15 min · 3,440 words
Three weeks of agentic refactoring: could we trust the result?
A case study of three weeks refactoring DATAMIMIC CE with coding agents: how a before/after verification harness was silently testing new code via an editable-install finder, which results were voided, the architecture guardrails used, and what the team will change next.
6 min · 1,375 words
Refactoring Hermes with 1,393 agentsOr: How to get $1.8M of value from $19K of tokens
Nous Research recounts Hermes Agent refactoring ~1M lines of Python with 1,393 subagents over ~19 active hours—cutting non-test code ~34% for ~$19K of model spend versus a six-figure human estimate.
6 min · 1,425 words