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

Artwork

Tech Marianne Bellotti

A tartalmat a Marianne Bellotti biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Marianne Bellotti vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

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

5y ago 19:52

Megosztás

MP3•Epizód kép

A tartalmat a Marianne Bellotti biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Marianne Bellotti vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.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 epizódok

#Tech #Marianne Bellotti

Artwork

Certainty is a Programming Bug (featuring Hillel Wayne)

Marianne Writes a Programming Language

14 subscribers

published 5y ago

Megosztás

MP3•Epizód kép

A tartalmat a Marianne Bellotti biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Marianne Bellotti vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.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 epizódok

#Tech #Marianne Bellotti

Все серии

×

Üdvözlünk a Player FM-nél!

A Player FM lejátszó az internetet böngészi a kiváló minőségű podcastok után, hogy ön élvezhesse azokat. Ez a legjobb podcast-alkalmazás, Androidon, iPhone-on és a weben is működik. Jelentkezzen be az feliratkozások szinkronizálásához az eszközök között.

Hallgasson 500+ témát

Hallgassa ezt a műsort, miközben felfedezi