“Through working with engineering teams who are building…” — The Pragmatic Engineer at 39:50
“Through working with engineering teams who are building distributed systems and you're coming in and helping them learn TLA plus learn how to revive things, what have you learned about how they usually think of verifying distributed systems before they learn about formal methods and what changes after?”
0:00
1:23:42