@wtakuo.bsky.social @wtakuo.bsky.social
Jay Lee @curry-howard.bsky.social CS PhD Student @ UC Berkeley • CSE MS & ECE BS @ Seoul National University • Programming programming languages • 🏠 jaylee.pl
@khibino.bsky.social @khibino.bsky.social
燎原火魄 @prairiefire2b.com
Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks- P @plumenator.bsky.social @plumenator.bsky.social
Sahinur @sahinur.dev Full Stack Software Engineer | AI Engineer | Scalable Cloud Solutions
Max Stupple @maxstu.net PhD student in the Department of Computing @ Imperial; interested in programming languages, (weak) concurrency, TTRPGs, (field) hockey and cycling.
Alex Kang @avrong.me Making compilers go brrr
@onurorman.bsky.social @onurorman.bsky.social
Cloud Threats Intelligences @ctintelligences.bsky.social https://cloudthreatsintelligencesosx.blogspot.com/
https://groups.google.com/g/cloudthreatsintelligencesosx
jackkolokasis.bsky.social @jackkolokasis.bsky.social PhD student at the #UniversityofCrete. Graduate Research Assistant at @forth-ite.bsky.social. Research interests: OpenJDK/HotSpot, garbage collection, and memory systems. Also addicted to CrossFit. | jackkolokasis.com
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Alina Banerjee @interregnumish.bsky.social baby PL engineer, 🇮🇳/migrant, sitarist. Earner, learner & yearner of many things.
Programming for the Planet @propl.dev The 3rd Programming for the Planet (PROPL) workshop will be co-located with PLDI in Boulder, Colorado (in hybrid mode) on 15th June 2026.- I ilovetangerines06.bsky.social @ilovetangerines06.bsky.social
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Samuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Currently migrating from Twitter (@teuber_dev)
www.teuber.dev
Deepak @iokarki.bsky.social Software engineer.
Distributed systems | Compilers & Runtime | Databases | HCI | Low level systems- M sukrit @morganfan.mangla.xyz
Lojiholia enshrines all triumph @lojikil.bsky.social Brains in the "trying to be a good dad despite having a bad dad" gang. ☦️|Father|Philosopher|Offensive Security|PLT
I work in security at a decent sized firm, but my research interests are actually around Multics, ML dialects, &c
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Michele Alberti @lambdaxdotx.bsky.social
Cosplay Commons @cosplaycommons.bsky.social Cosplay Between Conventions...
⬇️ subscribe here ⬇️
https://buttondown.com/cosplay-commons
Lachlan Kermode @ohrg.org PhD Candidate at Brown University / software at https://liminal-lab.org/. Freeing computers one terminal at a time.
Justin Garcia @purefunctor.me 23, product and compiler engineering
Avi Agarwal @aviagarwal.bsky.social Programmer, photographer, and pet-parent.
#ElixirLang #GoLang #Python
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, 🌹 🇺🇦 🟣
Camilo de Azevedo @camilotk.ulivre.dev
- DEV #OCaml #Elixir #Clojure
- Mestrando em Engenharia de Software na UTFPR
- ADM/ORG na ulivre.dev + gambiconf.dev
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Ian McCormack @icmccorm.com PhD Candidate in Software Engineering @CMU
Studying Rust interop 🦀
borrowsanitizer.com
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
joao @joao.omg.lol Grief Astronomer
A special snowflake existing in 196883 dimensions
#ActuallyAutistic He/Him
Nick HK @nickkeers.co.uk Principal Software Engineer at a startup you haven’t heard of! Interested in #buildinpublic #elixir #python #programming #gamedev #piano, Learning Indonesian 🇮🇩, #baduk player (iGo, Weiqi, Go)
Venkatesh-Prasad Ranganath @orderwithchaos.bsky.social Curious about software and computing. I consume skeets via curated lists hoisted as feeds :)
[he/him]
http://rvprasad.com
Tom Magrino, PhD @tommagrino.com My day job is making arbitrary sequences of bits others told a computer reappear on command, quickly and at scale.
@tmagrino@discuss.systems
https://threads.net/t.magrino
Jordan Orelli @jordan.orel.li platform engineer at Whatnot, game design MFA from DePaul
https://orel.li/
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
tolmix @tolmix.bsky.social tolmix.com: The first A.I.R. network (Augmented Intelligent Reality)
3D AI/VR on ALL screens with AND without headset
.. the edge of 2D-net a bridge to 4D-worlds ..
Nucleus Fuselius @nfuselius.bsky.social Nucleus Fuselius, Director of Philosophy @ tolmix.com
📜 tolmix.com/Fusion-Punk-Aesthetics
K.Hirata @venriched.bsky.social 豊穣圏
Lu Maltsis @lmaltsis.bsky.social PhD student in Computer Science at the University of Manchester
https://lmaltsis.github.io/
Formal Methods, Proof Assistants, Software Security
Follow me on Mastodon: https://infosec.exchange/@lmaltsis
they/them
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Patrick @patlafon.bsky.social
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
@dotaps4me.bsky.social @dotaps4me.bsky.social
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
@nicolaassolini98.bsky.social @nicolaassolini98.bsky.social
Abhinav Gyawali @abhizer.com PhD Student at UTCS
https://abhizer.com
FLAG lab @flaglaboratory.bsky.social Research laboratory on computer science! working on programming language implementations, bioinformatics, ai, and post-quantum cryptography.
Based in Colombia at Uniandes @DISCuniandes
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
David Richter @drcicer.bsky.social ❤️ programming languages.
postdoc at @stg_darmstadt
DR are my initials and my title (now)
@julien-lange.bsky.social @julien-lange.bsky.social
Simmo Saan @sim642.eu Computer scientist. https://sim642.eu/
Xiang Chen @x14ngch3n.bsky.social Ph.D. student at HKUST
@srahmoun.bsky.social @srahmoun.bsky.social
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Jiaxin Song @jiaxinsong.bsky.social PhD student at UIUC, working in algorithmic game theory and security
https://www.jiaxinsong.com/
john hui @j-hui.bsky.social
Henry Chu @bsky.henryhc.net aka. Hengcheng Zhu | Software Engineering Researcher | https://scholar.henryhc.net
StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
https://youtube.com/@stepbrobd
@lagrang.bsky.social @lagrang.bsky.social
IMDEA Software @software.imdea.org At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
@noobeggs.bsky.social @noobeggs.bsky.social
Jonas Rousseau-Morvan @lejonas.bsky.social
Rondo Dondo @maplant.com NYC based programmer. I mostly talk about implementing functional programming languages
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.
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
CogniDroid @cognidroid.bsky.social Failure at life and the passion I'd wanted to pursue.
@ahuoguo.bsky.social @ahuoguo.bsky.social
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Th. Ma. @thierry.marianne.io
Rohit Goswami @rgoswami.me Computational chemist with a Bayesian taint. Working on foundational cross-language tools at @labcosmo.bsky.social.
More @ https://rgoswami.me
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
David Neto 🇨🇦 @dneto.dev WebGPU and Vulkan shader language standards and tooling.
I work at Google, on the Chrome team.
I'm also on Mastodon.
@dneto@mastodon.gamedev.place
Canadian, eh
He/him
Sudhanshu @busysp.bsky.social Code conjurer 👨💻 | Co-organizer RustNYC 🦀 | OSS enthusiast 📖 | NYU 🎓 | NYC 🌃 🗽 🍕 🚇
Your friendly neighborhood SWE with a passion for all things tech 🤖, gaming 🎮 and desserts 🍰.
LinkedIn: linkedin.com/in/sp6370
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems.
@bechang.bsky.social @bechang.bsky.social
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Vikram Saraph @vikramsaraph.com Software engineer, AI/ML researcher, and mathematician at Johns Hopkins APL.
Former New Englander, current Marylander.
Brown CS PhD and Notre Dame math alum.
Nerd of sorts (computers, math, language, puzzles, games, books, music).
Opinions are my own.
Bhumika Mittal @bhumikamittal.bsky.social bhumikamittal.in
Software Engineer at Amuse Labs. Research interests: cryptography, program analysis and formal methods
Jyun-Ao Lin @carquois42.bsky.social decision procedure, QPL, automata theory
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Sam Kuhn @samkuhn.bsky.social
CyLab @cylab.bsky.social CyLab is @cmu.edu's Security & Privacy Institute. Our 300+ researchers are passionate about creating a world in which technology can be trusted. Follow our latest research at https://www.cylab.cmu.edu/.
Pete Vilter @petevilter.me Working on grid interconnection at Pearl Street Technologies. Prev databases and things at RelationalAI, Bubble, Cockroach.
https://petevilter.me
Stefan Abi-Karam @stefanabikaram.com Graduate Student (@SharcLab) + Research Faculty at @GeorgiaTech 🐝
Working on digital hardware design + AI
https://stefanabikaram.com/
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
Simon Gregersen @simongregersen.com Tenure-track faculty @ CISPA
Alcides Fonseca @handle.invalid Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@aadaa-fgtaa.bsky.social @aadaa-fgtaa.bsky.social