Jeremy Gibbons (@jer_gib) Twitter Following • TwiCopy

Bor-Yuh Evan Chang

@bechang

Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.

+ Follow

Aggelos Biboudis

@biboudis

Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.

+ Follow

Sam Tobin-Hochstadt

@samth

Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]

+ Follow

Edward Kmett

@kmett

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

+ Follow

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

+ Follow

Bartosz Milewski

@bartoszmilewski

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

+ Follow

nrnrnr

@nrnrnr

+ Follow

Steve McKeever

@stevemckeever

Academic (PL, FP and OCaml) - researchgate.net/profile/Steve-…, Daddy and Endurance fiend. Attempting to learn Swedishness...

+ Follow

Andrej Bauer

@andrejbauer

Mathematician, computer scientist, aikidoka

+ Follow

〚Dan R. Ghica〛

@danghica

Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.

+ Follow

Arie van Deursen

@avandeursen

Professor in Software Engineering at TU Delft. Opinions are my own. He/him. Mastodon: mastodon.acm.org/@avandeursen

+ 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

James Noble

@jameskjx

+ Follow

Juuso Haavisto

@osnnr

DPhil student in array programming languages @UniofOxford, operating system development at github.com/ponkila #BQN #NixOS

+ Follow

Ben Z 💪🤪🤳🏼

@bzotto

Forensicphile

+ Follow

School of Informatics, The University of Edinburgh

@infated

School of Informatics | The University of Edinburgh

+ Follow

Derek Dreyer

@herrdreyer

Get used to disappointment.

+ Follow

Matti Palli 🧙‍♂️

@tritlo

uncertified haskell engineer

+ Follow

Ron Garcia

@rg9119

Transmogrifies coffee into LaTeX at University of British Columbia

+ Follow

Jonathan Brachthäuser

@__protected

Researcher in computer science, all things effects, author of the Effekt language (effekt-lang.org), JunProf. at Uni Tübingen. types.pl/@effects

+ Follow

Susan Kare

@susankare

Designer of icons and graphics, now at @Nianticlabs. Enjoy creating prints and murals and crafts. Please visit kareprints.com

+ Follow

Phil Freeman

@paf31

+ Follow

Larry the Cat

@number10cat

Chief Mouser to the Cabinet Office. 18 year old tabby. Living with my sixth Prime Minister. Unofficial. I am the media, miaow.

+ Follow

Ranjit Jhala

@ranjitjhala

curmudgeon

+ Follow

VélociPListe

@anormalform

pro: @[email protected] perso: @[email protected]

+ Follow

Ulrik Buchholtz

@ulrikbuchholtz

Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham

+ Follow

Erik Meijer

@headinthebox

+ Follow

Niki Vazou

@nikivazou

Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.

+ Follow

Alexis King

@lexi_lambda

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

+ Follow

Steffen Zschaler

@szschaler

Reader in Software Engineering. MDE, Languages, SE & Theatre. Director @the_mde_network. All views my own and not of @kingscollegelon.

+ Follow

Alastair0

@alastair0

Find me on Threads (aem0) or Bluesky (alastair0)

+ Follow

Hilary Campbell

@hilaryjcampbell

Conductor and Chorus Master. MD @blossomstchoir @BristolChoral @WLondonChorus Associate Conductor @excathedrachoir DoM @KelloggOx

+ Follow

Mike Hicks

@michael_w_hicks

Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location

+ Follow

Terrible Maps

@terriblemaps

The home of terrible maps with a pinch of humour [email protected]

+ Follow

Lambda Days

@lambdadays

💥 Call for talks is open 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Elixir #Gleam and #Clojure 🦋 We're on other platforms too 🦋

+ Follow

Jonathan Aldrich

@jaldrichpl

Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.

+ Follow

Alastair Donaldson

@afd_icl

Professor of Programming Languages at Imperial College London

+ Follow

Jimmy Koppel

@jimmykoppel

Turning good engineers into great at mirdin.com . Reverse engineer. Blogs about software design at pathsensitive.com. Ph. D. in PL from @MIT.

+ Follow

KC Sivaramakrishnan

@kc_srk

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

+ Follow

WG 2.11

@wg211proggen

IFIP Working Group 2.11 on Program Generation

+ Follow

Graham Hutton

@haskellhutt

Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

+ Follow

Satnam Singh

@satnam6502

Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}

+ Follow

Talia Ringer 🟣 🎗️

@taliaringer

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

+ Follow

julesh

@_julesh_

Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]

+ 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

Category Witch

@jademastermath

Mathematics is fun

+ Follow

weird medieval guys BOOK OUT NOW !!

@weirdmedieval

by @tochterzwiebel // listen to my podcast with @aranptappers and ORDER MY BOOK OUT NOW // [email protected] for enquiries

+ Follow

cats with jobs 🛠

@catworkers

Good cats being workers • Unionized • 🦋 also on Bsky! bsky.app/profile/catwor… • Buy me a coffee (link below)!

+ Follow

Paolo Perrone

@paolopmath

Mathematician & math teacher.

+ Follow

PLRG :: Bristol

@plrg_bristol

This is the twitter of the Programming Languages Research Group at the University of Bristol. plrg-bristol.bsky.social

+ Follow

FUNARCH

@acmfunarch

ACM SIGPLAN Workshop on Functional Architecture

+ Follow

Seen and Unseen

@seenunseenmag

Discover a world that is greater, more full of meaning and sense than you ever imagined. 📰 Mag | 🎧 Podcasts: Re-enchanting, S&U Aloud, Godpod | 📩 Newsletter

+ Follow

Robin Piedeleu

@rwolffoot

boxes-and-wires scientist

+ Follow

CB Wells

@c0b1w2

Logic. Global ecological crisis.

+ Follow

The Haskell Interlude

@haskelinterlude

This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol

+ Follow

Oege de Moor

@oegerikus

CEO and founder of XBOW. Previously: Founder of GitHub Next, founder of GitHub Copilot, CEO and founder of Semmle (GitHub Advanced Security), prof at Oxford.

+ Follow

Programming Languages @ UofG

@glasgow_pl

This is the account of the Programming Languages Theme at @GlasgowCS, spanning researchers in programming language foundations, systems, and education.

+ Follow

Threatening Music Notation

@threatnotation

Cataloguing threatening music notation. DM submissions welcome—please include source whenever possible.

+ Follow

Ningning Xie

@xnningxie

Having fun with types! @UofTCompSci @GoogleDeepMind

+ Follow

Incunabula

@incunabula

Bibliophile living in rural Gascony. 🇫🇷 The history of writing and of the book - across ALL cultures, from cuneiform 𒀁 to scroll 📜 to codex 📖 to Kindle.

+ Follow