haskell.foundation • a non-profit for building the future of Haskell
Joined October 2020
- Tweets 318
- Following 59
- Followers 5,000
- Likes 265
19 Photos and videos
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/7…
9
491
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/7…
1
11
3,543
Haskell Foundation retweeted
19 Dec 2025
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/7…
2
12
762
11 Dec 2025
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
1
10
12
1,468
19 Nov 2025
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/7…
1
11
1,178
5 Nov 2025
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/7…
3
954
17 Oct 2025
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/7…
1
7
988
Haskell Foundation retweeted
16 Sep 2025
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:
1
8
68
3,274
3 Sep 2025
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/6…
11
1,153
12 Aug 2025
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/6…
3
28
1,531
Haskell Foundation retweeted
8 Jul 2025
In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course.
haskell.foundation/podcast/6…
3
14
1,303
7 Jul 2025
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/infr…
13
53
2,651
Haskell Foundation retweeted
24 Jun 2025
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/6…
4
17
923
Haskell Foundation retweeted
7 Jun 2025
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/6…
6
20
1,215
23 Apr 2025
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
11
51
4,873
11 Mar 2025
Today the Haskell Foundation is migrating some of our server infrastructure and upgrading our storage. 💪 #haskellfoundation #haskell
5
54
2,955
10 Mar 2025
New videos uploaded! We have recovered 20 more videos of talks from HaskellX 2018. Check it out! #haskellx #haskellfoundation
youtube.com/@haskellfoundati…
1
4
34
3,598
Haskell Foundation retweeted
2 Oct 2024
"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/5…
ALT The Haskell Interlude: Episode 56
9
40
2,831
1 Oct 2024
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-fou…
#FunctionalProgramming
17
66
6,460
Haskell Foundation retweeted
5 Sep 2024
Update n°34 from the GHC team at @InputOutputHK
engineering.iog.io/2024-09-0…
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
1
2
6
1,642