Best Quotations Podcasts (2024)

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

22h ago1:40:57

1:40:57

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
Wyclif's Pod pilot episode 1 - The Unjournal

26d ago

—

Here is a new experiment – I’m trying a podcast This is an interview with two of my colleagues at The Unjournal, David Reinstein and David Jintcharadze. The Unjournal is a US non-profit exploring alternatives to traditional academic peer review and journal publication. In this podcast, we range over the problems with traditional peer review, ways t…

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

29d 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

2M 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
The academic literature on smacking children is not load-bearing

3M ago

—

The challenges Is it OK to smack, spank or physically punish your children? Billions of parents care deeply about this question. But answering it is very difficult, because it comes with horrible methodological problems. Obviously, there is a huge problem of reverse causality. Suppose children who are regularly spanked are naughtier. Did the punish…

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

3M 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
Peter Ulrich Pt. 2: But - We are Not The Kitchen Fairies! 37:23

4M ago37:23

37:23

Intense but Brief! Lisa Gerrard followed by Liz Fraser Peter in Heaven with the Cocteau Twins Artwork for Goth and 4AD - Football is The Key Surely not - Australian rules football of course! Wheeltappers and Shunters Clubs! 3 gigs a night and it all paid off Budgie’s clubland experience leads the way The Essence of Punk was to throw away the rule b…

1
Ten quotations from my scrapbook

4M ago

—

I’ve been away for a while. While I write something more serious, here’s a snack: ten passages that struck me while reading, with no particular theme. Voylà pourquoy, en cette incertitude et perplexité que nous aporte l'impuissance de voir et choisir ce qui est le plus commode, pour les difficultez que les divers accidens et circonstances de chaque…

1
Peter Ulrich Pt. 1: Three Unexpected Drummers! 36:01

4M ago36:01

36:01

Carpets and Bass Drums! Strokes of Luck that Changed our Lives The Cure became Judges with a bunch of Fives We all took numbers, and we all took a Name They were all unreadable when the next day Came The Journey is The Thing! Does anyone know the Way? There’s got to be a way Fake it to Make it, then Lock it away The Highs and Lows that made it Work…

1
Nabil Ayers Pt. 2: How Could We Not? – This Is the Time! 39:55

5M ago39:55

39:55

Affairs of The Heart - an American Thing! Shifting perspectives, but Who Are We? When Confronted with the Evidence, What Is Reality? Everyone was there Except, the one Telling the Story! Every Picture tells a Story – but is it TRUE? How Do We keep Sane? Uphill both ways and lots of Old Man Sheet! We’re Still on the Road – Who’s making The Coffee? G…

1
Nabil Ayers Pt. 1: Sheet – We Need To Get Back In 38:34

5M ago38:34

38:34

Los Angeles Goes Out - Not Up! Reinvigoration and we’re running up that hill, But are we in the wrong sort of bungalow – Bill? It was pots and pans and party time when Nabil was only two! Happy House on Top of the Pops showed Budgie’s Ratamacue! Drum lessons on the roof – of the National Geographic! Inside the Hallowed world of the drummer’s secret…

1
Reggie Watts Pt. 2: Out Of The Melting Pot Into The Fire 31:39

5M ago31:39

31:39

Love it to Death! Black Sabbath, Alice Cooper, and Led Zeppelin too Adam Ant, B.A.D., Def Leppard and Yazoo? All vying for airtime in Great Falls Montana Would Lol’s Studded catsuit have raised a Hosanna? Hey, What do You Do? What is it that makes Reggie choose to risk all? When counting a song in, could make a heart stall It’s not a choice, it’s t…

1
Reggie Watts Pt. 1: Kick Out The Jams Thumbsuckers 38:12

5M ago38:12

38:12

Springtime for Ex-Pats and Germany! It’s a Top Techno scene, with a strict Social Etiquette The clubs are all clean, since they outlawed the cigarette You can do what you want, but you can’t do it here The clubs are all great, but it helps if they’re Queer! Make way for the Dancing Disco Queens! Gay clubs for young punks, were the only safe places …

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

5M 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
Curious Creatures Curious Quotations: Our Life in the Gush of Boasts! 32:30

5M ago32:30

32:30

1st Gush. It’s all Greek in Brackets. Tokyo in stereo to the spirit of Ghosts. The sample debate and the bones of contention continue. No loops or samples except of ourselves. We get going as human beatboxes. 2nd Gosh. Are drums electric? Are drummers eclectic? Voices on the Air? We got Wooden Teeth! Ladies and Gentlemen, we give you The Sonic Poem…

1
Butch Vig Pt. 2: Fastest Blade in the West! ‘King of Tape Editing’ 39:13

6M ago39:13

39:13

‘Butch - He got the Hooks!’ Topper Headon – He got the Grooves Inspiration and Collaboration Clash! Butch got that magic Snare Fill! But our Hats go Off to Topper Headon! 'Butch as President of The Roxy Music fan club!’ King of the Fills? – Roxy’s Paul Thompson Caution the New drummer - Don’t Forget Those Hooks!! Phil Manzanera - a Guitarist on Fir…

1
Butch Vig Pt 1: The Changing of The Guard From The Beatles, thru’ Teen Spirit, into Garbage 40:52

6M ago40:52

40:52

Bill or George, Anything but Sue! Clyde Stubblefield always arrived early Clyde made a so-so kit sound Great! How do the Greats sound the Way they Do? It’s all about Recognising the Good Mistakes! 3am Insomnia and the IQ Tour drop! Hey Butch, what’s on the Weather Channel tonight? How’s Your Bed of Nails this Evening? Shirley is a Natural Born Road…

1
Curious Questions: We are the Goon Squad and we're Coming to Town Beep-Beep!!! 51:24

6M ago51:24

51:24

Phase 1. In which The Cramps’ Brian Gregory, gets on the Banshees’ tour bus outside the I-Beam in San Francisco and asks, “Was anyone in Liverpool not cool?” A Dark devilish spirit with feet like Merce Cunningham. Phase 2. In which Billy McKensie spares Lol from Death in Venice. Billy in The Cure’s penthouse for Faith singing songlines from another…

1
Travel Channel: Pan Amsterdam: A Trumpet and a Laptop – That’s my Life! 47:48

6M ago47:48

47:48

‘Fanfares and Tears’ Pan as Magician of Inspiration Brings Joy and Melancholy by Transmogrification Pan gets Deeper then Deeper than Deep! ‘Digging in the Dirt - to find the Places we got Hurt’ ‘Prepare for the Big Reveal’ In front of the TV Going through Puberty Fluorescent Erotica as Manhood dawns Between the Adult and the Child Lies the Hissing …

1
Noche Oscura/Train with No Station: A Song from ‘The Edge’ of The World ‘It All Sounds Great – Like a Good Donut!’ 30:29

7M ago30:29

30:29

Brutality! Everything fitting as we’re thrashing about Looking for Clues as we Twist and Shout California dreaming no Communication Breakdown Lol knocks a beat out and we go Downtown! Religion! 20 seconds Over Babaluma It’s Metal Machine Madness Who’s in the Big box? Drums and Love are All around And a Dancebeat! Is Bigger better or is Better Bigge…

1
Fred Armisen Pt. 2: Who Hugged Fred in NYC? Then whispered sweetly……‘Gotta Go Now!’ 47:39

7M ago47:39

47:39

Dream (a Little Dream of Tea!) Shopping Mall testimonials, but.. Lol just wants to buy a shirt! Recognition comes when you least expect it Budgie’ll name that song in Three!!! Fame (What you Need You Have to Borrow!) On the Way Up or On the Way Down? How is that Old Band of Yours? My Grandad Loves you guys Fred Incognito in Las Vegas Liverpool (She…

1
Fred Armisen Pt. 1: Meet the Gang coz’ The Boys are Here! 36:09

7M ago36:09

36:09

The Boys to Entertain You! TV Pirates at Midnight! Fred was Envious of High-Class English chocolate Time for the Test card and a little light Music Rattle Your Jewellery at The London Palladium The Only house on the block with Colour TV First Drum Kits! Where did we hide them? Budgie’s patent Caterpillar dampening system Lol’s kit Hidden in Robert’…

1
The global defeat of democracy: financial weaknesses

7M ago

—

Here at last is the third in a series of articles laying out the pessimistic case for democracy’s future. Their aim is not to spread alarm and despondency, but to encourage a bit of forethought. Let’s talk macro. Here is government debt for the G7: Thanks for reading Wyclif's Dust! Subscribe for free to receive new posts and support my work. Source…

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

8M 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
Bodies: Mary Lattimore Pt. 2: There are no wrong notes – there are no rules! 39:41

8M ago39:41

39:41

Bands, commitments, and brilliant haircuts Thurston Moore and Romantic Fantasy Driving and dreaming of being a band Or a solo career on the Canyon Grand The Cure climbed out over Niagara Falls. The Banshees below in yellow Sou’westers Happy memories for the Xmas cards Covered in spray when both stopped to Play ‘One could have it all!’ says Budgie, …

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

9M 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
Bodies: Mary Lattimore Pt. 1: Mushrooms in the dark- There are no mistakes! 26:30

9M ago26:30

26:30

CONNECT WITH US: Curious Creatures: Website: https://curiouscreaturespodcast.com Facebook: @CuriousCreaturesOfficial Twitter: @curecreatures Instagram: @CuriousCreaturesOfficial Lol Tolhurst: Website: https://loltolhurst.com Facebook: @officialloltolhurst Twitter: @LolTolhurst Instagram: @lol.tolhurst Budgie: Facebook: @budgieofficial Twitter: @TuW…

1
Uh Oh: Mark Bowen (IDLES) and the Attack of the Bionic Man 45:45

9M ago45:45

45:45

Brutalism! Expression, impressions and Thrashing About Body and Rhythms - finding the Space Favourite guitarists are all really Bad Everything sounding off-kilter and never in Place Joy as an Act of Resistance! Impact and choosing the Moment Being Quiet to being Profound Convergence from Differing Influences Drums are Preferred All round Ultra Mono…

1
Uh Oh: Arrow de Wilde: Starcrawler – Float Like A Butterfly Sting Like A Bee 48:03

9M ago48:03

48:03

Uh Oh – Here We Go! Writing a song usually takes So Long Jacknife had a melody and the music was strong Arrow had ideas for words on her Phone She Dived in Fearless and Created The Zone Ch-Ch Ch-Ch Ch-Ch Ch-Ch Cherry Bomb! Arrow started out as A Drummer And knew the Drummer’s Importance Lol could have sung like Joe Strummer But Arrow’s Passion was …

1
We Got To Move: Isaac Brock: Happy days in the Integratron? 30:37

10M ago30:37

30:37

25 years after the event he would be free. On his porch in Portland, Oregon Destroying the wood. Looking legit in the jail jumpsuit Banging cans and smashing cars up In the rage room Remodeled his kitchen with a bowling ball A disaster Issac was as excited about singing on our record as were we having him on the record Steve Severin's dance the Mus…

1
Ghosted at Home feat. Bobby Gillespie: ‘Hoppin’ and boppin’ - Flippin and floppin’ 26:55

10M ago26:55

26:55

One of us changed - One stayed the same Let’s start at the very beginning The Spirit and Magic of it A Simple process - A Breakdown of Sorts Boom Boom Boom Boom Time after time after time after time Composite born of Scribbles and Noise Three Ideas with Strange Titles Begat Three lyrics and Melodies Lol’s Impersonation of a Small dog My nervous sys…

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

10M 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
Celeste Bell Pt. 2: The Do-It-Yourself World of X-Ray Spex 30:19

10M ago30:19

30:19

Exploding Suburban Myths Feminism, Formica and Friends Watch the curtains twitch for a brand-new switch Another music from a different day-glo kitchen Myriad, misogynistic, moustachioed men GermFree Adolescents! Poly’s lyrics reach out across time Don’t touch me please I can’t take the wants and needs! Poly sings Love songs and laments for the voic…

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

11M 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
Celeste Bell Pt. 1: The Eccentricity of Everyday People’ 36:10

12M ago36:10

36:10

The Day The World Turned Day-Glo Celeste made a Film about her Mum Poly Styrene Six years in the Making ‘Twas A Labour of Love Clearing Permissions like Pulling Hen’s Teeth We Share the Frustration, the Push and the Shove GermFree Adolescents! Poly Adored Señor Salvador Dali His Port Lligat studio a Pilgrimage Place Young Lol’s French Girlfriend pa…

1
Pt. 2: Bethany Cosentino Just Says Fuck It 34:07

12M ago34:07

34:07

Who’s That Girl? Concentric Circles and Avoiding Repetition When The World Shutdown The Questioning Began Bethany had a Life Changing Awakening On-Screen-Only Relationships! Ice-Cold Bitch and Her July Jacket Bethany has some Secret Tea to Spill! Be Whatever You Want to Be! What’s Through Your Keyhole? Balancing Real Relationships! Space, Space, Sp…

1
Sell Scrap Cars Singapore 0:30

12M ago0:30

0:30

Sell Scrap Cars Singapore : Sell Scrap Cars Singapore is a reliable and efficient service that offers car owners in Singapore a convenient way to dispose of their old, damaged, or non-functional vehicles. With the aim of providing a hassle-free experience, this service assists individuals in selling their scrap cars for a fair and competitive price…

1
Scrap My Car 0:25

12M ago0:25

0:25

Scrap My Car : Scrap My Car offers a hassle-free and environmentally responsible solution for disposing of your old or unwanted vehicles. With their easy-to-use service, you can bid farewell to that old clunker sitting in your driveway or garage, without any stress. Ready to your car and get the best deal? Call us now at +1-800-DIRCTCAR to schedule…

1
Scrap Car 0:25

12M ago0:25

0:25

Scrap Car : A Scrap Car refers to a vehicle that has reached the end of its useful life and is no longer roadworthy or fit for traditional use. These vehicles are often old, damaged, or have substantial mechanical issues, rendering them unsafe or uneconomical to repair. However, despite being non-functional, a scrap car still holds value through re…

1
Car Quotation 0:34

12M ago0:34

0:34

Car Quotation : Car Quotation is an innovative platform that revolutionizes the way you buy cars. We understand that purchasing a car can be a significant decision, and we aim to simplify the process by providing transparent and competitive quotations to help you make informed choices. Our mission is to empower car buyers with accurate information …

1
Scrap Car 0:35

12M ago0:35

0:35

Scrap Car : A Scrap Car refers to a vehicle that has reached the end of its useful life and is no longer roadworthy or fit for traditional use. These vehicles are often old, damaged, or have substantial mechanical issues, rendering them unsafe or uneconomical to repair. However, despite being non-functional, a scrap car still holds value through re…

1
Scrap Car Dealer 0:33

12M ago0:33

0:33

Scrap Car Dealer : As a trusted and environmentally-conscious entity, our Scrap Car Dealer service offers a responsible solution for disposing of old and end-of-life vehicles. We take pride in our role as a reputable scrap car dealer, dedicated to ensuring the proper recycling and disposal of vehicles, while also offering competitive prices for tho…

1
Scrapping Car In Singapore 0:33

12M ago0:33

0:33

Scrapping Car In Singapore : Scrapping car in Singapore is a crucial step towards promoting environmental sustainability and responsible waste management. With the aim to reduce the carbon footprint and promote recycling, scrapping services offer a legal and eco-friendly way to dispose of old and end-of-life vehicles. By choosing to scrap your car,…

1
Sell Car For Scrap 0:25

12M ago0:25

0:25

Sell Car For Scrap : Looking to get rid of your old, damaged, or non-functional car? Turn that clunker into cash by selling it for scrap! At [Your Scrap Car Company Name], we offer a hassle-free solution for disposing of your unwanted vehicle while putting some extra money in your pocket. Call 65 9144 1158 now to speak with our friendly team and ge…

1
Sell Car 0:58

12M ago0:58

0:58

Sell Car : Are you looking to sell your car quickly and efficiently? Look no further! Selling your car with us is a seamless and rewarding experience that guarantees you the best value for your vehicle. Whether you're upgrading to a new car or simply looking to cash in, our dedicated team is here to guide you through the process every step of the w…

1
Sell Car In Singapore 0:28

12M ago0:28

0:28

Sell Car In Singapore : Sell Car in Singapore" is your ultimate destination for selling your car in the Lion City with ease and confidence. As a reputable and customer-centric car selling platform, we strive to provide a streamlined and rewarding experience for car owners looking to part ways with their vehicles. Don't wait to your car at the best …

1
Sell Car Singapore 0:29

12M ago0:29

0:29

Sell Car Singapore : Sell Car Singapore is your go-to destination for a seamless and efficient car selling experience in the bustling automotive market of Singapore. Whether you're upgrading to a newer model, need to downsize, or simply looking to let go of your beloved vehicle, our platform offers a convenient and secure way to sell your car. Read…

1
Sell Used Car 0:21

12M ago0:21

0:21

Sell Used Car : Are you looking to sell your used car quickly and hassle-free? Look no further! Our platform offers a simple and efficient way to sell your pre-owned vehicle with ease. Get top dollar for your car with DirectCar Company! Dial 65 9144 1158 to connect with our experienced staff and receive an instant quote.…

1
Selling Car 0:24

12M ago0:24

0:24

Selling Car : Are you ready to part ways with your beloved wheels? Our "Selling Car" service is here to make the process effortless and rewarding for you. Whether you're upgrading to a new model or simply need some extra cash, we've got you covered. Get top dollar for your car with DirectCar Company! Dial 65 9144 1158 to connect with our experience…

1
Selling Car in Singapore 0:37

12M ago0:37

0:37

Selling Car In Singapore : If you find yourself considering selling your car in Singapore, you're in for an exciting and potentially rewarding experience. Singapore's dynamic automotive market offers a myriad of opportunities for sellers to find interested buyers and get a fair price for their vehicles. Whether you're upgrading to a newer model or …

Podcasts Worth a Listen

Quotations Podcasts

Podcasts Worth a Listen

Quick Reference Guide