Drop Site @dropsitenews.com Independent news on politics and war. No paywall - subscribe for free.
dropsitenews.com
Ari @ari-s-123.bsky.social CS @northeasternu.bsky.social | prev intern @ pawtograder.com & @ Lexia Learning | 4X Hackathon Winner
https://www.ari-s.dev
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.
The New York Times @nytimes.com We seek the truth and help people understand the world. Not a subscriber? Your first month is now free in our app. https://nytimes.onelink.me/Xpht/zbx4nci9
Randall Hughes @randallhughes.bsky.social Ecology, Evolution, Conservation, Restoration | Mostly Marine | Professor of Marine and Environmental Science | views expressed my own | she/hers | BlackLivesMatter | CeasefireNow
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
WIRED @wired.com For Future Reference.
Sign up for our newsletters: https://wrd.cm/newsletters
Find our WIRED journalists here: https://go.bsky.app/Boj9b5E
Ryan Culpepper @rmculpepper.bsky.social 
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
🇨🇦 Joey Eremondi @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.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Journal of Interactive Technology and Pedagogy @jitp.bsky.social The Journal of Interactive Technology and Pedagogy: promoting open scholarly discourse around uses of digital technology in teaching, learning, and research.
https://cuny.manifoldapp.org/journals/jitp
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Vance Ricks @ricksva.bsky.social Philosophy/Comp. Sci. at Northeastern University in Boston
No relation to Frozone, Gervase Peterson, or Kevin Garnett
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Pierce Darragh @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
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
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
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
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.
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
@gregorkiczales.bsky.social @gregorkiczales.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
@mflatt.bsky.social @mflatt.bsky.social 
Elaine Zhu @elaine.foo hobbyist photographer
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Ellen Spertus @ellenspertus.bsky.social Computer science professor at #Khoury College of Computer Science at #NortheasternUniversity, formerly Mills College #Google #AppInventor #Mozilla #Code.org #MIT #Microsoft. #CSed #feminist #SanFrancisco #Oakland
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
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
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Owen Duckham @owen.duckham.dev undergrad @ Northeastern
Interested in programming languages
ari @ari.foo 🐘 mostly https://types.pl/@ari
👩🏽💻 types
👩🏽🎓 neu undergrad
🏳️⚧️ she/her
🌐 https://ari.foo
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Alex Knauth @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 & 29
http://pronoun.is/he?or=they
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Libby Horacek @horrorcheck.bsky.social Software developer and worker-owner at positiondev.com, she/her, in Wheeling WV
Position Development @positiondev.bsky.social building and maintaining sustainable software for mission-driven organizations- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Dave Herman @dherman.dev Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
sclv @sclv.bsky.social "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop
Anna Banana @madar1a.bsky.social software engineer (clojure, ts, swift, go) • she/her • board & video games • books • cosplay • hiking • camping • 🇵🇱 🇺🇸
📍SF Bay Area
Cassie Moy @cassiemoy.bsky.social worker-owner & web dev positiondev.com, she/her
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
C. Morgan Hamill @cmh.dev "Don't pay him any attention." • he/him • systems generalist, devops (sic) • once and future anthropologist • Galatians 5:14- S @samps.bsky.social @samps.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.
Michael Hilton @michaelhilton.bsky.social Trying this out
Associate Teaching Professor in Software Engineering @ Carnegie Mellon University 
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
Joe Cutler @alphaconvert.bsky.social cutler.pl
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
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.- 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.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
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
Dev @sincerely.dev I mostly post about birds, food, and fun.
I am helping Microsoft build the new storage stack for Azure.
If you’re in systems I recommend checking out discuss.systems! The cooler social network
Washed up, has been systems grad student
sincerely.dev
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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
Amy Littlefield @amylittlefield.bsky.social Abortion access correspondent at The Nation and author of Killers of Roe, a whodunnit on the history of the anti-abortion movement, out now wherever books are sold https://www.amylittlefield.com/killersofroe/