Certainty is a Programming Bug (featuring Hillel Wayne)

What kind of programming language is Marianne trying to write? Before we go any deeper into the guts of language design, Marianne and friend Hillel Wayne debate the shortcomings of various approaches to specifying and modeling program behavior. From first order logic verification to system visualizations, nothing Marianne has used before has quite fit the bill. She's beginning to get philosophical about the nature of abstraction and wants to rebel from the goal of certainty. - Want more programming history/culture/analysis? Sign Up for Hillel's Newsletter . - Hillel's Tutorials on TLA+ and his book Practical TLA+ - Mario Livio's comments at the 2010 World Science Festival

You can listen to Certainty is a Programming Bug (featuring Hillel Wayne) online on Radio and Podcast. Open the player on this page to stream the available audio.

Certainty is a Programming Bug (featuring Hillel Wayne) is an episode from Marianne Writes a Programming Language by Marianne Bellotti.

This episode is 00:19:52 long.

This episode was published on Nov 25, 2020.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Marianne Writes a Programming Language when more episodes are available from the podcast feed.