Boston Computation Club Author: Max von Hippel 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. Be a guest on this podcast Language: en Genres: Mathematics, Science Contact email: Get it Feed URL: Get it iTunes ID: Get it Get all podcast data

Listen Now...

03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski
Saturday, 8 March, 2025

Michael H. Borkowski is an Assistant Professor of Practice in the Department of Computer Science at Purdue University. Before joining Purdue, he earned his Ph.D. from the Department of Computer Science and Engineering at UC San Diego, where he was affiliated with the ProgSys Group. Today Michael joined us to discuss LiquidHaskell, a very cool project that incorporates a kind of refinement types, with SMT-based proofs, into Haskell. This was a really compelling talk and we hope you enjoy it as much as we did!

We also recommend:

Energy resources: nuclear energy - for iBooks
The Open University

My Veterinary Life
American Veterinary Medical Association (AVMA)

The Met Éireann Podcast

Black Women Pharmacists
Ijeoma Ekeocha

Respect Your Mother
Clay

Digitaler Salon

Say It Social Radio
Archive

Looking Up with Don
Don Machholz

Les livres de Julie Fréquence Terre

Data for Hope: Los datos salvan vidas
Cloud District

Escribir en ciencias sociales
Carolina Gonzalez

Late Night Office Hours with Ant and Bruce
Bruce Hoskins