Mike Dodds shares experience building formal tools with AI
Understand this story
Mike Dodds has published a set of experience notes documenting months of practice in which AI agents took on most of the work to build semantics, verifiers, and a proof toolchain. The notes, presented as slides, come from Oath Technologies and are dated August 21, 2026, focusing on how to build formal tools with AI. What is currently public is only an experience share, with no verifiable conclusions on effectiveness.
AI overview based on source reports · Updated 1 days ago
Coverage timeline
Follow the coverage to explore different perspectives.
- Hacker News AITentative Advice on Building with AI
Mike Dodds of Oath Technologies shares notes from several months of building semantics, verifiers, and proof toolchains with AI agents doing most of the work, presented as slides on using AI to build formal tools. The talk is dated 21 August 2026.
Activity for this story
- Current comparable activity
- 5
- Peak comparable activity
- 10Nov 13 22:00
- Change in the past 24 hours
- –
Trends compare the same fully observed participants, which may cover fewer participants than current activity. Move the pointer or tap the chart to inspect hourly activity; use the left and right arrow keys with a keyboard.