Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
…
continue reading
The CinemaSins B team give you an unprecedented inside look at what goes on in the CinemaSins universe.
…
continue reading
Join your hosts Adam Sheppard and Natasha Price every fortnight as they take a long hard look at the world through the eyes of two people who believe in grabbing life by the balls and squeezing tighter then Borat into a Mankini, who between them have close to 60 years lived experience as people with disabilities. The good, the bad, the often cringeworthy but most importantly the hilarity that can and often does ensue. If you're looking for fluffy sunshine and rainbows, My Little Pony meets C ...
…
continue reading
INTERSECT is a radio interview program that showcases interviews with musicians who were once/or still are prominent Christian music artist, discussing how their encounter with Christ not only influenced the direction and intent of their music, but also the direction and intent of their individual lives. The shows will be interesting, entertaining and inspirational as we learn how these musicians started, their experiences along the way and where they are now as artist and people. Aaron “The ...
…
continue reading
1. Barbara Calloway - Prayer For Families 2. Victory Worship feat. Vanessa Howell - What a Beautiful Agnus Dei 3. Damara Melissa - Where I Wanna Be 4. Rachel Kerr - Artist in Me 5. Tamela Mann - He Did It For Me 6. Aaron Lavell - Saved by Grace 7. Caleb Carroll - Jesus In Me 8. Elevation Worship - You Really Are 9. Brooke Ligertwood - Ancient Gates 10. Elevation Worship Feat. Jonsal Barrientes - Same God 11. Rachel Kerr - Glory 12. Psalmist Raine & The Refresh Tea - As It Is in Heaven 13. Ry ...
…
continue reading
What does living a robust, fulfilling life really mean? It’s a question that we’ll all have to confront at some point, and it will stump the best of us. For many entrepreneurs, monetary success often comes at the cost of the other areas of life that are just as important, if not more so. This new show opens our eyes to these “other” areas and the things that many of us don’t talk about. Live L.I.F.E. Wealthier will teach us the path to fulfillment that simply running a successful business wi ...
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Getting More Out Of Traditional Investments With Michael Poggi
44:35
44:35
Play later
Play later
Lists
Like
Liked
44:35
Michael Poggi shares invaluable insight into tax-free land investing and encourages you to think outside the box. From his personal experiences from the trenches of the traditional investment model, through a tremendous personal and professional realization, to then create a model that works for himself, Michael has replicated his proven tax-free l…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Calling All Entrepreneurs: Access Your Financial, Personal & Spiritual Freedom Today With Marta Skik Harich
21:01
21:01
Play later
Play later
Lists
Like
Liked
21:01
Marta Skik Harich shares her passion and drive for the Live L.I.F.E. Wealthier movement. She emphasizes that you are not a victim. You have the power and ability within you to change your circumstances so that you too can live a life of financial, personal, and spiritual freedom. Creating an environment where money grows on trees and streets are pa…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
The Secret Knock To Success: Cultivate A Limitless Mindset With Greg Reid
38:53
38:53
Play later
Play later
Lists
Like
Liked
38:53
Get ready to be inspired as we dive deep into the mind of the entrepreneurial visionary Greg Reid, the Founder of Secret Knock and Author of Stickability. Greg challenges the status quo with raw honesty and unparalleled wisdom to inspire listeners to unlock their full potential and redefine what’s possible. He shares his no-nonsense approach to suc…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
The Secret To Building A Lasting Business With Aaron Scott Young
52:34
52:34
Play later
Play later
Lists
Like
Liked
52:34
Operating a business is not for the faint of heart. In fact, it is the failures that provide valuable insights to get back in the saddle and build a lasting business. The key is to be tenacious, creative, and focused. You have to follow what works and quickly let go of what does not. Marta Skik Harich chats with Aaron Scott Young who explores what …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Energy, Manifestation, Abundance: Your Entrepreneurial Edge With Marty Barigian
49:43
49:43
Play later
Play later
Lists
Like
Liked
49:43
Our guest, Marty Barigian, a Master Energy & Grid Connector, shows us various ways a business owner and entrepreneurs can use their energy to obtain the effects they are looking for. When manifestation is in alignment with your being and your integrity, minor energy shifts will produce grand results in your life. Marty shares with us how important …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Beyond The E!: Larry Namer's Recipe For Business And Life
53:11
53:11
Play later
Play later
Lists
Like
Liked
53:11
A humble Hollywood legend, Larry Namer, shares his time with us to explore how he co-founded the E! Television Network, Talk Soup, and changed pop culture not even realizing it at the time. Larry then goes on to share how it is important to be humble, have an altruistic mindset when it comes to business and not to take yourself too seriously. Larry…
…
continue reading
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
…
continue reading
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).…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
The curious case of exponentiation in simply typed lambda calculus
7:29
7:29
Play later
Play later
Lists
Like
Liked
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…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Arithmetic operations in simply typed lambda calculus
9:56
9:56
Play later
Play later
Lists
Like
Liked
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 …
…
continue reading
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
…
continue reading
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
…
continue reading
What does living a robust, fulfilling life really mean? It’s a question that we’ll all have to confront at some point, and it will stump the best of us. For many entrepreneurs, monetary success often comes at the cost of the other areas of life that are just as important, if not more so. This new show opens our eyes to these “other” areas and the t…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Aaron Norton chats Little Athletics
1:14:25
1:14:25
Play later
Play later
Lists
Like
Liked
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
…
continue reading
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!…
…
continue reading
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…
…
continue reading
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.…
…
continue reading
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 …
…
continue reading
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…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
DCS compared to termination checkers for type theories
19:45
19:45
Play later
Play later
Lists
Like
Liked
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
…
continue reading
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…
…
continue reading
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
…
continue reading
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
…
continue reading
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…
…
continue reading
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 …
…
continue reading
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…
…
continue reading
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
…
continue reading
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…
…
continue reading
I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes. Coming soon: a discussion of semantics of subtyping.By Aaron Stump
…
continue reading
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…
…
continue reading
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…
…
continue reading
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…
…
continue reading
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
…
continue reading
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 …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
People Incorrectly Correcting People
1:11:41
1:11:41
Play later
Play later
Lists
Like
Liked
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 …
…
continue reading
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 …
…
continue reading
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…
…
continue reading
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…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
When Intercoms and Bladders Collide
1:01:05
1:01:05
Play later
Play later
Lists
Like
Liked
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
…
continue reading
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…
…
continue reading
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:…
…
continue reading
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…
…
continue reading
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…
…
continue reading
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…
…
continue reading