{"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":"Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli","slug":"logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli","published_at":"2026-03-09T04:14:59+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli","show_page_url":"https://stenobird.com/podcast/boston-computation-club-4031660","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/Logic-py-Bridging-the-Gap-between-LLMs-and-Constraint-Solvers-with-Pascal-Kesseli-e3g53fo","audio_url":"https://anchor.fm/s/5eee01ac/podcast/play/116607928/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-2-9%2F419586621-44100-2-dccb0dd1101e1.mp3","summary":"Pascal Kesseli is a software engineer and technical lead at Microsoft AI, with a PhD in Computer Science from Oxford (or a DPhil? Or whatever they call PhDs on that side of the pond). Today Pascal joined us to discuss work he completed while at META FAIR, focused on the conjoining of large language models with symbolic reasoning systems (ultimately, dispatch to SAT) as well as future research directions building on said work.","meta_description":"Pascal Kesseli is a software engineer and technical lead at Microsoft AI, with a PhD in Computer Science from Oxford (or a DPhil? Or whatever they call Ph…","key_points":[],"chapters":[],"topics":[],"duration_seconds":3423,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli/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/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}