Leif Andersen
I study visual and interactive syntax (hybrid textual-visual languages) at UMass Boston. Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
@jesstessthemess.bsky.social
The trans witch your momma warned you about artist/writer as seen on The Verge.
@janelleshane.com
I write about the strange side of AI at aiweirdness.com Also a research scientist in optics. She/her. Colorado, USA
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@boogalooh.bsky.social
Former game dev now working as a Rust developer in finance. Love functional programming and making terrible games in my free time!
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@brettevans.me
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
@michaelann.bsky.social
Community AI/ML, Folk Theories, Epistemic Justice, Queer/Trans HCI. Assistant Prof of Computer Science and Communication Studies at Northeastern University. @nusealab.bsky.social director. Neurodivergent, trans woman, femme lesbian, dork.
@reforest-kelley.bsky.social
(he/him/youns) ND GNC mad Trekkie merch designer, tinkerer, putterer, fixer of broken things, deconverted seminary dropout, antifascist, propagandist for a better world being possible. Opinions mine, not my employer's. Self-employed. www.willburrows.art
@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.
@pelenitsyn.top
Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.
@ameliadobis.bsky.social
PhD Student in CS at Princeton University PL + HW Verification MSc CS ETHZ & BSc CS EPFL [she/her] 🏳️⚧️ | 🇨🇭🇵🇹 cs.princeton.edu/~ad4048 mostly on mastodon: miado@discuss.systems
@dustyweb.bsky.social
Co-author/co-editor of ActivityPub (what connects together the fediverse, including Mastodon, etc). Executive Director of the Spritely Institute. Lisp/scheme enthusiast, chaos transfem, sketcher of tiny creature drawings. https://dustycloud.org
@rreverser.com
#WebAssembly consultant You might know me from my work on OSS tools and libraries (JS / Wasm / Rust), Wasm DevRel at Google Chrome, or breaking the internet at Cloudflare. 📝 https://rreverser.com/ 📷 https://instagram.com/rreverser
@monomere.bsky.social
she/her I do pldev, gamedev and sometimes osdev, conlanging/worldbuilding and am trying to do music name may change
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@elmcitytree.bsky.social
Professor at CUNY, scholar of Blackness, comics, music, & popular culture writ large, leftist & left handed. 🇰🇳 🇺🇸 🇵🇸 🏳️⚧️ I maintain the Blackademics feed, the scholarly side of #Blacksky https://bsky.app/profile/did:plc:w4xbfzo7kqfes5zb7 Personal account
@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/
@alexknauth.bsky.social
I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random he/him | they/them & 27 http://pronoun.is/he?or=they
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@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.
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@brendanzab.bsky.social
World Builder, Artist, Programmer. Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzab
@notjack.space
rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — writes Racket — @doitwithalambda on twitter
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@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
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@warpfork.bsky.social
more social credibility than your average flock of migratory birds. a time traveler that's become poignantly aware of asparagus.
@kinderhookplates.bsky.social
Exmo after 40 years of activity. I’m also a rough stone. I’m here because I’m not going to leave it alone. Snarky liberal. Love, truth, and respect. he/him
@www.zoeblade.com
Musician, writer, programmer. Analysis and synthesis. ∞ Makes music for ContraPoints http://patreon.com/zoeblademusic
@igalia.com
Igalia is an open source consultancy specialized in innovative projects and solutions with desktop, mobile, and web technologies.
@prisonculture.bsky.social
co-founder of various organizations: Interrupting Criminalization; Survived & Punished; Sojourners for Justice Press; For the People Leftist Library Project, etc...