{"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":"03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski","slug":"03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski","published_at":"2025-03-08T23:44:14+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski","show_page_url":"https://stenobird.com/podcast/boston-computation-club-4031660","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/030825-An-Introduction-to-LiquidHaskell-with-Michael-H--Borkowski-e2vt3n3","audio_url":"https://anchor.fm/s/5eee01ac/podcast/play/99568803/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-2-8%2F49a2109f-a023-08bf-5fff-e8b193bc5238.m4a","summary":"Michael H. Borkowski is an Assistant Professor of Practice in the Department of Computer Science at Purdue University. Before joining Purdue, he earned his Ph.D. from the Department of Computer Science and Engineering at UC San Diego, where he was affiliated with the ProgSys Group. Today Michael joined us to discuss LiquidHaskell, a very cool project that incorporates a kind of refinement types, with SMT-based proofs, into Haskell. This was a really compelling talk and we hope you enjoy it as much as we did!","meta_description":"Michael H. Borkowski is an Assistant Professor of Practice in the Department of Computer Science at Purdue University. Before joining Purdue, he earned hi…","key_points":[],"chapters":[],"topics":[],"duration_seconds":3730,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski/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/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}