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. 🎙️ https://t.co/yKggoOggCp
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: https://t.co/ErA1HcLx8V
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.
https://t.co/xe8TDrcUMF
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.
https://t.co/ZL6GZLYP85
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. https://t.co/ObHfAmGdm9
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. https://t.co/QEayrA8401
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. 🎧 https://t.co/OvMeRfcDam
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.
https://t.co/OXPBpumC17
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. https://t.co/FKlhpZzsxp
In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course.
https://t.co/zf3XtwiFwX
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: https://t.co/wX4Te91pKa
Read more: https://t.co/461mS3ODVJ
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.
https://t.co/vww0fEIAQO
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.
https://t.co/7TswFGfg2w
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
"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
https://t.co/WPld5rhjJN
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. https://t.co/j81aqIf3Ew
#FunctionalProgramming
@InputOutputHK Update n°34 from the GHC team at @InputOutputHK
https://t.co/rYHoQbLHzm
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