Latest Computation Podcast Episodes
Multiple worlds, containing multitudes
COMPLEXITY: Physics of Life - April 10, 2024 18:42 - 40 minutes ★★★★★ - 239 ratingsGuests: Heather Graham, Research Associate at NASA Goddard Space Flight Center Hosts: Abha Eli Phoboo & Chris Kempes Producer: Katherine Moncure Podcast theme music by: Mitch Mignano Additional sound credits: Digifish music; “Determination of Azimuth,” written by Heather Graham, staged at ...
How human history shapes scientific inquiry
COMPLEXITY: Physics of Life - March 27, 2024 20:54 - 33 minutes ★★★★★ - 239 ratingsGuests: David Krakauer, President and William H. Miller Professor of Complex Systems at the Santa Fe Institute Sean Carroll, External Professor and Fractal Faculty at the Santa Fe Institute, Homewood Professor of Natural Philosophy at Johns Hopkins University Hosts: Abha Eli Phoboo & Chris K...
Ep 4: The physics of collectives
COMPLEXITY: Physics of Life - March 13, 2024 19:47 - 33 minutes ★★★★★ - 239 ratingsGuests: Melanie Moses, External Professor at the Santa Fe Institute, Professor of Computer Science and Associate Professor of Biology at University of New Mexico Hyejin Youn, External Professor at the Santa Fe Institute, Associate Professor at Institute of Northwestern University Hosts: Abha...
Why is life so diverse?
COMPLEXITY: Physics of Life - February 28, 2024 21:59 - 29 minutes ★★★★★ - 239 ratingsGuests: Brian Enquist, External Professor at the Santa Fe Institute, Professor of Ecology and Evolutionary Biology at University of Arizona Pablo Marquet, External Professor at the Santa Fe Institute, Professor at Institute of Ecology and Biodiversity, Pontificia Universidad Católica de Chile...
How do we identify life?
COMPLEXITY: Physics of Life - February 14, 2024 22:07 - 33 minutes ★★★★★ - 239 ratingsGuests: Ricard Solé, External Professor at the Santa Fe Institute, Head of the Complex Systems Lab at Universitat Pompeu Fabra Sara Walker, External Professor at the Santa Fe Institute, Associate Director of the ASU-SFI Center for Biosocial Complex Systems Hosts: Abha Eli Phoboo & Chris Kemp...
What can physics tell us about ourselves?
COMPLEXITY: Physics of Life - January 31, 2024 21:27 - 34 minutes ★★★★★ - 239 ratingsGuests: Vijay Balasubramanian, External Professor at the Santa Fe Institute, Cathy and Marc Lasry Professor of Physics at the University of Pennsylvania Geoffrey West, Shannan Distinguished Professor and Past President, Santa Fe Institute Hosts: Abha Eli Phoboo & Chris Kempes Producer: Kath...
Relaunch of Complexity Podcast Trailer
COMPLEXITY: Physics of Life - January 29, 2024 22:53 - 3 minutes ★★★★★ - 239 ratingsTrailer for Complexity: Physics of Life, from the Santa Fe Institute
Season 4, Episode 4 -- Anubhav Jain: Hacking Materials
Science in Parallel - November 08, 2023 08:00 - 32 minutes ★★★★★ - 3 ratingsArtificial intelligence is reshaping research to discover new materials for a range of important applications. In this episode, meet Anubhav Jain of Lawrence Berkeley National Laboratory, a researcher who has been at the forefront of this transition. He uses machine learning and other computatio...
Season 4, Episode 3 -- Danilo Pérez: Embracing Versatility
Science in Parallel - October 25, 2023 07:00 - 37 minutes ★★★★★ - 3 ratingsSometimes extraordinary circumstances like the pandemic offer researchers unexpected opportunities to serve others. Danilo Pérez, now a Ph.D. student in computational neuroscience at New York University, found himself in this situation in Puerto Rico in 2020. He contributed his mathematical mode...
Season 4, Episode 2 -- Casey Berger: Choose Your Own Multidimensional Career
Science in Parallel - October 11, 2023 07:00 - 29 minutes ★★★★★ - 3 ratingsTraditional science career advice often urges people to specialize and become the best at one activity. But that perspective can undervalue interdisciplinary researchers and other polymaths who can see connections between and beyond science and engineering fields. This episode’s guest, Casey Ber...
Season 4, Episode 1 -- Creativity in Climate Modeling
Science in Parallel - September 27, 2023 07:00 - 36 minutes ★★★★★ - 3 ratingsSeason 4 of Science in Parallel centers around creativity and computing, starting with an interview about climate modeling. At this nexus of physics, earth science, mathematics and computing, researchers are also racing against the clock to accurately predict how global climate is shifting bef...
Some advanced examples in DCS
Iowa Type Theory Commute - September 25, 2023 03:00 - 23 minutes ★★★★★ - 13 ratingsThis episode presents two somewhat more advanced examples in DCS. They are Harper's continuation-based regular-expression matcher, and Bird's quickmin, which finds the least natural number not in a given list of distinct natural numbers, in linear time. I explain these examples in detail and t...
DCS compared to termination checkers for type theories
Iowa Type Theory Commute - September 19, 2023 03:00 - 19 minutes ★★★★★ - 13 ratingsIn this episode, I continue introducing DCS by comparing it to termination checkers in constructive type theories like Coq, Agda, and Lean. I warmly invite ITTC listeners to experiment with the tool themselves. The repo is here.
Getting started with DCS
Iowa Type Theory Commute - September 10, 2023 04:00 - 17 minutes ★★★★★ - 13 ratingsIn this episode, I talk more about the DCS tool, and invite listeners to check it out and possibly contribute! The repo is here.
Introduction to DCS
Iowa Type Theory Commute - September 04, 2023 04:00 - 11 minutes ★★★★★ - 13 ratingsDCS is a new functional programming language I am designing and implementing with Stefan Monnier. DCS has a pure, terminating core, around which monads will be layered for possibly diverging, impure computation. In this episode, I talk about this basic design, and its rationale.
Semantics of subtyping
Iowa Type Theory Commute - July 24, 2023 03:00 - 15 minutes ★★★★★ - 13 ratingsI answer a listener's question about the semantics of subtyping, by discussing two different semantics: coercive subtyping and subsumptive subtyping. The terminology I found in this paper by Zhaohui Luo; see Section 4 of the paper for a comparison of the two kinds of subtyping. With coercive s...
More on type inference for simple subtypes
Iowa Type Theory Commute - July 16, 2023 02:00 - 9 minutes ★★★★★ - 13 ratingsI continue the discussion of Mitchell's paper Type Inference with Simple Subtypes. Coming soon: a discussion of semantics of subtyping.
Subtyping, the golden key
Iowa Type Theory Commute - July 09, 2023 03:00 - 9 minutes ★★★★★ - 13 ratingsIn this episode, I wax rhapsodic for the potential of subtyping to improve the practice of pure functional programming, in particular by allowing functional programmers to drop various irritating function calls that are needed just to make types work out. Examples are lifting functions with mon...
Michael Garfield & David Krakauer on Evolution, Information, and Jurassic Park
COMPLEXITY: Physics of Life - June 30, 2023 17:16 - 1 hour ★★★★★ - 239 ratingsEpisode Title and Show Notes: 106 - Michael Garfield & David Krakauer on Evolution, Information, and Jurassic Park Welcome to Complexity, the official podcast of the Santa Fe Institute. I'm Michael Garfield, producer of this show and host for the last 105 episodes. Since October, 2019, we have...
Type inference with simple subtypes
Iowa Type Theory Commute - June 30, 2023 04:00 - 13 minutes ★★★★★ - 13 ratingsIn this episode, I begin discussing a paper titled "Type Inference with Simple Subtypes," by John C. Mitchell. The paper presents algorithms for computing a type and set of subtype constraints for any term of the pure lambda calculus. I mostly focus here on how subtype constraints allow typing...
Basics of subtyping
Iowa Type Theory Commute - June 21, 2023 21:00 - 8 minutes ★★★★★ - 13 ratingsIn this episode, I discuss a few of the basics for what we expect from a subtyping relation on types: reflexivity, transitivity, and the variances for arrow types.
Season 3, Episode 5 -- Beyond Exascale: Exploring Emerging Hardware
Science in Parallel - June 21, 2023 07:00 - 41 minutes ★★★★★ - 3 ratingsThe exascale era in computing has arrived, and that brings up the question of what’s next. We’ll discuss some emerging processor technologies-- molecular storage and computing, quantum computing and neuromorphic chips—with an expert from each of those fields. Learn more about these technologies...
Begin chapter on subtyping
Iowa Type Theory Commute - June 21, 2023 03:00 - 16 minutes ★★★★★ - 13 ratingsWe begin a discussion of subtyping in functional programming. In this episode, I talk about how subtyping is a neglected feature in implemented functional programming languages (for example, not found in Haskell), and how it could be very useful for writing lighter, more elegant code. I also t...
Season 3, Episode 4 -- Gabriel Casabona: It All Comes Down to Gravity
Science in Parallel - June 07, 2023 07:00 - 29 minutes ★★★★★ - 3 ratingsAlthough he’s always loved space, Gabriel Casabona pursued other fields, including medicine and religion, before landing in astrophysics. We discussed how his passion for physics motivated him to deepen his knowledge of math and computing, how gravity’s mysteries define his work and other big ch...
Season 3, Episode 3 -- Tammy Ma: Fusion Ignition and Beyond
Science in Parallel - May 24, 2023 07:00 - 19 minutes ★★★★★ - 3 ratingsIn early December 2022, Lawrence Livermore National Laboratory announced that the National Ignition Facility (NIF) had achieved fusion ignition—a reaction of merging hydrogen isotopes that produced more energy than the lasers put in. High-performance computing is an important part of designing, ...
Season 3, Episode 2 –- Margaret Lawson: Finding Her Place
Science in Parallel - May 10, 2023 07:00 - 21 minutes ★★★★★ - 3 ratingsEven after enjoying her first computer science course, Margaret Lawson wasn’t convinced she’d have a place in the field. But today she works on cloud storage for Google after completing her Ph.D. at the University of Illinois, Urbana-Champaign, where she was supported by a Department of Energy C...
Episode 5: What Have We Learned with DS4SJ?
Information Ecosystems - May 08, 2023 13:45 - 10 minutes ★★★★★ - 5 ratingsWelcome to the fifth and final episode of the third season of the Information Ecosystem podcast, hosted by Grace DeLallo and created in affiliation with the University of Pittsburgh. This episode, “What Have We Learned,” looks at the projects the cohort undertook in this project structure and ...
Season 3, Episode 1 -- Joe Insley: Big Data to Beautiful Images
Science in Parallel - April 26, 2023 07:00 - 29 minutes ★★★★★ - 3 ratingsMaking sense of computational science takes a multidisciplinary team, including science visualization experts who translate data into images that both parse information so that it’s comprehensible and render it into beautiful images and skillful animations. Joe Insley of Argonne Leadership Compu...
Last episode discussing Observational Equality Now for Good
Iowa Type Theory Commute - April 13, 2023 05:00 - 12 minutes ★★★★★ - 13 ratingsIn this episode, I conclude my discussion of some (but hardly all!) points from Pujet and Tabareau's POPL 2022 paper, "Observational Equality -- Now for Good!". I talk a bit about the structure of the normalization proof in the paper, which uses induction recursion. See this paper by Peter Dyb...
Episode 4: Data Ethics with Dr. Katie Shilton
Information Ecosystems - April 10, 2023 16:08 - 30 minutes ★★★★★ - 5 ratingsWelcome to the fourth episode of the third season of the Information Ecosystems podcast, hosted by Grace DeLallo and created in affiliation with the University of Pittsburgh. This episode, “Data Ethics with Dr. Katie Shilton,” looks at the implications of data collection and research, and how th...
Related Computation Topics