Certainty Is A Programming Bug (featuring Hillel Wayne) Marianne Writes A Programming Language podcast

Artwork

Tech Marianne Bellotti

Indhold leveret af Marianne Bellotti. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Marianne Bellotti eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Marianne Writes a Programming Language « »
Certainty is a Programming Bug (featuring Hillel Wayne)

4+ y ago 19:52

Del

MP3•Episode hjem

Indhold leveret af Marianne Bellotti. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Marianne Bellotti eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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

… continue reading

13 episoder

#Tech #Marianne Bellotti

Artwork

Certainty is a Programming Bug (featuring Hillel Wayne)

Marianne Writes a Programming Language

16 subscribers

published 4+ y ago

Del

MP3•Episode hjem

Indhold leveret af Marianne Bellotti. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Marianne Bellotti eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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

… continue reading

13 episoder

#Tech #Marianne Bellotti

Alle episoder

×

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner

Lyt til dette show, mens du udforsker