https://xitter.cf/t.co/fFbaw17S1M • a non-profit for building the future of Haskell

Joined October 2020
Registration for AmeriHac 2027, our North American Haskell hackathon, is now open: haskell.foundation/events/20…
5
12
598
Replying to @tritlo @steinly0
We'll crown you General Secretary of the Haskell Central Committee if you can get @gdb to revise this tweet to be more correct: xitter.cf/gdb/status/20072285113…
Greg Brockman
@gdbJan 2
rust is a perfect language for agents, given that if it compiles it's ~correct
1
1
7
409
The Haskell Foundation’s Technical Leadership Committee has officially launched! haskell.foundation/technical…
1
7
1
37
2,547
The Haskell Foundation will host its North American #Haskell Hackathon, AmeriHac, again in February 2027. Just like last year, the event is a collaboration with the wonderful people at @JaneStreetGroup. See you in February! haskell.foundation/news/2026…
4
27
1,174
The Haskell Foundation is happy to announce that the Haskell Ecosystem Workshop and Haskell Implementors’ Workshop, will be coming back in 2027. These events will serve as a prelude to #ZuriHac 2027 haskell.foundation/news/2026…
8
36
1,041
Intern here, what's your biggest complaint?
18
5
1
49
3,858
The Haskell Foundation is looking for a Head of Development to lead fundraising, build key partnerships, and support the future of the Haskell ecosystem. Details within! haskell.foundation/careers/h…
2
11
33
1,644
The Haskell Foundation is calling for applications to the new Technical Leadership Committee, a new committee formed to formulate and enact the Haskell Foundation’s technical vision. Details within! haskell.foundation/news/2026…
9
1
27
1,868
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…
12
690
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
1
11
3,763
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…
3
12
816
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
9
12
1,568
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,239
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
989
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
1
7
1,014
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
67
3,277
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,173