Peter Goodman @cxx.dev C++ developer specializing in source and binary program analysis and transformation.
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Keyboardio @keyboard.io We make good keyboards.
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Daniel Temkin @dtemkin.bsky.social Forty-Four Esolangs: The Art of Esoteric Code: https://danieltemkin.com/esolangs (2025, MIT Press)
Cameron @cameron.stream 🤙
Building machines that learn at @letta.com
https://cameron.stream
Fatih Altinok @fatih.6nok.org Web dev, functional programming a11y
ADHD, he/him
blog.6nok.org
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Anna Tsvetkov @annatsv.bsky.social Postdoc @ Princeton AI
Natural and Artificial Minds
Prev: Philosophy PhD @ Brown, MIT FutureTech
Website: https://annatsv.github.io/
Mel Andrews @bayesianboy.bsky.social I’m not like the other Bayesians. I’m different.
Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Julien Vanegue @jvanegue.bsky.social CTO Office / Head of Infrastructure & Security Research at Bloomberg. Interested in software, systems, and network verification at world scale.
Steve Downey @sdowney.org Professional C++ nerd. I worked to make optional<T&> happen. Working to make Text less bad in C++.
Whole person, not a brand. Posts about politics, software, books...
Software engineer at Bloomberg LP
Views are my own
he/him
@sdowney@mastodon.social
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Alperen Keleş @keles.bsky.social METU CENG 21'
PhD Student at UMD
Programming Languages/Formal Verification/Random Testing
Writing at http://alpkeles99.medium.com
Twitter: @keleesssss
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
Nick Rioux @nickrioux.bsky.social Programming will get better.
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Daniel Sainati @sainati.bsky.social PhD student at Penn studying type systems | sainati.pl
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
@hannelita.bsky.social @hannelita.bsky.social 
Emrah Safa Gürkan @jeandpardaillan.bsky.social 
Mustafa B. Bozkurt 🦥 @lexhistoriae.bsky.social Yazar| Youtuber | Malumatfurûş
https://linktr.ee/LexHistoriaeLink?utm_source=linktree_profile_share<sid=7e705a6d-0252-4425-a84b-4e4b1df793b0
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Ekrem İmamoğlu @ekremimamoglu.com İstanbul Büyükşehir Belediye Başkanı | Cumhurbaşkanı Adayı
idilo @nyxieeee.bsky.social tescilli hukuk ve sinema tutkunu // ışıklar kıraathanesi’ndeki dayının deyişiyle “allahsız feminist tosbağa” // atatürk düşmanları sayfamdan ve ülkemden defolabilirler
Mustafa Avcı @mavciefendi.bsky.social Etnomüzikolog, kültür tarihçisi. müzikyen, besteci lavta-sever || Ethnomusicologist, musician, composer.
mavciefendi.com
email: mavciefendi@gmail.com
Sezen Ünlüönen @sezenunluonen.bsky.social I write novels.
I work on Anglo-Ottoman literary interactions in the nineteenth century.
https://iletisim.com.tr/kisi/sezen-unluonen/11719
https://www.instagram.com/sezen.unluonen/
Hayriye @hireeyeah.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
PLT_cheater @cheater00.bsky.social 
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social- S ⟦Simon Charlow⟧ @simoncharlow.com linguist
simoncharlow.com
Sy Brand @tartanllama.xyz bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Caspar @ghostrights.bsky.social CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Armağan Ekici @armaganekici.bsky.social Yazı, çeviri, müzik.
ekici.blogspot.com
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Dan Grossman @dangrossmanseattle.bsky.social 
Pierce Darragh @pdarragh.bsky.social he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
E. Mehmet KIRAL @emehmetkiral.bsky.social Matematik falan.
Roland Rodriguez @govcraft.ai Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Sam Harshbarger @samharshbarger.bsky.social Writer and researcher interested in the history and politics of Eurasia.
Deniz Oktay @denizzokt.bsky.social 👀 || ESM3 || Princeton PhD || MIT BS/MEng || former ai resident @google, intern @nvidia || Bay Area native
Informaticien spé philo 🐫 @cyranhoe.bsky.social Doctorant en informatique au LIP6 | 🏳️🌈 | Rock prog et Kylie Minogue
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
@ercancankaya.bsky.social @ercancankaya.bsky.social 
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Mustafa Türkan @mturkan.bsky.social Studies cinema’s visual politics in late Ottoman and early Republican Turkey | logistics of perception, disaster histories & speculative historiography. https://mustafaturkan.academia.edu/research
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Batuhan Taskaya @isidentical.bsky.social Hopeless TV critic, Python Core Developer, and a bunch of other boring stuff. 
Yagiz Nizipli @yagiznizipli.com yagiz.co
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Müsemma S. @musemma.bsky.social Kabardic.com
Max Kreminski @maxkreminski.bsky.social https://mkremins.github.io
Geoffrey Litt @geoffreylitt.com Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Rob Stewart @robstewartuk.bsky.social Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "Yam Yam" by No Vacation
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Benno Stein @bennoste.in bennostein.org
Miguel de Icaza @migueldeicaza.bsky.social 🍉Fun Stack Vibing at @xogot.bsky.social
Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
n/a @dgvuyr4567ivdwru55.bsky.social 
İlker Aytürk @ilkerayturk.bsky.social 
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Mehmet Hakan Satman @jbytecode.bsky.social Professor of Numerical Methods @ Istanbul University | Associate Editor @ Journal of Open Source Software (JOSS)
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science