Claude-generated video explains model-based formal verification and state machines
DavidKPiano · x · 2026-09-26
A Claude-generated explainer video walks through model-based formal verification and why state machines remain such a useful engineering tool, doubling as a demo of turning a technical tweet into shareable video content automatically.
More from coding & agent
- One agent writes the fix, another reviews it: a two-agent code review workflow in Slack — Al_Grigor · 2026-09-26
- Academic agent Memex upgraded to Opus 5.5: writing quality fixed, experience much better — arjunrajlab · 2026-09-26
- Dev uses open-source Ling-3.0-flash-VL to let AI redesign the foldable iPhone in a single HTML file — alifcoder · 2026-09-26
- Anthropic launches Claude plugin directory portal as MCP usage jumps 110x this year — ClaudeDevs · 2026-09-26
- Open-source Jev agent plays Pokemon Red live, pushing fast-decision AI beyond Tetris — supportingthedogs · 2026-09-26
- Anthropic deep dive: effort tuning in Claude Code pays off most for security and code review — trq212 · 2026-09-26