The Case For Formal Methods: Hillel Wayne Future Of Coding podcast

Artwork

Ivan Reese Programming Tech Software Development Future Of Coding

Innehåll tillhandahållet av Ivan Reese and Future of Coding. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Ivan Reese and Future of Coding eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

Future of Coding « »
The Case for Formal Methods: Hillel Wayne

5+ y ago 1:33:43

Dela

MP3•Episod hem

Innehåll tillhandahållet av Ivan Reese and Future of Coding. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Ivan Reese and Future of Coding eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

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.

… continue reading

73 episoder

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

Artwork

The Case for Formal Methods: Hillel Wayne

Future of Coding

230 subscribers

published 5+ y ago

Dela

MP3•Episod hem

Innehåll tillhandahållet av Ivan Reese and Future of Coding. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Ivan Reese and Future of Coding eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

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.

… continue reading

73 episoder

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

Alla avsnitt

×

Välkommen till Player FM

Player FM scannar webben för högkvalitativa podcasts för dig att njuta av nu direkt. Den är den bästa podcast-appen och den fungerar med Android, Iphone och webben. Bli medlem för att synka prenumerationer mellan enheter.

Lyssna på 500+ ämnen