Episode Details

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.

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 canonicalness matters (preventing multiple encodings for same data). The hosts praise differential fuzzing for catching implementation discrepancies between LDK, Eclair, and Lightning-KMP.

The episode's emotional center is Gloria Zhao's resignation. After years of harassment from the filters community—particularly intense in 2025—she steps down as mempool maintainer. Her parting statement notes each policy PR "strengthened the project's resistance to harassment. I cannot say the same for myself and my family." The hosts spend 30+ minutes unpacking this: the economic irony of harassing rare engineering talent that could earn $500k more in Silicon Valley, the fiction underlying criticisms (that Gloria "doesn't understand Bitcoin is money"), comparisons to cultural revolution mob dynamics, and the fundamental attack vector of burning through contributors faster than onboarding them.

Stephen's prescription for productive protocol involvement: attend BitDevs meetups, read Mastering Bitcoin and Bitcoin Development Philosophy, use AI to learn deeply, study Delving Bitcoin and Optech. Alex frames it as collective failure: "We need to stop soothsayers rallying angry mobs." Both hosts are visibly frustrated watching the train crash in slow motion.

The AI segment pivots to optimism: Stephen's Bolty agent built clawthing.store (drop-shipping merch site) in four hours, then crafted an LLMs.txt file marketing to other agents with emotional m