Radio and PodcastRadio and PodcastLive Radio & Podcasts
Code Generation (featuring Tikhon Jelvis) artwork
Technology

Code Generation (featuring Tikhon Jelvis)

Marianne Writes a Programming Language by Marianne Bellotti

Apr 7, 202100:30:04Technology

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 tal...

About This Episode

Code Generation (featuring Tikhon Jelvis) is an episode from Marianne Writes a Programming Language by Marianne Bellotti. Part of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form Z3, a popular...

Podcast

This episode belongs to Marianne Writes a Programming Language.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Apr 7, 2021, 00:30:04 long, audio available.

Related Episodes

Continue listening to more episodes from Marianne Writes a Programming Language.

Type Systems (featuring Ron Garcia)

Mar 17, 2021 - 00:24:28

Marianne completely underestimates the complexity of type systems and struggled to figure out how inferen...

Questions About This Episode

What is Code Generation (featuring Tikhon Jelvis) about?

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.

Where can I listen to Code Generation (featuring Tikhon Jelvis)?

You can listen to Code Generation (featuring Tikhon Jelvis) online on Radio and Podcast. Open the player on this page to stream the available audio.

Which podcast is Code Generation (featuring Tikhon Jelvis) from?

Code Generation (featuring Tikhon Jelvis) is an episode from Marianne Writes a Programming Language by Marianne Bellotti.

How long is this episode?

This episode is 00:30:04 long.

When was this episode published?

This episode was published on Apr 7, 2021.

Can I save Code Generation (featuring Tikhon Jelvis) for later?

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Are there related episodes from Marianne Writes a Programming Language?

Yes. This page shows related episodes from Marianne Writes a Programming Language when more episodes are available from the podcast feed.

Quick Answers About This Episode

Where can I listen to Code Generation (featuring Tikhon Jelvis)?

You can listen to Code Generation (featuring Tikhon Jelvis) on this page when the episode audio is available from the podcast feed.

Which podcast is this episode from?

Code Generation (featuring Tikhon Jelvis) is from Marianne Writes a Programming Language by Marianne Bellotti.

What are the episode details?

Published Apr 7, 2021 and 00:30:04 long