The Case for Formal Methods: Hillel Wayne

Future of Coding

Контент предоставлен Ivan Reese and Future of Coding. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией Ivan Reese and Future of Coding или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.

5y ago 1:33:43

MP3•Главная эпизода

Hillel Wayne is a technical writer and consultant on a variety of formal methods, including TLA+ and Alloy. In this episode, Hillel gives a whirlwind tour of the 4 main flavors of formal methods, and explains which are practical today and which we may have to wait patiently for. The episode begins with a very silly joke from Steve (about a radioactive Leslie Lamport) and if you make it to the end you're in store for a few fun tales from Twitter.

https://futureofcoding.org/episodes/038

See omnystudio.com/listener for privacy information.

72 эпизодов

#Ivan Reese #Programming #Tech #Software Development #Future Of Coding