Richard Eisenberg (@raehaskell) Twitter Takip Ettikler • TwiCopy

Sjoerd 슕 Visscher

@sjoerd_visscher

he/him types.pl/@sjoerd_vissch… bsky.app/profile/sjoerd… tweag.io strijpskamerkoor.nl 👫@boekencurator

+ Follow

Justin Lê

@mstk

jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him

+ Follow

Morabijn

@morabbin

Haskeller working on @fbinfer @ Meta; Galois Co-Founder; Ex-Head of SCB Strats; Husband; Dad; vintage geek. Views my own. He/him. #BlackLivesMatter

+ Follow

@[email protected]

@donsbot

Not on Twitter anymore. Follow me at aus.social/@donsbot and threads.net/@dons00

+ Follow

Edward Z. Yang

@ezyang

I work on PyTorch at Meta. Chatty alt at @difficultyang. Currently on parental leave and doing a lot of AI coding, including authoring codemcp.

+ Follow

Jon Purdy

@evincarofautumn

they • PL designer/developer/theorist • math • code • science • Haskell

+ Follow

sclv

@sclv

"more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • workerorganizing.org

+ Follow

Edward Kmett

@kmett

Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai

+ Follow

Bartosz Milewski

@bartoszmilewski

Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]

+ Follow

José Manuel Calderón Trilla (@jmct.bsky.social)

@josecalderon

Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire

+ Follow

Patrick Bahr

@pa_ba

Associate Professor in Computer Science at IT University of Copenhagen social.itu.dk/@patrick

+ Follow

Cyrus Omar (now mainly on bsky)

@neurocy

🌱 laying foundations for the future of programming @ hazel.org 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew

+ Follow

Chris Smith

@cdsmithus

Software developer and amateur (but published!) ring theorist. Volunteer K-12 math/CS teacher. Haskell enthusiast. He/him.

+ Follow

Yaron (Ron) Minsky

@yminsky

Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social threads.net/@yaronminsky

+ Follow

Andrew Myers

@andrewcmyers

Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.

+ Follow

Joachim Breitner

@nomeata

Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata

+ Follow

Andrew Fitzgibbon

@awfidius

Technical Fellow, Graphcore. Love beautiful code, and beautiful hardware to run it on.

+ Follow

Sam Derbyshire

@samderbyshire

Cohomology enthusiast. I've seen rings you people wouldn't believe.

+ Follow

Utku Demir

@utdemir

Moved to: @[email protected]

+ Follow

Loris D'Antoni

@lorisdanto

A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.

+ Follow

joomy

@joomy

researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, types, metaprogramming, linguistics. (for 🇹🇷 tweets, see @vowelharmony)

+ Follow

Alexander Granin

@graninas

📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture

+ Follow

Stephen Diehl

@smdiehl

Left this hellsite for BlueSky. bsky.app/profile/www.st…

+ Follow

Haskell

@haskellorg

Committed to a welcoming, vibrant & ﬂourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the Haskell.org Committee

+ Follow

Ben Gamari

@bgamari

I work on the Glorious Glasgow Haskell Compiler at @WellTyped.

+ Follow

Andrew K. Hirsch

@andrewkhirsch

Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.

+ Follow

Andrew Boardman

@myshoggoth

Director of Engineering at @getwellrewarded Former ED of @haskellfound My own opinions and not necessarily those of my employer.

+ Follow

Éric Tanter

@etanter

CS Prof @ UChile. Gradually inconsistent.

+ Follow

Gaël Deest

@gael_deest

Software engineer (Haskell and all-things-lambda addict. PhD on FPGA accelerator design. Secretly hates computers. Openly loathes (most) user interfaces.

+ Follow

Georgi Lyubenov

@googleson78

pfp by @elettln

+ Follow

Alexis King

@lexi_lambda

computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

+ Follow

Matt Parsons

@mattoflambda

Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!

+ Follow

Sam Lindley

@reifyreflect

+ Follow

gabby

@gabriellag439

Author of @dhall_lang, haskellforall.com, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️

+ Follow

Nicolas Wu

@nicolasgwu

Reader in Computer Science at Imperial College London

+ Follow

Dmitrii Kovanikov

@chshersh

Functional Programming account #1. Senior SWE at Bloomberg. I write OCaml for money. All opinions are my own.

+ Follow

Greg Morrisett

@gmorrisett

Dean & Vice Provost, Cornell Tech

+ Follow

Noam Zilberstein

@nzcomplete

Recovering tech worker turned PhD student @CornellCIS. PL, Logic, Formal Verification

+ Follow

Sebastian Graf

@sgraf1337

Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]

+ Follow

paulette d. koronkevich @[email protected]

@koronkebitch

preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)

+ Follow

Redacted

@cercerilla

+ Follow

Dad×2_jack

@iceland_jack

Haskell

+ Follow

Hithroc Mehatoko

@hithroc

Haskell Programmer

+ Follow

KC Sivaramakrishnan

@kc_srk

Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.

+ Follow

Dimitrios Vytiniotis

@dvytin

+ Follow

Yao Li

@lastland0

He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]

+ Follow

Tweag

@tweagio

The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.

+ Follow

Flying Guibou

@flyingguibou

Once graphical programmer, now FP addict, #nix #Haskell. #skydiving #running. Former apolitical, privileged, learning about far left. He/Him.

+ Follow

Tim Sears

@cstimsears

Groq On

+ Follow

Barry Jay@the_trees

@jay59009444

Deep ideas, simple products

+ Follow

Martijn Bastiaan

@ucallbyneed

Haskell fan | Clash Compiler developer | /u/callbyneed

+ Follow

Cheng Shao (@[email protected])

@monadiccheng

He/him. Opinions are my own.

+ Follow

Bind The Gap

@bind_the_gap

🚅 Change here for the #FP line 📰 Modern and cosy #Haskell and FP monthly newspaper 💙 by @kowainik @chshersh @vrom911

+ Follow

Tom Ellis

@tomjaguarpaw

Groq, Haskell, Bluefin, Opaleye

+ Follow

Edward Kmett

@edwardkmett

This account was created due to an incident on Feb 13th, 2021. I'm mothballing it for now. Follow @kmett.

+ Follow

Max ⊶ New @[email protected]

@profmaxnew

Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️

+ Follow

Talia Ringer 🟣 🎗️

@taliaringer

Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

+ Follow

Csaba Hruska

@csaba_hruska

I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧

+ Follow