{"podcast":{"title":"Boston Computation Club","slug":"boston-computation-club-4031660","podcast_index_feed_id":4031660,"rss_url":"https://anchor.fm/s/5eee01ac/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/bostoncc","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/15826563/15826563-1623263635731-99a8ec66007e4.jpg","author":"Max von Hippel","episode_count":89,"summary":"The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.","last_synced_at":"2026-09-08T12:21:35.234206+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660"},"episode":{"title":"04/18/25: Descriptive Complexity with Ramit Das","slug":"04-18-25-descriptive-complexity-with-ramit-das","published_at":"2025-04-19T20:50:23+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/04-18-25-descriptive-complexity-with-ramit-das","show_page_url":"https://stenobird.com/podcast/boston-computation-club-4031660","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/041825-Descriptive-Complexity-with-Ramit-Das-e31o2in","audio_url":"https://anchor.fm/s/5eee01ac/podcast/play/101500951/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-3-19%2F398666608-44100-2-3810f126bfda5.mp3","summary":"Ramit Das is a formal verification engineer at Intel and an avid Boston Computation Club group member. Ramit and I have been speaking for ages about formal methods, exchanging papers, etc. and today he finally agreed to come give a talk to the group about his area of expertise -- descriptive complexity. This was a really fun talk and an excellent introduction for anyone looking to get their feet wet with complexity theory, some language theory, and even a smidgeon of model theory and underpinnings of abstract interpretation. It was really fun and we can't wait to host another talk by Ramit sometime in the future!","meta_description":"Ramit Das is a formal verification engineer at Intel and an avid Boston Computation Club group member. Ramit and I have been speaking for ages about forma…","key_points":[],"chapters":[],"topics":[],"duration_seconds":3607,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/04-18-25-descriptive-complexity-with-ramit-das/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/boston-computation-club-4031660/04-18-25-descriptive-complexity-with-ramit-das.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}