The Engineering Room with Dave Farley cover image

Using AI Agents To TRULY INCREASE Software Engineering Productivity | David Yanacek In The Engineering Room Ep. 45

The Engineering Room with Dave Farley

00:00

Property‑based tests and formal methods

David advocates property testing, simulators and TLA+/formal techniques to verify agent outputs at scale.

Play episode from 10:55
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app