Skip to content

“The kinds that I've worked in. The most popular technology…” — The Pragmatic Engineer at 28:22

The Pragmatic Engineer Formal methods with Hillel Wayne

“The kinds that I've worked in. The most popular technology right now for that kind of planning is this language called TLA plus.”

0:00 1:23:42