Syntax Sugar (featuring James Houghton)

Marianne Writes a Programming Language

Marianne Writes a Programming Language

21:04

Step into the mysterious and visually stunning world of The Electric State as host Francesca Amiker takes you behind the scenes with the creative masterminds who brought Simon Stålenhag’s dystopian vision to life. In this premiere episode, directors Joe and Anthony Russo, stars Millie Bobby Brown and Chris Pratt, writers Christopher Markus and Stephen McFeely, and producers Angela Russo-Otstot and Chris Castaldi reveal how they transformed a haunting graphic novel into an epic cinematic experience. Watch The Electric State coming to Netflix on March 14th. Check out more from Netflix Podcasts . State Secrets: Inside the Making of The Electric State is produced by Netflix and Treefort Media.…

for 4 år siden 28:44

MP3•Episode hjem

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.

13 episoder

#Tech #Marianne Bellotti

Syntax Sugar (featuring James Houghton)

Marianne Writes a Programming Language

16 subscribers

published for 4 år siden

Del

MP3•Episode hjem

13 episoder

#Tech #Marianne Bellotti

Alle episoder

Marianne Writes a Programming Language

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

for 4 years siden25: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

for 4 years siden30: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

for 4 years siden27: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

for 4 years siden24: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

for 4 years siden24: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

for 4 years siden2:03