Code Generation (featuring Tikhon Jelvis) Marianne Writes A Programming Language podcast

Artwork

Tech Marianne Bellotti

Indhold leveret af Marianne Bellotti. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Marianne Bellotti eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Marianne Writes a Programming Language « »
Code Generation (featuring Tikhon Jelvis)

4y ago 30:04

Del

MP3•Episode hjem

Indhold leveret af Marianne Bellotti. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Marianne Bellotti eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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.

… continue reading

13 episoder

#Tech #Marianne Bellotti

Artwork

Code Generation (featuring Tikhon Jelvis)

Marianne Writes a Programming Language

16 subscribers

published 4y ago

Del

MP3•Episode hjem

Indhold leveret af Marianne Bellotti. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Marianne Bellotti eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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.

… continue reading

13 episoder

#Tech #Marianne Bellotti

Alle episoder

×

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner

Lyt til dette show, mens du udforsker