Haskell Foundation @haskellfound
https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell Joined October 2020-
Tweets318
-
Followers5K
-
Following59
-
Likes265
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
New videos uploaded! We have recovered 20 more videos of talks from HaskellX 2018. Check it out! #haskellx #haskellfoundation 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
Graham Hutton @haskellhutt
9K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tweag by Modus Create @tweagio
7K Followers 307 Following Improving the craft of software engineering.
Edward Kmett @kmett
17K Followers 813 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Domen Kožar @domenkozar
6K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVh 🗝️ https://t.co/iCG7uqjKe9
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 423 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
naomi (forgetful func... @fixedpointfae
5K Followers 501 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
John A De Goes @jdegoes
20K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Redacted @cercerilla
2K Followers 452 Following
deech @deech
5K Followers 1K Following
Michael Snoyman @snoyberg
6K Followers 644 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Flavio @FlavioCorpa
2K Followers 252 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Paweł Szulc @EncodePanda
3K Followers 667 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Alejandro Serrano @trupill
4K Followers 477 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Calvin Asare Naatey @AsareNaatey
12 Followers 62 Following
some one @vega_chaser
0 Followers 48 Following
Faruk Cebeci @cbcfrk
1 Followers 65 Following
Irfan M. Ghat @irfanghat
1 Followers 25 Following I design high-performance 𝗱𝗮𝘁𝗮 𝗶𝗻𝗳𝗿𝗮𝘀𝘁𝗿𝘂𝗰𝘁𝘂𝗿𝗲 and 𝗱𝗶𝘀𝘁𝗿𝗶𝗯𝘂𝘁𝗲𝗱 𝘀𝘆𝘀𝘁𝗲𝗺𝘀.
Demetrios Agourakis @DAgourakis
69 Followers 314 Following
Gabriele Boscato @boch3343
50 Followers 360 Following Test design & engineering - Programmazione & scrittura
T5828482 @t582848264487
1 Followers 212 Following
Kevin Perez @kevperezrose
42 Followers 1K Following
Zen @_zen_garden_
61 Followers 547 Following
Javier Montané Ortu�... @javimo__
0 Followers 438 Following
Chandler Barlow @chandl3r_barlow
1 Followers 26 Following haskell/nix @NVIDIA | prev @anduriltech & @groq-inc | my opinions https://t.co/uqVHeyuWNu
Gammaofgamma @gammaofgamma
119 Followers 3K Following
Lassi @lassiforever
152 Followers 760 Following Club Atlético Peñarol, Darwinismo y Alice in Chains. YNWA. MegaTen enthusiast
Christopher Weaver @CWeaver41321
1 Followers 43 Following Software engineer. Dabbling in philsophy on the side.
noise_ @ise_eua
1 Followers 149 Following emacs—lisperatus. deep-diving into literate-programming. vim-keys & nix-flakes 🔥 if it's not modular and POSIX-compliant, I don't want it. talk in id/en
Antony Oduor @oduortoni
31 Followers 228 Following
m_eudae @m_eudae
3 Followers 1K Following
Emilio Zamudio @EmilioZMurillo
103 Followers 2K Following Sacado de onda, tembloroso y bien confuso.
Drew @DrewOgryzek
311 Followers 525 Following
Gilbert Fine @GilbertFine
17 Followers 160 Following
adnos @deflationistt
43 Followers 656 Following
Ernesto @ernestohegi
35 Followers 257 Following I build systems. I chase light. I (try to) draw worlds. 世界は私たちの教室。よろしくお願いします。
Hedin (λ) 💙💛 @dallaylaen
315 Followers 239 Following He/him. A programmer for life. Love puns & jokes. Moscow → Odesa → Kyiv → Göttingen → Karlsruhe → ???
John Smith ☦️ @wasdzxs
43 Followers 53 Following For God so loved the world that he gave his one and only Son, that whoever believes in him shall not perish but have eternal life. - John 3:16
Ai Haibara @shiho_ai_miyano
7 Followers 46 Following Programming languages and formal methods researcher. PhD student at UIUC CS. Build a safer, more convenient and more efficient software world.
eldargab @eldargab
0 Followers 20 Following
Jay Alven @JayAlven13
7 Followers 586 Following
dotlinq @dotlinq
2K Followers 415 Following Want to see good Fortnite and Overwatch photos? Head to my media tab. All pictures are purely in-game engine details.
One Syrupy @OneSyrupy
0 Followers 160 Following
Fahd Ashour @fahdashwr
3K Followers 640 Following FOSS https://t.co/J7sygeVxoP | community @BLEU_io | tweets in ar/en | https://t.co/wL8V1QEMog
Hypatia du Bois-Marie... @sayako_8964
2K Followers 740 Following per aspera sapiens dominabitur astris 🛜🔑🏴🇹🇼🇺🇦🏳️🌈🏳️⚧️🤝✊🎆 for a post-scarcity and post-authoritarianism world
rex @clauconstantin
84 Followers 554 Following 🇪🇸🇷🇴☦️ everything I say is a joke, unless you agree with it; then I'm dead serious .NET - Rust - Android
RoboDollars @UrMom2College
177 Followers 6K Following
boog @BoogYassine
3 Followers 358 Following
Duo🫐 @Huluhuhululuhu
55 Followers 468 Following MathForest官方🌲|程序及数学可视化✨|不定时掉落日常🍉|项目进度🍇|涩涩图文🎀|对标GeoGebra重构信息化数学教育🦍|屑魔女游世界🔮
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Graham Hutton @haskellhutt
9K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tweag by Modus Create @tweagio
7K Followers 307 Following Improving the craft of software engineering.
Edward Kmett @kmett
17K Followers 813 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Rúnar @runarorama
13K Followers 117 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Redacted @cercerilla
2K Followers 452 Following
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Michael Snoyman @snoyberg
6K Followers 644 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Tikhon Jelvis @tikhonjelvis
3K Followers 258 Following I like programming languages. A lot. Tools, types and functions.
José Manuel Calderó... @josecalderon
2K Followers 859 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Barry @chiroptical
541 Followers 269 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
ZuriHac @ZuriHac
2K Followers 47 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Google Open Source @GoogleOSS
82K Followers 145 Following Announcing new open source releases, exploring projects, sharing how we approach FOSS, and supporting communities around the world.
David Thrane Christia... @d_christiansen
3K Followers 611 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
The Haskell Interlude @HaskelInterlude
655 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
Melanie @cigsender
4K Followers 0 Following
Alan Zimmerman @alan_zimm
881 Followers 259 Following Long term hacker @[email protected] on fediverse
@pchiusano@universeod... @pchiusano
6K Followers 124 Following working on @unisonweb Mastodon: @[email protected]
Koz 'Intersectional F... @KozRoss
313 Followers 159 Following Intersectional feminist. #3dprinting catboy. On the spectrum. He/him. Also on Mastodon: https://t.co/ynHMEtgtEx
Julius Marozas @JuliusMarozas
42 Followers 577 Following PhD @ Chalmers Interested in Type Theory, Proof Assistants 🐋 Haskell 🐔 Agda ❄️ NixOS he/him
Max Tagher @MaxTagher
2K Followers 245 Following Co-Founder/CTO @mercury; check it out at https://t.co/veN8OZrnPD 🐀
Mercury @mercury
43K Followers 323 Following Mercury is the fintech more than 300K ambitious companies and entrepreneurs trust with their finances
Haskell IDE team @IdeHaskell
504 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering it
Chris Smith @cdsmithus
630 Followers 153 Following Software developer and amateur (but published!) ring theorist. Volunteer K-12 math/CS teacher. Haskell enthusiast. He/him.
Taylor Fausak @taylorfausak
2K Followers 88 Following
Obsidian Systems @obsidian_llc
1K Followers 232 Following Software consultancy specializing in haskell, nix, curiosity, and innovation.
gilmi @_gilmi
864 Followers 57 Following Mostly programming and Haskell. He/Him. 📕 https://t.co/xEErboAizd ⚡ https://t.co/ShceOZc3Y3
Andres Löh @kosmikus
3K Followers 471 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Kirk @KirkCodes
2K Followers 641 Following Likes writing long blocks of code on the beach. Typescript, F#, Elm, SQL, Haskell, Python, C#, it's all cool really. https://t.co/DDfN7mgQOa He/They
Andrew Boardman @myShoggoth
585 Followers 466 Following Director of Engineering at @getwellrewarded Former ED of @haskellfound My own opinions and not necessarily those of my employer.
Simon Marlow @simonmar
8K Followers 246 Following Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician
Beth Sears @LizabethSears
408 Followers 1K Following Social impact leader Chief Development Officer@CommonSense Tweets are my own.
Haskell Weekly @haskellweekly
6K Followers 344 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
Mighty Byte @mightybyte
408 Followers 149 Following Engineering leader, functional programmer, student of leadership, devotee of skills acquisition who slacklines and rock climbs. It's all about balance!
Andrew Seddon @seddonandrew
1K Followers 2K Following @CircuitHub CEO. Robots making circuit boards.
moritz ✨ @angerman
2K Followers 2K Following 🏠 Stay-at-home dad wrangling kids & LLMs 🤖 AI maxi | FP degen | Cumlang CEO (it’s a joke) Opinions hotter than my coffee. NFA ever.
𝚠𝚎𝚗𝚍𝚢 ... @wendydevolder
5K Followers 4K Following love helping communities come together. Interested in #community #cloudnative #opensource #devops #devrel
Skills Matter @skillsmatter
16K Followers 2K Following The community learning platform where technologists learn better, together.
Richard Eisenberg @RaeHaskCaml
3K Followers 144 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/himYou might like
