PL Researchers and Designers

@thomjp.bsky.social

@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

@kirancodes.me

Trans girl 🏳️‍⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me

@alcidesfonseca.com

Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com

@mcnuttandrew.bsky.social

Professing at University of Utah vis/hci/programming interfaces (He/his) http://mcnutt.in/

@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.

@ngernest2.bsky.social

PL PhD student at Cornell ngernest.github.io

@dynamicaspects.org

Making software more open, explorable and self-explanatory Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org

@larkworthy.bsky.social

Computers and decentralization.

@tomasp.net

Assistant prof at Charles University. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.

@colelawrence.com

End user programming & AI tool designer. 🛠️ CTO at @forethink.ai & https://phosphor.co 🦀 Rust NYC / https://RustEastCoast.com organizer 🙋🏻‍♂️he/him

@wolkenmachine.bsky.social

In(ter)dependant researcher and toolmaker. Currently inventing programmable ink at Ink&Switch. http://wolkenmachine.nl

@svishnus.bsky.social

PL, Systems, & Math @umich 🏃🧗🏋️

@negabinary.bsky.social

@mechadense.bsky.social

@jayl.in

♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR she/her jayl.in

@mcoblenz.bsky.social

Assistant Prof. at UC San Diego. Helping people write better software.

@leif.pl

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

@mwh.nz

I make programming languages and interfaces at Victoria University of Wellington

@briantrice.bsky.social

Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu

@joepolitz.bsky.social

https://jpolitz.github.io

@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.

@qexat.com

local symbiont. genderless dividual with unsolved dysfunction issues

@pigworker.bsky.social

they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi

@stefan-marr.de

Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.

@lambda-calcul.us

Prof at UMD CS.

@kcsrk.info

Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info

@krismicinski.bsky.social

kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.

@lexi-lambda.bsky.social

computers can be understood • she/her, ⚢ • Chicago

@hilacodes.bsky.social

Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her

@jmct.bsky.social

Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire

@yminsky.bsky.social

Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com

@satnam6502.bsky.social

Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org

@ltratt.bsky.social

Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/

@predr.ag

Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him

@chrisshank.com

Dissoℓving the web from the inside out with @folk.systems

@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.

@samth.bsky.social

Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN

@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

@taliaringer.bsky.social

@paulsonnentag.bsky.social

No more killer apps, kill the app!

@worrydream.com

worrydream.com dynamicland.org

@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.

@marianoguerra.org

🧑🏽‍💻 Co-founder of Gloodata & Instadeq 📘 Co-author of https://wasmfromthegroundup.com/ 📰 Future of Coding Weekly: https://newsletter.futureofcoding.org/join/

@zee.town

eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "Long And Lonesome Road" by Shocking Blue

@stevekrouse.com

@thesephist.com

thought & craft

@todepond.com

todepond.com ✵ London ෴ @tldraw.com

@jaredforsyth.com

trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site

@slim.bsky.social

Pidgin algebraist <( ') https://slim.computer

@taylor.town

🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀 taylor.town 🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀

@amyko.phd

Professor @ University of Washington iSchool. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. For fun, I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.

@fullmoon.id

Author of Dhall, http://haskellforall.com, Nix Steering Committee, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet

@ionchy.ca

it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️‍🌈 https://ionathan.ch

@mpg.is

aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer

@alphaconvert.bsky.social

CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.

@tonofcrates.bsky.social

@josevalim.bsky.social

Creator of Elixir. Working at Dashbit and Livebook.

@joshuahhh.com

joshuahhh.com t-shirt size: medium

@jonathoda.bsky.social

Dissident computer scientist

@welltypedwit.ch

When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch

@dm0ney.bsky.social

PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info

@jimmyhmiller.bsky.social

Compiler engineer and co-host of the future of coding podcast https://jimmyhmiller.github.io https://futureofcoding.org/episodes/

@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 am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org

@paulbiggar.com

Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org

@spiralganglion.com

i want to feel something when i program the computer @inkandswitch.com Δ futureofcoding.org Δ ivanish.ca he/him, canadian, let's be friends

@jackrusher.com

Ex-Bell Labs/AT&T Research'er making art & technology in Berlin. 🐘@jack@jackrusher.com 🐦@jackrusher

@geoffreylitt.com

Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸

@martin.kleppmann.com

Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him

@shriram.bsky.social

Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.

@maxsnew.com

Professional computer scientist, unprofessional mathematician

@neurocy.bsky.social

🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar

@disconcision.com

https://andrewblinn.com abstractJuiceFactory

@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