The Case for Formal Methods: Hillel Wayne
Future of Coding
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
Support us on Patreon: https://www.patreon.com/futureofcoding
See omnystudio.com/listener for privacy information.
Next Episodes
De-Nerding Programming: Jonathan Edwards @ Future of Coding
📆 2019-03-02 19:13 / ⌛ 01:48:20
Moldable Development: Tudor Girba @ Future of Coding
📆 2019-02-13 17:43 / ⌛ 02:52:29
Democratizing Web Design: Vlad Magdalin @ Future of Coding
📆 2019-01-06 17:53 / ⌛ 01:32:41
The Edges of Representation: Katherine Ye @ Future of Coding
📆 2018-12-05 15:59 / ⌛ 01:14:06
Reflection 14: /about @ Future of Coding
📆 2018-12-03 17:16 / ⌛ 01:52:17