Best Satnam Podcasts (2024)

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

14d ago1:41:04

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…

1
#42 Distribuited Systems, Microservices, and Choreographies - Fabrizio Montesi 1:52:49

41m ago1:52:49

1:52:49

In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is the creator of the Jolie Programming Language, President of the Microservices Community and Author of the book Choreographic Programming. In today’s episode we talk about the formal side of Distributed Sytems, the calculi that model distributed…

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

3M 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
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen 1:55:58

4M 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
#37 Compilers, Staging, Futamura Projections - Guannan Wei 1:53:20

6M 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
#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
Becoming a Mindful Achiever with Aryana Rollins - 056 55:00

9M ago55:00

55:00

Sat Nam, Unlock the secrets of manifestation with our special guest, Aryana Rollins, a manifestation teacher and author. This episode shares Aryana's unique five-stage approach to manifestation, but also offer a fresh perspective on how to align your thoughts, feelings, and actions with your desires. We also discuss Aryana's writing process for her…

1
Becoming a Mindful Achiever with Aryana Rollins - 056 55:00

9M ago55:00

55:00

Sat Nam, Unlock the secrets of manifestation with our special guest, Aryana Rollins, a manifestation teacher and author. This episode shares Aryana's unique five-stage approach to manifestation, but also offer a fresh perspective on how to align your thoughts, feelings, and actions with your desires. We also discuss Aryana's writing process for her…

1
ਗਠੀਏ ਨੂੰ ਰੋਕਣ ਲਈ ਭੋਜਨ | Foods to prevent arthritis in Punjabi 7:52

8M ago7:52

7:52

ਗਠੀਏ ਨੂੰ ਰੋਕਣ ਲਈ ਭੋਜਨ | Foods to prevent arthritis in Punjabi | https://www.chemistrynotesinfo.com/2023/12/10-foods-to-prevent-arthritis.html |

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
10 interesting facts about Hydrogen gas in Punjabi 8:16

9M ago8:16

8:16

ਹਾਈਡ੍ਰੋਜਨ ਗੈਸ ਬਾਰੇ ਸਿਖਰ ਦੇ 10 ਦਿਲਚਸਪ ਤੱਥ हाइड्रोजन दे बारे च शीर्ष 10 रोचक तथ्य - 10 interesting facts about Hydrogen gas in Punjabi https://www.chemistrynotesinfo.com/2023/10/top-10-interesting-facts-about-hydrogen.html

1
Satnam Waheguru Naam Simran in group at Sachkhand Sri Hajursahib Nanded 🇮🇳 40:15

9M ago40:15

40:15

Satnam Waheguru Naam Simran in group at Sachkhand Sri Hajursahib Nanded 🇮🇳

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

11M 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
Embracing the Characteristics of the Mind - 055 34:29

11M ago34:29

34:29

Sat Nam, Ever pondered the vast capabilities and intricate mysteries of your mind? Perhaps you've felt overwhelmed by the chaos and confusion it can sometimes bring? Join us as we unravel the workings of the human mind and guide you towards a more heart-centered, consciousness-driven life. We'll delve into how our brain functions as a lens, interpr…

1
Embracing the Characteristics of the Mind - 055 34:29

11M ago34:29

34:29

Sat Nam, Ever pondered the vast capabilities and intricate mysteries of your mind? Perhaps you've felt overwhelmed by the chaos and confusion it can sometimes bring? Join us as we unravel the workings of the human mind and guide you towards a more heart-centered, consciousness-driven life. We'll delve into how our brain functions as a lens, interpr…

1
Transcendental Gratitude: Indigenous Wisdom from Braiding Sweetgrass - 054 32:14

11M ago32:14

32:14

This episode unravels the transformative practice of expressing thanks to the natural world, as inspired by Robin Wall Kimmerer's book Braiding Sweetgrass. Our conversation is not just about gratitude; it’s about embracing a way of life that centers the heart and connects us to the present moment. To further deepen our exploration, we incorporate t…

1
Transcendental Gratitude: Indigenous Wisdom from Braiding Sweetgrass - 054 32:14

11M ago32:14

32:14

This episode unravels the transformative practice of expressing thanks to the natural world, as inspired by Robin Wall Kimmerer's book Braiding Sweetgrass. Our conversation is not just about gratitude; it’s about embracing a way of life that centers the heart and connects us to the present moment. To further deepen our exploration, we incorporate t…

1
What is matter | ਵਿਗਿਆਨ ਵਿੱਚ ਪਦਾਰਥ ਕੀ ਹੈ 12:42

11M ago12:42

12:42

What is matter | ਵਿਗਿਆਨ ਵਿੱਚ ਪਦਾਰਥ ਕੀ ਹੈ | https://www.chemistrynotesinfo.com/2023/10/matter-in-our-surroundings.html | ਪਦਾਰਥ ਦੀਆਂ 03 ਅਵਸਥਾਵਾਂਉੱਚਿਤ ਕਰਨ ਦੀ ਪ੍ਰਕਿਰਿਆਜਮ੍ਹਾ ਕਰਨ ਦੀ ਪ੍ਰਕਿਰਿਆਉਬਾਲਣ ਦੀ ਪ੍ਰਕਿਰਿਆਵਾਸ਼ਪੀਕਰਨ ਦੀ ਪ੍ਰਕਿਰਿਆਫਿਊਜ਼ਨ ਦੀ ਗੁਪਤ ਗਰਮੀਵਾਸ਼ਪੀਕਰਨ ਦੀ ਗੁਪਤ ਗਰਮੀਭੌਤਿਕ ਮਾਪਣ ਦੀ ਮਾਤਰਾ | what is matter in science 03 states of matter sublimation process…

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

12M 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
The Power of Habits + Discipline - 053 45:17

1y ago45:17

45:17

Sat Nam, Listen in as we unravel the relationship between habits and discipline, explaining how these behavioral patterns are hardwired into our lives. We share how how the subconscious mind plays a pivotal role in forming habits, and how discipline requires a conscious effort to make a change. You'll gain insights into how both positive and negati…

1
The Power of Habits + Discipline - 053 45:17

1y ago45:17

45:17

Sat Nam, Listen in as we unravel the relationship between habits and discipline, explaining how these behavioral patterns are hardwired into our lives. We share how how the subconscious mind plays a pivotal role in forming habits, and how discipline requires a conscious effort to make a change. You'll gain insights into how both positive and negati…

1
1 No. kam kita ISRO ne Aditya L1 mission launch karke 🚀 5:13

12M ago5:13

5:13

1 No. kam kita ISRO ne Aditya L1 mission launch karke 🚀 . Dosto aaj de es episode ch aapan jana ge ki isro hor ede latest Aditya L-1 mission de baare apni punjabi bhasa ch. agar tusi isro hor ede Chandrayaan-3 moon mission 🌙 de baare janana chande o te pad sakde o sada e article https://www.chemistrynotesinfo.com/2023/08/indian-space-research-organ…

1
Practical and Spiritual Benefits of Mindfulness - 051 34:56

1y ago34:56

34:56

Oooops! I just realized this episode never went out on 8/12, so here it is now.... Have you ever found yourself lost in the hustle and bustle of daily life, forgetting to take a moment to just breathe? We've all been there, and it's in those moments that the power of mindfulness can truly transform your life. Join us on this heart-centered journey …

1
Practical and Spiritual Benefits of Mindfulness - 051 34:56

1y ago34:56

34:56

Oooops! I just realized this episode never went out on 8/12, so here it is now.... Have you ever found yourself lost in the hustle and bustle of daily life, forgetting to take a moment to just breathe? We've all been there, and it's in those moments that the power of mindfulness can truly transform your life. Join us on this heart-centered journey …

1
Ki PAN card nu Aadhaar card na link karna jaruri hai ? PAN nu Aadhar nal link kida kita janda wa ? 2:58

12M ago2:58

2:58

Ki PAN card nu Aadhaar card na link karna jaruri hai ? PAN nu Aadhar nal link kida kita janda wa ? https://www.amazon.in/dp/B075F45CGB/ref=cm_sw_r_as_gl_api_gl_i_dl_94J44J7W78HTFGJZ5BAW?linkCode=ml2&tag=pawan0a6ae-21 How to link pan with adhar & is linking od pan card number with aadhaar card no. is mandatory ? https://eportal.incometax.gov.in/iec/…

1
How to Stop Overthinking - 052 37:49

1y ago37:49

37:49

Are you caught in the whirlwind of overthinking, feeling trapped in your own mind? This episode might be what you need. We're delving deep into the pattern of overthinking, from a yogic and hypnotherapy perspective. Discover how your subconscious mind plays a critical role in this habit and how simple techniques can help you switch from fear-based …

1
How to Stop Overthinking - 052 37:49

1y ago37:49

37:49

Are you caught in the whirlwind of overthinking, feeling trapped in your own mind? This episode might be what you need. We're delving deep into the pattern of overthinking, from a yogic and hypnotherapy perspective. Discover how your subconscious mind plays a critical role in this habit and how simple techniques can help you switch from fear-based …

1
The Science of Indian Monsoons: From Predictions to Impact 5:43

12M ago5:43

5:43

The Science of Indian Monsoons: From Predictions to Impact. This is science 🧬 knowledge ⚛️ podcast 👨‍🔬 episode 🧪 in Punjabi language 🪯 to help you understand about science 🧫 of indian 🇮🇳 monsoon ⛈️ from their prediction to impact. Yaaro tusi financial education and investing de bare janan li apne Podcast ‘Learn investing’ nu sun sakde o, thale diti…

1
Digestive system in Punjabi: sarir de vich khane da pachan kida hunda e 8:33

12M ago8:33

8:33

Digestive system in Punjabi: sarir de vich khane da pachan kida hunda e. Roti sabji khan de baad sharir nu urja energy kida mildi aa. पाचन तंत्र का अर्थ है वह तंत्र जो हमारे शरीर में खाया हुआ भोजन को पचाकर उससे ऊर्जा, पोषक तत्व और पानी को प्राप्त करता है। our science 🧫 and financial 💰 education books 📚 https://www.amazon.com/s?i=stripbooks&rh=p_27%…

1
Harnessing Life's Challenges with guru Singh - 050 29:13

1y ago29:13

29:13

Sat Nam! Listen in as we unpack some powerful wisdom from one of our favorite teachers, Guru Singh. Drawing from his enlightening book, Levity, we share insights on the art of finding miracles in life's challenging moments. Click here to buy Guru Singh's book Levity. Click here to learn more about Guru Singh's online community, 13 Moons. As a bonus…

1
Harnessing Life's Challenges with guru Singh - 050 29:13

1y ago29:13

29:13

Sat Nam! Listen in as we unpack some powerful wisdom from one of our favorite teachers, Guru Singh. Drawing from his enlightening book, Levity, we share insights on the art of finding miracles in life's challenging moments. Click here to buy Guru Singh's book Levity. Click here to learn more about Guru Singh's online community, 13 Moons. As a bonus…

1
The Song of the Soul: Mul Mantra - 049 44:38

1y ago44:38

44:38

Join us, Jen and Ramtin, on a transformative journey as we explore the power and history of the Mool Mantra, a beloved chant in Kundalini Yoga. Hear about Guru Nanak's divine encounter by the river that led to the creation of this mantra and its profound impact on our personal journey. At the end of the episode, we share one of the pranayama we sha…

1
The Song of the Soul: Mul Mantra - 049 44:38

1y ago44:38

44:38

Join us, Jen and Ramtin, on a transformative journey as we explore the power and history of the Mool Mantra, a beloved chant in Kundalini Yoga. Hear about Guru Nanak's divine encounter by the river that led to the creation of this mantra and its profound impact on our personal journey. At the end of the episode, we share one of the pranayama we sha…

1
What is artificial intelligence? आर्टिफिशियल इंटेलिजेंस कि हुँदी ए होर ए क़िदा कम करदी आ 8:16

1y ago8:16

8:16

What is artificial intelligence? आर्टिफिशियल इंटेलिजेंस कि हुँदी ए होर ए क़िदा कम करदी आ

1
#32 TyDe Systems - Jan de Muijnck-Hughes 1:41:23

1y ago1:41:23

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…

1
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes 2:09:59

1y ago2:09:59

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…

1
#30 Actors, GADTs and Burnout - Dan and Pedro 1:44:52

1+ y ago1:44:52

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 …

1
#29 Can PL theory make you a better software engineer? - Jimmy Koppel 1:24:19

1+ y ago1:24:19

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…

1
Unconditional Love-Shamanic Journey 16:31

1+ y ago16:31

16:31

Shamanic Journey to the Lower World to Transmute Negative Beliefs & Energy into the Diamond of Unconditional Love through Fire. Namaste Friend!By Noemi Pareja- Pura Vie Holistic Studio

1
#28 Formally Verifying Smart Contracts - Pruvendo 1:10:40

1+ y ago1:10:40

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 TwitterBy Pedro Abreu

1
#27 Formalizing an OS: The seL4 - Gerwin Klein 1:58:40

1+ y ago1:58:40

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…

1
Spirit Guides-Shamanic Journey 18:23

1+ y ago18:23

18:23

Welcome to Season 2! I’m back and ready to help guide you. This season I’ll be providing a different format to my meditations, more of a Shamanic Journey with extended audible guided visualization with sacred instruments. I hope you enjoy and I can’t wait to see what this season brings for you!By Noemi Pareja- Pura Vie Holistic Studio

1
#26 Mechanizing Modern Mathematics - Kevin Buzzard 2:15:31

1+ y ago2:15:31

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…

1
#25 Formally Verifying the Tezos Codebase - Formal Land 1:01:32

2y ago1:01:32

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…

1
Carbohydrates ki hunde ne, kine prakar de hunde ne, swasth rahan li kede change hunde ne 7:57

2y ago7:57

7:57

Carbohydrates ki hunde ne, kine prakar de hunde ne, swasth rahan li kede change hunde ne. What is carbohydrates? Types of Carbohydrates. Which carbohydrates are good for health https://www.chemistrynotesinfo.com/2022/06/types-of-carbohydrates-choose-wisely.html #carbohydrate #typesofcarbohydrates #punjabipodcast #goodforhealth #healthy #punjabigyan…

1
Investing and share market jankari punjabi bhasa wich 10:27

2y ago10:27

10:27

Investing and share market jankari punjabi bhasa wich. Open demat account to invest in Indian Companies https://zerodha.com/open-account?c=YG8370 Open Account to invest in US stocks https://indmoney.onelink.me/RmHC/9ec422da #investingScience #investing #invest #USstockinvesting #stockbazaar #stockmarket #sharemarket #usstock #financialeducation #pu…

1
Dengue fever ya Breakbone fever di puri jankari 10:40

2y ago10:40

10:40

Dengue fever ya Breakbone fever di puri jankari punjabi bhasa wich. aajde es episode wich aapan dengue fever de bare kafi jankari janage. #dengue #fever #denguefever #breakbonefever #scienceknowledge #science #knowledge #punjabi https://www.instagram.com/chemistrynotesinfo/By Punjabi Podcast

1
#24 The History of Isabelle - Lawrence Paulson 1:38:02

2y ago1:38:02

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…

1
'Sadhana,' Explained - 048 53:28

2y ago53:28

53:28

Sat Nam, Revolutionaries, In this episode Jen explains the different uses of the word ‘sadhana,’ which can get confusing because the one word means 3 different types of daily spiritual practices. Jen also shares her experiences with each type of sadhana, and encourages you to commit to a sadhana that is a good fit for your spiritual journey and lif…

Podcasts Worth a Listen

Satnam Podcasts

Podcasts Worth a Listen

Quick Reference Guide