Jordan Henry and Eric Christiansen. Two guys who play prominent roles in the local sports media scene from reporting to radio to play-by-play bring you their funny take on news, sports, scandals, politics, pop culture and the hilarity that is their lives.
…
continue reading
The American Society of Regional Anesthesia and Pain Medicine presents the Regional Anesthesia and Pain Podcast (ASRA RAPP). Designed to bring you ongoing conversations in this exciting field, the podcast discusses current topics in both regional anesthesia and pain medicine, invites authors of significant publications to help explain their work, debates the merits and pitfalls of new technology and therapy, and informs you about important events where you can participate in the ASRA Pain Me ...
…
continue reading
An accessible podcast about Type Theory, Programming Languages Research and related topics.
…
continue reading
In this episode we continue with our conversation with David MacQueen, he is an Emeritus Professor from the University of Chicago, and has worked at Bell Labs for 20 years. Bell Labs began as the research and development section of the American Telephone and Telegraph company, aka AT&T, which originally hold exclusive hold of the telephone patent. …
…
continue reading

1
#47 The History of LCF, ML and HOPE - David MacQueen
2:05:04
2:05:04
Play later
Play later
Lists
Like
Liked
2:05:04David MacQueen has worked at Bell Labs for around 20 years during it’s Golden Age. Professor at Chicago University for 23 years. He is one of the designers of SML, one of the fathers of HOPE the programming language that introduced the notion of Algebraic Datatypes. So this interview was very special to me personally where I could get to hear all t…
…
continue reading

1
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
1:03:36
1:03:36
Play later
Play later
Lists
Like
Liked
1:03:36In this episode Pierre-Marie Pédrot, one of the main Coq/Rocq developers joins us to talk about Krivine, Kleene and Gödel Realizability Models, how it relates to the BHK interpretation and CPS Translations, and how it was all already part of Gödel's work in Dialectica! If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.…
…
continue reading

1
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
1:21:41
1:21:41
Play later
Play later
Lists
Like
Liked
1:21:41In this episode Pierre-Marie Pédrot who is one of the main Coq/Rocq developers joins us to talk about what is Type Theory, what is Martin-Löf Type Theory, what are the properties we should care about in our type theory and why. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall Links Pierre-Marie's …
…
continue reading

1
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
2:13:31
2:13:31
Play later
Play later
Lists
Like
Liked
2:13:31Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/ty…
…
continue reading

1
Episode 67: Getting Involved in Advocacy and Pain Medicine
24:54
24:54
Play later
Play later
Lists
Like
Liked
24:54Guest host Pankti Acharya (@PanktiAcharya3) from the Resident & Fellow Committee (#ASRARFC) joins Christy Hunt in a special episode on getting involved in advocacy and pain medicine. Stay tuned for more advocacy episodes brought to you by the #ASRARFC. Guests: - Christine Hunt, DO ________________ Thanks to The Preps from Philadelphia, PA for the m…
…
continue reading
Raj Gupta (@dr_rajgupta) joins Christy Hunt, Ryan D'Souza, and Crystal Joseph to discuss the exciting 23rd Annual Pain Medicine Meeting (#ASRAFALL24), coming up this November 21-23, 2024, in Las Vegas, NV. Register for the meeting at asra.com/pain. Streamed 9/20/2024. Guests: - Christine Hunt, DO - Ryan D'Souza, MD (@Ryan_S_DSouzaMD) - Crystal Jose…
…
continue reading

1
#43 PL in the Industry and Summer Schools - Patrick and Eric
1:01:30
1:01:30
Play later
Play later
Lists
Like
Liked
1:01:30In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pretty cool esoteric cubical agda stuff. Before starting his PhD he has spent some time at the consultancy companies Two Six Technologies and 47 Degrees …
…
continue reading

1
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
1:52:49
1:52:49
Play later
Play later
Lists
Like
Liked
1:52:49In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the …
…
continue reading

1
#41 The Value of PL (and) Education - Satnam Singh
1:41:04
1:41:04
Play later
Play later
Lists
Like
Liked
1:41:04Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he wor…
…
continue reading
In this episode we go into a deep dive into the formal methods side of Voting systems, and for this nobody better than our guest: Joe Kiniry, A Principal Scientist at Galois, Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focused on high-assurance elections technologies and services. For the past 20 years Joe has worked tirele…
…
continue reading

1
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
1:49:42
1:49:42
Play later
Play later
Lists
Like
Liked
1:49:42In this episode we continue our conversation with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. In today’s episode we talk about the story behind writing The Litt…
…
continue reading

1
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
1:55:58
1:55:58
Play later
Play later
Lists
Like
Liked
1:55:58In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. David is a super upbeat person and I feel that we could spend hundreds of hours talking…
…
continue reading

1
#37 Compilers, Staging, Futamura Projections - Guannan Wei
1:53:20
1:53:20
Play later
Play later
Lists
Like
Liked
1:53:20In this episode we talk with Guannan Wei, from Purdue University. Guannanfinished his PhD last year under Tiark Rompf, and is currently doing hisPost-Doc with Tiark. Guannan has worked on a plethora of differentcompilers topics, and in this conversation we will talk about Staging,Futamura Projections, Symbolic Execution, Compiler Applications in Sm…
…
continue reading

1
Episode 65: Preview of the ASRA Pain Medicine Spring Annual Meeting #ASRASpring24
34:53
34:53
Play later
Play later
Lists
Like
Liked
34:53Host Dr. Raj Gupta previews the amazing program and events of the upcoming ASRA Pain Medicine Spring Meeting in San Diego, CA on March 21-23 with Dr. Ki Jinn Chin, Dr. Ed Mariano, Dr. Jeni Noerenberg, Dr. Steve Porter, and Dr. Melody Herman. Go to https://asra.com/raapm for more details. Support the show Twitter: @ASRA_Society, @dr_rajgupta…
…
continue reading

1
#36 Behind the Person Behind this Podcast - Pedro Abreu
1:49:55
1:49:55
Play later
Play later
Lists
Like
Liked
1:49:55In this episode we celebrate 3 years of existence of this podcast byreflecting on the journey so far, what is my philosophy, how do Iapproach the interviews, my overall goals for the show, and some of our plansfor the future. In order to achieve this, I first take a detour and tell you a little moreabout my personal history, and my carreer in type …
…
continue reading

1
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
1:21:29
1:21:29
Play later
Play later
Lists
Like
Liked
1:21:29In this episode we talk with Eduardo Rafael. He isself-thaught programming languages enthusiast, youtuber, twitch streamer,multi-skilled programmer that has worked in different aspects of computerscience such as PL, operating systems, blockchain, and many other stuff. Inthis conversation we talk about his experience as a developer and hacker thatdi…
…
continue reading
Raj Gupta recaps the first day of the ASRA-PM Fall Chronic Pain Meeting with some colleagues and trainees. Live from the Exhibit Hall. Support the show Twitter: @ASRA_Society, @dr_rajguptaBy American Society of Regional Anesthesia and Pain Medicine
…
continue reading
Raj Gupta talks with Dr. Kiki Nin, Dr. Paul Su, and Dr. Adam Fischler about the ASRA Society LGBTQIA+ Special Interest Group. Today's topic focuses on the care of transgender patients during gender affirmation surgery and other operations. Support the show Twitter: @ASRA_Society, @dr_rajguptaBy American Society of Regional Anesthesia and Pain Medicine
…
continue reading

1
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
1:28:27
1:28:27
Play later
Play later
Lists
Like
Liked
1:28:27Andrew Marmaduke is a PhD Candidate from the University of Iowa, he worksunder Aaron Stump and has been working on revamping the theorem proverCedille 2. In this episode we tackle fundamental questions about thefoundations of the theorem provers, Cedille and Cedille 2. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.…
…
continue reading
Dr. Raj Gupta talks with Dr. Alexios Carayannopoulos about the upcoming 2023 Fall Meeting that will be Nov 10-11, 2023 in New Orleans, LA. Go to https://asra.com/pain for more details. Early registration deadline is September 28. Support the show Twitter: @ASRA_Society, @dr_rajguptaBy American Society of Regional Anesthesia and Pain Medicine
…
continue reading

1
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
2:05:07
2:05:07
Play later
Play later
Lists
Like
Liked
2:05:07Not satisfied with implementing one of the most popular automated theoremprovers, Z3, Leo de Moura also tackles another extremely hard problem inour field and implements a brand new interactivetheorem prover from scratch, Lean. In this episode we dive into the mind andphilosophy of this man. If you enjoy the show please consider supporting us at ou…
…
continue reading
Check out this conversation with host Raj Gupta and 4 members of the ASRA Pain Medicine Resident Section Committee. We discuss the opportunity that the committee offers to medical students, residents, and fellows interested in getting involved in the society and advancing their careers within regional anesthesia, acute pain, and chronic pain. Guest…
…
continue reading

1
#32 TyDe Systems - Jan de Muijnck-Hughes
1:41:23
1:41:23
Play later
Play later
Lists
Like
Liked
1:41:23In this episode we continue our conversation with Jan de Muijnck-Hughes aResearch Associate at Glasgow University. He works using all sorts of fancytype systems mostly targeted for hardware specification, particularly withthe aid of the theorem prover Idris. This episode we start by talking alittle about Impostor Syndrome in academia and how he has…
…
continue reading
Dr. Raj Gupta from Vanderbilt University Medical Center in Nashville, TN talks with the Cancer and Supportive Care Special Interest Group of ASRA Pain Medicine about the importance reducing barriers to care for cancer pain patients, expanding access to all forms of pain management, and the value of patients become educated about pain management and…
…
continue reading

1
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
2:09:59
2:09:59
Play later
Play later
Lists
Like
Liked
2:09:59In this episode we have a deep conversation with Jan de Muijnck-Hughes, talksabout all the cool research he has done with idris, hardware and different kindsof interesting type systems such as session types, quantitative types and gradedtypes. In the second half we discuss all the different kinds of problems thathas been going on in PL academia lat…
…
continue reading

1
Episode 59: Pediatric Regional Anesthesia and Pain Management
34:55
34:55
Play later
Play later
Lists
Like
Liked
34:55Dr. Raj Gupta from Vanderbilt University Medical Center in Nashville, TN discusses the importance of regional anesthesia and pain management for pediatric surgical cases. His guests are Dr. Michelle Kars from Northwell Cohen Children’s Medical Center in New York and Dr. Abhijit Biswas from London Health Sciences Centre and St. Joseph’s Hospital, We…
…
continue reading

1
#30 Actors, GADTs and Burnout - Dan and Pedro
1:44:52
1:44:52
Play later
Play later
Lists
Like
Liked
1:44:52In this episode we have over Dan Plyukhin, a PhD Candidate fromthe University of Illinois Urbana-Champaign. We talk about Dan’s research is in the field of parallelism, morespecifically garbage collection in the presence of actors. Then we also talk about Pedro's research on translating GADTs from OCaml to Coq,and the burnout process that lead him …
…
continue reading

1
Episode 58: #ASRASPRING23 Meeting Preview
43:22
43:22
Play later
Play later
Lists
Like
Liked
43:22Raj Gupta joins #ASRASPRING23 Meeting Chair, Stephen Haskins, to share the exciting program of the 48th Annual Regional Anesthesiology and Acute Pain Medicine Meeting, this April 20-22, in Hollywood, FL! Tune in for a taste of what to expect from this meeting's centennial theme and get ready to celebrate 100 years of regional anesthesia. Register a…
…
continue reading

1
Episode 57: Discussing the challenges and opportunities in Private Practice Anesthesiology #ASRARAPP #Private
49:30
49:30
Play later
Play later
Lists
Like
Liked
49:30#Billing in private practice, #financial implications of outpatient (#ambulatory) total joint surgery, staying up to date while working outside of #academics. Support the show Twitter: @ASRA_Society, @dr_rajguptaBy American Society of Regional Anesthesia and Pain Medicine
…
continue reading

1
Episode 56: The Future of Regenerative Medicine with the Regenerative Pain Medicine SIG
1:00:17
1:00:17
Play later
Play later
Lists
Like
Liked
1:00:17Gary Schwartz joins #ASRARegen SIG leaders Thomas Buchheit, Yashar Eshraghi, Christine Hunt, and Dmitri Souza to discuss the current state of regenerative medicine, its pearls and pitfalls, and how defining mechanisms of action can give us direction for the future. Support the show Twitter: @ASRA_Society, @dr_rajgupta…
…
continue reading

1
Episode 55: Collaboration with Advanced Practice Providers with the NP/PA/Nurse SIG
48:43
48:43
Play later
Play later
Lists
Like
Liked
48:43Raj Gupta joins leaders Martha Bentley-McLachlan, Jennifer Grimmer, Oluwatobi Hunter, and Zohra Hussaini from the Nurse Practitioner, Physician Assistant, and Clinical Nurse SIG (#APPRNSIG) to discuss collaboration with and the roles of advanced practice providers in clinic settings. Support the show Twitter: @ASRA_Society, @dr_rajgupta…
…
continue reading

1
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
1:24:19
1:24:19
Play later
Play later
Lists
Like
Liked
1:24:19Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where heteaches engineers to write better code! In this interview we talk about howto make better code, how the knowledge of computer science theory andprogramming languages can help engineers to achieve that, and much more! Links Jimmy's Personal Website Jimmy's Twitter Mirdin's Websit…
…
continue reading

1
Episode 54: Chronic Postoperative Pain with the Persistent Perioperative Pain SIG
43:11
43:11
Play later
Play later
Lists
Like
Liked
43:11Registration for the symposium closes at 4 pm ET today, March 11. Save your spot at asra.com/pps Raj Gupta joins Hesham Elsharkawy, chair of the Persistent Perioperative Pain SIG (#ASRAPPPSIG) and chair of the upcoming Chronic Postoperative Pain Symposium (#ASRAPPS23), along with faculty members Hance Clark and David Edwards, to discuss how the sym…
…
continue reading

1
Episode 53: Opportunities for Trainees to Engage and Advance with the Resident & Med Student Pain Education SIG
22:32
22:32
Play later
Play later
Lists
Like
Liked
22:32Raj Gupta (@dr_rajgupta) joins Kellie Jaremko, the vice-chair of the Resident and Medical Student Pain Education #ASRAResMedEd SIG along with guests Harrison Plunkett, Yasmin Sritapan, and Vats Ambai to discuss trainee opportunities and career development within ASRA Pain Medicine. Guests: -Kellie Jaremko, MD, PhD (@Neuro_Kellie) -Harrison Plunkett…
…
continue reading
Raj Gupta (@dr_rajgupta) joins Hari Kalagara and Jarna Shah LIVE from the Exhibit Hall of the 21st Annual Pain Medicine Meeting! Streamed 11/17/2022. Guests: - Hari Kalagara, MD (@KalagaraHari) - Jarna Shah, MD (@JarnaShahMD) ________________ Thanks to The Preps from Philadelphia, PA for the music: “Hindsight" and “Left Behind". The band features S…
…
continue reading

1
Episode 51: Military Pain Medicine for the Civilian Medical Community with the RAPM in Military Medicine SIG
44:18
44:18
Play later
Play later
Lists
Like
Liked
44:18Raj Gupta (@dr_rajgupta) joins #ASRAMilitary leaders Sandeep Dhanjal, Stephen Rodriguez, and Erin Tracy, to discuss what civilian acute and chronic pain physicians can learn from the military experience, what the military still needs to learn from the civilian medical community, and how military personnel with chronic pain move between military and…
…
continue reading

1
#28 Formally Verifying Smart Contracts - Pruvendo
1:10:40
1:10:40
Play later
Play later
Lists
Like
Liked
1:10:40In this episode we host another company that does formal method in thecontext of the Everscale Blockchain, and Solidity smart contracts.How and why they use formal methods in this context? Who are their clients?What are the caveats? Links Pruvendo's Website Pruvendo's Linkdin Pruvendo's TwitterBy Pedro Abreu
…
continue reading

1
#27 Formalizing an OS: The seL4 - Gerwin Klein
1:58:40
1:58:40
Play later
Play later
Lists
Like
Liked
1:58:40In this episode talk with Gerwin Klein about the formal verification of themicrokernel seL4 which was done using Isabelle atNICTA / Data61 in Australia. We also talk a little about his PhD Projectveryfing a piece of the Java Virtual Machine. Links Gerwin's Twitter Gerwin's Website ProofCraft's Website…
…
continue reading

1
#26 Mechanizing Modern Mathematics - Kevin Buzzard
2:15:31
2:15:31
Play later
Play later
Lists
Like
Liked
2:15:31Kevin Buzzard has been very passionate spreading the word amongmathematicians to use theorem provers mechanize theorems of modernmathematics. In this conversation we will talk about his vision in teachingundergrads to use the Lean theorem prover, what is the Xena Project, his viewof how theorem provers can change the way we do mathematics, and much…
…
continue reading

1
#25 Formally Verifying the Tezos Codebase - Formal Land
1:01:32
1:01:32
Play later
Play later
Lists
Like
Liked
1:01:32In this episode we partner with Formal Land, a company that works in formallyverifying the Tezos codebase! I have worked with them in the past developingnew features to their source-to-source compiler CoqOfOcaml. In this episode wetalk about their work with Tezos and how their techniques are applicable toother codebases as well! For this we talk wi…
…
continue reading

1
Episode 50: ASRA Fall 2022 Meeting Preview
40:40
40:40
Play later
Play later
Lists
Like
Liked
40:40Raj Gupta (@dr_rajgupta) joins #ASRAFALL22 meeting chair Amy Pearson and planning committee member Alexios Carayannopoulos to share the exciting program of the 21st Annual Pain Medicine Meeting, this November 17-19, in Orlando, FL! Tune in for a taste of what to expect from this meeting's "Making Connections" theme, with new program innovations tha…
…
continue reading

1
#24 The History of Isabelle - Lawrence Paulson
1:38:02
1:38:02
Play later
Play later
Lists
Like
Liked
1:38:02In this episode we interview Lawrence Paulson, one of the creating fathers ofIsabelle. We talk about the development process, how it drew inspirations andideas from LCF and Boyer Moore. What tools were used, it’s strenghts andweaknesses, and all about the historical context at the time! We also brieflytalk about his formalization of the Gödel's Inc…
…
continue reading

1
Episode 49: Environmental Sustainability in Your Practice with the Green Anesthesia SIG
41:34
41:34
Play later
Play later
Lists
Like
Liked
41:34Raj Gupta (@dr_rajgupta) joins #ASRAGreenSIG leaders Vivian Ip, Deirdre Kelleher, and E.B. Fouts-Palmer to preview the "Environmental Sustainability and Your Practice" symposium (#ASRAGreen22) and discuss recent ASRA Pain Medicine News publications on reducing your carbon footprint, the financial benefits of reducing desflurane use, and the detrime…
…
continue reading

1
Episode 48: POCUS in Resource-Limited Environments with the Global Health and POCUS SIGs
56:37
56:37
Play later
Play later
Lists
Like
Liked
56:37Does the advent of new portable ultrasounds create opportunities for POCUS in both low-resource countries and combat support hospitals? Raj Gupta (@dr_rajgupta) joins leaders from the #ASRAGlobalHealth SIG (Mark Brouillette and Lena Dohlman) and #ASRAPOCUS SIG (Melissa Byrne) to discuss clinical applications, handhelds, limitations and barriers, an…
…
continue reading

1
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
1:12:13
1:12:13
Play later
Play later
Lists
Like
Liked
1:12:13In this episode we talk about Sigplan, the organization behind the mostimportant conferences and proceedings in our field. What is the SIGPLAN? Whatexactly does it do? How is it organized? How are things published? To answerthese and many other questions we talk with Jens Palsberg, a professor atUCLA, who is the past chair of the SIGPLAN. And also …
…
continue reading

1
#22 Impredicativity, LEM, Realizability and more - Cody Roux
2:19:23
2:19:23
Play later
Play later
Lists
Like
Liked
2:19:23In this episode Cody Roux teaches some interesting concepts that people careabout in Mathematics and Logic as a way to try to understand what is going onin the universe around us! In particular we will try to explain concepts suchas Impredicativity, Excluded Middle, Group Theory, Model Theory, KripkeModels, Realizability, The Markov Principle, Cut …
…
continue reading

1
Episode 47: Advances in Headache Treatment with the Headache SIG
39:05
39:05
Play later
Play later
Lists
Like
Liked
39:05Raj Gupta (@dr_rajgupta) and #ASRAHeadache SIG leaders Nat Schuster, Meredith Barad, and Gaurav Chauhan discuss the SIG's mission and recent advances in headache treatment: Why are there so many novel, non-opioid migraine medications, so few novel, non-opioid pain medications, and what can the pain field learn from the recent headache advancements?…
…
continue reading

1
#21 Denotational Design - Conal Elliott
3:07:26
3:07:26
Play later
Play later
Lists
Like
Liked
3:07:26In this episode Conal Elliott gives a more concrete presentationon what is Denotational Design is and how to use it in practice. It is a continuation of episode #17, in which we had an in-depth philosophicalconversation to explain why he believes thatDenotational Design is a superior form of reasoning in the realm of computerscience. We also contin…
…
continue reading

1
Episode 46: Surprise Billing with the Private Practice SIG
58:06
58:06
Play later
Play later
Lists
Like
Liked
58:06Raj Gupta (@dr_rajgupta) joins Regulatory Consultant Bob Jasak, and #PrivatePracticeSIG leaders Maggie Holtz, Jennifer Noerenberg, and Jerry Jones, to discuss the new Federal balance billing and patient cost-sharing protections (#NoSurprisesAct), what the federal law means for state regulation of surprise bills, and more. Streamed 6/28/2022. Guests…
…
continue reading