Certainty is a Programming Bug (featuring Hillel Wayne)

Marianne Writes a Programming Language

Контент предоставлен Marianne Bellotti. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией Marianne Bellotti или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.

4y 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