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
1
#43 PL in the Industry and Summer Schools - Patrick and Eric
1:01:30
1:01:30
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 …
…
continue reading
1
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
1:52:49
1:52:49
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 …
…
continue reading
1
#41 The Value of PL (and) Education - Satnam Singh
1:41:04
1:41:04
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
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
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
1:55:58
1:55:58
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#37 Compilers, Staging, Futamura Projections - Guannan Wei
1:53:20
1:53:20
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 65: Preview of the ASRA Pain Medicine Spring Annual Meeting #ASRASpring24
34:53
34:53
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#36 Behind the Person Behind this Podcast - Pedro Abreu
1:49:55
1:49:55
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 …
…
continue reading
1
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
1:21:29
1:21:29
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
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_rajguptaBởi 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_rajguptaBởi 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
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 62: #ASRAFALL23 Meeting Preview
35:16
35:16
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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_rajguptaBởi 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
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 61: Resident Section Committee
44:58
44:58
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#32 TyDe Systems - Jan de Muijnck-Hughes
1:41:23
1:41:23
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 60: Cancer and Supportive Care
50:04
50:04
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
2:09:59
2:09:59
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 59: Pediatric Regional Anesthesia and Pain Management
34:55
34:55
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#30 Actors, GADTs and Burnout - Dan and Pedro
1:44:52
1:44:52
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 …
…
continue reading
1
Episode 58: #ASRASPRING23 Meeting Preview
43:22
43:22
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 57: Discussing the challenges and opportunities in Private Practice Anesthesiology #ASRARAPP #Private
49:30
49:30
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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_rajguptaBởi 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
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 55: Collaboration with Advanced Practice Providers with the NP/PA/Nurse SIG
48:43
48:43
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
1:24:19
1:24:19
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 54: Chronic Postoperative Pain with the Persistent Perioperative Pain SIG
43:11
43:11
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 53: Opportunities for Trainees to Engage and Advance with the Resident & Med Student Pain Education SIG
22:32
22:32
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
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
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#28 Formally Verifying Smart Contracts - Pruvendo
1:10:40
1:10:40
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 TwitterBởi Pedro Abreu
…
continue reading
1
#27 Formalizing an OS: The seL4 - Gerwin Klein
1:58:40
1:58:40
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#26 Mechanizing Modern Mathematics - Kevin Buzzard
2:15:31
2:15:31
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#25 Formally Verifying the Tezos Codebase - Formal Land
1:01:32
1:01:32
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 50: ASRA Fall 2022 Meeting Preview
40:40
40:40
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#24 The History of Isabelle - Lawrence Paulson
1:38:02
1:38:02
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 49: Environmental Sustainability in Your Practice with the Green Anesthesia SIG
41:34
41:34
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 48: POCUS in Resource-Limited Environments with the Global Health and POCUS SIGs
56:37
56:37
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
1:12:13
1:12:13
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 …
…
continue reading
1
#22 Impredicativity, LEM, Realizability and more - Cody Roux
2:19:23
2:19:23
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 …
…
continue reading
1
Episode 47: Advances in Headache Treatment with the Headache SIG
39:05
39:05
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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?…
…
continue reading
1
#21 Denotational Design - Conal Elliott
3:07:26
3:07:26
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
Episode 46: Surprise Billing with the Private Practice SIG
58:06
58:06
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
1:37:28
1:37:28
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#19 Experience Report: Learning Coq - Patrick and Supun
1:51:39
1:51:39
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 …
…
continue reading
1
#18 Gödel's Incompleteness Theorems - Cody Roux
2:50:14
2:50:14
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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'…
…
continue reading
1
#17 The Lost Elegance of Computation - Conal Elliott
3:32:38
3:32:38
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
1:35:53
1:35:53
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading
1
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
1:17:36
1:17:36
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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 …
…
continue reading
1
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
56:30
56:30
Nghe Sau
Nghe Sau
Danh sách
Thích
Đã thích
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…
…
continue reading