Exceptions Are Not Errors (featuring Smokey Jones)

Marianne Writes a Programming Language

Marianne Writes a Programming Language

26:46

For many travelers, Antarctica is a bucket-list destination, a once-in-a-lifetime opportunity to touch all seven continents. In 2023, a record-breaking 100,000 tourists made the trip. But the journey begs a fundamental question: What do we risk by traveling to a place that is supposed to be uninhabited by humans? And as the climate warms, should we really be going to Antarctica in the first place? SHOW NOTES: Kara Weller: The Impossible Dilemma of a Polar Guide Marilyn Raphael: A twenty-first century structural change in Antarctica’s sea ice system Karl Watson: First Time in Antarctica Jeb Brooks : 7 Days in Antarctica (Journey to the South Pole) Metallica - Freeze 'Em All: Live in Antarctica Learn about your ad choices: dovetail.prx.org/ad-choices…

hace 4 años 23:39

MP3•Episodio en casa

Inevitably the best way to make design decisions is to practice implementation over and over again. Marianne experiments with writing different types of specs and considers various ways they could be executed under the hood. Midway through she realizes she doesn't actually understand how to think about errors and attempts to do more research while her cat tries to distract her.

13 episodios

#Tech #Marianne Bellotti

Exceptions Are Not Errors (featuring Smokey Jones)

Marianne Writes a Programming Language

16 subscribers

published hace 4 años

MP3•Episodio en casa

13 episodios

#Tech #Marianne Bellotti

Todos los episodios

Marianne Writes a Programming Language

1
Programs Split Over Multiple Files (featuring Troels Henriksen) 25:22

hace 4 years25:22

25:22

When thinking about how to create a language where little models can be combined into bigger more complex system models, Marianne struggles to understand why not to take the completely straight forward approach of importing files. While searching for a good explanation she comes across the official blog of Futhark and decides to interview its lead on their design decisions.…

Marianne Writes a Programming Language

1
Code Generation (featuring Tikhon Jelvis) 30:04

hace 4 years30:04

30:04

Part of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form Z3, a popular SMT solver, can run as proofs. Full of enthusiasm she invites the software engineer who gave that talk, Tikhon Jelvis, to elaborate on the similarities between SMT and code normally generated by the compiler.…

Marianne Writes a Programming Language

1
Uncertain Types part 2 (featuring Barak Michener and Eric Schles) 27:31

hace 4 years27:31

27:31

Still struggling to understand how to implement uncertain types, Marianne calls on two friends to sit down with her and brainstorm different approaches. It looks more and more like adding uncertainty will cause the language to scale to impractical levels of computational complexity… then suddenly Marianne has a stroke of inspiration that changes everything .…

Marianne Writes a Programming Language

1
Uncertain Types part 1 (featuring Maria Gorinova) 24:03

hace 4 years24:03

24:03

Equipped with new knowledge about type systems, Marianne begins speccing out plans to implement uncertain types and inject probabilistic programming into Fault models. She picks the brain of Maria Gorinova—researcher and probabilistic programming evangelist—and wonders if she’s finally bitten off more than she can chew.…

Marianne Writes a Programming Language

1
Type Systems (featuring Ron Garcia) 24:28

hace 4 years24:28

24:28

Marianne completely underestimates the complexity of type systems and struggled to figure out how inference, checking and conversion work together. After a month of scraping together a smattering of facts, she calls on expert Ron Garcia to help her figure it out.

Marianne Writes a Programming Language

1
Syntax Sugar (featuring James Houghton) 28:44

hace 4 years28:44

28:44

A few weeks of user testing has revealed specific problems with the syntax of Fault. Marianne ponders various approaches to solving those problems and talks to James Houghton about the intersection between programming and system dynamic modeling.

Marianne Writes a Programming Language

1
User Research for Programming Languages (featuring Michael Coblenz) 24:12

hace 4 years24:12

24:12

Marianne has a working prototype of Fault, but still no idea if anyone will understand the design or find it useful. She needs to test it with some users and see whether it has the right features and syntax. To do this she talks with programming language researcher Michael Coblenz, who specializes in techniques for testing the usability of programming languages.…

Marianne Writes a Programming Language

hace 4 years2:03