Category: development Episodes

Most recent episodes from podcasts in the development category.

Back to category podcasts

Showing 21-30 of 750

Formal methods with Hillel Wayne thumbnail

The Pragmatic Engineer

Formal methods with Hillel Wayne

29 Jul 2026

"Formal verification methods, like TLA+ in AWS's DynamoDB, ensure AI-generated code correctness, with property-based testing offering a practical middle ground; the discussion affirms software engineering as a legitimate discipline, balancing traditional principles with rapid iteration and open-source culture, while exploring AI's future impact on development and job markets."

Open episode

Showing 21-30 of 750