The Pragmatic Engineer cover image

Code security for software engineers

The Pragmatic Engineer

00:00

Scaling verification for faster code

Johannes emphasizes automating verification, training LLMs on high-quality code, and deterministic checks.

Play episode from 55:37
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