Haskell Foundation

• a non-profit for building the future of Haskell

[Haskell Foundation @haskellfound]

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

[Haskell Foundation @haskellfound]

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 Haskell Interlude @HaskelInterlude]

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

[Haskell Foundation @haskellfound]

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

[Haskell Foundation @haskellfound]

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

[Haskell Foundation @haskellfound]

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

[Haskell Foundation @haskellfound]

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

[The Haskell Interlude @HaskelInterlude]

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:

[Haskell Foundation @haskellfound]

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

[Haskell Foundation @haskellfound]

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

[The Haskell Interlude @HaskelInterlude]

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

[Haskell Foundation @haskellfound]

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

[The Haskell Interlude @HaskelInterlude]

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

[The Haskell Interlude @HaskelInterlude]

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

[Haskell Foundation @haskellfound]

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

[Haskell Foundation @haskellfound]

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

[Haskell Foundation @haskellfound]

New videos uploaded! We have recovered 20 more videos of talks from HaskellX 2018. Check it out! #haskellx #haskellfoundation
https://t.co/ziP2hNTsvZ

[Haskell @HaskellOrg]

"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

[Haskell Foundation @haskellfound]

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

[Haskell @HaskellOrg]

@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