Podcast

Boston Computation Club

Author: Max von Hippel
Feed episode count: 89
Official site: https://podcasters.spotify.com/pod/show/bostoncc
RSS: https://anchor.fm/s/5eee01ac/podcast/rss
JSON: /v1/public/podcasts/boston-computation-club-4031660
Markdown: /podcast/boston-computation-club-4031660.md

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.

Episodes

Sep 8, 2026 · not_requested

Sum-check protocol: categorical view, Alex Sorokin

Duration seconds: 2786
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/Sum-check-protocol-categorical-view--Alex-Sorokin-e3ogpvm

HTML Markdown JSON

Sep 8, 2026 · not_requested

P-stability for 3-uniform Hypergraphs, Daniel Yu

Duration seconds: 3851
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/P-stability-for-3-uniform-Hypergraphs--Daniel-Yu-e3ogprr

HTML Markdown JSON

Sep 8, 2026 · not_requested

Understanding patterns of adoption and adaptation of open models on local systems, Woohyeuk (Kevin) Lee

Duration seconds: 2112
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/Understanding-patterns-of-adoption-and-adaptation-of-open-models-on-local-systems--Woohyeuk-Kevin-Lee-e3ogpni

HTML Markdown JSON

Sep 8, 2026 · not_requested

Cellular automata and artificial life in the deep learning era, Casey Martin

Duration seconds: 4153
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/Cellular-automata-and-artificial-life-in-the-deep-learning-era--Casey-Martin-e3ogpki

HTML Markdown JSON

Jul 3, 2026 · not_requested

06/26/26: Tracing Introspection Across Model Depth, Zach Maas

Duration seconds: 2893
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/062626-Tracing-Introspection-Across-Model-Depth--Zach-Maas-e3lkb4p

HTML Markdown JSON

Apr 18, 2026 · not_requested

An Extremely Short Proof of the Hairy Ball Theorem with Peter McGrath

Duration seconds: 3506
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/An-Extremely-Short-Proof-of-the-Hairy-Ball-Theorem-with-Peter-McGrath-e3i37t1

HTML Markdown JSON

Mar 9, 2026 · not_requested

Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli

Duration seconds: 3423
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/Logic-py-Bridging-the-Gap-between-LLMs-and-Constraint-Solvers-with-Pascal-Kesseli-e3g53fo

HTML Markdown JSON

Feb 18, 2026 · not_requested

2/17/26: Approximately Aligned Decoding with Daniel Melcer

Duration seconds: 2939
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/21726-Approximately-Aligned-Decoding-with-Daniel-Melcer-e3f81q5

HTML Markdown JSON

Feb 7, 2026 · not_requested

02/06/26: Early experiments in FMxAI at Galois with Max von Hippel

Duration seconds: 3269
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/020626-Early-experiments-in-FMxAI-at-Galois-with-Max-von-Hippel-e3eolca

HTML Markdown JSON

Jan 17, 2026 · not_requested

VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei

Duration seconds: 2518
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/VeriExploit-Automatic-Bug-Reproduction-in-Smart-Contracts-via-LLMs-and-Formal-Methods--Chenfeng-Wei-e3dp47u

HTML Markdown JSON

Jan 5, 2026 · not_requested

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths - Xiao Mao

Duration seconds: 3477
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/Breaking-the-Sorting-Barrier-for-Directed-Single-Source-Shortest-Paths---Xiao-Mao-e3d6cha

HTML Markdown JSON

Sep 15, 2025 · not_requested

Infecting Generative AI with Viruses - David A. Noever and Forrest McKee

Duration seconds: 3595
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/Infecting-Generative-AI-with-Viruses---David-A--Noever-and-Forrest-McKee-e388l5d

HTML Markdown JSON

Aug 15, 2025 · not_requested

08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng

Duration seconds: 3448
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/081525-An-LLM-Agent-for-Functional-Bug-Detection-in-Network-Protocols-with-Mingwei-Zheng-e36tifk

HTML Markdown JSON

Aug 2, 2025 · not_requested

08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang

Duration seconds: 4414
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/080125-Formal-Reasoning-Meets-LLMs-Toward-AI-for-Mathematics-and-Verification-with-Kaiyu-Yang-e36c7au

HTML Markdown JSON

Jul 25, 2025 · not_requested

07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler

Duration seconds: 3120
Source: 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

HTML Markdown JSON

Jun 22, 2025 · not_requested

06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos

Duration seconds: 6068
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/062025-TypeScript-Types-Can-Run-DOOM-with-Dimitri-Mitropoulos-e34j12h

HTML Markdown JSON

Jun 14, 2025 · not_requested

06/13/25: Gradual Verification with Jenna DiVincenzo

Duration seconds: 3544
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/061325-Gradual-Verification-with-Jenna-DiVincenzo-e3488ed

HTML Markdown JSON

May 8, 2025 · not_requested

05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman

Duration seconds: 2383
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/050725-Exploring-Zero-Shot-Prompting-for-Generating-Data-Format-Descriptions--Prashant-Anantharaman-e32jakk

HTML Markdown JSON

Apr 19, 2025 · not_requested

04/18/25: Descriptive Complexity with Ramit Das

Duration seconds: 3607
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/041825-Descriptive-Complexity-with-Ramit-Das-e31o2in

HTML Markdown JSON

Apr 5, 2025 · not_requested

03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker

Duration seconds: 3164
Source: 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

HTML Markdown JSON

Apr 5, 2025 · not_requested

04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer

Duration seconds: 3513
Source: 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

HTML Markdown JSON

Mar 8, 2025 · not_requested

03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski

Duration seconds: 3730
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/030825-An-Introduction-to-LiquidHaskell-with-Michael-H--Borkowski-e2vt3n3

HTML Markdown JSON

Jan 10, 2025 · not_requested

01/10/25: Combining Causal Inference and Knowledge Graphs with Brook Santangelo and John Sterrett

Duration seconds: 3491
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/011025-Combining-Causal-Inference-and-Knowledge-Graphs-with-Brook-Santangelo-and-John-Sterrett-e2tb54h

HTML Markdown JSON

Jan 10, 2025 · not_requested

01/04/25: Hacking GenAI with LLM Red Teaming and Beyond with Gaspard Baye

Duration seconds: 3637
Source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/010425-Hacking-GenAI-with-LLM-Red-Teaming-and-Beyond-with-Gaspard-Baye-e2t9qsq

HTML Markdown JSON

Dec 1, 2024 · not_requested

11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi

Duration seconds: 2707
Source: 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

HTML Markdown JSON