Evan Czaplicki @acadia.engineering Designer of https://elm-lang.org and https://acadia.engineering
@terrorjack.bsky.social @terrorjack.bsky.social 
Typst @typst.app The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
BOB Konferenz @bobkonf.bsky.social The next BOB conference takes place in Berlin on 26 February 2027!
Organised by @activegroupgmbh.bsky.social
Also at @bobkonf@discuss.systems.
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Jiří Beneš @jiribenes.com Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
Finanzwende @finanzwende.de Wir bieten der Finanzlobby die Stirn. Mach Dich mit uns für eine faire Finanzwelt stark! http://finanzwende.de/mitmachen/
Scott Hanselman 🌮 @scott.hanselman.com I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
Robert Habeck @robert-habeck.de Ein Mensch. Ein Wort.
https://www.gruene.de/service/impressum
E L H O T Z O @elhotzo.bsky.social Mahlzeit | wichtigegeschaefte.elhotzo@heavygermanshit.de
teo @doublenegation.bsky.social writes Haskell mostly | loves public transport | studied philosophy | 🏴 | | they/them
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Jonathan Protzenko @protz.bsky.social I talk about Rust, verification, cryptography, programming languages… and pets 
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
Philipp Pohl-Krüger @matheus23.com Building iroh with the amazing folks at number 0 (n0.computer).
Generally striving to increase user agency and excited about commons networks.
Only works for Canadian CEOs, apparently.
Rust, cryptography, CRDTs & more on my feed
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
John Ericson @johnericson.me https://github.com/ericson2314/
Also volunteer member of @etany.org
Sebastian Ullrich @derkha.bsky.social makes Lean at Lean FRO
Munich, Germany
arxiv cs.PL @arxiv-cs-pl.bsky.social Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
The Rust Foundation @rustfoundation.org The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
🌉 bridged from ⁂ https://mathstodon.xyz/@de_Jong_Tom, follow @ap.brid.gy to interact
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Volt Deutschland @voltdeutschland.org Holen wir uns die Zukunft zurück.
Infos unter: volt.link/deutschland
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Der Postillon 📯 @der-postillon.com Ehrliche Nachrichten - unabhängig, schnell, seit 1845
Volker Quaschning @volkerquaschning.bsky.social 👨💼Professor für Regenerative Energiesysteme (HTW Berlin)
🔆Experte für Erneuerbare Energien, Energiewende, Klimaschutz
📖Buchautor 🎬YouTuber 🎧Podcaster
https://www.volker-quaschning.de
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
🇨🇦 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.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat- M Martin Bravenboer @mbravenboer.bsky.social Computer Scientist, Hiker, Photographer
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Caterina Urban @caterinaurban.bsky.social 
Eric Smith @ewsmith.bsky.social formal methods researcher, CEO of Kestrel Institute
@tonypan123.bsky.social @tonypan123.bsky.social 
@spailoor.bsky.social @spailoor.bsky.social 
Robert Zhang @robertzhang.bsky.social CS PhD student @ UT Austin
robertzhang.vercel.app
Functional, Valid Wooof. @ruijief.bsky.social Just a happy doggo. Fan of asiago cheese.
@formallyjon.bsky.social @formallyjon.bsky.social 
Aslan Askarov @aslanix.bsky.social 
@rakamaric.bsky.social @rakamaric.bsky.social 
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Anirudh Khatry @anirudhkhatry.bsky.social CS PhD @utaustin.bsky.social
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Bill Pugh @bill-pugh.bsky.social Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Vineeth Kashyap @vineethk.bsky.social Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Anastasia Isychev @isychev.bsky.social postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Ben Liblit @liblit.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. 
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
Junrui Liu @junrui-liu.bsky.social CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Klaus v. Gleissenthall @gleissen.bsky.social PL and Security research at VU Amsterdam https://gleissen.github.io
Erez Petrank @epetrank.bsky.social CS Professor at Technion
Éric Tanter @etanter.bsky.social 
Veselin Raychev @veselinr.bsky.social INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@earlence.bsky.social @earlence.bsky.social (Assistant) Professor at @UCSanDiego. I hacked a Stop sign once, and it is now in a museum. Also hacked a bicycle. I mostly spend my time building stuff though.