Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
Centre for Logic and Philosophy of Science (CLPS) @clpskuleuven.bsky.social The Centre for Logic and Philosophy of Science (CLPS) at the Institute of Philosophy, @kuleuvenuniversity.bsky.social focuses on #logic & #philsci, with a concentration on the philosophies of the special sciences https://hiw.kuleuven.be/clps #philsky #HPS
Bhargav Kulkarni @bhargavkk.tngl.sh PhD Student @ University of Utah
probably Gamin'
bhargavkk.com
Emory ๐ฉถ @emory-f8.bsky.social I write dark Victorian fiction and specialize in the long 19th century.
She/Her ๐ณ๏ธโ๐๐ช๐ธโก๏ธ (I'm always kind)
#writer #historian #Lesbian #sapphic #wlw #Hispanic #feminist #goth #vampires #jpop #bibliophile
NO DMs | Terfs & Narcissists DNI
edwintorok.eurosky.social @edwintorok.eurosky.social 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Josh Horowitz @joshuahhh.com joshuahhh.com
t-shirt size: medium
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI ๐
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Dan @handackett.bsky.social Physics / ML / AI / numerical QFT / lattices
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
wokeness within the boundaries of mere reason @meyoucoward.bsky.social 
Eleanor Lin @eleanormlin.bsky.social CSE PhD Student @ University of Michigan | BA Computer Science/Linguistics @ Columbia University | ๅฐ็ฃๆๆๅฏ้่ช่จ้
็ฎ @ National Tsing Hua University | AKA ๆๆธๅฎ | emlinking.github.io
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Helena Fang @helenafang.bsky.social PhD student at MIT philosophy; learning how to flip a fair coin. (Literally.) www.helenafang.com
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu โ25
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Farnaz Jahanbakhsh @farnazj.bsky.social assistant prof in Computer Science & Engineering at the University of Michigan, prev postdoc at Stanford HAI, PhD at MIT CSAIL, research in HCI and Social Computing- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
๐ @rntz@recurse.social
๐ฆ @arntzenius
Attempting to use bsky more now that people are showing up.
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. โAnarchistโ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.- P @plumenator.bsky.social @plumenator.bsky.social
Matt Keenan @negabinary.bsky.social 
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. โ Compilers, WebAssembly, Java, Rust, Go โ prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit โ organizer Papers We Love Milano
evacchi.dev
Internet Hedgehog ๐ฆโฉ @ezhik.jp A hedgehog in Tokyo.
๐ฆ๐ฆ๐ฆ๐ฆ๐ฆโฉ
End-user programming believer. โฉ
ๆฅๆฌ่ชOK
https://ezhik.jp
https://mastodon.social/@Ezhik
Mike Samuel ๐ฃ @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
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.
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
@delob.bsky.social @delob.bsky.social 
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
Rafael Ferreira @rff.bsky.social 
asa @asap.systems nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
I Quit Smoking ๐ญ ๐ ๐ @iquitcigs.bsky.social Anti-Smoker My Website campralquitsmoking.net See How I Quit 20 Years Ago Fought Nicotine 35 Years Supporting others who Quit ๐ญ STL MO โค๏ธTo Promote Authors ๐ & Ozarks ๐ Photographer ๐ท Pez Add @piperformissouri.bsky.social @jesspiperfanpage.bsky.social ๐
Raghav Agrawal @impactology@mastodon.social @impactology.bsky.social Product designer | Making complex systems fit ordinary human limits.
https://twitter.com/impactology
Serra Dane @serradane.bsky.social PhD student at UMich CSE
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores ๐
https://buildstash.com
Chris Ogden @ctogden.bsky.social Walton, NY
@keja.bsky.social @keja.bsky.social 
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Mark Williams @markwiliams.bsky.social I proudly support Democratic party and
Ukraine ๐บ๐ฆ ๐บ๐ธ
#BLM
โข made in USA ๐บ๐ธ
Journalist
Carmel Schare @schare.space 'puter things
https://schare.space
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
@heyitsnico311.bsky.social @heyitsnico311.bsky.social 
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social ๐ฑ ruining programming forever @ hazel.org
๐ฑ professoring @ Michigan
๐ฑ poetry
๐ฑ dendrites
๐ฑ immersion
๐ฑ flowers
๐ฑ resisting idiocracy
https://web.eecs.umich.edu/~comar
Alexander Bandukwala @bandukwala.me ๐ป Pursuing the Future of Computing
๐ฌ PhD Student @ University of Michigan (Future of Programming Lab)
๐ช Building Hazel: Live Functional Programming & Malleable Systems
๐พ Dog Parent
๐ ๏ธ Ex-Software Engineer
๐ Computing Maximalist 
David Moon @dm0ney.bsky.social PhD UMich โข building http://tylr.fun http://hazel.org โข dmoon.info