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
-
Following697
-
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 824 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 523 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. ✝️
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.
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 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Redacted @cercerilla
2K Followers 460 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 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Ayan Ghosh Dastidar @cxwboysfromhxll
10 Followers 166 Following Code, play the 🎸, code a little more, play some more 🎸, eat, workout, sleep...thats all i do...
invest in (TESLA) @atuidesu_0077
205 Followers 517 Following
Proton Beam @BeamProton
49 Followers 146 Following
Val Saven @valsaven
161 Followers 580 Following Software engineer passionate about tech, travel and space exploration 🌌 | Vue.js & TypeScript dev | Touhou & AE86 fan | Dreaming of an 【h+】³ future 🧬
Awsrooma @Awsrooma9595
5 Followers 193 Following
Javi @elduderinob
4 Followers 33 Following Lights out by nine, alpha vibes by ten. I live off pizza boxes and questionable burritos—but don’t get it twisted. I don’t skip leg day, I skip social events.
Uibriesau @Uibriesau72177
12 Followers 528 Following
Activa Vita @ActivaVita90286
134 Followers 3K Following
Dispo Mail @MailDispo
18 Followers 811 Following
GenXRP @OfficiaGenXrp
267 Followers 2K Following Bitcoin, XRP, and crypto enthusiast. Tennessee Volunteers, Chicago Bears, and Atlanta Braves! Husband and Father. America First!
Srinivas Reddy @SrinivasRe94958
34 Followers 893 Following
Andrei Poplaukhin @Andrei_519
29 Followers 18 Following
smile @Smilex_P
230 Followers 5K Following
karthik suresh @karthikisk2
19 Followers 3K Following
Solomon @toothless_hippy
21 Followers 56 Following
Vanta @Vantanilla
23 Followers 282 Following Just a guy trying to add some value to the world. Currently building a custom wireless split ergonomic keyboard
方讫 @UnderlingOfNPU
31 Followers 526 Following
fairy intelligence @GoblineM60653
7 Followers 338 Following changing myself to me .🦚.NON TECHNICAL PERSON.A SIMPLE PERSON.JUST WANT TO GROW.🌿🌿🌿🌿🎯
Esh @Esh2190
245 Followers 3K Following
Kummer Speck @2Canadians
757 Followers 4K Following Consultant. English & French tw/x/eets. Tech | Start-up | BizOps
Vinit @_weneat_
15 Followers 43 Following
suneil19 @suneil19
85 Followers 4K Following
Hasan Saikat @hasaansaikat
216 Followers 2K Following Software Engineer | Competitive Programmer | Interested in Algorithms, Backend, Data, Cloud & AI.
anon trying to learn @anon_learning
1 Followers 187 Following learning and doing stuff checkout my github : https://t.co/iK9s0VbYkR
SagaEye @CybrixTacitus
43 Followers 529 Following Building AI-powered tools & writing fiction. Veteran coder, indie product builder, and lifelong learner. Exploring the frontier of automation, knowledge manage
Imran @profundae
12 Followers 144 Following
Mr Dimkpa Kinikanwo @NijaDeveloper
19 Followers 105 Following 🚀 Golang Fullstack Engineer 💻 Crafting high-performance systems with Go, 📦 PostgreSQL | MongoDB | Docker 🌍 Based in Port Harcourt, Nigeria
𝐇𝐎𝐏𝐄 𝐈... @shalommukisa
718 Followers 5K Following 🌍 You + Us = A future worth building ¦ Humanity in Action! Supporting Children & Families! Real life stories. Real impact 🫶 ¦ 👇 Be the reason ↓ Donate Now 📥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 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!
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
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
julesh @_julesh_
10K Followers 137 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
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.
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Redacted @cercerilla
2K Followers 460 Following
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
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 478 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 686 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 74 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
177 Followers 196 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
452 Followers 663 Following The original open source cowboy Just became a father- and all opinions are my own
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 436 Following Former #1 Poker Player in Singapore. Quit to seek transcendental experiences. Currently building AI project in stealth mode.
Abhishek De @throughabhishek
99 Followers 514 Following research fellow @unibirmingham | meme economist | Zizek impersonator | ☭
Kate Lucas @katelucascomedy
87 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
385 Followers 899 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
606 Followers 66 Following Lecturer in Computing Science at Glasgow University
Chris Lattner @clattner_llvm
86K Followers 189 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 799 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 508 Following Presenter. Programmes include @beatonthebeeb (incl BBC Introducing) and others. Views expressed here are my own.
The Secret Barrister ... @BarristerSecret
485K 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
36K 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 891 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 50 Following I write daily threads about the greatest minds on philosophy, science, and history. Follow @GeniusGTX to celebrate the human genius. Viral Thread Ghostwriter...
Thorsten Ball @thorstenball
35K Followers 961 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. @sourcegraph working on @ampcode. Ex-@zeddotdev. Programming where the rubber hits the road.
Malcolm Wallace @malcolm_wallace
490 Followers 196 Following haskell hacker, vicar’s wife, accidental banker.