{"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"},"episodes":[{"title":"Sum-check protocol: categorical view, Alex Sorokin","slug":"sum-check-protocol-categorical-view-alex-sorokin","published_at":"2026-09-08T05:29:45+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/sum-check-protocol-categorical-view-alex-sorokin","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/Sum-check-protocol-categorical-view--Alex-Sorokin-e3ogpvm","duration_seconds":2786,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/sum-check-protocol-categorical-view-alex-sorokin/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/sum-check-protocol-categorical-view-alex-sorokin.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"P-stability for 3-uniform Hypergraphs, Daniel Yu","slug":"p-stability-for-3-uniform-hypergraphs-daniel-yu","published_at":"2026-09-08T05:27:18+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/p-stability-for-3-uniform-hypergraphs-daniel-yu","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/P-stability-for-3-uniform-Hypergraphs--Daniel-Yu-e3ogprr","duration_seconds":3851,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/p-stability-for-3-uniform-hypergraphs-daniel-yu/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/p-stability-for-3-uniform-hypergraphs-daniel-yu.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"Understanding patterns of adoption and adaptation of open models on local systems, Woohyeuk (Kevin) Lee","slug":"understanding-patterns-of-adoption-and-adaptation-of-open-models-on-local-systems-woohyeuk-kevin-lee","published_at":"2026-09-08T05:18:08+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/understanding-patterns-of-adoption-and-adaptation-of-open-models-on-local-systems-woohyeuk-kevin-lee","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/Understanding-patterns-of-adoption-and-adaptation-of-open-models-on-local-systems--Woohyeuk-Kevin-Lee-e3ogpni","duration_seconds":2112,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/understanding-patterns-of-adoption-and-adaptation-of-open-models-on-local-systems-woohyeuk-kevin-lee/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/understanding-patterns-of-adoption-and-adaptation-of-open-models-on-local-systems-woohyeuk-kevin-lee.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"Cellular automata and artificial life in the deep learning era, Casey Martin","slug":"cellular-automata-and-artificial-life-in-the-deep-learning-era-casey-martin","published_at":"2026-09-08T05:16:30+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/cellular-automata-and-artificial-life-in-the-deep-learning-era-casey-martin","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/Cellular-automata-and-artificial-life-in-the-deep-learning-era--Casey-Martin-e3ogpki","duration_seconds":4153,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/cellular-automata-and-artificial-life-in-the-deep-learning-era-casey-martin/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/cellular-automata-and-artificial-life-in-the-deep-learning-era-casey-martin.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"06/26/26: Tracing Introspection Across Model Depth, Zach Maas","slug":"06-26-26-tracing-introspection-across-model-depth-zach-maas","published_at":"2026-07-03T20:12:17+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/06-26-26-tracing-introspection-across-model-depth-zach-maas","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/062626-Tracing-Introspection-Across-Model-Depth--Zach-Maas-e3lkb4p","duration_seconds":2893,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/06-26-26-tracing-introspection-across-model-depth-zach-maas/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/06-26-26-tracing-introspection-across-model-depth-zach-maas.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"An Extremely Short Proof of the Hairy Ball Theorem with Peter McGrath","slug":"an-extremely-short-proof-of-the-hairy-ball-theorem-with-peter-mcgrath","published_at":"2026-04-18T05:30:26+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/an-extremely-short-proof-of-the-hairy-ball-theorem-with-peter-mcgrath","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/An-Extremely-Short-Proof-of-the-Hairy-Ball-Theorem-with-Peter-McGrath-e3i37t1","duration_seconds":3506,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/an-extremely-short-proof-of-the-hairy-ball-theorem-with-peter-mcgrath/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/an-extremely-short-proof-of-the-hairy-ball-theorem-with-peter-mcgrath.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"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","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/Logic-py-Bridging-the-Gap-between-LLMs-and-Constraint-Solvers-with-Pascal-Kesseli-e3g53fo","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."}]},{"title":"2/17/26: Approximately Aligned Decoding with Daniel Melcer","slug":"2-17-26-approximately-aligned-decoding-with-daniel-melcer","published_at":"2026-02-18T03:47:26+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/2-17-26-approximately-aligned-decoding-with-daniel-melcer","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/21726-Approximately-Aligned-Decoding-with-Daniel-Melcer-e3f81q5","duration_seconds":2939,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/2-17-26-approximately-aligned-decoding-with-daniel-melcer/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/2-17-26-approximately-aligned-decoding-with-daniel-melcer.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"02/06/26: Early experiments in FMxAI at Galois with Max von Hippel","slug":"02-06-26-early-experiments-in-fmxai-at-galois-with-max-von-hippel","published_at":"2026-02-07T15:40:12+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/02-06-26-early-experiments-in-fmxai-at-galois-with-max-von-hippel","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/020626-Early-experiments-in-FMxAI-at-Galois-with-Max-von-Hippel-e3eolca","duration_seconds":3269,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/02-06-26-early-experiments-in-fmxai-at-galois-with-max-von-hippel/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/02-06-26-early-experiments-in-fmxai-at-galois-with-max-von-hippel.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei","slug":"veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei","published_at":"2026-01-17T01:04:29+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/VeriExploit-Automatic-Bug-Reproduction-in-Smart-Contracts-via-LLMs-and-Formal-Methods--Chenfeng-Wei-e3dp47u","duration_seconds":2518,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei/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/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"Breaking the Sorting Barrier for Directed Single-Source Shortest Paths - Xiao Mao","slug":"breaking-the-sorting-barrier-for-directed-single-source-shortest-paths-xiao-mao","published_at":"2026-01-05T03:05:29+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/breaking-the-sorting-barrier-for-directed-single-source-shortest-paths-xiao-mao","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/Breaking-the-Sorting-Barrier-for-Directed-Single-Source-Shortest-Paths---Xiao-Mao-e3d6cha","duration_seconds":3477,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/breaking-the-sorting-barrier-for-directed-single-source-shortest-paths-xiao-mao/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/breaking-the-sorting-barrier-for-directed-single-source-shortest-paths-xiao-mao.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"Infecting Generative AI with Viruses - David A. Noever and Forrest McKee","slug":"infecting-generative-ai-with-viruses-david-a-noever-and-forrest-mckee","published_at":"2025-09-15T15:43:24+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/infecting-generative-ai-with-viruses-david-a-noever-and-forrest-mckee","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/Infecting-Generative-AI-with-Viruses---David-A--Noever-and-Forrest-McKee-e388l5d","duration_seconds":3595,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/infecting-generative-ai-with-viruses-david-a-noever-and-forrest-mckee/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/infecting-generative-ai-with-viruses-david-a-noever-and-forrest-mckee.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng","slug":"08-15-25-an-llm-agent-for-functional-bug-detection-in-network-protocols-with-mingwei-zheng","published_at":"2025-08-15T22:28:39+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/08-15-25-an-llm-agent-for-functional-bug-detection-in-network-protocols-with-mingwei-zheng","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/081525-An-LLM-Agent-for-Functional-Bug-Detection-in-Network-Protocols-with-Mingwei-Zheng-e36tifk","duration_seconds":3448,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/08-15-25-an-llm-agent-for-functional-bug-detection-in-network-protocols-with-mingwei-zheng/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/08-15-25-an-llm-agent-for-functional-bug-detection-in-network-protocols-with-mingwei-zheng.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang","slug":"08-01-25-formal-reasoning-meets-llms-toward-ai-for-mathematics-and-verification-with-kaiyu-yang","published_at":"2025-08-02T20:11:16+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/08-01-25-formal-reasoning-meets-llms-toward-ai-for-mathematics-and-verification-with-kaiyu-yang","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/080125-Formal-Reasoning-Meets-LLMs-Toward-AI-for-Mathematics-and-Verification-with-Kaiyu-Yang-e36c7au","duration_seconds":4414,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/08-01-25-formal-reasoning-meets-llms-toward-ai-for-mathematics-and-verification-with-kaiyu-yang/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/08-01-25-formal-reasoning-meets-llms-toward-ai-for-mathematics-and-verification-with-kaiyu-yang.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler","slug":"07-25-25-refinedc-automating-the-foundational-verification-of-c-code-with-refined-ownership-types-with-michael-sammler","published_at":"2025-07-25T16:29:49+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/07-25-25-refinedc-automating-the-foundational-verification-of-c-code-with-refined-ownership-types-with-michael-sammler","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/072525-RefinedC-Automating-the-Foundational-Verification-of-C-Code-with-Refined-Ownership-Types-with-Michael-Sammler-e360vsb","duration_seconds":3120,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/07-25-25-refinedc-automating-the-foundational-verification-of-c-code-with-refined-ownership-types-with-michael-sammler/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/07-25-25-refinedc-automating-the-foundational-verification-of-c-code-with-refined-ownership-types-with-michael-sammler.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos","slug":"06-20-25-typescript-types-can-run-doom-with-dimitri-mitropoulos","published_at":"2025-06-22T17:03:01+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/06-20-25-typescript-types-can-run-doom-with-dimitri-mitropoulos","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/062025-TypeScript-Types-Can-Run-DOOM-with-Dimitri-Mitropoulos-e34j12h","duration_seconds":6068,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/06-20-25-typescript-types-can-run-doom-with-dimitri-mitropoulos/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/06-20-25-typescript-types-can-run-doom-with-dimitri-mitropoulos.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"06/13/25: Gradual Verification with Jenna DiVincenzo","slug":"06-13-25-gradual-verification-with-jenna-divincenzo","published_at":"2025-06-14T16:47:01+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/06-13-25-gradual-verification-with-jenna-divincenzo","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/061325-Gradual-Verification-with-Jenna-DiVincenzo-e3488ed","duration_seconds":3544,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/06-13-25-gradual-verification-with-jenna-divincenzo/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/06-13-25-gradual-verification-with-jenna-divincenzo.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman","slug":"05-07-25-exploring-zero-shot-prompting-for-generating-data-format-descriptions-prashant-anantharaman","published_at":"2025-05-08T23:19:58+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/05-07-25-exploring-zero-shot-prompting-for-generating-data-format-descriptions-prashant-anantharaman","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/050725-Exploring-Zero-Shot-Prompting-for-Generating-Data-Format-Descriptions--Prashant-Anantharaman-e32jakk","duration_seconds":2383,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/05-07-25-exploring-zero-shot-prompting-for-generating-data-format-descriptions-prashant-anantharaman/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/05-07-25-exploring-zero-shot-prompting-for-generating-data-format-descriptions-prashant-anantharaman.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"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","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/041825-Descriptive-Complexity-with-Ramit-Das-e31o2in","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."}]},{"title":"03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker","slug":"03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker","published_at":"2025-04-05T18:15:28+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/032124-How-and-Why-to-extend-First-Order-Logic-for-Knowledge-Based-Systems-with-Marc-Denecker-e3157qn","duration_seconds":3164,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker/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-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer","slug":"04-04-25-constrained-decoding-for-code-language-models-via-efficient-left-and-right-quotienting-of-context-sensitive-grammars-with-daniel-melcer","published_at":"2025-04-05T18:06:50+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/04-04-25-constrained-decoding-for-code-language-models-via-efficient-left-and-right-quotienting-of-context-sensitive-grammars-with-daniel-melcer","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/040425-Constrained-Decoding-for-Code-Language-Models-via-Efficient-Left-and-Right-Quotienting-of-Context-Sensitive-Grammars-with-Daniel-Melcer-e3157l0","duration_seconds":3513,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/04-04-25-constrained-decoding-for-code-language-models-via-efficient-left-and-right-quotienting-of-context-sensitive-grammars-with-daniel-melcer/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-04-25-constrained-decoding-for-code-language-models-via-efficient-left-and-right-quotienting-of-context-sensitive-grammars-with-daniel-melcer.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"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","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/030825-An-Introduction-to-LiquidHaskell-with-Michael-H--Borkowski-e2vt3n3","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."}]},{"title":"01/10/25: Combining Causal Inference and Knowledge Graphs with Brook Santangelo and John Sterrett","slug":"01-10-25-combining-causal-inference-and-knowledge-graphs-with-brook-santangelo-and-john-sterrett","published_at":"2025-01-10T22:17:41+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/01-10-25-combining-causal-inference-and-knowledge-graphs-with-brook-santangelo-and-john-sterrett","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/011025-Combining-Causal-Inference-and-Knowledge-Graphs-with-Brook-Santangelo-and-John-Sterrett-e2tb54h","duration_seconds":3491,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/01-10-25-combining-causal-inference-and-knowledge-graphs-with-brook-santangelo-and-john-sterrett/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/01-10-25-combining-causal-inference-and-knowledge-graphs-with-brook-santangelo-and-john-sterrett.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"01/04/25: Hacking GenAI with LLM Red Teaming and Beyond with Gaspard Baye","slug":"01-04-25-hacking-genai-with-llm-red-teaming-and-beyond-with-gaspard-baye","published_at":"2025-01-10T00:12:46+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/01-04-25-hacking-genai-with-llm-red-teaming-and-beyond-with-gaspard-baye","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/010425-Hacking-GenAI-with-LLM-Red-Teaming-and-Beyond-with-Gaspard-Baye-e2t9qsq","duration_seconds":3637,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/01-04-25-hacking-genai-with-llm-red-teaming-and-beyond-with-gaspard-baye/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/01-04-25-hacking-genai-with-llm-red-teaming-and-beyond-with-gaspard-baye.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]},{"title":"11/30/24: \tLB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi","slug":"11-30-24-lb4tl-a-smooth-semantics-for-temporal-logic-to-train-neural-feedback-controllers-with-navid-hashemi","published_at":"2024-12-01T01:35:49+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/11-30-24-lb4tl-a-smooth-semantics-for-temporal-logic-to-train-neural-feedback-controllers-with-navid-hashemi","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/113024--LB4TL-A-Smooth-Semantics-for-Temporal-Logic-to-Train-Neural-Feedback-Controllers-with-Navid-Hashemi-e2rn7fs","duration_seconds":2707,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/11-30-24-lb4tl-a-smooth-semantics-for-temporal-logic-to-train-neural-feedback-controllers-with-navid-hashemi/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/11-30-24-lb4tl-a-smooth-semantics-for-temporal-logic-to-train-neural-feedback-controllers-with-navid-hashemi.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}]}