The Lab · Written in the open · Tagged Testing

Lab.

Working notes from the studio. The tools I build, the workflows I keep, the mistakes I paid for.

3 entries · latest 2026-10-24

Browse every entry by topic

Latest entry

RAXXO Studios 8 min read

Claude Formal Verification, the 1-Hour Version

Claude wrote 180 million lines of Rocq proofs for 123 libraries. What that means for app developers, and a 1-hour property test that catches 2 link bugs.

AI ToolsClaudeSecurityTesting
Read the entry
Claude Formal Verification, the 1-Hour Version

Latest entry · AI Tools

All entries · Testing