Best Aaron Stump Podcasts (2024)

1
Turing's proof of normalization for STLC 17:39

2M ago17:39

17:39

In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.By Aaron Stump

1
Introduction to normalization for STLC 9:39

2M ago9:39

9:39

In this episode, after a quick review of the preceding couple, I discuss the property of normalization for STLC, and talk a bit about proof methods. We will look at proofs in more detail in the coming episodes. Feel free to join the Telegram group for the podcast if you want to discuss anything (or just email me at aaron.stump@gmail.com).…

1
Arithmetic operations in simply typed lambda calculus 9:56

3M ago9:56

9:56

It is maybe not so well known that arithmetic operations -- at least some of them -- can be implemented in simply typed lambda calculus (STLC). Church-encoded numbers can be given the simple type (A -> A) -> A -> A, for any simple type A. If we abbreviate that type as Nat_A, then addition and multiplication can both be typed in STLC, at type Nat_A …

1
The curious case of exponentiation in simply typed lambda calculus 7:29

3M ago7:29

7:29

Like addition and multiplication on Church-encoded numbers, exponentiation can be assigned a type in simply typed lambda calculus (STLC). But surprisingly, the type is non-uniform. If we abbreviate (A -> A) -> A -> A as Nat_A, then exponentiation, which is defined as \ x . \ y . y x, can be assigned type Nat_A -> Nat_(A -> A) -> Nat_A. The second a…

1
More on basics of simple types 15:45

3M ago15:45

15:45

I review the typing rules and some basic examples for STLC. I also remind listeners of the Curry-Howard isomorphism for STLC.By Aaron Stump

1
Begin Chapter on Simple Type Theory 15:41

3M ago15:41

15:41

In this episode, after a pretty long hiatus, I start a new chapter on simply typed lambda calculus. I present the typing rules and give some basic examples. Subsequent episodes will discuss various interesting nuances...By Aaron Stump

1
Aaron Norton chats Little Athletics 1:14:25

8M ago1:14:25

1:14:25

Join your hosts Adam and Tash in this weeks episode of Two Cripples, One Pair of Legs as they sit down with Aaron Norton from Little Athletics. Adam and Tash spill the beans on the recent trip to Japan!By Media8

1
It's Been a Long Day!! 1:04:16

8M ago1:04:16

1:04:16

Welcome back to another episode of Two Cripples, One Pair of Legs. On this very chaotic episode, Adam is in the firing line as Tash nominates him as Moron of The Day and someone is absolutely shocked that he is helping out at a carnival. Tash and Adam also get a surprise visit from friend of the show Brett McCallum and a giant beer can!…

1
The Chair That Got Away 1:04:17

9M ago1:04:17

1:04:17

Join Tash and Adam on Two Cripples, One Pair of Legs for a hilarious episode filled with Tash's runaway wheelchair antics and the shocking funding woes of Swimming Australia. They're flipping the script with a heartwarming social media uplift, sharing a heartwarming DM, and give a shoutout to the "Unsung Heroes" event raising funds for carer respit…

1
2 Cripples, 1.5 Pairs of Legs 1:09:19

9M ago1:09:19

1:09:19

On this episode of Two Cripples, One Pair of Legs Adam and Tash dive into the inspiring journey of their special guest, Matt Curran, who lost his leg in a motorbike accident but still rides the waves in all things watersports. They also recount Tash's latest hurdle mishap (yes, another one) and share their 'epic' two weeks without a car.…

1
Yes or No? That is the Question 1:08:31

10M ago1:08:31

1:08:31

In this episode of Two Cripples, One Pair of Legs, Adam and Tash spill the beans on the awkward moment when someone questioned Adam's parking in a disabled spot (spoiler: he's got a great reason!), celebrate the unsung heroes of the Oceania Throwdown, weigh in on The Voice referendum, and deliver a side-splitting take on the world of disrespectful …

1
Some advanced examples in DCS 23:16

10M ago23:16

23:16

This 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 then discuss how they are implemented in DCS, which ensur…

1
DCS compared to termination checkers for type theories 19:45

10M ago19:45

19:45

In 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.By Aaron Stump

1
Part 2: Graziella Thake 53:38

11M ago53:38

53:38

Welcome back to another episode of Two Cripples, One Pair of Legs! In this episode Tash gets told that someone on Tik Tok has the cure to diabetes (which is actually incurable...), and Adam does a shoutout to the all-round good people over at the Atlas Collective. They then jump into Part 2 of their interview with the one and only Graziella Thake w…

1
Getting started with DCS 17:23

11M ago17:23

17:23

In this episode, I talk more about the DCS tool, and invite listeners to check it out and possibly contribute! The repo is here.By Aaron Stump

1
Introduction to DCS 11:36

11M ago11:36

11:36

DCS 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.By Aaron Stump

1
Part 1: Graziella Thake 56:05

11M ago56:05

56:05

Strap in for a hilarious and also motivating ride on this episode of Two Cripples, One Pair of Legs. In part 1 of a two part interview, Adam and Tash chat to the unstoppable Graziella Thake, CEO of Optimisation Hub. Listen in as Adam and Tash tackle equality, equity and even recount a post pub feed parking saga with its very own handwritten note. B…

1
The Worst Facebook Hack Ever 1:07:04

11M ago1:07:04

1:07:04

Welcome back to another episode of Two Cripples, One Pair of Legs. On today's episode Adam and Tash chat about Brisbane Airport renaming to traditional land name Meeanjin, but not telling anyone. They talk about a horrible Facebook hack that happened to one of their friends, chat about a wholesome fishing expo Adam took his kid to and annouce that …

1
The Cairns Special 1:13:41

12M ago1:13:41

1:13:41

Get ready to be inspired and have some laughs on this week's episode of Two Cripples One Pair of Legs. Join the unstoppable figure athlete, Julie Lindsay, as she raises awareness and takes on cancer like the boss-woman she is and then laugh along with Adam and Tash as they recount the weird and wonderful stuff that happened during their Cairns trip…

1
Semantics of subtyping 15:20

1y ago15:20

15:20

I 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 subtyping, we have subtyping axioms "A

1
"Triggered" 1:07:15

1y ago1:07:15

1:07:15

Welcome back to another episode of Two Cripples, One Pair of Legs. In this week's episode, Adam and Tash welcome Caroline Bellenger into the studio. Caroline has dedicated her life to empowering other women through inspirational keynotes, coaching programs and online education while raising awareness of childhood sexual abuse and mental health stig…

1
More on type inference for simple subtypes 9:06

1y ago9:06

9:06

I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes. Coming soon: a discussion of semantics of subtyping.By Aaron Stump

1
Subtyping, the golden key 9:13

1y ago9:13

9:13

In 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 monad transformers, or even just the pure/return functions…

1
A Super Charged Ep 1:28:55

1y ago1:28:55

1:28:55

Welcome back to another episode of Two Cripples, One Pair of Legs. In today's podcast Adam and Tash are joined in the studio with Brett D. Scott from Super Charged Freedom. Tash chats about runners playing "statue" while she races downhill with a siren blaring. Your hosts then thank the siren holding heroes otherwise known as lead cyclists for keep…

1
Type inference with simple subtypes 13:27

1y ago13:27

13:27

In 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 any term (which seems surprising). You can join the tel…

1
Basics of subtyping 8:05

1y ago8:05

8:05

In 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.By Aaron Stump

1
Begin chapter on subtyping 16:15

1y ago16:15

16:15

We 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 talk about how subtyping could help realize a new vision …

1
People Incorrectly Correcting People 1:11:41

1y ago1:11:41

1:11:41

This week on the Two Cripples, One Pair of Legs podcast, Adam and Tash welcome Rachel Condos-Fields into the studio. Rachel is the CEO and Founder of The WattleNest which was born to empower, celebrate and connect elite athletes to help mitigate financial barriers and provide pathways for talented sportspersons. Tash says something nice about Adam …

1
Falling Ass over Tit 1:15:15

1y ago1:15:15

1:15:15

On this week's episode of Two Cripples, One Pair of Legs, Adam and Tash chat about how society tend to crucify people in the media and on social media without having all (or even any) of the facts, Adam talks about a cheeky little DM he got on Instagram and Tash crowns Adam as this episodes Moron of the Day after telling her a little story about a …

1
2022 Battle of the Sins FINALE!! 1:09:41

1y ago1:09:41

1:09:41

Aaron, Ian, Jonathan, Deneé, Daniel, and Jeremy debate the final set of match-ups in the 2022 Batlle of the Sins! This season has been a tournament-style bracket picking the "most sinful" movie the channel sinned in 2022 and the winner is ready to be announced! You can follow along, print off a bracket, and VOTE for your "favorites" at challonge.co…

1
2022 Battle of the Sins RD3!! 1:45:54

1y ago1:45:54

1:45:54

Aaron, Ian, and Jonathan debate the next set of match-ups in the 2022 Batlle of the Sins! This season will be a tournament-style bracket picking the "most sinful" movie the channel sinned in 2022! You can follow along, print off a bracket, and VOTE for your "favorites" at challonge.com/2022sinbattle. 1) Welcome! (0:28) 2) The Matchups! Vampire's Ki…

1
When Intercoms and Bladders Collide 1:01:05

1y ago1:01:05

1:01:05

On this week's episode of Two Cripples, One Pair of Legs, Tash gives her take on the coronation and the amount of money spent on it. They chat about good ol' ableism, the pain of having to use intercoms to get into disabled bathrooms and remember a dear friend who recently passed.By Media8

1
2022 Battle of the Sins RD2-C!! 1:35:42

1y ago1:35:42

1:35:42

Aaron, Ian, Jonathan, and Daniel debate the next set of match-ups in the 2022 Batlle of the Sins! This season will be a tournament-style bracket picking the "most sinful" movie the channel sinned in 2022! You can follow along, print off a bracket, and VOTE for your "favorites" at challonge.com/2022sinbattle. 1) Welcome! (0:33) 2) The Matchups! Fant…

1
2022 Battle of the Sins RD2-B!! 1:39:58

1y ago1:39:58

1:39:58

Aaron, Chris, and Deneé debate the next set of match-ups in the 2022 Batlle of the Sins! This season will be a tournament-style bracket picking the "most sinful" movie the channel sinned in 2022! You can follow along, print off a bracket, and VOTE for your "favorites" at challonge.com/2022sinbattle. 1) Welcome! (0:25) 2) The Matchups! Madagascar 3:…

1
A Whole Lotta Wholesome 1:09:12

1y ago1:09:12

1:09:12

Welcome to another episode of the Two Cripple, One Pair of Legs podcast. On this week's episode, Adam and Tash are joined in the studio with the boys from Everything Suarve. They chat about how they got started and everything that their Big Brother program does and stick around for a very special and wholesome edition of the Kindness Virus. Adam ch…

1
2022 Battle of the Sins RD2-A!! 1:24:42

1y ago1:24:42

1:24:42

Aaron, Ian, and Jonathan debate the next set of match-ups in the 2022 Batlle of the Sins! This season will be a tournament-style bracket picking the "most sinful" movie the channel sinned in 2022! You can follow along, print off a bracket, and VOTE for your "favorites" at challonge.com/2022sinbattle. 1) Welcome! (0:27) 2) The Matchups! Vampire's Ki…

1
2022 Battle of the Sins RD1-D!! 1:38:43

1y ago1:38:43

1:38:43

Aaron, Ian, Jeremy, and Deneé debate the next set of match-ups in the 2022 Batlle of the Sins! This season will be a tournament-style bracket picking the "most sinful" movie the channel sinned in 2022! You can follow along, print off a bracket, and VOTE for your "favorites" at challonge.com/2022sinbattle. 1) Welcome! (0:12) 2) The Matchups! West Si…

1
We're Not Thieves 1:25:19

1y ago1:25:19

1:25:19

On this week's episode of Two Cripples, One Pair of Legs, Adam and Tash welcome the amazingly talented, 15-year-old para national swimmer, Montana Atkinson into the studio to chat all things swimming. Adam chats about some negative (and slightly hilarious) comments he got on a picture he posted calling out ableism, Tash gets told she's "too young t…

1
2022 Battle of the Sins RD1-C!! 2:00:34

1+ y ago2:00:34

2:00:34

Aaron, Ian and Chris debate the next set of match-ups in the 2022 Batlle of the Sins! This season will be a tournament-style bracket picking the "most sinful" movie the channel sinned in 2022! You can follow along, print off a bracket, and VOTE for your "favorites" at challonge.com/2022sinbattle. 1) Welcome! (0:12) 2) The Matchups! Close Encounters…

1
2022 Battle of the Sins Rd1-B!! 1:48:48

1+ y ago1:48:48

1:48:48

Aaron, Ian and Daniel debate the next set of match-ups in the 2022 Batlle of the Sins! This season will be a tournament-style bracket picking the "most sinful" movie the channel sinned in 2022! You can follow along, print off a bracket, and VOTE for your "favorites" at challonge.com/2022sinbattle. 1) Welcome! (0:29) 2) The Matchups! Willow v Upgrad…

1
Last episode discussing Observational Equality Now for Good 12:15

1+ y ago12:15

12:15

In 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 Dybjer for more about that feature. Also, feel free to join…

1
Beauty Queens 1:06:51

1+ y ago1:06:51

1:06:51

On this week's episode of Two Cripples, One Pair of Legs, Adam and Tash welcome Mary Jane Leahy into the studio. Mary is the current Mrs. Australia, a registered Nurse and is passionate about empowering women. Adam and Tash talk about their recent trip to Noosa where they became TV stars and most importantly, the first wheelchair users to take part…

Podcasts Worth a Listen

Aaron Stump Podcasts

Podcasts Worth a Listen

Quick Reference Guide