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

Artwork

Tech Marianne Bellotti

Contenuto fornito da Marianne Bellotti. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Marianne Bellotti o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.

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

3+ y ago 19:52

Condividi

MP3•Pagina principale dell'episodio

Contenuto fornito da Marianne Bellotti. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Marianne Bellotti o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 episodi

#Tech #Marianne Bellotti

Artwork

Certainty is a Programming Bug (featuring Hillel Wayne)

Marianne Writes a Programming Language

16 subscribers

published 3+ y ago

Condividi

MP3•Pagina principale dell'episodio

Contenuto fornito da Marianne Bellotti. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Marianne Bellotti o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 episodi

#Tech #Marianne Bellotti

Tutti gli episodi

×

Benvenuto su Player FM!

Player FM ricerca sul web podcast di alta qualità che tu possa goderti adesso. È la migliore app di podcast e funziona su Android, iPhone e web. Registrati per sincronizzare le iscrizioni su tutti i tuoi dispositivi.

Ascolta più di 500 argomenti