Haskell @HaskellOrg
Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee haskell.org Joined November 2010-
Tweets762
-
Followers13K
-
Following65
-
Likes271
We're back! Sorry for the delay, our thunks got stuck in the conduit, must've been some issue with the lenses
#Haskell Weekly Newsletter 449 haskellweekly.news/issue/449.html
GHC API users! The Haskell Foundation's work to establish a stable GHC API needs your input. 💜Get in touch today: discourse.haskell.org/t/ghc-api-call… #Haskell
@EncodePanda Because the vibes are rancid here
Find us on BlueSky: bsky.app/profile/haskel… #Haskell
New BlueSky handle: bsky.app/profile/haskel…
The hackage outage has been traced to a misconfigured zfs snapshot configuration resulting in full disk. This is fixed and hackage is operational again. status.haskell.org
@inputoutputHK Update n°36 from the GHC team at @inputoutputHK engineering.iog.io/2024-10-17-ghc… Highlights: • Sylvain tried to use the Cosmopolitan toolchain with GHC • Luite added locking when using TH in parallel builds • Jeff got approval to remove the RTS flags from `base` #Haskell
@inputoutputHK Update n°35 from the GHC team at @inputoutputHK engineering.iog.io/2024-09-26-ghc… Highlights: • Performance regression hunting by Luite • Bug fix by Sylvain for the #FreeBSD platform • Jeff finished the Memory Footprints of Data Types chapter in the #Haskell Optimization Handbook.
Update n°30 from the #Haskell GHC team at @InputOutputHK engineering.iog.io/2024-06-17-ghc… Highlights: • The team attended the @haskellfound Workshop, and #Zurihac2024 • Performance improvements in the compiler and especially the JS backend
@serokell’s Work on GHC: Dependent Types, Part 4. serokell.io/blog/serokell-… #Haskell #DependentTypes
"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/
Say hello to blog.haskell.org! discourse.haskell.org/t/say-hello-to… #Haskell
After a few weeks break, the #Haskell #Unfolder is back with an all-new (and hopefully beginner-friendly) episode. On Wednesday, 2024-09-18 at 1830 UTC, @EdskoDeVries and @kosmikus are going to implement (and solve) tic-tac-toe in Haskell. youtube.com/watch?v=GnlD13…
Better together!
The Haskell.org Committee and the @haskellfound have joined forces into a single not-for-profit corporation, to advocate for the Haskell language, its ecosystem, and its community. Read the full announcement at blog.haskell.org/haskell-founda… #Haskell
The Haskell.org Committee and the @haskellfound have joined forces into a single not-for-profit corporation, to advocate for the Haskell language, its ecosystem, and its community. Read the full announcement at blog.haskell.org/haskell-founda… #Haskell
And Haskell loves you back, Prophet.
The Haskell.org Committee and the @haskellfound have joined forces into a single not-for-profit corporation, to advocate for the Haskell language, its ecosystem, and its community. Read the full announcement at blog.haskell.org/haskell-founda… #Haskell
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
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
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
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 423 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
deech @deech
5K Followers 1K Following
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
Flavio @FlavioCorpa
2K Followers 252 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Gabrieλ Volpe @volpegabriel87
4K Followers 295 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Alejandro Serrano @trupill
4K Followers 477 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Paweł Szulc @EncodePanda
3K Followers 667 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Edward Z. Yang @ezyang
17K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Francesco Cesarini @FrancescoC
9K Followers 834 Following Founded @ErlangSolutions, started @codemeshIO and @codeBeamIO, O'Reilly author, pointy haired boss, full time dad and part time uncle & godfather.
simeon 🦀 λ @simeondermaats
535 Followers 2K Following studying maths @KULeuven_fwet (mainly interested in logic, categories and types) designs magazines for @Veto_be I aspire to one day understand the Yoneda lemma
among us @sysdrm
1 Followers 280 Following
mhmd @atralheaven
132 Followers 206 Following curious · figuring out life · computers, software systems · science, human mind and behavior
anonymous @CogInTheWheel03
5 Followers 555 Following
Andrea Berardi @AndreaBerardi0
16 Followers 659 Following
Unjuno @UnJuno_
7 Followers 389 Following GITHUB https://t.co/LmKSzZ89yJ AIを用いた議論サイト https://t.co/L5HpTEKUzu
Subinoy @heysubinoy
1K Followers 597 Following Engineer @ Juspay 📠 • Ex-Intern @ ISRO 🧑🚀 • SIH Winner🏆• Developer who loves to build weird stuff
語学たん達を ... @ouen_suru_tan
3K Followers 3K Following 語学・言語系の #学術たん(#語学たん)達を陰ながら応援します。「語学たんDB」https://t.co/jmHfWtqZzL の運営管理や,語学botなど各種の学術系botの作成開発に取り組んでいます。文理のジャンルを問わず学問,調査,探究することが好きです。(日常ツイやネタツイもつぶやきます)
建設予定地 @Kensetsu_Yotei_
3K Followers 3K Following 建設予定地です。皆さんのつぶやきをよく読んでいます。 / RTやいいねは必ずしも賛同の意ではないです / ※フォロバについて:こちらからフォローさせて頂いた際に、手動でフォロバ頂かなくても結構です。お手数おかけしてすみません。m(__)m
jainav @jainavx
186 Followers 2K Following Tracking asymmetry in Startups, Finance, and Global Politics. Optimizing human health to build through the chaos. Let’s build.
Renaud Delloye @RenXDel
21 Followers 297 Following
🇺🇦 · ⚪️�... @PieCalculus
369 Followers 326 Following
reflexpr @reflexpr
0 Followers 63 Following
yunjyu leu @mikhailyleu
65 Followers 3K Following
Philipp Hertel @HertelPh
0 Followers 13 Following
dune @dune_serious
281 Followers 2K Following だいぶしばらくはエーリアスに心を預けていたい RTA 自然科学 形式科学 ホモと百合 けもフレ トリッカル 言語と語学 Haskell English language/Japanese High School Student 淫夢要素が多くても文句言わないでほしいゾ 高1 女
Sergei Temerkhanov @STemerkhanov
71 Followers 301 Following
Keiya Sasaki @_keiya01
584 Followers 482 Following
Michael Avila @_neitherWorks
1 Followers 260 Following
Shivam Kumar @Vsion09
21 Followers 25 Following Do something that no one has ever done before. Building | AI, Open Source , Hackthon Fullstack Developer | Competitive Programmer | YouTube Creator
りふす @lihs_d
72 Followers 124 Following webエンジニア| Backend: Go/Rust/PHP/Haskell | Frontend: Next.js/React | Haskell勉強中
adnos @deflationistt
43 Followers 655 Following
whboy @v2fly_random
4 Followers 7 Following 我的另一个阴暗的喷人人格 万物皆可喷 接ddos机器人运维 接Windows远控 工作日期 AM9-PM10×6
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.
JJoaoll727 @draellol
43 Followers 311 Following 25, male, programmer, bi, furry? fuckdup and depressive 🇧🇷 🏳️🌈
obsidian14 @obsidian1124
0 Followers 17 Following
Subu Kandaswamy @SubuKandaswamy
0 Followers 62 Following
priya p pathak @priyappathak
8 Followers 412 Following Writing about Tech, Success, & Human Habits 🧠 | Full Stack Dev & Ghostwriter |women in tech|building a digital presence. ✨ | DMs open for collaborations & . 📩
Just 2 Read @__just2read
3 Followers 221 Following
Michael @MichaelQNNN
77 Followers 661 Following
小南靖雄 @ykominami
332 Followers 2K Following フリーのSE。実態は何ンデモ屋。組込みからWEBプログラミング、ネットワーク管理まで。TOPPERプロジェクト個人会員。TOPPERSプロジェクトFacebook公認ページ(https://t.co/HoqyV4HtWa)管理人の1人。
Daniela @danigfavero
4 Followers 71 Following she/her • software engineer | CS grad • coffee shops & patisseries, urban planning, art exhibitions
jka @luca_jka
0 Followers 16 Following
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
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 🏳️⚧️
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
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
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Maxime Chevalier @Love2Code
19K Followers 299 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.
Matti Palli 🧙�... @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher
Andres Löh @kosmikus
3K Followers 471 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Haskell.org Status @HaskellStatus
351 Followers 0 Following Status updates for http://t.co/NriWg8obGc
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Lix Project @LixProject
3 Followers 0 Following Placeholder, go look at @[email protected]. We don't monitor this account, we don't post from it.
Lambda Days @LambdaDays
3K Followers 984 Following 📅 Lambda Days will take a break in 2026. Celebrate with us functional languages! 🦋We're on other platforms too📅
NixOS @nixos_org
13K Followers 87 Following
Sovereign Tech Agency @sovtechagency
2K Followers 148 Following Strengthening digital infrastructure and open source ecosystems in the public interest. https://t.co/W50X3Pl7CW
FreeBSD Foundation @freebsdfndation
19K Followers 65 Following A 501(c)(3) non-profit supporting FreeBSD. We've moved! https://t.co/8Q8UCUh6k4 https://t.co/MIWaXAG9LZ
DataLad @datalad@foss... @datalad
968 Followers 86 Following a free and open source distributed data management system that ensures reproducibility, supports collaboration, and integrates with existing infrastructure
Reformed Rude Girl | ... @pangyuehung
810 Followers 106 Following Cheese puff lesbian. Chinese american. Software seamstress. Copyleft culture.
ZuriHac @ZuriHac
2K Followers 47 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Haskell IDE team @IdeHaskell
504 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering it
Haskell Weekly @haskellweekly
6K Followers 344 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
Niki Vazou @nikivazou
3K Followers 463 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
jaspervdj (@functiona... @jaspervdj
3K Followers 369 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @DigitalAsset, @haskellfound, @ZuriHac.
Alan Zimmerman @alan_zimm
881 Followers 259 Following Long term hacker @[email protected] on fediverse
Snowdrift.coop @SnowdriftCoop
139 Followers 6 Following A sustainable funding platform for freely-licensed public goods
Sarah Gray: I stand w... @fablednet
2K Followers 2K Following Gen-X bookworm. Squeaks & Pistachio's mom. Coolest person you've never met. Black Lives Matter. And Vegan for the animals.
ashley williams @ag_dubs
19K Followers 188 Following a mess like this is easily five to ten years ahead of its time. former @rustlang core team. now i build build systems at @shopify.
Jessica Kerr @jessitron
34K Followers 2K Following Symmathecist, @honeycombio. she/her Tweets are mine, license CC0. It is not about me.
Shadowhunter @manisha72617183
5K Followers 677 Following *Security engineer *Jazz aficionado *Thalassophile *lunaediesophobic *Caninetrovert *Foodie *Still in awe of a Kryha-Liliput ...
Danielle Sucher @DanielleSucher
2K Followers 797 Following Currently writing OCaml for a certain finance company, ex-Scala@stripe. Also petting my @bigfloofs, & posting my art at https://t.co/mc6ZIAMsHm
Katie Ots @katiejots
4K Followers 443 Following Functional programmer. Swing dancer. Australian. Opinions my own. She/her.
ʙᴀɪꜱʜᴀᴍᴘ... @ghoseb
3K Followers 904 Following Organic Intellectual | Founder/CTO @teamohanahq | ⌨️ Clojure | عاشقِ ریختہ | বাংলা | 🏋🏽♂️🏃🏾♂️🚣🏽♂️ | Previously: Co-founder & CTO @Helpshift | he/him
Lena Hall @lenadroid
23K Followers 5K Following Senior Director, Developers & AI • Co-Founder of Droid AI • Forbes Tech Council • LLMs • Data • AI/ML • Ex AWS, MSFT Research • Opinions are mine
Maven's n Technology @Mavensntech
94 Followers 64 Following
chris martens @chrisa... @chrisamaphone
5K Followers 1K Following I'm not here anymore! Go find me where my display name says.
prosperous cameron @cammcad
219 Followers 295 Following
BDPA_Conference @BDPA_Conference
668 Followers 285 Following BDPA is a non-profit organization of professionals interested in the Computer Science and Information Technology fields.
Code2040 @Code2040
52K Followers 2K Following Working towards the proportional representation of Black & Latinx technologists in the innovation economy. CEO @mimifoxm https://t.co/em3Rqgd3gw
Women Who Code @WomenWhoCode
310K Followers 3K Following WWCode Summit at TechFutures Oct. 7-9 Get 🎟️ at https://t.co/ToXlNzohMe ⚡️WWCode is BACK! ⚡️500K+ technologists, 147+ Countries, leveling up our skills #wwcode
Women in Technology @WITWomen
157K Followers 456 Following Not-for-profit organization aimed at providing #WomenInTech with #networking and professional development opportunities
GIRL GEEKS ® @girl_geeks
22K Followers 9K Following STEM | Skills | Careers | Leadership | Education | GirlGeeks | Talent | Inclusion | Equality
STEMinist @steminist
23K Followers 2K Following Inspiring women and girls in STEM one tweet at a time. ⚠️ℹ Please note this account is currently on hiatus and we will not be responding to messages or tweets.
The WCC @WeAreWCC
6K Followers 292 Following Women's Coding Collective - a community of women who create for the web: developers, coders, hackers, makers, artists, and entrepreneurs. #webdev #DIY





















