Anand Balakrishnan @anand-bala.bsky.social Postdoc @ UT Austin. Formal methods, learning, robots, automata, and other mathematically (un)necessary complications.
Also: thoughts that should probably have remained thoughts.
Check me out at: https://anandb.dev
@doctasquid.bsky.social @doctasquid.bsky.social 
@figtiv.bsky.social @figtiv.bsky.social 
norinecoenen.bsky.social @norinecoenen.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
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/
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
@acendrou.bsky.social @acendrou.bsky.social 
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
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
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
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
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
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.
@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/
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Subash @anterr.bsky.social 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
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, πΉ πΊπ¦ π£
Shenanibro @shenanibro.bsky.social Takin' it one step at a time, man.
Working on systems programming, formal stuff, exotic hardware.
Trying to be nice π»
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 
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her- 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
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social 
@ahuoguo.bsky.social @ahuoguo.bsky.social - 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 
Haoyi Zeng @haoyizeng.bsky.social 
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Jocelyn Chen @jqchen.bsky.social 
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
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
Maurice Herlihy @mauriceh.bsky.social Prof at Brown CS. 
Jan Happy Ankerstjerne @janhappy.bsky.social Spiritual Ascension Master and Humanitarian Leader from the city of Copenhagen, Denmark with a big dream of changing the world one human at a time.
Help and Support People all over the World from here https://happylaunching.mystrikingly.com/
@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
Sibin @sibin.bsky.social Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Opinions/RTs personal.
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
Boris KΓΆpf @socialboris.bsky.social Researcher at Microsoft Azure
boriskoepf.de
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
@theshaman77.bsky.social @theshaman77.bsky.social 
Chenyu Zhou @zcysky.bsky.social PL / FM PhD Student@USC
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.
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
πVictoria BC π¨π¦
https://chrispenner.ca
Pranav Mahajan @pranav-mahajan.bsky.social PhD candidate at University of Oxford. Engineer and a computational neuroscientist thinking about pain and safe AI. (Views are my own; he/his)
https://www.pranavmahajan.info/
@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
Mego Tan @tannal.github.io π» Programming πΏ Free software πΉMusic
Chris Lewis @chrislewis.au President #chris Slack channel. Software engineer? Ex @uber, @twitter. My views are those of a mysterious glowing orb which only I can see.
Serra Dane @serradane.bsky.social PhD student at UMich CSE
@errast.bsky.social @errast.bsky.social 
@jfyxh.bsky.social @jfyxh.bsky.social 
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Pwn Doctor, PhD @pwndr.bsky.social Foremost expert in pwning noobs
@berndfinkbeiner.bsky.social @berndfinkbeiner.bsky.social Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
Sam Scott @samjs.io Hi π I'm Sam. Building Workers AI @ Cloudflare. prev: cofounder/CTO of Oso buliding authorization as a service in Rust. PhD in Cryptography.
GitHub: https://github.com/samscott89/
hgluka @hgluka.net 
μ§μ° @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
π΅ NP: "KoK" by HYUKOH