Boston Computation Club
By Max von Hippel
Listen to a podcast, please open Podcast Republic app. Available on Google Play Store and Apple App Store.
Image by Max von Hippel
Category: Mathematics
Open in Apple Podcasts
Open RSS feed
Open Website
Rate for this podcast
Subscribers: 0
Reviews: 0
Episodes: 53
Description
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.
| Episode | Date |
|---|---|
|
04/20/24: Chess-GPT's Internal World Model with Adam Karvonen
|
Apr 20, 2024 |
|
04/12/24: DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing with Max Ammann
|
Apr 12, 2024 |
|
04/23/24: Pegasus Panel
|
Mar 26, 2024 |
|
03/08/24: Bitwuzla with Mathias Preiner
|
Mar 09, 2024 |
|
01/13/24: How to Fund your Projects by Remembering One Number with Joe Shiraef
|
Jan 14, 2024 |
|
12/15/23: Q&A on Puzzles, with Roger Barkan in conversation with Jacob Denbeaux
|
Dec 15, 2023 |
|
11/19/23: Semi Open-Source Robotics with Jan Hennecke
|
Nov 20, 2023 |
|
11/04/23: Logic in Color with Christian Williams
|
Nov 04, 2023 |
|
10/21/23: How to Write a Coequation, with Todd Schmid
|
Oct 21, 2023 |
|
10/07/23: Artificial Intelligence, Openness, and "Existential" Risk: Well Informed Vibes on What is Hype and What is Real, with Avijit Ghosh, David Widder, and Fabio Tollon, moderated by Wei Sun
|
Oct 07, 2023 |
|
09/17/23: Open Problems in Probabilistic Programming Semantics with Eli Sennesh
|
Sep 17, 2023 |
|
09/09/23: Transferable and Fixable Proofs with Bill Dalessandro
|
Sep 09, 2023 |
|
09/01/23: ChipSec with Nathaniel Mitchell and Dan Scott
|
Sep 01, 2023 |
|
08/12/23: Packing Chromatic with Bernardo Anibal Subercaseaux Roa
|
Aug 13, 2023 |
|
07/15/23: Symmetries, Flat Minima, and the Conserved Quantities of Gradient Flow with Bo Zhao
|
Jul 15, 2023 |
|
06/30/23: ChatGPT on your Personal Corpus in Algovera with Richard Blythman
|
Jun 30, 2023 |
|
06/23/23: MariusGNN with Roger Waleffe
|
Jun 23, 2023 |
|
06/16/23: Infinite Games -- Strategies, Logic, Theory, and Computation, with Joel David Hamkins
|
Jun 16, 2023 |
|
05/20/23: A Data-Centric Introduction to Computing, with Shriram Krishnamurthi
|
May 21, 2023 |
|
04/29/23: Q&A on the Philosophy of Games with Christopher Ba Thi Nguyen, in conversation with Wei Sun
|
Apr 29, 2023 |
|
04/21/23: Quantity Calculus in Natural Language Semantics with Elizabeth Coppock
|
Apr 23, 2023 |
|
03/17/23: The Process, Challenges, Struggles & Joys of Creating "How to Design Programs" with Matthias Felleisen
|
Mar 17, 2023 |
|
03/03/23: Reversing UK Rail Tickets with eta
|
Mar 04, 2023 |
|
02/13/23: Web3 is Going Just Great with Molly White
|
Feb 13, 2023 |
|
02/03/23: How to Give a Good Mathematical Presentation with Anthony Bonato
|
Feb 03, 2023 |
|
01/29/23: Implications of Model-Based Phil/Sci for ML with Mel Andrews
|
Jan 28, 2023 |
|
01/06/23: Q&A: AppSec from OWASP to Present with John Viega
|
Jan 06, 2023 |
|
12/03/22: Depths of Wikipedia with Annie Rauwerda
|
Dec 03, 2022 |
|
11/19/22: Nearly Optimal Property Preserving Hashing with LakYah Tyner
|
Nov 19, 2022 |
|
10/14/22: Cryptography with Quantum States with William Kretschmer
|
Oct 14, 2022 |
|
06/19/22: Assessing Recycling, Displacement, and Environmental Impacts using an Economics-Informed Material System Model, with John Ryter
|
Jun 19, 2022 |
|
05/20/22: Hybrid Systems: Not Just For Cars Anymore! With Kimberly Ayers
|
May 20, 2022 |
|
05/13/22: The Generalized Star Height Problem with Jean-Eric Pin
|
May 13, 2022 |
|
05/07/22: Math Café #3: Prep for Dr. Pin's Talk with Max von Hippel
|
May 07, 2022 |
|
04/15/22: When Memory Guards are Crooked and Become Speculating Snitches with Andrea Mambretti
|
Apr 15, 2022 |
|
03/20/22: An Open Conversation on Web3 with the SpiceDAO
|
Mar 20, 2022 |
|
03/12/22: Live Coding: Making a Wordle Scraper and Solver with Jacob Denbeaux
|
Mar 12, 2022 |
|
03/05/22: Seize the Means of Computation: the Big Tech Disassembly Manual with Cory Doctorow
|
Mar 06, 2022 |
|
02/17/22: Quantum Computing in Plato's Cave with Daniel Burgarth
|
Feb 17, 2022 |
|
02/06/22: Trojan Source Attacks with Nicholas Boucher
|
Feb 07, 2022 |
|
01/08/22: Covert C2 Channels with Kai Bernardini
|
Jan 09, 2022 |
|
12/04/21: Feynman Integrals for a Mathematical Audience with Matthew von Hippel
|
Dec 04, 2021 |
|
12/03/21: Aesthetic and Organic Complexity with Tyler Hobbs & Bill Cresco, moderated by Anya & Joe
|
Dec 04, 2021 |
|
10/24/21: An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM with Larkin Liu & Jun Tao Luo
|
Oct 24, 2021 |
|
10/15/21: Mathematical Programming Modulo Strings with Ankit Kumar
|
Oct 15, 2021 |
|
10/09/21: Types in PL Research vs Types in Julia with Julia Belyakova
|
Oct 10, 2021 |
|
09/12/21: More Category Theory for More Cybernetics with Matteo Capucci
|
Sep 12, 2021 |
|
08/28/21: Compilation Techniques for Reconfigurable Analog Devices with Sara Archour
|
Aug 28, 2021 |
|
07/30/21: Structural Attacks on Local Routing in Payment Channel Networks with Ben Weintraub
|
Jul 30, 2021 |
|
07/24/21: Linear Haskell with Artem Pelenitsyn
|
Jul 24, 2021 |
|
07/10/21: The Illogical Nature of Chemical Nomenclature [Biology Café #1]
|
Jul 10, 2021 |
|
06/13/21: Modeling Content and Context with Deep Relational Learning with Maria Leonor Pacheco
|
Jun 13, 2021 |
|
05/29/21: Homotopy Type Theory 101 with Carlo Angiuli
|
Jun 09, 2021 |