# Boston Computation Club Page: https://stenobird.com/podcast/boston-computation-club-4031660 Text version: https://stenobird.com/podcast/boston-computation-club-4031660.md RSS feed: https://anchor.fm/s/5eee01ac/podcast/rss Official site: https://podcasters.spotify.com/pod/show/bostoncc Author: Max von Hippel Episodes: 89 ## Resource 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. ## Machine-readable JSON: https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660 Markdown: https://stenobird.com/podcast/boston-computation-club-4031660.md ## Episodes - [Sum-check protocol: categorical view, Alex Sorokin](https://stenobird.com/podcast/boston-computation-club-4031660/sum-check-protocol-categorical-view-alex-sorokin) — 2026-09-08T05:29:45+00:00 - [P-stability for 3-uniform Hypergraphs, Daniel Yu](https://stenobird.com/podcast/boston-computation-club-4031660/p-stability-for-3-uniform-hypergraphs-daniel-yu) — 2026-09-08T05:27:18+00:00 - [Understanding patterns of adoption and adaptation of open models on local systems, Woohyeuk (Kevin) Lee](https://stenobird.com/podcast/boston-computation-club-4031660/understanding-patterns-of-adoption-and-adaptation-of-open-models-on-local-systems-woohyeuk-kevin-lee) — 2026-09-08T05:18:08+00:00 - [Cellular automata and artificial life in the deep learning era, Casey Martin](https://stenobird.com/podcast/boston-computation-club-4031660/cellular-automata-and-artificial-life-in-the-deep-learning-era-casey-martin) — 2026-09-08T05:16:30+00:00 - [06/26/26: Tracing Introspection Across Model Depth, Zach Maas](https://stenobird.com/podcast/boston-computation-club-4031660/06-26-26-tracing-introspection-across-model-depth-zach-maas) — 2026-07-03T20:12:17+00:00 - [An Extremely Short Proof of the Hairy Ball Theorem with Peter McGrath](https://stenobird.com/podcast/boston-computation-club-4031660/an-extremely-short-proof-of-the-hairy-ball-theorem-with-peter-mcgrath) — 2026-04-18T05:30:26+00:00 - [Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli](https://stenobird.com/podcast/boston-computation-club-4031660/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli) — 2026-03-09T04:14:59+00:00 - [2/17/26: Approximately Aligned Decoding with Daniel Melcer](https://stenobird.com/podcast/boston-computation-club-4031660/2-17-26-approximately-aligned-decoding-with-daniel-melcer) — 2026-02-18T03:47:26+00:00 - [02/06/26: Early experiments in FMxAI at Galois with Max von Hippel](https://stenobird.com/podcast/boston-computation-club-4031660/02-06-26-early-experiments-in-fmxai-at-galois-with-max-von-hippel) — 2026-02-07T15:40:12+00:00 - [VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei](https://stenobird.com/podcast/boston-computation-club-4031660/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei) — 2026-01-17T01:04:29+00:00 - [Breaking the Sorting Barrier for Directed Single-Source Shortest Paths - Xiao Mao](https://stenobird.com/podcast/boston-computation-club-4031660/breaking-the-sorting-barrier-for-directed-single-source-shortest-paths-xiao-mao) — 2026-01-05T03:05:29+00:00 - [Infecting Generative AI with Viruses - David A. Noever and Forrest McKee](https://stenobird.com/podcast/boston-computation-club-4031660/infecting-generative-ai-with-viruses-david-a-noever-and-forrest-mckee) — 2025-09-15T15:43:24+00:00 - [08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng](https://stenobird.com/podcast/boston-computation-club-4031660/08-15-25-an-llm-agent-for-functional-bug-detection-in-network-protocols-with-mingwei-zheng) — 2025-08-15T22:28:39+00:00 - [08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang](https://stenobird.com/podcast/boston-computation-club-4031660/08-01-25-formal-reasoning-meets-llms-toward-ai-for-mathematics-and-verification-with-kaiyu-yang) — 2025-08-02T20:11:16+00:00 - [07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler](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) — 2025-07-25T16:29:49+00:00 - [06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos](https://stenobird.com/podcast/boston-computation-club-4031660/06-20-25-typescript-types-can-run-doom-with-dimitri-mitropoulos) — 2025-06-22T17:03:01+00:00 - [06/13/25: Gradual Verification with Jenna DiVincenzo](https://stenobird.com/podcast/boston-computation-club-4031660/06-13-25-gradual-verification-with-jenna-divincenzo) — 2025-06-14T16:47:01+00:00 - [05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman](https://stenobird.com/podcast/boston-computation-club-4031660/05-07-25-exploring-zero-shot-prompting-for-generating-data-format-descriptions-prashant-anantharaman) — 2025-05-08T23:19:58+00:00 - [04/18/25: Descriptive Complexity with Ramit Das](https://stenobird.com/podcast/boston-computation-club-4031660/04-18-25-descriptive-complexity-with-ramit-das) — 2025-04-19T20:50:23+00:00 - [03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker](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) — 2025-04-05T18:15:28+00:00 - [04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer](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) — 2025-04-05T18:06:50+00:00 - [03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski](https://stenobird.com/podcast/boston-computation-club-4031660/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski) — 2025-03-08T23:44:14+00:00 - [01/10/25: Combining Causal Inference and Knowledge Graphs with Brook Santangelo and John Sterrett](https://stenobird.com/podcast/boston-computation-club-4031660/01-10-25-combining-causal-inference-and-knowledge-graphs-with-brook-santangelo-and-john-sterrett) — 2025-01-10T22:17:41+00:00 - [01/04/25: Hacking GenAI with LLM Red Teaming and Beyond with Gaspard Baye](https://stenobird.com/podcast/boston-computation-club-4031660/01-04-25-hacking-genai-with-llm-red-teaming-and-beyond-with-gaspard-baye) — 2025-01-10T00:12:46+00:00 - [11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi](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) — 2024-12-01T01:35:49+00:00 ## Actions Episode pages expose an explicit `request_transcript` action. A page view does not automatically enqueue transcription.