Hank Green @hankgreen.bsky.social Long Time Internet Guy
Larian Studios @larianstudios.com The independent award-winning studio behind Baldur's Gate 3 and games in the Divinity universe. Learn more about our upcoming RPG @divinity.com
Antoine Leblanc @nicuveo.gay Friendly neighbourhood queer nerd. My cutie mark is a lambda. They / them.
https://nicuveo.me
Dinosaur Comics! @qwantz.com Comics? On the INTERNET?? On WWW DOT BSKY DOT APP??
Elise Gravel @elisegravel.bsky.social Auteure et illustratrice de livres engagés et drôles pour enfants. Woke et anti-antiwoke. Ces jours-ci, je publie davantage pour les adultes qui se soucient des droits humains. Libérez la Palestine.
Denis Colombi @uneheuredepeine.bsky.social De la sociologie sauvage avec tout le confort moderne. Enseigne des trucs, écrit des livres, fait des blagues sur Batman. May contain cake.
https://linktr.ee/deniscolombi
Modiie @modiie.bsky.social Streameuse mêlant JV & Sciences Sociales 🦝🏴. Chroniqueuse pour Arte et Blast 🎙️ // https://www.twitch.tv/modiiie/
Manon Aubry @manonaubryfr.bsky.social Eurodéputée France Insoumise • Présidente de la gauche au Parlement Européen • Ex porte-parole d'ONG contre les inégalités et l'évasion fiscale, toujours activiste ✊
La France Insoumise @lfi.bsky.social Rejoignez la #FranceInsoumise pour participer aux actions près de chez vous !
-> https://lafranceinsoumise.fr/
Antoine Léaument 🇫🇷 @antoine-leaument.bsky.social Député de l'Essonne 🇫🇷🔺✊ Grigny, Sainte-Geneviève, Saint-Michel, Morsang, Fleury. Pour une République sociale et antiraciste.
Olivier Faure @olivierfaure.bsky.social Premier secrétaire du Parti socialiste 🌹
Député de la 11ème circonscription de Seine-et-Marne 🏛️
Pour rejoindre ma campagne présidentielle : https://avecfaure2027.fr
Sandrine Rousseau @sandrousseau.bsky.social Ecofeministe. Députée.
Radicalement Vôtre !
https://linktr.ee/sandrousseau
Abigail Thorn @theabigailthorn.bsky.social Actress, Writer, Creator of Philosophy Tube ⚔️
Lohar in HOUSE OF THE DRAGON; Eurus in STAR WARS; Nocturne in BALDUR’S GATE 3; Hotspur in THE PRINCE; also @KillJamesBond ✨👑
Haus of Decline @hausofdecline.bsky.social Hank of Decline
Website - hausofdecline.ca
Patreon - http://patreon.com/hausofdecline
Store - https://hausofdecline.bigcartel.com/
Iron @ironsandwich.bsky.social • he/him • Aro/Ace
• AuDHD • ACAB • anti-terf, anti-fascist and anti-lgbtphobic
• Your favorite punk à chien sans chien • ♋
Dr. Glaucomflecken @glaucomflecken.bsky.social Ophthalmologist. Comedian. Speaker. Jonathan.
EmmaSoso @emmasoso3.bsky.social Vénère, turbulente et sympa.
Butch à fleurs qui oscille entre batte à clous et cœur en or.
Je suis gouine. Pas philosophe.
ᛞᚨᛏᚨᛁᛃᚨ @datayja.bsky.social 34 • 🦉 • she/her/hey you • 🇨🇿🇪🇺🏳🌈🏳⚧ • programmer, geek, sort of a nerd • opinions are my own, RP ≠ endorsement
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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.
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
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/- M Martin Bravenboer @mbravenboer.bsky.social Computer Scientist, Hiker, Photographer
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
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
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.
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.
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-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 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
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 Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, 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
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
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Zoe Kleinman @zsk.bsky.social BBC Technology Editor 🤖
Bryan Cantrill @bcantrill.bsky.social Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Andrew W Moore (he/him) @awm22.bsky.social Stumbling through life
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Steven Murdoch @steven.murdoch.is Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
Tim Hockin @thock.in I like writing software, even if I don't get to do it much anymore. Kubernetes. Star Wars nerd, Expanse fan, dad, dork. 
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
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/
Emma Vardy @emmavardy2.bsky.social Physician. Honorary Professor of Geriatric Medicine. Delirium. Dementia. Quality improvement. Book lover. Northerner. Mum to daughter with PKU.
James Landay @jlanday.bsky.social Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
Niall Murphy @niallm.bsky.social Entrepreneur-in-residence. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Lizard Queen @pvineetha.bsky.social Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
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/
Heidi Howard @heidihoward.bsky.social 
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. 
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Jan Gray @jangray.bsky.social Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸. On hiatus! Be well.
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
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
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
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.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
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
Lorenzo De Carli @ldklinux.bsky.social Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
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
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock