Aureate Fern @aureatefern.bsky.social 
Bhargav Kulkarni @bhargavkk.tngl.sh PhD Student @ University of Utah
probably Gamin'
bhargavkk.com
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
@rehmanhs.bsky.social @rehmanhs.bsky.social 
Lady Queet @ladyqueet.bsky.social Lady Queet is a music producer, singer, songwriter and rapper from Atlanta, Georgia. Owner of Picture Perfect Entertainment. #MusicSky #WhoIsYourFavoriteFemaleRapper
instagram.com/iamladyqueet
Richard Davison @stronglytyped.bsky.social Software engineer in NYC. Typed systems, infrastructure, and correctness-focused tooling.- W Chentian Wu @wuct.bsky.social 25' BS @ UW-Madison >>= PhD @ UIUC
PL / Logic
https://wuct.site
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
ethan c. @echou1.bsky.social umdcs masters graduate in pl.
working on universal pbt at antithesis
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
@xuhongxu.bsky.social @xuhongxu.bsky.social 
Federico Bruzzone @federicobruzzone.bsky.social PhD Candidate in Computer Science. Programming Languages and Compilers enthusiast. Also, Sound Engineer and Music Composer.- A Artur Lojewski @artur-lojewski.bsky.social
Kanishka Naik @kanishkanaik.dev Senior Software Engineer & Open-Source Maintainer
JS/TS • Elixir • Go • Solidity
Exploring payments, ledgers, and distributed systems
Astrophile 🔭 | Stargazer 💫
https://kanishkanaik.dev
Sandyshine @sandrabryan2003.bsky.social I love ❤️ me
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- M @mhicks.bsky.social @mhicks.bsky.social
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
Adela @kaguuura.bsky.social 
john hui @j-hui.bsky.social 
sreedev @sree.dev Software Engineer.
Brussels, Belgium.
www.sree.dev | www.devtechnica.com
0x{B8C4 02B1 6E80 E17C}
Andrew McNutt @mcnuttandrew.bsky.social Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
@sebirocs.bsky.social @sebirocs.bsky.social 
Vishal Lama @vishallama.bsky.social Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
Varun Gupta @vgup.bsky.social PhD student at UPenn, in machine learning / responsible AI and game theory.
guptavarun.com
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
@jrrp.bsky.social @jrrp.bsky.social 
@proustian.bsky.social @proustian.bsky.social 🐫
Punya S A @bluesbirdsfly.bsky.social Studying humans, tech & everything in between🤝🏽
PhD IS @ UNC-CH📚Trust & Gen AI🤖Responsible Tech🌍🌱
Coconut chutney connoisseur🥥🌴
jaylin herskovitz @handle.invalid ♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
Alejandra González-Jiménez 🫒🌿 @heliconide.bsky.social Classical Studies, UNAM | Digital Humanities | Admin of Desde Themyscira: desdethemysciraffyl.mx | Admin of EPN, UNAM: iifilologicas.unam.mx/pnovohispano | https://alejandragj.com/
Syntax Terror @hypnagogue.bsky.social Dad, husband, professor (math and CS), researcher, and compulsive tinkerer.
Currently spending entirely too much time in the garage doing mechatronics engineering. Views are, for better or worse, mine alone.
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Martin Janiczek @janiczek.cz martin.janiczek.cz / Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
guru @shabadi.bsky.social phd student at penn | intersecting and bridging theory and practice of formal system design and autonomous agents
https://guruprerana.github.io/
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
Dima Kotik @dkotik.com "A fool lets all his temper fly." (Proverbs 29:11a)
Chelsea Edmonds @cledmonds.bsky.social Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
Endicott Author @endicottroad.bsky.social Prolific author, self published on Bookshop dot org, Good Reads, Smashwords, Google Play, Apple Books, B&N, Gardners, Amazon, Kobo and others.
Because of changes and age verfication requirements, I cannot participate in any chats or DM's. Sorry.
GRIDS Vancouver @grids.reillywood.com An account for Reilly Wood's bad takes about cities. My good takes about computers are over at @reillywood.com
Conor Power @conorpower23.bsky.social Principal Applied Scientist in Microsoft CoreAI. Working on AI for coding. Co-organizer of SF Systems Meetup. CS PhD from Berkeley Sky Lab where I worked on https://hydro.run/ .
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
@objetsinfernaux.bsky.social @objetsinfernaux.bsky.social 
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
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Yi-Hung Chou @yihung.bsky.social PhD student at UC Irvine working with Prof. James Jones
yihungchou.com
Gaurav Parthasarathy @gauravpartha.bsky.social 
Hamidur Tanvir @hamidurtanvir.bsky.social Seeking MS &/ PhD Opportunity | HCI, UI/UX Enthusiast
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/
Patrick @patlafon.bsky.social 
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
@mariah566.bsky.social @mariah566.bsky.social 
Minister Denzil Carnegie @lloydmill.bsky.social 🇨🇦 🍁 🇨🇦 Faith Family Outreach Ministry focuses on sharing the good news of salvation to all nations Jesus Christ teaching on repentance and forgiveness of sins to all nations Toronto Ontario Canada 🇨🇦 ♥️ ❤️ 💙
@rtjoa.bsky.social @rtjoa.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
λdu.du @handle.invalid 🇧🇷
logic | PLT | Concurrency
@0xbbddba.bsky.social @0xbbddba.bsky.social Software Engineer
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
Lemuel @lem.my ᚛ᚔ ᚁᚏᚓᚐᚉ ᚈᚆᚔᚅᚌᚄ᚜ • github.com/lemueldls
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.
@lambdaclaire.bsky.social @lambdaclaire.bsky.social 
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
Caspar @ghostrights.bsky.social CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
David Sevilla @dsevilla.bsky.social NYC | SWE | Writer and Problem Solver | Infrequent poster
@keja.bsky.social @keja.bsky.social 
Rob Simmons @simrob.com boston, cats, computers? he/him
profile pic by chrisamaphone
The good stuff is at https://social.wub.site/@simrob
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
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
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@mercury42.bsky.social @mercury42.bsky.social 
Soares Chen @maybevoid.com Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
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
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Mansour @mansourahmed.com Software Engineer • AI/ML ✨ • MansourAhmed.com • 🇬🇧 in 🇺🇸 • Views are my own
@alaia-solko.bsky.social @alaia-solko.bsky.social