Podcast Satnam terbaik (2024)

1
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro 2:13:31

7d ago2:13:31

2:13:31

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities. It was an absolutely amazing episode and I’m sure you guys will love it! Links Lean4Le…

1
57: Gabriele Keller 53:36

10d ago53:36

53:36

Gabriele Keller, professor at Utrecht University, is interviewed by Andres and Joachim. We follow her journey through the world as well as programming languages, learn why Haskell is the best environment for embedding languages and how the desire to implement parallel programming sparked the development of type families in Haskell and that teaching…

1
Food preserving techniques | Pasteurisation, Canning, Freezing, Chemical, Lyophilisation 9:58

1M ago9:58

9:58

Food preserving techniques | Pasteurisation, Canning, Freezing, Chemical (Preservatives), Lyophilisation. Food preservation techniques are methods used to extend the shelf life of food by preventing spoilage caused by microorganisms, enzymes, and chemical reactions. These techniques are essential for maintaining food safety, quality, and nutritiona…

1
What is Antibiotic? How antibiotics were works ? What is bacteria? in Punjabi language 10:25

1M ago10:25

10:25

What is Antibiotic? How antibiotics were works ? What is bacteria? in Punjabi language Science Knowledge Punjabi Podcast

1
How vaccines 💉 viruses 🦠 and immunity works 11:09

1M ago11:09

11:09

How vaccines 💉 viruses 🦠 and immunity works in Science Knowledge Punjabi Podcast By JITENDRA SINGH SANDHU

1
56: Satnam Singh 43:01

1M ago43:01

43:01

Today on the Haskell Interlude, Matti and Sam are joined by Satnam Singh. Satnam has been a lecturer at Glasgow, and Software Engineer at Google, Meta, and now Groq. He talks about convincing people to use Haskell, laying out circuits and why community matters. PS: After the recording, it was important to Satnam to clarify that his advise to “not b…

1
Learn about Technology in Punjabi 8:35

2M ago8:35

8:35

Learn about Technology in Punjabi Read our 🖼️ to know more about these technology at https://www.chemistrynotesinfo.com/2024/09/A-Comprehensive-List-of-101-Technologies-with-Year.html You can also read book on technology. One of the my best books on technologies is “How Technology Works” You can buy this book from given below link 🔗 https://amzn.to…

1
Power and energy in Punjabi | Science Knowledge Punjabi Podcast 22:28

2M ago22:28

22:28

Power and energy in Punjabi | Science Knowledge Punjabi Podcast Es podcast ch appa gal kara ge power hor energy bare. Eh podcast Power Technology utte aa… Appaaa sikha ge power, energy, torque, chemical energy, kinetic energy, mechanical energy, thermal energy, solar energy and wasted energy bare. Jyada jankari li visit karo apni website www.Chemis…

1
#43 PL in the Industry and Summer Schools - Patrick and Eric 1:01:30

2M ago1:01:30

1:01:30

In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pretty cool esoteric cubical agda stuff. Before starting his PhD he has spent some time at the consultancy companies Two Six Technologies and 47 Degrees …

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

3M 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 one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the …

1
55: Sebastian Ullrich 54:23

3M ago54:23

54:23

In this episode, Niki and Andres talk with Sebastian, one of the main developers of Lean, currently working at the Lean Focused Research Organization. Today we talk about the addictive notion of theorem provers, what is a sweet spot between dependent types and simple programming and how Lean is both a theorem prover and an efficient general purpose…

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

3M 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
54: Dominic Orchard 49:04

3M ago49:04

49:04

In this episode, Wouter and Sam interview Dominic Orchard. Dominic has many roles, including: senior lecturer at the University of Kent, co-director of the Institute of Computing for Climate Science, and bye-fellow of Queen’s College in Cambridge. We will not only discuss his work on Granule - graded monads, coeffects, and linear types - but also h…

1
53: Garrett Morris 46:51

4M ago46:51

46:51

In this episode, Garrett Morris talks with Wouter Swierstra and Niki Vazou about his work on Haskell’s type classes, how to fail successfully, and how to construct a set of ponies.Oleh Haskell Podcast

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

4M 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
52: Pepe Iborra 56:30

4M ago56:30

56:30

Andres and Sam interview Pepe Iborra, exploring his journey from academia via banking to now Meta. In this episode, we discuss Pepe’s involvement in the evolution of the Haskell ecosystem, in particular the ongoing journey to improve the developer experience via work on debuggers, build systems and IDEs.…

1
51: Victor Cacciari Miraldo 49:43

5M ago49:43

49:43

Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart…

1
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen 1:49:42

5M 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
50: Tom Sydney Kerckove 40:55

6M ago40:55

40:55

In this episode Tom Sydney is chatting with Matti Paul and Niki Vazou. Tom is the author of many tools, like sydtest, decking, and nix-ci. He tells us about the rules for sustainable Haskell, how Haskell lets one man do the job of 50, and the secret sauce for open source. Tom Sydney is also looking for work these days, so get in touch!…

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

6M 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
49: Arseniy Seroka 48:19

6M ago48:19

48:19

Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more sales and marketing for…

1
48: José Nuno Oliveira 54:02

6M ago54:02

54:02

In this episode, Andres Löh and Matthías Páll Gissurarson interview José Nuno Oliveira, who has been teaching Haskell for 30 years. José talks about how Haskell is the perfect language to introduce programming to all sorts of audiences, why it is important to start with Haskell, and how the programmers of the future have been learning Haskell for s…

1
47: Avi Press 54:18

7M ago54:18

54:18

Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We’ll hear about the kind of shitstorm telemetry can cause, when correctness matters less than fearless refactoring and how that can lead to statically typed Stockholm syndrome.…

1
46: effectfully 52:03

8M ago52:03

52:03

Roman, known better online as effectfully, is interviewed by Wouter and Joachim. On his path to becoming a Plutus language developer at IOG, he learned English to read Software Foundations, has encountered many spaceleaks, and used Haskell to prevent robots from killing people.

1
45: András Kovács 55:55

8M ago55:55

55:55

In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.…

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

8M 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
44: José Manuel Calderón Trilla 36:17

9M ago36:17

36:17

Wouter and Niki interview Jose Calderon, the new Executive Director of the Haskell Foundation. Jose tells why he applied for the job, how he sees the foundation developing over the coming years, and how you can get involved in the Haskell community.Oleh Haskell Podcast

1
43: Ivan Perez 56:12

9M ago56:12

56:12

In this episode, Wouter and Andres interview Ivan Perez, a senior research scientist at NASA. Ivan tells us about how NASA uses Haskell to develop the Copilot embedded domain specific language for runtime verification, together with some of the obstacles he encounters getting to end users to learn Haskell and adopt such an EDSL.…

1
42 : Jezen Thomas 51:02

10M ago51:02

51:02

Jezen Thomas is co-founder and CTO of Supercede, a company applying Haskell in the reinsurance industry. In this episode, Jezen, Wouter and Joachim talk about his experience using Haskell in industry, growing a diverse and remote team of developers, and starting a company to create your own Haskell job.…

1
41: Moritz Angermann 1:06:11

10M ago1:06:11

1:06:11

Today, Matthías and Joachim are interviewing Moritz Angermann. Moritz knew he wanted to use Haskell before he knew Haskell, fixed cross-compilation as his first GHC contribution. We’ll talk more about cross-compilation to Windows and mobile platforms, why Template Haskell is the cause of most headaches, why you should be careful if your sister call…

1
40: Mike Sperber 1:03:24

11M ago1:03:24

1:03:24

In this episode, Andres and Matti talk to Mike Sperber, CEO of Active Group in Germany. They discuss how to successfully develop an application based on deep learning in Haskell, contrast learning by example with the German bureaucratic approach, and highlight the virtues of having fewer changes in the language.…

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

11M 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

11M 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

11M 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
39: Rebecca Skinner 45:37

11M ago45:37

45:37

In this episode, we are joined by Rebecca Skinner. She talks about her new book, Effective Haskell, which takes you from list manipulation to thunks to type-level programming. She also tells us about large scale industrial applications in Haskell, and how the architecture is shaped by the organization of the engineering teams. Disclaimer: Mercury i…

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

11M 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

12M 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
38: Edwin Brady 58:33

12M ago58:33

58:33

Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.Oleh Haskell Podcast

1
37: John MacFarlane 50:49

1y ago50:49

50:49

Joachim Breitner and David Thrane Christiansen interview John MacFarlane, a professor of philosophy at UC Berkeley, but also the author of the popular pandoc document conversion tool, which has been around half as long as Haskell itself. He also explains the principle of uniformity as a design goal for lightweight markup languages, the relationship…

1
10 interesting facts about Hydrogen gas in Punjabi 8:16

1y 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

1y ago40:15

40:15

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

1
36: John Hughes 1:01:45

1y ago1:01:45

1:01:45

In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much fun!…

1
35: Iavor Diatchki 53:25

1y ago53:25

53:25

Wouter and Niki are joined by Iavor Diatchki to talk about his experience with different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades.Oleh Haskell Podcast

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

1y 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

1y 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

1y 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

1y 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

1y 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

1y 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
34: Lindsey Kuper 54:16

1y ago54:16

54:16

In this episode Niki Vazou and Wouter Swierstra chat with Lindsey Kuper, Assistant Professor at University of California, Santa Cruz. They discuss what to do when your data center gets hit by a tornado, life in academia versus life in industry, and what is choreographic programming.Oleh Haskell Podcast

Podcast Layak Disimak

Satnam Podcast

Podcast Layak Disimak

Panduan Referensi Cepat