Haskell Foundation

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 new episode of the Haskell Interlude with Lennart Augustsson was done at @ZuriHac jointly with @ttforall. It is a deep dive into the evolution of Haskell and functional programming with one of its pioneers. haskell.foundation/podcast/74/

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

In this episode of @HaskelInterlude, Prof. Stefan Wehr (Offenburg Univ.) joins the Haskell Foundation podcast to talk large-scale Haskell, architecture, modularity, type classes, data modeling, and teaching Haskell at his current job. 🎧 haskell.foundation/podcast/71

In this episode, we 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! Link below:

In this episode of @HaskelInterlude , we interview Jurriaan Hage - a professor at Heriot-Watt University in Edinburgh. He’s known for the Helium Haskell compiler and projects like improvements to the type system, or detection of plagiarism, and more. haskell.foundation/podcast/69

This episode of @HaskelInterlude, 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, and more. haskell.foundation/podcast/68/

In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. haskell.foundation/podcast/67/

Better infrastructure, fewer surprises. We’re raising $6K for a dedicated ARM server to support #Haskell’s infrastructure (CI, backups, etc). Let’s build infra you can rely on! Every contribution helps! Donate: donorbox.org/infrastructure… Read more: discourse.haskell.org/t/infrastructu…

In this episode, we learn from Daniele Micciancio about teaching theoretical computer science with Haskell and of course Daniele's field of research - cryptographic algorithms. haskell.foundation/podcast/66/

In this episode we learn about @AndrewDGordon's work including the origins of (>>=), introducing lambdas in Excel, and delve into his current work at Cogna using AI to allow non-programmers to write apps using natural language. haskell.foundation/podcast/65/

The Haskell Foundation is happy to announce that we are teaming up with @DigitalOcean. Let's thank DigitalOcean for helping us keep Haskell infrastructure sustainable! #DoforOpenSource

Today the Haskell Foundation is migrating some of our server infrastructure and upgrading our storage. 💪 #haskellfoundation #haskell

New videos uploaded! We have recovered 20 more videos of talks from HaskellX 2018. Check it out! #haskellx #haskellfoundation @haskellfoundation?si=9OIuhPVTY01AZE2b" target="_blank" rel="nofollow noopener">youtube.com/@haskellfounda…

"I don't know why, but I thought it could be a good idea to use a functional language to design some hardware" A passion for #Haskell, from academia to industry, serves as the leitmotiv of the 56th @HaskelInterlude, featuring special guest @satnam6502 haskell.foundation/podcast/56/

Big news! @HaskellOrg Committee and @HaskellFound are uniting to form a single non-profit. This merger strengthens our shared mission to support the #Haskell language, its community, and the future of functional programming. blog.haskell.org/haskell-founda… #FunctionalProgramming

@InputOutputHK Update n°34 from the GHC team at @InputOutputHK engineering.iog.io/2024-09-05-ghc… Highlights: • Upstreaming of patches from Haskell.nix • Philosophies of Optimization chapter of the Optimization Handbook. • Refactor of GHC's linker to add documentation and better types #Haskell