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

Artwork

Tech Marianne Bellotti

Вміст надано Marianne Bellotti. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Marianne Bellotti або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

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

4y ago 30:04

Поширити

MP3•Головна епізоду

Вміст надано Marianne Bellotti. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Marianne Bellotti або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.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 епізодів

#Tech #Marianne Bellotti

Artwork

Code Generation (featuring Tikhon Jelvis)

Marianne Writes a Programming Language

16 subscribers

published 4y ago

Поширити

MP3•Головна епізоду

Вміст надано Marianne Bellotti. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Marianne Bellotti або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.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 епізодів

#Tech #Marianne Bellotti

Усі епізоди

×

Ласкаво просимо до Player FM!

Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.

Слухайте шоу на 500+ тем

Короткий довідник

Топ подкастів

Радіо Скорбота

Кінотижневик Vertigo

Вмістожер

Громадське радіо

Радіо Донбас Реалії

Повільна розмова

Буде тобі наука

Слухайте це шоу, досліджуючи

Відтворити