Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Electronic Frontiers Georgia @ef-georgia.bsky.social Protecting and promoting online civil liberties in the state of Georgia, U.S.A.
Electronic Frontiers Forums at Dragon Con @efforums.bsky.social We are a track covering the intersection of technology, law, activism, and society at the annual Dragon Con Science Fiction Convention in Atlanta, Georgia, USA, each Labor Day weekend.
@heyheiko.bsky.social @heyheiko.bsky.social 
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Ben Dreyfuss @bendreyfuss.bsky.social You don’t need to follow me just because we were mutuals on Twitter. I won’t be offended. Seems like this account is mostly me getting in dumb arguments which I wouldn’t want to read either.
CalmDownBen.com
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Sam Lindley @reifyreflect.bsky.social 
Jesse Singal @jessesingal.com Journalist, co-host of Blocked and Reported, author of The Quick Fix and an upcoming book on youth gender medicine. Mostly just asking questions.
More info: JesseSingal.com
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Isaac Sheff @isheff.bsky.social Senior Research Scientist, Heliax.dev
Dragon Con Science Track @dconscitrack.bsky.social The Official Account of the Dragon Con Science Track.
Eldritch Millennial @sundaycreature.bsky.social I'm Arras!
Cosplayer since 2006, jeweler since 2015
Owner of @endangeredartbooks.com
Real life zoologist!
Probably older than you think I am
They/them
Abolish ICE!!!
https://ko-fi.com/sundaycreature- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
pixelatedboat aka “mr bluesky” @pixelatedboat.bsky.social The 76th most followed account on bluesky. I will NOT be updating this ranking when it’s no longer true
Popehat @kenwhite.bsky.social Defunct account of Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Opinions here are my own. Decent people fight evil.
Signal: KenWhite.1969
Talia Ringer @taliaringer.bsky.social 
Remember the LMAO @ass.golf I draw the webcomic QUESTIONABLE CONTENT which is about robots who want to smooch www.ass.golf
you can also find me on patreon: www.patreon.com/jephjacques
My dog's name is Ollie and he is a smooth collie
Laure Thompson @laurejt.bsky.social Research software engineer @princetoncdh.bsky.social.
natural language processing, machine learning, cultural analytics
https://laurejt.github.io/
Shriram Krishnamurthi @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.
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.- 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.
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Paul Rowe @pauldrowe.bsky.social Applied logician. Polyglot. Interested in curiosity, not dogma.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
billions of packets @justinesherry.bsky.social I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
JMCT @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
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.
Hank Green @hankgreen.bsky.social Long Time Internet Guy
wint @dril.bsky.social Never Bullshit
I challenge any and every one who wants to kick my ass to a debate .
https://www.patreon.com/dril
https://www.instagram.com/dril
https://linktr.ee/drilreal
Jordan Harrod @handle.invalid PhD Candidate at MIT | bringing AI back down to earth | Co-Owner @watchNebula | she/her 🌈
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/
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
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/
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
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
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
Joe Cutler @alphaconvert.bsky.social cutler.pl
Liz Decolvenaere @tallakahath.bsky.social Computational chemist with a focus on QM, Force Fields, and how ML can aid in both. Also: Cosplayer, LARP writer, birder, occasional science communicator, and several other things. She/they.