Rock the Code cover image

2 - James Ward on Effect Oriented Programming, Writing Code in the Age of AI, Curiosity and Exploration

Rock the Code

00:00

Formal verification and deriving code from specs

James explores formal verification languages like Lean and the future where tests/specs could let AI derive verified implementations.

Play episode from 01:52:27
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