Certainty is a Programming Bug (featuring Hillel Wayne)

Marianne Writes a Programming Language

Вміст надано Marianne Bellotti. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Marianne Bellotti або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

5y ago 19:52

MP3•Головна епізоду

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

13 епізодів

#Tech #Marianne Bellotti