Future of CodingFuture of Coding

The Case for Formal Methods: Hillel Wayne

View descriptionShare

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

In 1 playlist(s)

  1. Future of Coding

    70 clip(s)

Future of Coding

Playful explorations of the rich past and exciting future that we're all building with our silly lit 
Social links
Recent clips
Browse 70 clip(s)