{"type":"rich","version":"1.0","title":"Joining Logic, Relational, and Functional Programming: Michael Arntzenius","author_name":"Feeling of Computing","author_url":"https://feelingof.com/","provider_name":"Omny Studio","provider_url":"https://omny.fm","html":"<iframe src=\"https://omny.fm/shows/future-of-coding/40-joining-logic-relational-and-functional-program/embed\" width=\"100%\" height=\"180\" allow=\"autoplay; clipboard-write; fullscreen\" allowfullscreen frameborder=\"0\" title=\"Joining Logic, Relational, and Functional Programming: Michael Arntzenius\"></iframe>","width":600,"height":180}