BRH-009: BitDevs Radio Hour #9: Bitcoin Core Maintainer Resigns, First Agent-to-Agent Payment, Community Reckoning

Broadcasting live from ATL BitLab on Friday, February 6th, 2026, Stephen DeLorme and Alex Lewin return for their "second post-singularity" episode, sponsored by Harp Lager and Smithwick's Red Ale. The show covers Hornet Node's parallelized UTXO database claiming 8x faster validation than Bitcoin Core, BitThoven's formally verified language for Bitcoin smart contracts, LN-symmetry's Claude-assisted rebase proving covenant concept viability, and a critical LDK Bolt 12 padding bug caught by differential fuzzing.

Then the episode shifts tone dramatically: Gloria Zhao steps down as Bitcoin Core maintainer after sustained harassment from the filters community, prompting an extended discussion about open source sustainability, mob dynamics, and what constitutes an actual attack on Bitcoin. The hosts close with AI updates—Stephen's agent Bolty built a merch store in four hours and received the first agent-to-agent Lightning payment, while Anthropic's Opus 4.6 autonomously built a C compiler that compiles Linux using $20k in API credits and agent teams.

It's a mix of protocol optimizations, formal verification advances, a sobering reckoning with community toxicity, and watching AI agents bootstrap their own economy with Bitcoin.

Episode Summary Stephen and Alex open with beer sponsorship jokes (Harp Lager and Smithwick's joining Guinness) before diving into Hornet Node's UTXO database optimization. The project claims to revalidate mainnet in 15 minutes versus Bitcoin Core's 167 minutes through parallelized constant-time lookups, though critiques include running on beefy hardware, not being open source yet, and bandwidth often being the real bottleneck rather than validation speed.

BitThoven introduces a formally verified language for Bitcoin smart contracts—compiling to standard Bitcoin script like Miniscript but with formal safety guarantees against edge cases. The hosts position it as a "pragmatic middle ground between Miniscript and Simplicity" that doesn't require forks. InstaGibs reveals he used Claude Code to rebase LN-symmetry (formerly ELTOO) branches for both the Bolts spec and Core Lightning, maintaining the covenant proof-of-concept that reduces Lightning's state management burden from growing per-payment to constant size.

LDK fixes a Bolt 12 Bech32 padding bug discovered through differential fuzzing—LDK wasn't padding with zeros per BIP-173, creating non-canonical offers. Stephen deep-dives the technical minutiae of five-bit groupings and why canon