-
Tweets532
-
Followers6K
-
Following256
-
Likes189
In the future, Haskell users will be able to annotate their programs to get better stack traces, thanks to work by the Well-Typed team: well-typed.com/blog/2025/09/b…
We are delighted to welcome Standard Chartered as a Gold Haskell Ecosystem Supporter: well-typed.com/blog/2025/08/s…
Well-Typed had a great time at this year's @ZuriHac. The talk recordings are now available! well-typed.com/blog/2025/08/z…
Join us today, 2025-07-23, 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder, this time on "pure parallelism". youtube.com/watch?v=trDqqZ…
Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY…
On Wednesday, 2025-06-25, at 1830 UTC, there will be a new episode of the #Haskell #Unfolder. This time, Edsko and I will discuss the current situation of records in Haskell. youtube.com/watch?v=9hrDm7…
Check out the latest #Haskell toolchain development report from Well-Typed: well-typed.com/blog/2025/06/g…
From GHC 9.14, GHCi will fully support Multiple Home Units, so you can load a whole multi-package Haskell project into a single GHCi session and use the REPL normally! well-typed.com/blog/2025/06/g…
Well-Typed have come up with a great way to provide concrete value to clients while ensuring that the wider Haskell ecosystem gets investment. Thank you, Well-Typed!
Well-Typed have come up with a great way to provide concrete value to clients while ensuring that the wider Haskell ecosystem gets investment. Thank you, Well-Typed!
Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem: well-typed.com/blog/2025/06/h…
Starting in ~20 minutes, a new episode of the #Haskell #Unfolder, with Edsko and @kosmikus discussing testing of stateful APIs: youtube.com/watch?v=RPQVsa…
Thanks to @effectfully and @theo for highlighting our YouTube channel! As a common theme of the comments was that we need better thumbnails, we tried to listen. Next episode of the #Haskell #Unfolder this Wednesday, 1830 UTC: youtube.com/watch?v=RPQVsa…
Today, there will be a new #Haskell #Unfolder episode, where Edsko and @kosmikus will talk about the monomorphism restriction and defaulting. Join us live on YouTube 2025-05-07 at 1830 UTC (or watch later) via youtube.com/watch?v=nD93M2…
Our work on Explicit Level Imports for #Haskell received the best paper award at TFP, and the implementation has been merged! well-typed.com/blog/2025/04/e…
The #Haskell #Unfolder is two years old! Join us for a new episode tomorrow, 2025-04-16, at 1830 UTC, live on YouTube. This time, the topic is logic programming with typedKanren, which is a typed version of #miniKanren embedded into Haskell. youtube.com/watch?v=ukk5JD…
New blog post: Evaluating AI's Impact on Haskell Open Source Development well-typed.com/blog/2025/04/a…
Tonight, 2025-03-26, at 1930 UTC (still an unusual time for US/Canada) there'll be a new episode of the #Haskell #Unfolder, and after all this time, we'll finally talk about generics! youtube.com/watch?v=db-KjK…
Check out the latest report from our #Haskell toolchain team, covering GHC, Cabal and HLS: well-typed.com/blog/2025/03/g…
Tomorrow, 2025-03-12, at 1930 UTC (note: one hour later than usual in Canada / US due to asynchronous DST shifts), there'll be a new episode of the #Haskell #Unfolder, titled "understanding through a model". We'll talk about QuickCheck and convolutions... youtube.com/watch?v=0QTt2W…
Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will discuss the various strategies for deriving instances that GHC offers and their relative strengths and weaknesses. Hope to see you all there! youtube.com/watch?v=NEUbp2…
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Edward Kmett @kmett
16K Followers 824 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 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
Michael Snoyman @snoyberg
6K Followers 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
deech @deech
5K Followers 1K Following
Redacted @cercerilla
2K Followers 460 Following
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Paweł Szulc @EncodePanda
3K Followers 656 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 301 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Alexander Granin @graninas
7K Followers 869 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
KtorZ @_KtorZ_
12K Followers 100 Following Mostly inactive on X. Might still show up in spaces from time to time. Find me on Discord, Github or IRL.
Andre Venter @AndreVenter_IoT
94 Followers 831 Following Telecoms Product Manager / Developer, IoT Enthusiast I like interesting things and random acts of kindness. https://t.co/LXajyvJI6D https://t.co/kpCgBsCykZ
Eddie Decentr₳lizΣ... @eddie_d123
565 Followers 1K Following Crypto 🕸 | Music 🔊 | Tech 💻 | Python Pupil 🐍 | 83(b) Elector | Views are my own
Qebief @Qebief11870
5 Followers 186 Following
Laurent @cosmic_quanta
13 Followers 30 Following
Frirmi @Frirmi5276
16 Followers 671 Following
Andrei Poplaukhin @Andrei_519
29 Followers 18 Following
Guilherme Hideo Aassa... @HossakaHideo
196 Followers 52 Following "Shitposting is my last connection to humanity" (Pedro Proença)
minascorinth @minascorinth
0 Followers 717 Following
Louis Fréchet @gumbelfrechet
165 Followers 951 Following Logic-based probability & probability-based statistics. Retweet or follow does not imply endorsement.
Subrat Meher @exslr
4 Followers 149 Following
s.bana @xect79
59 Followers 484 Following
Proudmuslim @ProudmuslimDev
403 Followers 221 Following ꩜ Software developer & chronically online schizo | SAIF - ??? | 19 ꩜ npub1cyszsghzdpyl9el987y9v53mz9yq2kh6xmjdhkkw6ehkf78m5fzs8n7zym
Jacob Kim @iamjacobkim
24 Followers 248 Following Making cool stuff @ https://t.co/1f9eY9lsVd. UofM alum
K @kmogggggggggg
1 Followers 66 Following
DJ ⚡ @tripotri3
471 Followers 594 Following Marketing @ApexFusionFndn | QA @hal_eight and contributor @apexfusion | SPO @optimpool
Elijah Shen @ElijahShen1
5 Followers 68 Following
Sheku A Sisay @sisay_sheku
56 Followers 1K Following I was born a boy, grew up into a smart, strong, determined man who never backs down to any challenge!
Ivan Bjelajac 🔭 @instantfinality
12K Followers 2K Following VP Strategy @TenderlyApp. Interop and federated multichains believer. FC @ApexFusion. Former @0xPolygon Edge. Followed by @JohnCena. @nuggets fan. Pet friendly.
Kartik Jagdale @kartikjagdale11
55 Followers 344 Following Angular, Ruby on Rails, ReactJs, Elixir, Phoenix, Golang
@csaragkas @saragoshi
55 Followers 42 Following
Seggy Umboh @secobarbital
238 Followers 871 Following
Lance @lnlaine2345678
7 Followers 54 Following
siddhanta pradhanπ² @siddhan54957063
304 Followers 642 Following
Lucas Silva Barreto @LucasSilva73312
4 Followers 104 Following
polytropos @PabloC13193
0 Followers 29 Following
alexeusgr @alexeusgr
234 Followers 131 Following Technologist | Storyteller | Kitefoiler | memoria peregrini abstrusi
Income Supplements @Incomesup
346 Followers 2K Following
Fayaz @fayaz0_
166 Followers 1K Following 🛠️ Cardano Developer | Midnight | @NucastIO | @trivolvetech
Peter Franks @PeterFrank52125
225 Followers 3K Following
Harishan @hrxkr
0 Followers 583 Following
Jutaro @Jutaro_Jnf
4 Followers 35 Following
The Grumpy SRE (rob) @grumpy_sre
32 Followers 399 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
dustyway @dustyway777
16 Followers 195 Following
CodeRunner @CodeRunner95049
2 Followers 60 Following
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Dmitrii Kovanikov @ChShersh
42K Followers 204 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Edward Kmett @kmett
16K Followers 824 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 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Erik Meijer @headinthebox
31K Followers 2 Following
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
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
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Michael Snoyman @snoyberg
6K Followers 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
deech @deech
5K Followers 1K Following
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Sridhar Ratnakumar @sridca
552 Followers 0 Following
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 827 Following I am weaponizing Haskell and Nix.
山本和彦 @kazu_yamamoto
3K Followers 204 Following 4人の子育と親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。エギンガー＆サワラーな釣り人。山口県在住。 アイコンは長男を模したゆるキャラです。
Sovereign Tech Agency @sovtechagency
2K Followers 150 Following Strengthening digital infrastructure and open source ecosystems in the public interest. https://t.co/W50X3Pl7CW
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Flora Package Index @flora_haskell
221 Followers 8 Following Flora is a package index for the #Haskell ecosystem. We are moving to the Fediverse: @[email protected]
Jonathan Brachthäuse... @__protected
821 Followers 385 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), JunProf. at Uni Tübingen. https://t.co/lvCLTiKbL1
Sam Derbyshire @samderbyshire
301 Followers 289 Following Cohomology enthusiast. I've seen rings you people wouldn't believe.
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Sukant Hajra (shajra@... @shajra
1K Followers 621 Following Twitter has lost my confidence. Find me via Mastodon at https://t.co/LGYhe2rMga. Find me via Bluesky at https://t.co/57A4j6VKO3.
Cheng Shao @monadiccheng
275 Followers 422 Following
Mihai Maruseac @mihaimaruseac
2K Followers 2K Following Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear. Views my own
Dependent Types @dependent_types
1K Followers 2 Following Mostly an automated feed from the Dependent Types reddit
Rob Rix @rob_rix
4K Followers 851 Following colouring outside the lines increasingly, see at robrix at types dot pl instead
Vladislav Zavialov @int_index
2K Followers 259 Following Haskell programmer since 2012; GHC contributor since 2018.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Lambda Days @LambdaDays
3K Followers 995 Following 📅 Save the date for 2026: 11-12.06 Celebrate with us functional languages like #Haskell #Scala #Elm #Elixir #Gleam #Clojure 🦋We're on other platforms too📅
Monadic Party @monadic_party
309 Followers 294 Following A Haskell summer school in Poznan and a meetup from Warsaw. We love functional programming.
Csaba Hruska @csaba_hruska
1K Followers 686 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧
Haskell Weekly @haskellweekly
7K Followers 349 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
gelisam @haskell_cat
1K Followers 308 Following AI Safety ∩ Programming Language Theory. Professional Haskell developer at https://t.co/qG4jsBEIIO, opinions are my own.
Bryan Richter @chreekat
199 Followers 239 Following Haskell and bicycles in an unordered heap. Now even more unordered as the DevOps Engineer for the Haskell Foundation!
Jens Petersen 🇵�... @juhp
625 Followers 1K Following [email protected]; @RedHat; @fedora Workstation, @FedoraI18n, @fedorahaskell, @teamsilverblue, @haskellstackage; he/him #stopgenocide
Krzysztof Gogolewski @monoidal_
42 Followers 124 Following
Andreas Klebinger @AndreasK_Tweets
406 Followers 54 Following Working on the Glasgow Haskell Compiler.
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Pi Writes Code @PiWritesCode
71 Followers 89 Following @PiDelport writes codes. 👩🏼💻️ Rust, Python, Haskell, FP, types, testing.
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Tomasz Tylec @ttylec
35 Followers 66 Following PhD in mathematical physics, interested in functional programming and data science
The Haskell Interlude @HaskelInterlude
586 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 874 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture
Allure of the Stars @AllureRoguelike
553 Followers 1K Following near-future Sci-Fi #roguelike and tactical squad game written in #Haskell #roguelikedev #gamedev
Taylor Fausak @taylorfausak
2K Followers 91 Following
Sebastian Graf @sgraf1337
287 Followers 254 Following Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]
Artem Pelenitsyn 🇺... @ulysses4ever
833 Followers 326 Following Postdoc at @purdue_pl / PhD in CS from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocateTrends for United States
You might like
