Shows
The Haskell Interlude81: Torsten GrustMike and Andres sat down with Torsten Grust, who is a professor of DB systems at the University of Tübingen. Even though Torsten loves SQL, he's used functional programming and Haskell to inform his work on query language design and compilation. We talked about the best way to program databases, how to bridge the gap between regular programming languages and databases, and compiling just about everything to SQL.
2026-04-271h 10The Haskell Interlude79: Peter ThiemannPeter is a professor at the University of Freiburg, and he was doing functional programming right when Haskell got started. So naturally we asked him about the early days of Haskell, and how from the start Peter pushed the envelope on what you could do with the type system and specifically with the type classes, from early web programming to program generation to session types. Come with us on a trip down memory lane!
2026-03-221h 06The Haskell Interlude78: Jamie WillisIn this episode, we focus on a particular part of Haskell: teaching it. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits of live coding, and why Haskell is the best language for teaching programming.
2026-03-0843 minThe Haskell Interlude77: Franz ThomaFranz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project is not written in Haskell. We had a far-reaching conversation about the differences between functional and object-oriented programming and their languages, software architecture, and Haskell adoption in industry.
2026-02-2257 minThe Haskell Interlude76: Jeffrey YoungWelcome to the Haskell Interlude. Today, Matti and Mike talk toJeffrey Young. Jeff has had a long history of working with Haskell andon ghc itself. We talk about what makes Haskell so compelling, thegood and bad of highly optimized code and the beauty ofwell-modularized code, how to get into compiler development, and howto benefit from Domain-Driven Design.Jeff is currently on the job market - if you want to get in touch,email him at mailto:jmy6342@gmail.com.
2026-01-251h 04The Haskell Interlude75: Kathrin StarkWe are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers' hearts such as interactive theorem provers, writing correct programs, and the activities needed to produce them. We discuss many aspects of proofs and specifications, and the languages involved in the process, as well as verifying and producing provably correct neural networks.
2026-01-1151 minThe Haskell Interlude74: Lennart AugustssonThis episode is a deep dive into the evolution of Haskell and functional programming with one of its pioneers, Lennart Augustson. It reflects on decades of work in language design and compiler implementation. Lennart speaks about his early involvement in the creation of Haskell, shares thoughts on type systems, performance, and the balance between purity and practicality. The conversation ranges from personal history to big-picture views on the evolution of programming languages, with plenty of insight into what makes Haskell both powerful and challenging. A rare opportunity to hear from one of the foundational voices in the functional programming w...
2025-12-191h 20The Haskell Interlude72: Manuel ChakravartyIn this episode, we talk to Manuel Chakravarty - specifically, his work on the ghc backend such as data-parallel Haskell and the FFI and how that work segued into type system design. We also discussed Manuel's perspective on Haskell from the language design of Swift.
2025-10-3057 minThe Haskell Interlude71: Stefan WehrStefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler and not a blockchain. So of course we talked about using Haskell in large projects, software architecture, modularity, type classes and data modeling and the suppression of sums outside of functional programming, and also about teaching Haskell at his current job.
2025-10-1649 minThe Haskell Interlude70: Phil WadlerWe sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more. We take a stroll down memory lane, starting from Haskell's inception. We talked about the difference between research and Phil's work on impactful industrial projects and standards - specifically XML and the design of generics in Java, as well as Phll's teaching at the University of Edinburgh using Agda.. Phil is a fountain of great ideas and stories, and this conversation could have gone on for hours. As it is...
2025-09-141h 01The Haskell Interlude69: Jurriaan HageToday’s guest is Jurriaan Hage. Jurriaan is a professor at Heriot-Watt University in Edinburgh who’s worked with and on Haskell for many years. He’s known for the Helium Haskell compiler, specifically designed for teaching, and he has plenty of other projects related to Haskell, including improvements to the type system, the generation of better error messages, or detection of plagiarism.
2025-08-2552 minThe Haskell Interlude68: Michael SnoymanIn this episode, we’re joined by Michael Snoyman, author of Yesod, Conduit, Stackage and many other popular Haskell libraries.We discuss newcomer friendliness, being a Rustacean vs a Haskellasaur, how STM is Haskell’s best feature and how laziness can be a vice.
2025-08-1254 minThe Haskell Interlude67: Alex McLeanMike and Andres speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. We talk about how Alex got into Haskell coming from Perl, how types helped him think about the structure of music and patterns, the architecture and evolution of TidalCycles, about art, community and making space for new ideas, and lots of things in between.
2025-07-0757 minThe Haskell Interlude66: Daniele MicciancioNiki and Mike talked to Daniele Micciancio who is a professor at UC San Diego. He's been using Haskell for 20 years, and works in lattice cryptography. We talked to him about how he got into Haskell, using Haskell for teaching theoretical computer science and of course for his research and the role type systems and comonads could play in the design of cryptographic algorithms. Along the way, he gave an accessible introduction to post-quantum cryptography which we really enjoyed. We hope you do, too.
2025-06-241h 12The Haskell Interlude65: Andy GordonAndy Gordon from Cogna is interviewed by Sam and Matti. We learn about Andy’s influential work including the origins of the bind symbol in haskell, and the introduction of lambdas in Excel. We go onto discuss his current work at Cogna on using AI to allow non-programmers to write apps using natural language. We delve deeper into the ethics of AI and consider the most likely AI apocalypse.
2025-05-301h 00The Haskell Interlude64: Sandy MaguireIn this episode Mike Sperber and Niki Vazou talk with Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell of course, about all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws.
2025-04-2449 minThe Haskell Interlude63: Farhad MehtaOn this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.
2025-03-1758 minThe Haskell Interlude61: Sam LindleySam Lindley is a Reader in Programming Languages Design and Implementation at the University of Edinburgh. In this episode, he tells us how difficult naming is, the different kinds of effect systems and handlers, languages *much* purer than Haskell, and Modal logic.
2025-01-2257 min
The Military Science Fiction PodcastMILSFPOD S2E01 2025 Plans for Ourselves and the PodcastOn the first day of 2025, we round the corner into Season 2 of the podcast! Today we're talking about plans for the new year, for ourselves and for the show. When you look forward, you can't help looking back a bit, so there's also some review of 2024 and how things went.
Let us know what you'd like to see in the comments!
_______________
The Military Science Fiction Podcast, with Rick Partlow, Josh Hayes, Jeffery H. Haskell and James S. Aaron.
Published weekly.
Our Books:
Jeffery H.Haskell: https://amzn.to/3Ya...
2025-01-0246 minThe Haskell Interlude60: Tom EllisTom Ellis works at Groq, using Haskell to compile AI models to specialized hardware. In this episode, we talk about stability of both GHC and Haskell libraries, effects, and strictness, and the premise of functional programming: make invalid states and invalid *laziness* unrepresentable!
2024-12-2248 minThe Haskell Interlude58: ICFP 2024In this episode, Matti and Sam traveled to the International Conference on Functional Programming (ICFP 2024) in Milan, Italy, and recorded snippets with various participants, including keynote speakers, Haskell legends, and organizers.
2024-11-1833 minThe Haskell Interlude57: Gabriele KellerGabriele 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 functional programming works better with graphics.
2024-11-0353 minThe Haskell Interlude56: Satnam SinghToday 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 be afraid to loose your job” was specially meant to encourage to quit jobs that are not good for you, if possible, but he acknowledges that unfortunately not everybody can afford that risk.
2024-10-0143 min
HVAC R and D PodcastBlue Collar Boys: The Haskell Brothers on Building a Quality High Country HVAC CompanyBosch Home Comfort Pro's Crawford and Wyatt Haskell from Haskell Heating and Air join Rhydon on this week's episode to discuss how they came to be in the Western North Carolina mountains and how they are building a new HVAC company one install and lead at a time.
#HVAC #BUSINESS #ENTREPRENEURSHIP #BOSCH #IDS #IDSULTRA #LIKEABOSCH #HEATING #AIRCONDITIONING #HEATPUMP #FURNACE #DUALFUEL #WNC #HIGHCOUNTRY #BROTHERLYLOVE #BUBBA #HASKELLHVAC #GROWTH #CAREER #TRADES #TRADECREW
2024-09-201h 38![The Notorious OTB - Daily Horse Racing Picks [INACTIVE]](https://image.simplecastcdn.com/images/237f9cac-cbc1-4594-ab87-8afb739e2e6b/06f98372-ea6b-4718-8e7e-a5109ed2d5ea/3000x3000/notb-242-social.jpg?aid=rss_feed)
The Notorious OTB - Daily Horse Racing Picks [INACTIVE]Monmouth Haskell Day All Stakes Pick 4 w/ Crystal Conning (Ep. 242)The Wolf is back and this time with a guest in tow! The Wolf welcomes Crystal Conning to give their best horse racing picks for the all stakes pick 4 at Monmouth for Haskell Day on Saturday! Check it out for the Haskell Stakes picks!
Exclusive SGPN Bonuses And Linkshttp://linktr.ee/sportsgamblingpodcastFOLLOW The Notorious OTB On Social MediaTwitter - https://twitter.com/notorious_otbFOLLOW The Hosts On Social MediaChase Sessoms -https://twitter.com/OfOaklawnGambling problem? Call 1-800-GAMBLER CO, D...
2024-07-1933 minThe Haskell Interlude53: Garrett MorrisIn 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.
2024-07-1846 minThe Haskell Interlude52: Pepe IborraAndres 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.
2024-07-0256 minThe Haskell Interlude51: Victor Cacciari MiraldoVictor 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, why there should be a safePerformIO, and that he hopes that Software Engineering could be less like alchemy.
2024-06-1649 minThe Haskell Interlude50: Tom Sydney KerckoveIn 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!
2024-06-0140 minThe Haskell Interlude49: Arseniy SerokaWouter 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 Haskell itself, and about the Haskell Developer Certification.
2024-05-1548 minThe Haskell Interlude48: José Nuno OliveiraIn 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 several years already!
2024-05-0354 minThe Haskell Interlude47: Avi PressAvi 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.
2024-04-1754 minThe Haskell Interlude46: effectfullyRoman, 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.
2024-04-0252 minThe Haskell Interlude44: José Manuel Calderón TrillaWouter 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.
2024-03-0136 minThe Haskell Interlude43: Ivan PerezIn 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.
2024-02-1856 minThe Haskell Interlude42 : Jezen ThomasJezen 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.
2024-01-3151 minThe Haskell Interlude41: Moritz AngermannToday, 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 calls and tells you to cabal install a package, and finally how we can reduce the fear of new GHC releases, by improving stability.
2024-01-151h 06The Haskell Interlude40: Mike SperberIn 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.
2023-12-311h 03The Haskell Interlude39: Rebecca SkinnerIn 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 is a financial technology company, not a bank. Banking services provided by Choice Financial Group and Evolve Bank & Trust, Members FDIC.
2023-12-1545 min
Appleton Engaged PodcastEpisode 26: Hilary Haskell - CARES Fox Cities & Hope & Help TogetherHilary Haskell
Executive Director
Hope and Help Together
hilary@hopeandhelptogether.com
Appleton, WI 54911
920-249-4675
Hilary Haskell
Executive Director
CARES Fox Cities
hilaryhaskell@caresfoxcities.com
(920) 659-2377
Appleton, WI
2023-12-0721 minThe Haskell Interlude38: Edwin BradyAndres 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.
2023-12-0458 minThe Haskell Interlude37: John MacFarlaneJoachim 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 between philosophy and programming, and along the way he helps David with his markdown difficulties.
2023-11-1450 minThe Haskell Interlude36: John HughesIn 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!
2023-10-311h 01The Haskell Interlude35: Iavor DiatchkiWouter 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.
2023-10-1753 minThe Haskell Interlude33: David ChristiansenIn this farewell interview with David Thrane Christiansen, the outgoing Executive Director of the Haskell Foundation, hosts Wouter Swierstra and Matthías Páll Gissurarson use the opportunity to reflect on his tenure as ED, the recent history of the Haskell Foundation, where the HF is going and what consider if you want to apply for the role of Executive Director of the HF.
2023-09-1550 minThe Haskell Interlude32: Ranjit JhalaThis episode’s guest is Ranjit Jhala. We discuss how Ranjit developed Liquid Haskell as a litmus test, because if Haskell programmer’s won’t use Liquid Types, no one will. We also hear how writing Haskell is a joy and how you should never underestimate your students.
2023-08-241h 01
Podcast Heroic People | Le blog de l'auteur Marc BailletPour ne rien manquer - Récap. Juillet 2023 du Podcast Heroic PeoplePar/Avec Marc Baillet.
Bienvenue dans ce nouvel épisode de l’émission Heroic People. Ceci est un « entre-deux épisodes » dans lequel vous sont proposés de courts extraits des épisodes des derniers mois. Je vous présente un bref clip de chaque conversation pour vous donner une première saveur de chaque épisode et invité.
Voyez-le, ou plutôt entendez-le, comme un teaser. Quelque chose pour vous mettre en appétit. Si vous appréciez ce que vous entendez, vous pouvez écouter les épisodes dans leur intégralité ici : heroicpeople.fr
Avec moi dans cet épisode :
*Stéphane Haskell est écrivain, photojournaliste...
2023-08-0215 minThe Haskell Interlude31: Arnaud SpiwackArnaud Spiwack is interviewed by Matthías Páll Gissurarson and Joachim Breitner. We learn all about linear types in Haskell, how linear types go beyond Rust’s ownership system and why it’s not always best to type check everything in core. We conclude with a peek into the many activities of Arnaud’s employer, Tweag.
2023-07-3155 minThe Haskell Interlude30: Bartosz MilewskiIn this episode, Bartosz Milewski is interviewed by Wouter Swierstra and Andres Löh. Bartosz shares his thoughts on the "fringe topics" in programming, from C++ templates to category theory in Haskell. How he considers monads to be like fingers sticking out of the water. And he'll talk a little bit about his upcoming book and his thoughts on linear types.
2023-07-1755 minThe Haskell Interlude29: ZuriHacJoachim Breitner went to ZuriHac 2023 in order to bring the spirit of the biggest Haskell community event to you. He talks to Farhad Mehta, Tomáš Janoušek, Christian Georgii, David Christiansen, Artin Ghasivand, Hannes Siebenhandl, Michael Peyton Jones and Ben Lynn.
2023-06-2827 minThe Haskell Interlude28: Richard EisenbergIn this episode Niki Vazou and Mattias Pall chat with Richard Eisenberg. Richard is currently a language designer at Jane Street, he is the chair of the board at the Haskell Foundation and known for his work on the GHC compiler. Today we talk about dependent types in Haskell, how to get involved with GHC and Haskell foundation and how Haskell and Ocaml are different, for example, functor means a totally different thing in the two languages.
2023-06-1649 minThe Haskell Interlude27: Christiaan BaaijIn this episode Christiaan Baaij is interviewed by Wouter Swierstra and Mattias Páll. Christiaan talks about his work on the Clash compiler, what it is like to found your own company, his desire for ergonomic dependent types, and the foundations to all his success, namely capitalising on luck.Errata: Around the 21m19s mark Christiaan talks about “his“ contributions to GHC with regards to dynamic linking on OSX. Later he remembered that it was actually Moritz Angermann who [worked on the symbol limit restrictions](https://gitlab.haskell.org/ghc/g...
2023-05-2550 minThe Haskell Interlude26: Simon MarlowIn this episode Simon Marlow talks with Andres Löh and Matthias Pall. Simon is a long time GHC contributor, currently working at Meta. He talks about compiling functional languages via C and the Evil Mangler, the importance of using parallelism and its impact on garbage collection, and about using Haskell in the real world via Sigma, Haxl, and Glean.
2023-05-2554 minThe Haskell Interlude25: BodigrimIn this episode Joachim Breitner and Wouter Swierstra talk to Andrew Lelechenko, also known as Bodigrim. Bodigrim went from a being a mathematician to a failed PHP developer the chair of the Core Libraries Committee. In this episode, we discuss whether he prefers number theory or Haskell, whether he prefers working with compilers or PHP frameworks, and whether he prefers high salaries for Haskell developers or breaking changes to the base library
2023-04-2845 minThe Haskell Interlude24: Jeremy GibbonsIn this episode Andres Löh and Niki Vazou chat with Jeremy Gibbons. Jeremy Gibbons is professor at Oxford and talks about his journey from Orwell to Haskell, how to teach Haskell and specification languages to undergraduates as well as professional programmers, how programming languages should keep simple things simple, and how paper writing can or even should be like poetry.
2023-04-1056 minThe Haskell Interlude23: Ben GamariIn this episode Wouter Swierstra and Joachim Breitner chat with Ben Gamari. Ben is a consultant at well-typed known for his work at GHC. Ben tells us a little bit about his switch from Python to Haskell but not because he was missing the static typing, how programming his thermostat lead him to a career in the compiler development, and what it's like to be a GHC force multiplier.
2023-03-2246 minThe Haskell Interlude22: Alejandro RussoIn this episode Andres Löh and Niki Vazou talk with Alejandro Russo. Alejandro is a professor at Chalmers University in Gothenburg Sweden, he is an enthusiastic functional programmer as well as a researcher in the fields of security and privacy. He talks about the unique strengths Haskell has in these areas and how to move research ideas into industry.
2023-02-2748 minThe Haskell Interlude21: Andrey MokhovIn this episode Matthías Páll and Andres Löh talk with Andrey Mokhov. Andrey is best known for his work on the Hadrian build system and today he talks about algebraic graphs, selective functors, and the difference between OCaml and Haskell.
2023-02-1344 minThe Haskell Interlude20: Jesper CockxIn this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.
2023-01-1650 minThe Haskell Interlude19: Marc ScholtenIn this episode Marc Scholten is interviewed by Andres Löh and Joachim Breitner. They talk about the Integrated Haskell Platform web framework (IHP), implicit parameters and nix.
2022-12-0750 minThe Haskell Interlude17: Ningning XieNingning Xie is interviewed by Niki Vazou and Andres Loh. Ningning first contributed to GHC at her Google summer of code project with a very ambitious goal of implementing the whole dependent Haskell. Also later she fixed several ghc bugs and worked on Koka’s Algebraic effects. Her future hope and advice is to use programming language concepts on real-word problems.
2022-10-2548 min
Podcast Heroic People | Le blog de l'auteur Marc Baillet[Rediffusion] Du son pour se réaccorder - avec Stéphane HaskellPar/avec Marc Baillet.
Le son a un pouvoir ! Quel est ce pouvoir ?
Stéphane Haskell est écrivain, photojournaliste et réalisateur. A une certaine période de sa vie il pensait ne plus refaire surface. Avec la respiration, le yoga, puis le son et les thérapies sonores il a graduellement été guidé vers une meilleure compréhension de sa santé physique, émotionnelle et spirituelle. Progressivement, il s'est transformé et a repris le contrôle de sa vie !
Son documentaire Breathe : Yoga, un souffle de liberté, a remporté de nombreux prix. Stéphane Haskell est ambassadeur de bonne volonté auprès de l’Unesco. So...
2022-10-0724 minThe Haskell Interlude16: Oskar WickströmOskar Wickström is interviewed by Wouter Swierstra and Alejandro Serrano, he will tell us a little bit about property-based testing (PBT) Haskell code but also applying these ideas to the testing of complete systems. He will say a little bit about interfacing Haskell to other languages and even with your web browser and what it's like to learn Rust as a Haskell programmer.
2022-08-3150 minThe Haskell Interlude15: Facundo DominguezFacundo Dominguez is interviewed by Niki Vazou and Joachim Breitner. Facundo Dominguez tells us the difference between STM and SMT. We also talk about Liquid Haskell and its relation to dependent types and the `QualifiedDo` extension -- which is one of the most highly discussed GHC proposals -- and the general GHC proposals. And, finally, Facundo lets have Haskell peacefully coexist with other languages thanks to his work in the build system Bazel.
2022-07-1456 minThe Haskell Interlude14: Ryan TrinkleRyan Trinkle is interviewed by Joachim Breitner and Niki Vazou. Ryan Trinkle has co-founded Obsidian Systems, a company that not just uses Haskell but even more exotic tech that as Functional Reactive Programming (FRP) and Nix. Ryan shed some light on the business side of Haskell and we get to hear that hiring for Haskell is actually excellent.
2022-06-2850 minThe Haskell Interlude13: David ChristiansenDavid Christiansen is interviewed by Alejandro Serrano and Wouter Swierstra. They talk about many functional programming things, from Idris to Racket and of course Haskell and David's new role as the executive director of Haskell Foundation.
2022-06-0555 minThe Haskell Interlude12: Gergő ÉrdiGergő Érdi is interviewed by Wouter Swierstra and Andres Löh. Gergő has an interesting path into Haskell taking many twists and turns. This episode discusses about these twists and Gergő's recent book on implementing retro computers using Haskell.
2022-05-091h 17The Haskell Interlude11: Simon Peyton JonesSimon Peyton Jones is interviewed by Andres Löh and Joachim Breitner. Simon is the creator of Haskell and in this episode he talks about his new position at Epic, the origins of Haskell and why "it feels right", and the (extra)ordinary Haskell programmers.
2022-03-251h 05The Haskell Interlude09: Sebastian GrafSebastian Graf is interviewed by Joachim Breitner and Alejandro Serrano. Sebastian is one of the most active contributors to GHC, and tells of this experience, from his very first commit to GHC to his current work on the pattern coverage checker and demand analyzer. He also gives us hints on how to reason about the strictness of Haskell programs.
2022-02-101h 01The Haskell Interlude08: Théophile ChoutriNiki Vazou and Andres Löh are joined by guest Théophile Choutri (they/them), who also goes by Hécate. Théophile coordinates multiple projects and volunteer groups within the Haskell Foundation, notably the Haskell School project (intending to provide a free online open source library for teaching Haskell), and works on improving GHC core documentation and developing an alternative to Hackage. Together they discuss Théophile's introduction to Haskell and their ongoing projects with the Foundation and the broader community, with a focus on the challenges facing Haskell non-experts and how they hope to tackle them.
2022-01-071h 04The Haskell Interlude06: Graham HuttonGraham Hutton is interviewed by Wouter Swierstra and Andres Löh. Graham is known for his work on Haskell both in research and teaching Haskell, and in particular his Haskell book. Graham will tell us a little bit about how his book came about and give us advice for how to write a book ourselves, but also look back on his experience using Haskell and teaching Haskell in the last thirty years, and tell us a little bit about how bad the compile times were for the very first versions of GHC.
2021-11-2658 minThe Haskell Interlude04: Jasper Van der JeugtJasper Van der Jeug is interviewed by Niki Vazou and Joachim Breitner. Jasper plays an important role in the Haskell community, helping with haskell.org, the Google Summer of Code project, ZuriHac and the ICPF programming contest, so there is much to talk about.
2021-10-291h 03The Haskell Interlude03: Gabriella GonzalezThe guest in our second episode is Gabriella Gonzalez. The hosts are Joachim Breitner and Alejandro Serrano. We talk about Dhall, Nix, and Haskell, learn why Gabriella's packages are sometimes called after characters of computer games, and get to know her elevator pitch for educating Haskell. The interviewee now goes by Gabriella as their preferred name, but at the time was still using Gabriel.
2021-10-141h 00The Haskell Interlude02: Lennart AugustssonThe guest in our second episode is Lennart Augustsson. The hosts are Wouter Swierstra and Niki Vazou. We talk about Lennart's long history with Haskell, about the various jobs he has had, all the compilers he has written, and about dependent types.
2021-09-301h 08The Haskell Interlude01: Emily PillmoreThe guest of our first regular episode is Emily Pillmore, CTO of the Haskell Foundation. The hosts are Alejandro Serrano and Andres Löh. We talk about Emily's path to Haskell, the role of the Haskell Foundation and the CTO within the Haskell Foundation, about current projects, the Haskell Community and about Emily's work on Optics.
2021-08-091h 14The Haskell Interlude00: TeaserThis is the Haskell Interlude! Welcome to our new Haskell podcast, where the five co-hosts, Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joahim Breitner introduce themselves.
2021-07-1205 min
Triggered with Randy HaskellTriggered Podcast #6 [this will CHANGE you]full video with great footage can be seen on my Youtube channel, Countryside
---
Support this podcast: https://anchor.fm/randy-haskell/support
2021-01-1126 minTriggered with Randy HaskellTriggered Podcast #5 [The Beau Enterprise Experience]I interview a local, very large landscaping company. Equipment, commercial vs residential, employees, maintenance.....it's all here!
---
Support this podcast: https://anchor.fm/randy-haskell/support
2021-01-041h 48
Podcast Heroic People | Le blog de l'auteur Marc BailletStéphane Haskell – Du son pour se réaccorder (#18)Le son a un pouvoir ! Quel est ce pouvoir ?
Par/avec Marc Baillet.
Stéphane Haskell est écrivain, photojournaliste et réalisateur. A une certaine période de sa vie il pensait ne plus refaire surface. Avec la respiration, le yoga, puis le son et les thérapies sonores il a graduellement été guidé vers une meilleure compréhension de sa santé physique, émotionnelle et spirituelle. Progressivement, il s'est transformé et a repris le contrôle de sa vie !
Son documentaire Breathe : Yoga, un souffle de liberté, a remporté de nombreux prix. Stéphane Haskell est ambassadeur de bonne volonté auprès de l’Unesco. So...
2020-12-2224 min
Geaux Play Esports(S2E6) - Special Guest Dr. Chris Haskell Head Coach and Director Boise State EsportsDr. Chris Haskell plays video games for a living, or at least that’s what his friends think. He’s the Head Coach and Director of the Varsity Esports at Boise State, 2020 Collegiate Esports Coach of the Year (NAECAD) and 2020 Esports Director of the Year (NACE). As a professor, “Doc” also focuses on the impact of video games, virtual worlds, and digital culture. When it comes to work, Dr. Haskell is serious about play. It’s no wonder his friends think he needs a real job.
2020-12-0934 minTriggered with Randy HaskellPodcast #5 [Customer Service]I discuss the different ways to adapt great customer service to your business and practices you SHOULD have in place.
---
Support this podcast: https://anchor.fm/randy-haskell/support
2020-11-0248 minTriggered with Randy HaskellTriggered Podcast #4 [Chute Blockers]I discuss different chute blockers and where I rate them for different equipment and quality
---
Support this podcast: https://anchor.fm/randy-haskell/support
2020-10-3034 minTriggered with Randy HaskellTriggered Podcast #3 [stick to your prices]I tell a story of a potential customer trying to get me to lower my prices and go into why you need to be firm with pricing.
---
Support this podcast: https://anchor.fm/randy-haskell/support
2020-10-2831 minTriggered with Randy HaskellTriggered Podcast #2 [Make money with leaves]In this episode I cover options for charging your customers, types of bagging systems, different blades while bagging and ways to handle leaves.
---
Support this podcast: https://anchor.fm/randy-haskell/support
2020-10-2541 minTriggered with Randy HaskellTriggered Podcast Intro [Trailer]This is the intro to the Podcast channel for Triggered with Randy Haskell
---
Support this podcast: https://anchor.fm/randy-haskell/support
2020-10-2209 minTriggered with Randy HaskellTriggered Podcast #1 [Billy the Kid]Billy from Countryside Vlogs on Youtube gets interviewed discussing lawn care, mowers, and future plans....
---
Support this podcast: https://anchor.fm/randy-haskell/support
2020-10-2256 min
Downtown: The PodcastDowntown: The PodcastBill Mumy, James Andrew Miller.
Actor and musician Bill Mumy talked with us about his new album with his band Action Skulls and looked back at Lost In Space and his work on shows like The Twilight Zone. Author and journalist Jim Miller shared stories from his Origins podcast, Almost Famous Turns 20, discussing the making of the film and the reasons for its continued popularity.
2020-07-2953 minDowntown: The PodcastDowntown: The Podcast Episode #105Jeff Daniels & Richard Schiff.
Jeff Daniels returned to the podcast to talk about his Monday night online performances to benefit the Purple Rose Theatre in Chelsea, Michigan. Actor Richard Schiff also is back to discuss his re-watch of The West Wing and to share some great memories of growing up as a fan of Yankees baseball.
2020-05-1346 min
The Story Studio PodcastSSP104 The Guys Talk: Writing and Marketing with Jeff Haskell
In today’s episode, the guys talk with Jeff Haskell, an
author they met at S3, the Story Shop Summit in Austin, Tx. Jeff writes
Superhero science fiction, a little bit of nonfiction and is branching out
right now into military sci-fi as Jeffrey H Haskell.
He’s been writing his whole life and publishing for the past
3.5 years. In July of 2016, he was accepted into the Kindle Scout program,
published for that in September of 2016, and has been publishing his own stuff
ever since.
Jeff and the guys talk about the temperature of indie
publ...
2020-03-111h 01
Ghostly Talk PodcastEp 111 - David George Haskell | The Language of TreesBiologist and Pulitzer Price nominated author David George Haskell has a passion for the world around us and how our amazing trees are interconnected to absolutely everything. Can we actually "listen" to a tree? How do trees interact with us in all aspects of our lives and how do we interact with them on levels we are not even aware of? We talked to David about his work, books and future projects in this conversation. You will be pleasantly surprised how much you didn't realize about trees and hopefully, look at them in a whole new way.
David George Haskell...
2020-02-191h 02Downtown: The PodcastDowntown: The Podcast Episode #089Alison Arngrim, Jeff Maxwell.
Alison Arngrim talks about her role as Nellie Oleson On Little House On The Prairie and how that impacted her life and Jeff Maxwell looks back on his days as Private Igor on M*A*S*H and discusses the M*A*S*H Matters Podcast.
2020-01-2243 min
TCCPEp. 19 Lars Brunjes | differences Haskell, Plutus, Solidity & Marlowe | IOHK in developing countriesToday’s talk is with Dr. Lars Brünjes, director of education at IOHK.
In this interview, Lars and I spoke about the differences between Haskell, Plutus, Solidity and Marlowe. Besides, Lars shared a few updates regarding the educational programs of IOHK in developing countries.
Lars is someone who is truly passionate about education, and giving a chance to people in regions like Africa for example to participate in revolutions like blockchain.
I sincerely hope you will like this conversation as much as I did.
Max
The YouTube version can be found here: https://youtu.be/3XC2gpvKC34
Please consider sub...
2019-11-3024 minDowntown: The PodcastDowntown: The Podcast Episode #080Jane Seymour, Phil Proctor.
Jane Seymour talks about her work on the new season of “The KominskyMethod” and Phil Proctor discusses the origins of The Firesign Theatre, his play “God Help Us”, and his podcast and website.
2019-11-1338 minDowntown: The PodcastDowntown: The Podcast Episode #047Jane Jordan and Art Shmasky join us for this week's podcast.
2019-03-2732 min
Cinematography Podcast - Cam NoirEp 30 – Newton Thomas Sigel, ASC – Working with Directors, Haskell Wexler, George Clooney, Bryan Singer & David O. Russell, and crafting the look of Usual Suspects, 3 Kings, Drive, X-Men, Bohemian Rhapsody and Confessions of a Dangerous MindThe Cinematography Podcast Episode 30 – Newton Thomas Sigel, ASC Over the past 5 decades, Newton Thomas Sigel has amassed an amazing filmography. His work as a cinematographer is a veritable who’s who of famous auteurs. In this feature interview co-hosts Ben Rock and Illya Friedman dive into the craft behind such famous films as [...]
The post Ep 30 – Newton Thomas Sigel, ASC – Working with Directors, Haskell Wexler, George Clooney, Bryan Singer & David O. Russell, and crafting the look of Usual Suspects, 3 Kings, Drive, X-Men, Bohemian Rhapsody and Confessions of a Dangerous Mind first appeared on Cam Noir.
2019-02-111h 06
The Military Science Fiction PodcastThe Speculative.Work Podcast 005 - Goals for 2019 and Atomic HabitsEverybody loves a goals show! Let's throw down the gauntlet for 2019 so I can look back and either be pleased with my progress or shed tears in my beer.
I talk about production, health and financial goals for 2019, as well establishing a strong author brand.
Mentioned in this podcast:
Atomic Habits by James Clear
Word Count Tracker (excel doc download)
Thanks for listening!
2018-12-3100 minThe Military Science Fiction PodcastThe Speculative.Work Podcast Episode 002Episode 2 - A bit more on resistance, series plotting, character-based plots, using templates and learning from other genres.
Books mentioned in the podcast:
This is Marketing by Seth Godin
The Inevitable by Kevin Kelly
Writing the Break-Out Novel by Donald Maas
2018-12-0900 min
Blood & Mud Rugby Podcast67: Epic semi-finals review, plus Haskell related meltdownIt's a week of contrasts and Lee & Josh wallow in the lovely waters of a mostly wonderful weekend of Aviva Premiership and Guinness Pro12 semi-final rugby, but then Lee has something akin to a primal scream type meltdown over James Haskell: British & Irish Lion. He just about manages to pull himself together for the SHIT/GOOD™ Ratings.Support this show http://supporter.acast.com/bloodandmudrugby. See acast.com/privacy for privacy and opt-out information. Learn more about your ad choices. Visit podcastchoices.com/adchoices
2017-05-221h 27
Blood & Mud Rugby PodcastEpisode 21: Fantasy Sevens, Emotional Haskell, French RevolutionLee and a slightly worse for wear Josh talk about the latest round of matches, Irish's capitulation, poor unloved Haskell, Mike Phillips' latest playground, the SHIT/GOOD™ Ratings and France's latest revolution ideas. Another track is then launched into The Loop.Support this show http://supporter.acast.com/bloodandmudrugby. See acast.com/privacy for privacy and opt-out information. Learn more about your ad choices. Visit podcastchoices.com/adchoices
2016-04-201h 14
Blood & Mud Rugby PodcastEpisode 15: England or Wales? SHIT or GOOD? Haskell or Dodgeball?Lee and Josh ponder many things this week: the domestic rugby weekend; the SHIT/GOOD™ Ratings; the next round of the RBS 6 Nations; how long #ZebreShitWatch will last; relative views of Bruce Springsteen; a legendary You Dirty Get; how many bad accents Lee can attempt; and perhaps most important of all, Haskell or Dodgeball?Support this show http://supporter.acast.com/bloodandmudrugby. See acast.com/privacy for privacy and opt-out information. Learn more about your ad choices. Visit podcastchoices.com/adchoices
2016-03-081h 15