Podchaser Logo
Home
Marianne Writes a Programming LanguageEpisode from the podcastMarianne Writes a Programming Language
Next Episode
Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)

Released Wednesday, 7th April 2021
Good episode? Give it some love!
Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)

Wednesday, 7th April 2021
Good episode? Give it some love!
Rate Episode
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript

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.

Show More
Rate
Get this podcast via API

From The Podcast

Marianne Writes a Programming Language

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.

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more

Episode Tags

Do you host or manage this podcast?
Claim and edit this page to your liking.
,

Unlock more with Podchaser Pro

  • Audience Insights
  • Contact Information
  • Demographics
  • Charts
  • Sponsor History
  • and More!
Pro Features
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More