Graham Hutton @haskellhutt
Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴 cs.nott.ac.uk/~pszgmh Nottingham, UK Joined January 2018-
Tweets3K
-
Followers8K
-
Following696
-
Likes8K
“Practical Effects” - the drink of choice for the discerning #Haskell programmer :-)
Back from a fabulous couple of days at @MorstonHall, and great to meet and be served by chef @ChefGalton! Pics of a few standout dishes below - X only allows 4 otherwise I'd post more :-)
Delighted that "The Calculated Typer" with @zacgarby and @pa_ba has been accepted for the Haskell Symposium in Singapore :-) people.cs.nott.ac.uk/pszgmh/typer.p…
FP fans - 12 new PhD dissertation abstracts have just been published in the Journal of Functional Programming for your reading pleasure! tinyurl.com/2kj67ekn
All @TheOfficialACM publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!
FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 30th May 2025. Please share! tinyurl.com/jfp-phd-abstra…
Just finished teaching my introductory and advanced Haskell courses for this year! The full set of videos for each course are now freely available from tinyurl.com/intro-haskell and tinyurl.com/advanced-haske….
Just a few days left now to register for the Midlands Graduate School (MGS)! Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. 7-11 April 2025, Sheffield, UK. Registration closes Monday 24th March. Please share! tinyurl.com/MGS-2025
The Shark is Broken with @ianxshaw was the best thing I've ever seen in the theatre - amazing cast and performances, and we were quite literally hooked from start to finish! @RoyalNottingham
Registration is now open for the Midlands Graduate School (MGS) in the Foundations of Computing Science, 7-11 April 2025, Sheffield, UK. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. Please share! tinyurl.com/MGS-2025
Great @computer_phile video on automatic differentiation by @MarkrdWilliams from the FP lab! youtu.be/QwFLA5TrviI?fe…
New @computer_phile video just dropped :-) youtu.be/OKc2hAmMOY4
FP fans - looking for some interesting new year reading? JFP has just published the latest batch of ten PhD abstracts for your reading pleasure, with links to the full dissertations. doi.org/10.1017/S09567…
Haven't made beef bourguignon in ages, but the lost-in-time days between xmas and new year is a perfect chance to have another go. It took most of the day, but worked out really well. Many thanks to our local butcher @JohnnyPusztai for the excellent beef!
FP folks - 10 fully funded PhD studentships available in Nottingham! Please share, and pass on to excellent students who may be interested in joining the Functional Programming Lab. people.cs.nott.ac.uk/pszgmh/10-phds…

Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
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
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
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. ✝️
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
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Yaron (Ron) Minsky @yminsky
16K Followers 338 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Loris D'Antoni @lorisdanto
8K Followers 768 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Redacted @cercerilla
2K Followers 459 Following
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
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.
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Derek Dreyer @HerrDreyer
3K Followers 203 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Son Nguyen @callmesun_7
1 Followers 48 Following
livmorgan @livmorgan9019
62 Followers 2K Following
guaraqe @guaraqe
6 Followers 28 Following
Tyagraj @Tyagrajbhatt
462 Followers 4K Following - AI ML Researcher - eCommerce Specialised 🛒💸💰 - Tech Leader & Full Stack Developer - Management Maestro 📊 - Crafting Innovative Solution
MyBizAI @MyBizAI
3 Followers 176 Following
saiharsha @saiharsha008
17 Followers 513 Following
0xWulf @hexawulf
342 Followers 4K Following Sharing AI insights & study strategies 📚 | Computer Science @ IU International University 🐺 “Wulf” is my real name | Based in Taipei | 📧 [email protected]
Eirikr The Red @EirikrCA
774 Followers 337 Following Gamer, tech nerd & tinkerer; wanderer & adventurer, Sci-Fi & book fan, deals maxxer. Typo King🤴. (Atypical politics: ~CentroLeftLibertarian). Sarcastic, Crass.
Alexis C. @alexiscorrieras
139 Followers 2K Following
Dan Liman @danliman2000
224 Followers 5K Following
Aditya Chaudhary @AdityaChau12666
7 Followers 117 Following
gabriel as dev @beckandGabs
176 Followers 2K Following melhorando como pessoa enquanto aprendo a codar
Faz3 @HamdanBinMohf3
172 Followers 3K Following Every picture has a moment I would love to share with you. #Faz3 #f3
shivansh puri @shivanshpu29280
230 Followers 4K Following
Eva @Eddie122299
96 Followers 2K Following
Harsh Vardhan Singh @harsh_sing20281
32 Followers 1K Following
Curious Mix @curious_mix
188 Followers 1K Following Pro hardcoder, deadlocked optimizing reality w/ weights, data structs & chaotic race conditions.
Dan @DanIskandarov
51 Followers 2K Following
Gire @argireraj
59 Followers 3K Following
Gökmen Görgen @gokmengorgen
2K Followers 399 Following SWE - #python #go #lua #lisp Former Bass Guitarist BEV Driver - Tesla Reflink: https://t.co/YS0enyhsE5
A҉l҉e ✹ @italianlupin
32 Followers 7K Following This is your life and it’s ending one trade at a time.
Urina Rina @UrinaRina62640
0 Followers 160 Following
faiq zaman @faiqzam51077164
42 Followers 529 Following Malware, Rats & virus DEVELOPER, CEH CPTE & OSCP & Reverse Engineer 🇵🇰Cyberspace of Pakistan 🇵🇰
jaqeSne72 @7jf4A_o
20 Followers 139 Following
sss @sss71096730
0 Followers 65 Following
Haskell Junkie @j48008
0 Followers 8 Following
Hussein Kizz ★ @hussein_kizz
299 Followers 2K Following 👨💻 Always on localhost 🦄 @TheZFramework, @dev_gig, @nile_squad, https://t.co/LVpbpf0fFz 🐴 prev lead: @jsKampala, Crafting Delta AI @nilesquad_delta 🟦
Jas @pristinejas
5 Followers 2K Following
ωちゃ @ice_7515
163 Followers 495 Following
gooserelin (Melanated... @gooserelin
62 Followers 528 Following ''Most unhinged trans woman'' - mutual read more on https://t.co/6GIf1OQrfb
Muhammad Ibrahim @Muhamma70231216
230 Followers 6K Following
gmtmambim @SECRETGARDDEN
4 Followers 148 Following
Timbo @tommotommo321
20 Followers 301 Following
wilhelmjung @wilhelmjung
209 Followers 2K Following Focus on GenAI, AI Infra and LLM Inference System.Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Erik Meijer @headinthebox
31K Followers 2 Following
Edward Kmett @kmett
16K Followers 822 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 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
julesh @_julesh_
10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
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
Yaron (Ron) Minsky @yminsky
16K Followers 338 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Loris D'Antoni @lorisdanto
8K Followers 768 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Redacted @cercerilla
2K Followers 459 Following
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Blake Scholl 🛫 @bscholl
110K Followers 2K Following Founder/CEO @boomaero. Life is short so if you want to do a lot, it helps to move fast.
MuniHac @MuniHac
376 Followers 139 Following MuniHac is an annual three-day Haskell hackathon and conference in Munich that brings together Haskell developers and enthusiasts from across the globe
Overtone Brewing Co @Overtonebrewing
3K Followers 222 Following Brewing fresh American style beers and delivering straight to your door. Get next day delivery when you order before 2pm (Mon-Thurs)
Morston Hall @MorstonHall
5K Followers 477 Following Proud to be holders of a Michelin star since 1999, 4 AA rosettes & 4 AA Red stars @tracyblackiston @galtonblackiston @no1cromer
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
One Happy Fellow @onehappyfellow
2K Followers 702 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
Dave W Plummer @davepl1968
88K Followers 75 Following Hi! I'm Dave Plummer. You might remember me from such Windows components as Task Manager, Windows Pinball, Calc, ZIPFolders, Product Activation, etc. Cheers!
Robert Krook @Rewbert
174 Followers 195 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3
Christian Taylor @DeOpenSourceGuy
474 Followers 691 Following Just became a father! Head of the Open Source Office and Incubation at Intersect Also Part Time Consulting as the Open Source Cowboy
geeta pendse @geetapendse
4K Followers 2K Following Journalist I Broadcaster I Presenter 'BBC Politics East Midlands' I Creator ‘The 1in5 Podcast’ I Agent: [email protected]
Låpsley @lapsleyyyy
22K Followers 1K Following My new album I’M A HURRICANE I’M A WOMAN IN LOVE is OUT NOW ⚔️🕯️🌪️ UK TOUR ONSALE NOW ⚠️
Fat Dog @fatdog_fatdog
2K Followers 7 Following WOOF. OUT NOW. https://t.co/sDGRmWVRRw THE WOOF. TOUR https://t.co/TOAUBDEOJ9
Lakeside Arts @LakesideArts
17K Followers 2K Following The University of Nottingham’s public arts centre & museum.
Chana @ChanaMessinger
5K Followers 2K Following the stakes and the world and the stars Head of Video for 80,000 Hours - send me content ideas! Opinions are my own, though.
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Rescue Rooms @rescuerooms
18K Followers 2K Following Predominantly gig chat, from your friendly neighbourhood late bar, venue & club.
TRCH @RoyalNottingham
20K Followers 2K Following The Theatre Royal & Royal Concert Hall, Nottingham. Bringing you West End musicals, drama, music, dance & comedy. Here between 9.30am-5.30pm, Monday to Friday
Wayne Yap @wayneyap
37K Followers 445 Following Former #1 Poker Player in Singapore. Quit to seek transcendental experiences. Building Concordant AI
Abhishek De @throughabhishek
99 Followers 515 Following research fellow @unibirmingham | meme economist | Zizek impersonator | ☭
Kate Lucas @katelucascomedy
86 Followers 0 Following Musical Comedian - utterly useless at everything else. https://t.co/20HJfTt6GM https://t.co/XyPN5X1Kn8
Hal Cruttenden @Halcruttenden
46K Followers 1K Following Stand up comedian, actor and writer, whose new tour starts in September 2025. I’m hcruttenden on Instagram and Hal Cruttenden on Facebook
Régis Kuckaertz @regiskuckaertz
386 Followers 900 Following Dirty dancer. For the nth time, no I will not limbo, you monster!
The Australian Pink F... @aussiefloyd
11K Followers 609 Following The official Twitter account of The Australian Pink Floyd Show, the biggest and most spectacular Pink Floyd Show on the planet. #34yearsold #aussiefloyd
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Jeremy Singer @jsinger_compsci
607 Followers 66 Following Lecturer in Computing Science at Glasgow University
Chris Lattner @clattner_llvm
87K Followers 194 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠
The Bodega @bodeganotts
12K Followers 1K Following Bar. Club. Live music venue. The home of Bodega Lager. 🍺
Neringa Young @NeringaYoung
1K Followers 798 Following Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH
the beat @beatonthebeeb
57K Followers 12K Following Music and more from across the East Midlands with @deanjacksondj and a few music loving mates. Our personal music appreciation account.
Dean Jackson @deanjacksondj
6K Followers 506 Following Presenter. Programmes include @beatonthebeeb (incl BBC Introducing) and others. Views expressed here are my own.
The Secret Barrister ... @BarristerSecret
483K Followers 1K Following Wears cape, fights crime. Not Batman. • Sunday Times No.1 bestselling author • The Secret Barrister • #FakeLaw • Nothing But The Truth • AKA @SJFleetAuthor.
Gioele Zardini @GioeleZardini
3K Followers 637 Following Rudge and Nancy Allen Assistant Prof @MIT, Ph.D. from @ETH_en, Postdoc @Stanford. Compositional engineering driven by societal challenges🇨🇭Recruiting PhDs!
Mercury @mercury
37K Followers 308 Following Mercury is the fintech more than 200K ambitious companies and entrepreneurs trust with their finances
ZuriHac @ZuriHac
2K Followers 48 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Hayley Ellis @Hayles_Ellis
9K Followers 887 Following If you can’t handle me at my worst, then you probably shouldn’t be a doorman at a Wetherspoons. Come see my new tour show
XBOW @Xbow
10K Followers 6 Following Bringing AI to offensive security by autonomously finding and exploiting web vulnerabilities. Watch XBOW hack things: https://t.co/D5Mco1u8zM
Noam Zilberstein @NZComplete
192 Followers 93 Following Recovering tech worker turned PhD student @CornellCIS. PL, Logic, Formal Verification
Genius Thinking @GeniusGTX
251K Followers 51 Following I write daily threads about the greatest minds on philosophy, science, and history. Follow @GeniusGTX to celebrate the human genius. Viral Thread Ghostwriter...