最高の Eric Christiansen ポッドキャスト (2024)

1
#43 PL in the Industry and Summer Schools - Patrick and Eric 1:01:30

1M ago1:01:30

1:01:30

In 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 …

1
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi 1:52:49

2M ago1:52:49

1:52:49

In 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 …

1
#41 The Value of PL (and) Education - Satnam Singh 1:41:04

2M ago1:41:04

1:41:04

Satnam 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…

1
#40 Secure Voting - Joe Kiniry 1:08:54

3M ago1:08:54

1:08:54

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…

1
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen 1:49:42

4M ago1:49:42

1:49:42

In 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…

1
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen 1:55:58

5M ago1:55:58

1:55:58

In 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…

1
#37 Compilers, Staging, Futamura Projections - Guannan Wei 1:53:20

7M ago1:53:20

1:53:20

In 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…

1
Episode 65: Preview of the ASRA Pain Medicine Spring Annual Meeting #ASRASpring24 34:53

8M ago34:53

34:53

Host 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…

1
#36 Behind the Person Behind this Podcast - Pedro Abreu 1:49:55

10M ago1:49:55

1:49:55

In 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 …

1
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael 1:21:29

11M ago1:21:29

1:21:29

In 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…

1
Episode 64: Live from #ASRAFALL23 19:20

11M ago19:20

19:20

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_rajguptaAmerican Society of Regional Anesthesia and Pain Medicine による

1
Episode 63: LGBTQIA+ SIG 47:37

12M ago47:37

47:37

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_rajguptaAmerican Society of Regional Anesthesia and Pain Medicine による

1
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke 1:28:27

1y ago1:28:27

1:28:27

Andrew 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. Links Andrew's Website AndrasKovacs' Smalltt Failure of Normalization in Impredi…

1
Episode 62: #ASRAFALL23 Meeting Preview 35:16

1y ago35:16

35:16

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_rajguptaAmerican Society of Regional Anesthesia and Pain Medicine による

1
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura 2:05:07

1y ago2:05:07

2:05:07

Not 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. Links Leo's Website Lean Z3 The Church of Logic Podcast…

1
Episode 61: Resident Section Committee 44:58

1y ago44:58

44:58

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…

1
#32 TyDe Systems - Jan de Muijnck-Hughes 1:41:23

1y ago1:41:23

1:41:23

In 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…

1
Episode 60: Cancer and Supportive Care 50:04

1+ y ago50:04

50:04

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…

1
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes 2:09:59

1+ y ago2:09:59

2:09:59

In 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…

1
Episode 59: Pediatric Regional Anesthesia and Pain Management 34:55

1+ y ago34:55

34:55

Dr. 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…

1
#30 Actors, GADTs and Burnout - Dan and Pedro 1:44:52

1+ y ago1:44:52

1:44:52

In 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 …

1
Episode 58: #ASRASPRING23 Meeting Preview 43:22

1+ y ago43:22

43:22

Raj 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…

1
Episode 57: Discussing the challenges and opportunities in Private Practice Anesthesiology #ASRARAPP #Private 49:30

1+ y ago49:30

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_rajguptaAmerican Society of Regional Anesthesia and Pain Medicine による

1
Episode 56: The Future of Regenerative Medicine with the Regenerative Pain Medicine SIG 1:00:17

1+ y ago1:00:17

1:00:17

Gary 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…

1
Episode 55: Collaboration with Advanced Practice Providers with the NP/PA/Nurse SIG 48:43

1+ y ago48:43

48:43

Raj 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…

1
#29 Can PL theory make you a better software engineer? - Jimmy Koppel 1:24:19

1+ y ago1:24:19

1:24:19

Jimmy 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…

1
Episode 54: Chronic Postoperative Pain with the Persistent Perioperative Pain SIG 43:11

1+ y ago43:11

43:11

Registration 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…

1
Episode 53: Opportunities for Trainees to Engage and Advance with the Resident & Med Student Pain Education SIG 22:32

1+ y ago22:32

22:32

Raj 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…

1
Episode 52: LIVE from #ASRAFALL22! 30:58

1+ y ago30:58

30:58

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…

1
Episode 51: Military Pain Medicine for the Civilian Medical Community with the RAPM in Military Medicine SIG 44:18

1+ y ago44:18

44:18

Raj 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…

1
#28 Formally Verifying Smart Contracts - Pruvendo 1:10:40

1+ y ago1:10:40

1:10:40

In 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 TwitterPedro Abreu による

1
#27 Formalizing an OS: The seL4 - Gerwin Klein 1:58:40

1+ y ago1:58:40

1:58:40

In 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…

1
#26 Mechanizing Modern Mathematics - Kevin Buzzard 2:15:31

2y ago2:15:31

2:15:31

Kevin 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…

1
#25 Formally Verifying the Tezos Codebase - Formal Land 1:01:32

2y ago1:01:32

1:01:32

In 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…

1
Episode 50: ASRA Fall 2022 Meeting Preview 40:40

2y ago40:40

40:40

Raj 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…

1
#24 The History of Isabelle - Lawrence Paulson 1:38:02

2y ago1:38:02

1:38:02

In 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…

1
Episode 49: Environmental Sustainability in Your Practice with the Green Anesthesia SIG 41:34

2y ago41:34

41:34

Raj 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…

1
Episode 48: POCUS in Resource-Limited Environments with the Global Health and POCUS SIGs 56:37

2y ago56:37

56:37

Does 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…

1
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich 1:12:13

2y ago1:12:13

1:12:13

In 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 …

1
#22 Impredicativity, LEM, Realizability and more - Cody Roux 2:19:23

2y ago2:19:23

2:19:23

In 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 …

1
Episode 47: Advances in Headache Treatment with the Headache SIG 39:05

2y ago39:05

39:05

Raj 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?…

1
#21 Denotational Design - Conal Elliott 3:07:26

2y ago3:07:26

3:07:26

In 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…

1
Episode 46: Surprise Billing with the Private Practice SIG 58:06

2y ago58:06

58:06

Raj 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…

1
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica 1:37:28

2+ y ago1:37:28

1:37:28

In this episode, me and Eric Bond have a great conversation with Dan R.Ghica, a professor at Birmingham University and Director of the ProgrammingLanguage Research Lab of the Huaweii Research Centre Edinburgh.We talk about his work on both institutions, which includes topics such asCategory Theory, String Diagrams, and Game Semantics.We also briefl…

1
#19 Experience Report: Learning Coq - Patrick and Supun 1:51:39

2+ y ago1:51:39

1:51:39

In today’s episode I invite two friends of mine Patrick Lafontaine and SupunAbeysinghe. We will talk about their experience learning Coq and we guideourselves in a survey that I gave all the 83 students in the class.The class was thought by my advisor Benjamin Delaware and I was his TA. Patrick researches compilers and have done work in particular …

1
#18 Gödel's Incompleteness Theorems - Cody Roux 2:50:14

2+ y ago2:50:14

2:50:14

In this episode Cody Roux talks about the Gödel's Incompleteness Theorems. We gothrough it’s underlying historical context, Hilbert’s Program, how it relateswith Turing, Church, Von Neumann, Termination and more. Links Cody's website Cody's dblp The Lady or the Tiger? - Short Story The Lady or the Tiger? - Amazon Logicomix An Introduction to Gödel'…

1
#17 The Lost Elegance of Computation - Conal Elliott 3:32:38

2+ y ago3:32:38

3:32:38

In this episode I had the pleasure to have an in-depth conversation with ConalElliott about his life, his work, his philosophy and his many opinions aboutresearch and the current state of PL Research and how it lead him to come withthe concept of Denotational Design. Conal got his PhD at CMU in the 90s underFrank Pfenning working on Higher-Order Un…

1
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx 1:35:53

2+ y ago1:35:53

1:35:53

In this episode we interview Jesper Cockx, one of the core developers on Agda.We talk about the philosophy behind Agda, his work on pattern matching, theUniqueness of Identity of Proofs, UIP for short, and why it is inconsistentwith Homotopy Type Theory. Links Jesper's Website Jesper's Twitter: @agdakx Jesper's PhD Thesis Rewrite Theory paper Patte…

1
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric 1:17:36

2+ y ago1:17:36

1:17:36

In this episode me, Eric and Nitin continues our conversation started in thelast episode. This time we move our attention to the cool projects happeningin Coq, in particular commenting through the projects mentioned in AndrewAppel’s keynote “Coq’s Vibrant Ecosystem for verification engineering” thattook place in CPP’22 which is colocated with POPL …

1
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric 56:30

2+ y ago56:30

56:30

In this episode I gather with two good friends Eric and Nitin to randomly talk random subjects that pops up. Among them we talked about POPL, Scala, Isabelle, Parametricity, Dependent Object Types (DOT, for short) and more! Links Nitin Twitter @NitinJohnRaj2 Eric Twitter @EricBond10 Collection of links on logical relations Theorems for Free Reynold…

聞く価値のあるポッドキャスト

ポッドキャスト Eric Christiansen

聞く価値のあるポッドキャスト

クイックリファレンスガイド