Skip to content

“And he wanted a language that could be used to model…” — The Pragmatic Engineer at 28:38

The Pragmatic Engineer Formal methods with Hillel Wayne

“And he wanted a language that could be used to model distributed systems. So he basically created this thing called TLA plus.”

0:00 1:23:42