Susan @susan198658.bsky.social Independence isn't about being alone it's about having the ability to choose your life. I enjoy traveling, discovering delicious food, and spending quiet time with my pets on weekends
Charles Keener @charleskeener.bsky.social Anti-Zionist Free Palestine Ukraine Solidarity Anti-Racist Anti-Carceral Abolitionist Anti-Genocide Anti-Colonial Anti-War Anti-Imperialist Intersectional Feminist Queer LGBTQI+ Green Eco-Socialist People Planet Peace Interfaith Seeker of Beloved Community
Aurora @princessaurora.bsky.social 
Ethan Woodward @ethanwoodward.net De-identifying data over at getsubsalt.com
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Joy 💙 @sugataai.com Developer | Democrat 🩵
"U r only limited by ur imagination" - Jeff Mills.
AEGIS 🌎 - https://aegis.sugataai.com
Bluesky 🦋 analytics - https://homesky.sugataai.com
Todos ✏️- https://todo.sugataai.com
🌐 https://www.sugataai.com
🇨🇦 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.
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Matt Green @mattgreenrocks.bsky.social Prog metal, guitar, and deep tech. Senior SWE at @antithesis.com.
DC Systems @dcsystems.bsky.social DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area.
We are focused on high quality talks and expert speakers.
https://dcsystems.xyz
ethan c. @echou1.bsky.social umdcs masters graduate in pl.
working on universal pbt at antithesis
winter @homosexual.cat 🐱 catgirl on the internet
❄️ nixos developer
👾 engineer/professional dogposter @antithesis.com (but words are my own)
✨ she/her
📍 nova (come say hi, i don’t bite!)
Caspar @ghostrights.bsky.social CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Tyro, ft Ricky @tyrowo.com Cat poster. Self-taught professional software developer, exF2P MTG Arena Challenger, ex wr holder speedrunning HotD2_100%, ex streamer, ex melee player.
Grilling, coding, gaming, magic: the gathering, other tcgs, and my kitty, Ricky 😻
30, he/him
Jay Bosamiya @jaybosamiya.bsky.social 🦊 Software security researcher. Making secure software the natural choice. PhD from CMU. CTFer (PPP). https://jaybosamiya.com/
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
aksh1618 @aksh1618.aksh.dev Technical Architect @ 99Acres. Interested in all things Spring, Kotlin & Rust. Excited about Distributed Systems & Wasm. Part-time O11y nerd.
https://aksh.dev
Mark Stalzer @kaijusos.com was rocketattack on the other place.
Heart of gold, jacket of leather. Built products @ AWS - some other stuff like http://maginotline.com & https://www.youtube.com/@kaijusos2146 - also @kaijusos@masto.ai- R Divyanshu Ranjan @rdivyanshu.bsky.social https://rdivyanshu.github.io/
Neil Walkinshaw @neilwalkinshaw.bsky.social Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
John Murray @johns.codes Software engineer @ antithesis
Always trying to talk about nix or rust...
Blog: Johns.codes
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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
Guilherme Espada @guipsp.bsky.social PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
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
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
felsel @felsel.bsky.social 
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
Kevin Hakanson @hakanson.bsky.social Multi-Cloud Certified Architect | DevSecOps | AppSec | Web Platform | Speaker | Learner | Builder | AWS (opinions are my own)
Izaias *Blancore ❅ @blancore.bsky.social brazillian aspiring artist, student, 20y 11/11
écletico, e alem doq uma bio poderia resumir
i am not spam
pardon me bluesky
Rich Seymour @rseymour.bsky.social Glue code aficionado. Infosec pushover. Synth owner. Music maker. Guitarist. Rust fan. Once earned a Materials Science PhD.
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
JelineMD @jeline.bsky.social Six strings, single malts & second deals. Stage IV CRC.
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.- C Craig Disselkoen @craigdissel.bsky.social Applied Scientist @ AWS; PhD ‘22 from UC San Diego; he/him. Opinions are my own. PL, Security, and miscellany
Mastodon @craigdissel@discuss.systems
Bug @zoozle.bsky.social 🏳️⚧️🏳️🌈 ‹26› ‹it/they› ‹furry› 🔞
game/app developer, designer, and photographer
Sir Doge of the Coin @chunt.bsky.social Sup?
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
nic @invest.bsky.social now: building
then: founder gpte (acq)
enjoy: investing, nba, saas, whatever
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
Joe Cutler @alphaconvert.bsky.social cutler.pl
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