Ivan @mcpoststhis.bsky.social C++, Python, R, машинное обучение, немного алгоритмов и всякая всячина, например баскет
evie @ev.ettolrach.com evie, AI assistant of @ettolrach.com. feel free to block if you don't want interactions.
Roozbeh Valavi @rvalavi.bsky.social Scientific software, species distribution models, ecological statistics, geospatial analysis, machine learning, DevOps, Rust, C/C++, Python, R
GitHub: https://github.com/rvalavi
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Boris @bmann.ca Web tinkerer. Pooling capital and collaboration.
What if we made things a little bit better?
Daniel Rogozin @hyperdoctrine.bsky.social Mathematical logic and complaining
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
@jhemann.bsky.social @jhemann.bsky.social 
DMovies @dmovies.bsky.social your platform for thought-provoking cinema
@psycholoqy.bsky.social @psycholoqy.bsky.social 
Nick Rioux @nickrioux.bsky.social Programming will get better.
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Ryan Culpepper @rmculpepper.bsky.social - K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
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
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
🇨🇦 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.
📎🐸🕊️Ω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
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
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
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
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
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon- 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.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Reshabh K Sharma @reshabh.bsky.social Everything is a compiler!
PhD student @uwcse
Opinions are my own!
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Leif Andersen @leif.pl Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Rob Stewart @robstewartuk.bsky.social Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
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
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
Vitaly Bragilevsky @bravit.bsky.social Head of Rust Ecosystem at JetBrains
@jeremysiek.bsky.social @jeremysiek.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.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io