✨
AI Summary
- Discussed formal verification's potential mainstream adoption due to AI-generated code.
- Hillel Wayne, a formal methods consultant, shared insights on software history.
- Compared software engineering practices with historical trends and future possibilities.
Guests on This Episode
HW
Hillel Wayne
3 podcast appearances