Boston Computation Club
A Mathematics podcast by Max von Hippel
0.0 • 0 ratings
Want connect with Max von Hippel and email directly about potential partnerships?
Create a free accountRecent Episodes
11/17/24: When Static Analysis Meets Large Language Models with Chengpeng Wang
Published: November 18, 202410/05/24: Abuse-Resistant Location Tracking: Balancing Privacy and Safety in the Offline Finding Ecosystem with Harry Eldridge
Published: October 6, 202409/28/24: Hacking an LLM Using the Z3 Theorem Prover with Ian Bicking
Published: September 28, 202409/07/24: Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets with Dhekra Mahmoud
Published: September 7, 202408/25/24: An Introduction to Lurk with Matej Panciak
Published: August 25, 202408/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf
Published: August 17, 202408/10/24: Radically Better Academic Search With Undermind with Joshua Ramette
Published: August 10, 202407/27/24: Pragmatic Program Synthesis with Evan Pu
Published: July 27, 202407/06/24: The Algebraic Structure of Infinite Craft with Arthur O’Dwyer
Published: July 6, 202406/22/24: npm install everything with Evan Boehs
Published: June 22, 2024