This episode, The @HaskelInterlude chats with Jeffrey Young about his work on Haskell & GHC. We cover the beauty of modular code, the pros/cons of optimization, getting into compiler dev, and Domain-Driven Design. 🎙️ haskell.foundation/podcast/76/
In this episode of @HaskelInterlude, we’re joined by Prof. Kathrin Stark to dive into topics dear to Haskellers: interactive theorem provers, formal specs, and building provably correct neural networks.
Listen to the full episode here: haskell.foundation/podcast/75/
The State of #Haskell 2025 survey is out! Please take ~10 minutes to fill this out and share it with friends/colleagues/coworkers, whether or not they are users of Haskell.
surveymonkey.com/r/6M3Z6NV
In this @HaskelInterlude, we’re joined by Jean-Philipe Bernardy, Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs. haskell.foundation/podcast/73/
In this episode of @HaskelInterlude, 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 and more. haskell.foundation/podcast/72