@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
@tiasmt.bsky.social @tiasmt.bsky.social 
_Juhan @juhan.bsky.social Haut, Juhan, vam caminar,
vam caminar de cap tร l'immortรจla.
Rafael Ferreira @rff.bsky.social 
Th. Ma. @thierry.marianne.io 
@mikejeuga.bsky.social @mikejeuga.bsky.social 
@proustian.bsky.social @proustian.bsky.social ๐ซ
Nick Rioux @nickrioux.bsky.social Programming will get better.
Nicholas Yang @nicholasyang.bsky.social Programmer, obsessive cook, film nerd
Ari @ari-s-123.bsky.social CS @northeasternu.bsky.social | prev intern @ pawtograder.com & @ Lexia Learning | 4X Hackathon Winner
https://www.ari-s.dev
tim f @timfitz.manapool.nyc dev, sysadmin, no gods no kings no masters, fan of magic pools, lover of being a dad.
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
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
@shorsher.bsky.social @shorsher.bsky.social 
KIM F-M @kimf-m.bsky.social ๐ We are NOT going back! ๐
UNITED WE STAND, TOGETHER!
#DEMOCRACYMATTERS, #Liberal
#RESIST, #BlueCrew
#INSPIRATION ๐
#VoteBLUENoMatterWho ๐
#BeARaindropMakeWaves ๐ป
Knowledge = TRUE POWER!
Health, Nutrition, Fasting, Exercise!
@mariah566.bsky.social @mariah566.bsky.social 
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Linda Miles (she/her) @lmileslibrarian.bsky.social Academic librarian, Open Educational Resources program manager, into facilitating and participating in professional development, spunky cats, sweet pooches, democracy, joy
@krgermane.bsky.social @krgermane.bsky.social - C Chris Concannon @chon.bsky.social Allow me to introduce myself. My name is Wile E. Coyote, genius.
Michael Bilow @mikebilow.bsky.social News Editor covering news, politics, law, theater, film, and weather for Motif Magazine โ Rhode Island's leading arts, entertainment, music, and culture magazine.
Shashank Kirtania @shashankkirtania.bsky.social
https://5hv5hvnk.github.io/
Alessio Duรจ @alsd.eu University of Pisa CS graduate
Bob โBirdmanโ Price @drbirdmanbob.bsky.social Musician who plays woodwinds including clarinet and shakuhachiโฆimprovises new music, Indian music, bird song, etc. Citizen of the Tsalagiyi Nvdagi.
Subash @anterr.bsky.social 
@marcos-j-dominguez.bsky.social @marcos-j-dominguez.bsky.social 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
@josh523.bsky.social @josh523.bsky.social 
Eric Pauley @pauley.me CEO: DScope Security
Incoming Assistant Professor: Virginia Tech
Cloud/Internet/ML Security&Measurement.
Co-founder/former CTO @Sendtric.
Instrument-rated Private Pilot.
Bogdan Popa @defn.io defn.io- D @dogfishbar.bsky.social @dogfishbar.bsky.social
Ryan Culpepper @rmculpepper.bsky.social 
wes @iamwpj.com InfoSec, Linux, Python, HPC, social justice, and politics
๐
Geoffrey Knauth @gknauth.bsky.social software developer, flight instructor, rower/coxswain, linguist
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
๐จ๐ฆ 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.
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
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/
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
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Vance Ricks @ricksva.bsky.social Philosophy/Comp. Sci. at Northeastern University in Boston
No relation to Frozone, Gervase Peterson, or Kevin Garnett
@wmaddox.bsky.social @wmaddox.bsky.social 
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
Fab @fabienco.bsky.social 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
C. Morgan Hamill @cmh.dev "Don't pay him any attention." โข he/him โข systems generalist, devops (sic) โข once and future anthropologist โข Galatians 5:14
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
Ravi Mangal @ravimangal.bsky.social Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
Sofia Celi @claucece.bsky.social Proud LatinAmerican. "Legendary quantum lady/cryptographer". Researcher @brave @bristoluni.bsky.social she/they
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
MarcGemis @marcgemis.bsky.social 
Roland Rodriguez @govcraft.ai Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | ๐ง Learning Machine | ๐ฎ Enthusiast | Husband, Dad, Cat Whisperer
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
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.
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Platial Analysis Lab @platialanalysis.bsky.social A platial and geospatial data science research lab at McGill University
https://platial.science
Gaurav Kanoongo โโ (โ โฐโ โฟโ โฐโ )โ โ @gauravkanoongo.bsky.social Tech Leader | Ex-IBMer | DevOps | Richmond, VA | 20+ YOE in SW
https://linkedin.com/in/gauravkanoongo
https://twitter.com/gauravkanoongo
https://github.com/gauravkanoongo
Elaine Zhu @elaine.foo hobbyist photographer
Sallie-May @hcl.bsky.social https://github.com/Sallie-May
I respond to all pms !
main account https://bsky.app/profile/bee-lzebub.bsky.social
@keja.bsky.social @keja.bsky.social 
MicroBlocks @microblocks.bsky.social MicroBlocks is a free, live blocks programming language for microcontrollers such as the micro:bit, Calliope mini, Raspberry Pi Pico, ESP32 and many more.
https://microblocks.fun/
https://fosstodon.org/@microblocks
https://discord.gg/TCpHYbcvkS
jesse ูุณูู ืืฉื @tov.bsky.social californian in london. mcmillanistโgeorgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
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
ZyBox @handle.invalid wannabe bluesky titan || iโm better than xbox.com
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
Jordan McQueen @jm.dev Rust Person
๐ฆ ๐ฑ๐กโจ๏ธ๐๏ธโโ๏ธโฉ๏ธ Tokyo, ๆฅๆฌ ๐ฏ๐ต
I like agents of truth.
(?:distributed )?systems, security, performance, semantics, compilers.
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
great triambic icosidodecahedron @janpaul.pl aha! ordoliberal.
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
Veselin Raychev @veselinr.bsky.social INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
Steven Williams @stevesimage101.bsky.social Celebrity photographer and publicist. I have photographed Destiny's Child to Regina King. Blessed to have a foundation that feeds the hungry and homeless Www.stevenwilliamsfoundation.org. Living to lift others. My photography Www.stevesimage.com.