Aaron Eline @aaroneline.bsky.social - W Chentian Wu @wuct.bsky.social 25' BS @ UW-Madison >>= PhD @ UIUC
PL / Logic
https://wuct.site
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Bjรถrkus "No time_t to Die" Dorkus @thephd.dev ๐ The C Standard Cannot Be Replaced And Will Never Be Destroyed. ๐
โ Writing: http://thephd.dev
๐ท Avatar KIINGKISMET (https://kiingkiismet.com/)
๐ผ Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
Elaine Zhu @elaine.foo hobbyist photographer
Isaac @isaacmarovitz.com Open source developer & Mac enthusiast
@isaacmarovitz@treehouse.systems
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Neal Agarwal @neal.fun making neal.fun
@benjamincpierce.bsky.social @benjamincpierce.bsky.social 
emma๐ @emma.xicad.net Toquos lead theory researcher at Mandlbaur Institute of Technology and assistant supervisor at the Subgroup Psychosis Research Center
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Joe Cutler @alphaconvert.bsky.social cutler.pl
Alice โจ @welltypedwit.ch Thereโs no sense crying over every mistake. You just keep on trying โtil you run out of cake
- GLaDOS
https://welltypedwit.ch
mcyoung ๐ณ๏ธโ๐ @mcy.gay a whimsicott crawled into your compiler and got stuck
call me sunny. yes! i am a furry artist!
โจ๏ธ mcy.gay
๐จ art.mcy.gay
๐ฐ art.mcy.gay/comms
๐ @art.mcy.gay
๐Seattle, WA
Ocsigen @ocsigen.org The next generation Web and mobile framework.
Angela Collier @acollierastro.bsky.social Theoretical Physicist.
(She/her/hers)
From Eastern KY.
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Stephanie Weirich @fancytypes.bsky.social Tell me about types
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Department of Computer Science, Aarhus University @csaudk.bsky.social We are taking a break from Bluesky. Maybe we will come back...
For now check out our profiles on LinkedIn, Instagram and Facebook.
Grant Sanderson @3blue1brown.com Math videos
Dr. Tom 7 Murphy VII Ph.D. ! @tomvii.bsky.social http://tom7.org
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Rob Simmons @simrob.com boston, cats, computers? he/him
profile pic by chrisamaphone
The good stuff is at https://social.wub.site/@simrob
Henry B @henbarts.bsky.social ms in cs @ neu, interested in PL/Verification/Cryptography intersection
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Saxxie.dev @saxxie.dev Software person; mathematician wannabe
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Ian Henry @ianthehenry.bsky.social i work at the intersection of set theory and figurative language
http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
Holly Borla @hborla.bsky.social 
Ben Cohen @airspeedswift.bsky.social thwart leader
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
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
Harrison Grodin @harrisongrodin.bsky.social 
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
ari @ari.foo ๐ mostly https://types.pl/@ari
๐ฉ๐ฝโ๐ป types
๐ฉ๐ฝโ๐ neu undergrad
๐ณ๏ธโโง๏ธ she/her
๐ https://ari.foo
Owen Duckham @owen.duckham.dev undergrad @ Northeastern
Interested in programming languages
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
OCaml @ocaml.org https://ocaml.org
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Talia Ringer @taliaringer.bsky.social 
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.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ยท
Core Developer, @racketlang.bsky.social ยท
Member, TC39 ยท
Handler, Gravymaker ยท
Bike Advocate, Bloomington IN
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Randall Munroe @xkcd.com 
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Dan Grossman @dangrossmanseattle.bsky.social 
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
typedfemale @typedfemale.bsky.social 
amos @fasterthanli.me hi, I'm amos! ๐ they/them ๐ฎ "most level-headed AI user" ๐ซ working on something dataflow-shaped ๐ฆ known for teaching rust and not much else
๐ https://fasterthanli.me
๐บ https://youtube.com/@fasterthanlime
@trishume.bsky.social @trishume.bsky.social 
nolen @itseieio.bsky.social the internet can still be fun!
https://onemillioncheckboxes.com โข http://eieio.games โข https://everyuuid.com โข https://onemillionchessboards.com
Sam Lindley @reifyreflect.bsky.social 
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Steven Strogatz @stevenstrogatz.com Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
@titzerbl.bsky.social @titzerbl.bsky.social 
@tarides.com @tarides.com Weโre an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS ๐ซ
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@mflatt.bsky.social @mflatt.bsky.social 
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
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.
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
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
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.