Hacker News AI· MrBuddyCasino·· 1 days agoAI score23
Tentative Advice on Building with AI
Tentative Advice on Building with AI
AI summary
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.
Source: Hacker News AI · oath.tech