Boston Computation Club

Max von Hippel

Large Language Models

Cryptography

Zero-Knowledge Proofs

Formal Verification

Language Models

Artificial Intelligence

Program Synthesis

Mixnets

Causal Inference

Knowledge Graphs

Gut Microbiome

LERC

Smart Contracts

Generative AI

Machine Learning

Bioinformatics

Biomedical Applications

Argument Computer Corporation

Gene Expression

Statistical Methods

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, mee... more

2 ratings

Publishes	Daily	Episodes	91	Founded	5 years ago
Number of Listeners		Categories	MathematicsScience

Listen to this Podcast

Guests Charts Talking Points

Latest Episodes

Experiments with vibecoding hardware, Lewis Coriolan

Lewis Coriolan is a hacker, inventor, and entrepreneur, with wide-ranging interests. Today he joined us to talk about his experimentation vibe-coding hardware. This was a really cool talk and a glimpse at what's possible now with frontier models in h... more

31 Oct 2026 • 41 min

From percolation theory to recursive self-improvement and AI risk, Olle Häggström

Olle Häggström is a pure mathematician. Today, he joined us to tell the story of how his entire field of mathematics was essentially conquered by large language models in a short period of time, and to discuss the lessons about AI safety that he drew... more

28 Oct 2026 • 55 min

Sum-check protocol: categorical view, Alex Sorokin

Alex is a friend of mine and a mathematician. He did his PhD in mathematics with other Alex (Martsinkovsky), who has presented at the seminar group previously. We're huge fans of both Alexes at the Boston Computation Club and we hope you enjoy this t... more

8 Sep 2026 • 46 min

P-stability for 3-uniform Hypergraphs, Daniel Yu

Today Daniel Yu gave a pure math talk on an extension he performed independently of work he had conducted during his math semester abroad in Budapest.

8 Sep 2026 • 1 hr 4 min

Key Facts

Accepts Guests

Contact Information

Podcast Host

Number of Listeners

Find out how many people listen to this podcast per episode and each month.

Similar Podcasts

People also subscribe to these shows.

The Origins Podcast with Lawrence KraussLawrence M. Krauss

Recent Guests

Lewis Coriolan

Hacker, inventor, entrepreneur and offensive cybersecurity specialist experimenting with AI-assisted hardware design

Episode: Experiments with vibecoding hardware, Lewis Coriolan

Olle Häggström

Pure mathematician and author who researches percolation theory and writes about AI risk

Episode: From percolation theory to recursive self-improvement and AI risk, Olle Häggström

Alex Sorokin

Speaker on Sum-check protocol and category theory

Episode: Sum-check protocol: categorical view, Alex Sorokin

Casey Martin

Microbiologist turned computational enthusiast, presenting on cellular automata and artificial life

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

Zach Maas

Researcher presenting on introspection across model depth and interpretability

Independent researcher; Coefficient Giving (grantholder)

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

Peter McGrath

Mathematician presenting a conceptual proof of the Hairy Ball Theorem

Geometric Analysis researcher

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

Pascal Kesseli

Researcher likely affiliated with Arc AGI; guest on the session

Arc AGI

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

Daniel Melcer

Presenter, researcher presenting on Approximately Aligned Decoding

Amazon (internship work) / Advisor's group focus on RL in FM & AI

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

Chenfeng Wei

Presenter and researcher

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

Chart Rankings

How this podcast ranks in the Apple Podcasts, Spotify and YouTube charts.

Apple Podcasts	#58	United States/Science/Mathematics
Apple Podcasts	#36	Canada/Science/Mathematics
Apple Podcasts	#23	Australia/Science/Mathematics
Apple Podcasts	#45	Germany/Science/Mathematics
Apple Podcasts	#6	South Korea/Science/Mathematics
Apple Podcasts	#6	Hong Kong/Science/Mathematics
Apple Podcasts	#10	Ireland/Science/Mathematics
Apple Podcasts	#11	Austria/Science/Mathematics
Apple Podcasts	#15	Sweden/Science/Mathematics
Apple Podcasts	#15	Argentina/Science/Mathematics
Apple Podcasts	#31	Norway/Science/Mathematics
Apple Podcasts	#65	Japan/Science/Mathematics

Talking Points

Recent interactions between the hosts and their guests.

Experiments with vibecoding hardware, Lewis Coriolan

Q: So assuming that this is true, what's the, how do you stop like Joe Schmo down the street from doing some serious damage?

Coriolan says there is no reliable way to prevent misuse without extreme surveillance and privacy violations. He argues that public scientific information, inexpensive computing, and accessible AI models could enable individuals to develop dangerous capabilities, and that model guardrails can be bypassed.

Experiments with vibecoding hardware, Lewis Coriolan

Q: What's the biggest problem you've ran into while just building with AI?

Coriolan says his main challenge was communicating his ideas clearly enough for AI tools to implement them. He addressed this by using Python-based engineering harnesses and refining parametric checks, though mistakes can still occur when parameters are missing or misstated.

From percolation theory to recursive self-improvement and AI risk, Olle Häggström

Q: What do you think about open-weight models, and how do they fit into a war game in your eyes?

Häggström says powerful, misaligned open-weight models could be much harder to contain because they can copy themselves and potentially exploit computing resources across the internet.

From percolation theory to recursive self-improvement and AI risk, Olle Häggström

Q: Can you comment on just how challenging the proof was that Claude provided in your field? Did it feel like something that would have taken humans a very long time to come up with, or more like a clever trick?

Häggström says the proof is involved, includes recognizable ideas from human mathematical literature, and contains calculations that require careful scrutiny before their reasoning is fully understood.

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

Q: Can you explain the Chinese open-source models' approach and why they are often hosted locally or in OSS ecosystems?

Chinese models tend to have more detailed training documentation, which supports transparent replication and local deployment; open weights allow external inference providers to operate within local premises, and government incentives historically promote open-source ecosystems as part of broader strategic aims.

Audience Metrics

Listeners, social reach, demographics and more for this podcast.

Listeners per Episode
Gender Skew
Location
Interests
Professions
Age Range
Household Income
Social Media Reach

Frequently Asked Questions About Boston Computation Club

What is Boston Computation Club about and what kind of topics does it cover?

This series centers on deep-dive explorations at the intersection of mathematics, computer science, and AI, featuring researchers who present rigorous ideas and open questions, followed by extensive audience discussion. Episodes commonly cover topics like formal methods, cryptography, algorithm design, mechanistic interpretability, cellular automata and artificial life, open-weight local AI, and theoretical computer science results, often paired with practical demonstrations and Q&A. A standout aspect is the blend of abstract theory with accessible explanations and tangible visuals, plus a consistent emphasis on the implications and applications of theoretical work to real systems. The format—short, focused talks followed by robust discussi... more

Where can I find podcast stats for Boston Computation Club?

Rephonic provides a wide range of podcast stats for Boston Computation Club. We scanned the web and collated all of the information that we could find in our comprehensive podcast database. See how many people listen to Boston Computation Club and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.

How many listeners does Boston Computation Club get?

Rephonic provides a full set of podcast information for four million podcasts, including the number of listeners. View further listenership figures for Boston Computation Club, including podcast download numbers and subscriber numbers, so you can make better decisions about which podcasts to sponsor or be a guest on. You will need to upgrade your account to access this premium data.

What are the audience demographics for Boston Computation Club?

Rephonic provides comprehensive predictive audience data for Boston Computation Club, including gender skew, age, country, political leaning, income, professions, education level, and interests. You can access these listener demographics by upgrading your account.

How many subscribers and views does Boston Computation Club have?

To see how many followers or subscribers Boston Computation Club has on Spotify and other platforms such as Castbox and Podcast Addict, simply upgrade your account. You'll also find viewership figures for their YouTube channel if they have one.

Which podcasts are similar to Boston Computation Club?

These podcasts share a similar audience with Boston Computation Club:

1. The Origins Podcast with Lawrence Krauss

How many episodes of Boston Computation Club are there?

Boston Computation Club launched 5 years ago and published 91 episodes to date. You can find more information about this podcast including rankings, audience demographics and engagement in our podcast database.

How do I contact Boston Computation Club?

Our systems regularly scour the web to find email addresses and social media links for this podcast. We scanned the web and collated all of the contact information that we could find in our podcast database. But in the unlikely event that you can't find what you're looking for, our concierge service lets you request our research team to source better contacts for you.

Where can I see ratings and reviews for Boston Computation Club?

Rephonic pulls ratings and reviews for Boston Computation Club from multiple sources, including Spotify, Apple Podcasts, Castbox, and Podcast Addict.

View all the reviews in one place instead of visiting each platform individually and use this information to decide if a show is worth pitching or not.

How do I access podcast episode transcripts for Boston Computation Club?

Rephonic provides full transcripts for episodes of Boston Computation Club. Search within each transcript for your keywords, whether they be topics, brands or people, and figure out if it's worth pitching as a guest or sponsor. You can even set-up alerts to get notified when your keywords are mentioned.

What guests have appeared on Boston Computation Club?

Recent guests on Boston Computation Club include:

1. Lewis Coriolan
2. Olle Häggström
3. Alex Sorokin
4. Casey Martin
5. Zach Maas
6. Peter McGrath
7. Pascal Kesseli
8. Daniel Melcer

To view more recent guests and their details, simply upgrade your Rephonic account. You'll also get access to a typical guest profile to help you decide if the show is worth pitching.

Find and pitch the right podcasts

We help savvy brands, marketers and PR professionals to find the right podcasts for any topic or niche. Get the data and contacts you need to pitch podcasts at scale and turn listeners into customers.

Try it free for 7 days