Teodors Lisovenko @teodorslisovenko.bsky.social 
@doctasquid.bsky.social @doctasquid.bsky.social 
Kutand Alkฤฑm Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RTโ is not endorsement (he/him)
UCSB Computer Science Department @ucsb-cs.bsky.social 
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Steve Moss @gawbul.io Dad, husband, and PhD ๐งโ๐งโ๐งโ๐ง๐จ๐ปโ๐ Scientist, technologist, and engineer ๐จโ๐ฌ๐ฑ๐จโ๐ป Bibliophile ๐ Philomath ๐ค Mental health advocate ๐
Passionate about #bioinformatics, #computing, #evolution, #genomics, #medicine, #science, and #sre ๐งฌ๐ฉบ๐ป
Homepage: https://www.gawbul.io
Mike Young @mkeyoung.bsky.social Author of ๐ Social Media for Research Impact. Workshops for researchers & universities. Ex-University Post editor, Copenhagen.
Here mostly for #philosophy #history.
Website: https://mikeyoungacademy.dk/- S @simonemancin.bsky.social @simonemancin.bsky.social
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. โAnarchistโ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
@acendrou.bsky.social @acendrou.bsky.social 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
๐๐ธ๐๏ธฮฉ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
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering โ https://conf.researchr.org/home/ase-2025
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Ethiopia Beyond @talksmart.bsky.social Exploring the untold beauty, culture, history, innovation, and spirit of Ethiopia.
Sharing authentic stories, breathtaking places, people, traditions, and the new face of Africaโs rising destination.
From ancient civilizations to modern transformation โ E
Tom Turcotte @tomturcottetech.bsky.social Mentored devs for 5+ years. Now building X Growth Engine full-time to fix my own social media struggle: authentic growth without endless scrolling.
xgrowthengine.com
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Low Society @metacapitalism.bsky.social Deeply committed to opposing MAGA. my pup, books, TV, old movies, jazz, rock, and classical music, beach walks, writing (fiction and non-fiction), abstract painting, stone sculpting, deep sleep, and non-violent villainy.
ร
lรฏWรณรD-รลn-Bokaiyan๐ญ๐จโ๐จ๐จ๐๏ธ๐ค๐๐งโ โโ๐ค @games2.com รรฑkรฏ-soul burning through galaxies, halfway through The Milky Way, vibrating, resonating, and enjoying what the cosmos brings into focus!๐
รลn รฎbn abฤฏ รลurรฎ Tรฆลรฎb ลรฃmฤซฤซ (AS)ร
ลรฏWรณรD Pฤrfฤลพรฃลกฤซรฅรฑ(ล รฅms Rรกลกhty)๐ฅลธรฆลผdรฎ
307AliWooD/AliWooD4Hou/StรคRmรคร/*SM*/Tech๐คฏ๐๏ธ๐ฃ๏ธ
Christoph Bรผhler @handle.invalid Researcher with the Programming-Group at the University of St. Gallen, Switzerland. Interested in nearly everything related to computers ;-)
@yersizyurtsuz.bsky.social @yersizyurtsuz.bsky.social 
PLRG :: Bristol @plrg-bristol.bsky.social This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
Alberto Baccini @albertobaccini.bsky.social Professor of Quantitative studies of science, University of Siena, Italy. One of the founders of http://roars.it- D Dejan Jovanoviฤ @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Subash @anterr.bsky.social 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Johannes Borgstrรถm @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm ๐ธ๐ช previously ๐ฌ๐ง ๐ฉ๐ช ๐จ๐ญ
Private account, he/him, ๐น ๐บ๐ฆ ๐ฃ
Oscar Nierstrasz @onierstrasz.bsky.social OO Evangelist since 1981.
Soul polisher at feenk.com.
Emeritus professor at www.oscar.nierstrasz.org
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Shenanibro @shenanibro.bsky.social Takin' it one step at a time, man.
Working on systems programming, formal stuff, exotic hardware.
Trying to be nice ๐ป
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Marco Peressotti @mperessotti.bsky.social Associate Professor of Computer Science at @sdu.dk.
Joรฃo F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io- B @badgery.bsky.social @badgery.bsky.social
- J @joerocca.bsky.social @joerocca.bsky.social Low-alpha lurking/reposting account. Interested in OSS ML, web, XR, EA (esp WAS/WAW), alt proteins, housing, aging, and stuff like that
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Talia Ringer @taliaringer.bsky.social - K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Michael McLoughlin @mmcloughlin.com Mathematical Software Engineer
@raskdhkashda.bsky.social @raskdhkashda.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- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
@pmcgee1969.bsky.social @pmcgee1969.bsky.social 
@aziem.bsky.social @aziem.bsky.social 
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Claia @clautinni.bsky.social - S Klaus Schmid @sklaus.bsky.social Working on future software engineering technologies and teaching about it.
Haoyi Zeng @haoyizeng.bsky.social 
Enrico Pilotto @pioz.bsky.social Web developer at CardTrader. Loving Ruby, C, Go, brute force scripting, redhead. Geek inside. World of Warcraft and Magic The Gathering player.
https://rubyonrailspadova.com
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
๐ฒ druth ๐ @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
๐ป github.com/massivefermion
๐ธ instagram.com/massivefermion
@sujitkm.bsky.social @sujitkm.bsky.social PhD Student @ CSE, IIT Kanpur
@v-a-s-a.bsky.social @v-a-s-a.bsky.social 
@best-danya.bsky.social @best-danya.bsky.social - A @atomb.bsky.social @atomb.bsky.social
eviedot @eviedot.bsky.social forever making a programming language, playing rocket league and being anxious | ๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐ she/her
Shuyang Liu @shuyangliu.bsky.social CS PhD student @ UIUC
Jesse @jse.li he/him ๐ฆ nyc ๐๏ธ friend of lactobacillus ๐คฉ๐๐ด we do not yet know what a computer can do
https://twitter.com/__jesse_li- D @davidtgoldblatt.bsky.social @davidtgoldblatt.bsky.social
@ericluap.bsky.social @ericluap.bsky.social 
Meta Language @language.metaproject.frl Meta, a #HumanFriendly #Programming #Language
Reducing #software waste
- Productive
- Highly efficient & blazingly fast
- Universal, runs from #8bit #Atari 2600 to #64bit #PC, to #web #browsers, to #IBM #S390 #mainframes
https://language.metaproject.frl
Jared Kostrzewa ๐ต๐ฑ๐ง๐ค๐ @jaredkostrzewa.bsky.social ๐ Co-owner Before Festival Sun Festival
๐ช Manager: Natalia Sisik Ola Szkolda Julia Kostera
๐ค Wrzucam tutaj ciekawostki I fakty ze ลwiata ๐
Na naszych festiwalach zagrali m in Oki, Quebonafide, Kuban, Bedoes
#SocialMedia | #Events #Music
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
@theshaman77.bsky.social @theshaman77.bsky.social 
Yuzhou Fang @yzfang.bsky.social Program verification/analysis, software engineering, and programming languages.
PhD Student at University of Southern California.
Opinions are my own.
John O'Leary @johnwoleary.bsky.social 
Amanda @amanda.systems Iโm usually on @amanda@social.spejset.org (Mastodon).
PhD student of programming languages working on the Polonius borrow checker for Rust. Terrible philosopher. Mid Marxist. Technically a librarian.
Mike Samuel ๐ฃ @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
๐Victoria BC ๐จ๐ฆ
https://chrispenner.ca
@rpiskac.bsky.social @rpiskac.bsky.social 
Zak @zaksharp.me 
cybai @cybai.dev Taiwanese, never Chinese!
ฮป. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
RationallyDense (they/she/he/any) @rationallydense.bsky.social 
MeTaMiNd ๐งฌโ๏ธ๐ง โ๏ธ๐จ๐งโโ๏ธ๐งโโ๏ธ @metamind.bsky.social AI+XR+BCI+ML, hax0r, CogSci, Science, Philosophy, Biology, Physics, Psychology, Databionics, TechWizard, Futurist, SpaceRanger, ArT, Meditation, Visionary, Inventor, Technology, Computer, Neuroscience, Machine Learning, Transhumanism, TaiChi Yoga QiGong- S Paul @shortcake.myatproto.social
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq