Challenges Encountered Building Slow Roads, Anslo 
12/03/22: Depths of Wikipedia, Annie Rauwerda [VIDEO] [AUDIO]  
11/19/22: Nearly Optimal Property Preserving Hashing, LaKyah Tyner [VIDEO] [AUDIO]  
11/06/22: Intro to Zero Knowledge Proofs, Gabriel Kaptchuk  
10/23/22: Formal Analysis of Ethereum's GossipSub in ACL2s, Ankit Kumar and Max von Hippel  
10/14/22: Cryptography with Quantum States, William Kretschmer [AUDIO] [VIDEO]  
10/08/22: Mock Theta Functions, Amanda Folsom. [ALSO: 1, 2, 3, 4, 5]  
09/17/22: Math Café #11: Prep for Dr. Folsom's Talk, Ammar Husain. [SLIDES]  
09/16/22: A Conversation on Theorem Provers and Vulnerability Research, Addison Crump and Teddy Heinen  
09/15/22: Math Café #10: Infinite Dimensional Analysis (SemiContinuity), Cheng Zhang  
09/04/22: Math Café #9: Infinite Dimensional Analysis (Continuity & Compactness), Cheng Zhang  
09/03/22: A Conversation on Reverse Engineering Tooling, Matteo Giordiano  
08/27/22: Blockchain Café #2: Applied Cryptography and APIs, Brennon Brimhall  
08/07/22: Math Café #8: Infinite Dimensional Analysis (Continuity), Cheng Zhang  
08/05/22: The Mobile Network Battlefield in Ukraine, Cathal McDaid  
07/29/22: A Conversation on Reverse Engineering and Symbolic Execution, Boyan Milanov  
07/17/22: Math Café #7: Infinite Dimensional Analysis (Filters), Cheng Zhang  
07/16/22: The Crypto Crash(es), Cristiano Teixeira [AUDIO] [VIDEO]  
07/10/22: Math Café #6: Infinite Dimensional Analysis (Topologies & Nets), Cheng Zhang [NOTES]  
06/19/22: Assessing Recycling, Displacement, and Environmental Impacts using an EconomicsInformed Material System Model, John Ryter [AUDIO] [VIDEO]  
06/11/22: An Open Discussion on Unionizing Graduate Students, Jacob Morrison and Jeremy Stepansky  
06/05/22: Math Café #5: The Collatz Conjecture, Max von Hippel  
05/28/22: Efficiently Modeling Long Sequences with Structured State Spaces, Albert Gu  
05/20/22: Hybrid Systems: Not Just For Cars Anymore!, Kimberly Ayers [AUDIO] [VIDEO]  
05/13/22: The Generalized Star Height Problem, JeanEric Pin [VIDEO] [AUDIO]  
05/08/22: Math Café #4: Selected Topics in Kleene Algebra, Cheng Zhang  
05/07/22: Math Café #3: Prep for Dr. Pin's Talk, Max von Hippel [NOTES] [SLIDES] [VIDEO] [AUDIO]  
04/15/22: When Memory Guards are Crooked and Become Speculating Snitches, Andrea Mambretti [VIDEO] [AUDIO]  
03/20/22: An Open Conversation on Web3, Spice DAO [VIDEO] [AUDIO]  
03/13/22: Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents, Maria Leonor Pacheco and Max von Hippel [CODE]  
03/12/22: Live Coding: Making a Wordle Scraper and Solver, Jacob Denbeaux [CODE] [VIDEO] [AUDIO]  
03/09/22: Q&A Regarding the War in Ukraine, Karin von Hippel  
03/05/22: Seize the Means of Computation: the Big Tech Disassembly Manual, Cory Doctorow [VIDEO] [AUDIO]  
03/04/22: Topology Homework Session #5: Liveness & Safety Properties  
02/17/22: Quantum Computing in Plato's Cave, Daniel Burgarth [VIDEO] [AUDIO]  
02/11/22: Math Café #2, lead by Sam Stites  
02/10/22: Topology Homework Session #4: Homotopy Equivalence  
02/09/22: Topology Homework Session #3: Continuity & Nullhomotopy  
02/06/22: Trojan Source Attacks, Nicholas Boucher [VIDEO] [AUDIO]  
01/22/22: How to Meet Interesting People by Accident & Design, Dan Ritter  
01/20/22: Math Café #1, lead by Sam Stites  
01/14/22: Topology Homework Session #2: The Quotient Topology  
01/13/22: Topology Homework Session #1: The Zariski Topology over spec R  
01/08/22: Covert C2 Channels, Kai Bernardini [VIDEO] [AUDIO] [GITHUB] [TWITTER]  
12/15/21: Blockchain Café #1: Formal Methods for Smart Contracts [PAPER]  
12/04/21: Feynman Integrals for a Mathematical Audience, Matt von Hippel [VIDEO] [AUDIO]  
12/03/21: Aesthetic and Organic Complexity, Tyler Hobbs and Bill Cresco, moderated by Joe and Anya [VIDEO] [AUDIO]  
10/29/21: It's Just Math and Other Lies We Tell Ourselves, Jade Edenstar Master  
10/24/21: An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM, Larkin Liu and (in attendance) Jun Tao Luo [VIDEO] [AUDIO]  
10/15/21: Mathematical Programming Modulo Strings, Ankit Kumar [VIDEO] [AUDIO]  
10/09/21: Types in PL Research vs Types in Julia, Julia Belyakova [VIDEO] [AUDIO]  
09/25/21: Labor and Unions, Jacob Morrison and Adam Keller [NU Grad Union] [ALSO: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ]  
09/18/21: Live 

09/12/21: More Category Theory for More Cybernetics, Matteo Capucci [VIDEO] [AUDIO]  
08/28/21: Compilation Techniques for Reconfigurable Analog Devices, Sara Achour [VIDEO] [AUDIO]  
08/20/21: An Open Question in Category Theory, Alex Martsinkovsky [NOTES]  
08/14/21: Minimal Length Representations of Database Provenance, Neha Makhija  
07/30/21: Structural Attacks on Local Routing in Payment Channel Networks, Ben Weintraub [VIDEO] [AUDIO]  
07/24/21: Linear Haskell, Artem Pelenitsyn [SLIDES] [VIDEO] [AUDIO]  
07/10/21: Biology Café #1: The Illogical Nature of Chemical Nomenclature, Sophia von Hippel [NOTES] [VIDEO] [AUDIO]  
06/25/21: Q&A, John Launchbury  
06/13/21: Modeling Content and Context with Deep Relational Learning, Maria Leonor Pacheco [VIDEO] [AUDIO]  
06/06/21: Quantum Café #5: Formal Methods (revisited)  
05/29/21: Homotopy Type Theory 101, Carlo Angiuli [VIDEO] [AUDIO]  
05/15/21: How Does a Health Actuary Estimate a Reserve?, Paul Johnson [CHANNEL]  
05/01/21: Assembly Programming for M1, Chris Patuzzo [SLIDES]  
04/25/21: Open Discussion  
04/17/21: Quantum Café #4: Grand Unified Theories  
04/11/21: Project Waves, Jacob Denbeaux [RELATED NEWS]  
03/27/21: Introduction to Operational Security, The Grugq  
03/21/21: Quantum Café #3: Syntax and Semantics [NOTES]  
03/13/21: Concurrent Interpretations of Authorization Logic, Andrew K. Hirsch [PAPERS: 1,2,3] [SLIDES]  
02/28/21: Quantum Café #2: Noisy Quantum Gates  
02/27/21: Nuclear Non Proliferation  Role of Citizen Scientists, Frank N. von Hippel [COALITION]  
02/21/21: Quantum Series #2: Entanglement, Billy Kalfus  
02/13/21: Quantum Café #1: Formal Methods  
02/07/21: Quantum Series #1: Fundamentals, Billy Kalfus  
01/24/21: Algorithmic Artwork, Tyler Hobbs  
01/09/21: Category Theory for Cybernetics, Jules Hedges  
12/27/20: Dilemma Languages & Moral Codes, Max von Hippel [NOTES] [RELATED]  
12/13/20: Compositional PCA for Microbiome data, Jamie Morton [CODE]  
11/29/20: Parsing RealWorld Data Formats, Prashant Anantharaman [SLIDES]  
11/15/20: What Decentralization Is And Isn't, Paul Miller [SLIDES]  
11/01/20: The Yoneda Lemma, Tyler Bryson [SLIDES] [BOOK]  
10/17/20: Overfitting Management in ML Applications, Frances Hubis  
10/03/20: Testing the Paradigm of Asteroidal Dust around White Dwarfs, Ted von Hippel  
09/20/20: Implications of Collaborative Filtering, Jacob Denbeaux  
09/06/20: Graph Representations for Higher Order Logic, Sam Stites  
08/16/20: Programming from Galois Connections, Max von Hippel [NOTES full of typos] 
We're not the only rodeo in town. If you like us, be sure to check out Intercats (from the Topos Institute), TMWYF, the Online Worldwide Seminar on Logic and Semantics, London Computation Club, Chaitin School of Engineering, IIT Bangalore Theory Club, Offbeat Computation Club, MIT CSAIL Security Seminar, MIT Categories Seminar, Waterloo ML+Logic Colloquium, Northeastern PL Seminar, CiviTech, and alwayswonderful Northeastern Topology Seminar. If you like podcasts, we highly reccomend We Speak Your Language, The Iowa Type Theory Commute, and My Favorite Theorem. If you'd like your venue to be listed here as well, shoot Max an email.
Emojis from OpenMoji