Certainty is a Programming Bug (featuring Hillel Wayne)

https://is1-ssl.mzstatic.com/image/thumb/Podcasts115/v4/ce/31/27/ce3127cd-d7f1-5703-2ebd-698d7633978e/mza_8205481822228635066.jpg/600x600bb.jpg

Marianne Writes a Programming Language

Marianne Bellotti

13 episodes

1 week ago

Marianne Bellotti wants to understand how the people who design programming languages do what they do, so she's jumping right in and giving it a shot by writing her own language. Follow along as she struggles to understand parsers, lexers, grammars, gets philosophical about the nature of error handling and gets in way over her head too easily and too often.

Technology

RSS

All content for Marianne Writes a Programming Language is the property of Marianne Bellotti and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Technology

https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/10000350/10000350-1603116431530-27dc701c6db6b.jpg

Certainty is a Programming Bug (featuring Hillel Wayne)

Marianne Writes a Programming Language

19 minutes 52 seconds

4 years ago

Certainty is a Programming Bug (featuring Hillel Wayne)

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