“Yeah. So the seminal paper on this was in 2014, the use of…” — The Pragmatic Engineer at 35:53
“Yeah. So the seminal paper on this was in 2014, the use of problem at Amazon Web Services, and they talked about how a couple of people in the company were interested in it and learned TLA plus another language called plus gal, which is something that compiles TLA plus,”
0:00
1:23:42