- P @plumenator.bsky.social @plumenator.bsky.social
- B @bobmcn.bsky.social @bobmcn.bsky.social
@jjzaffo.bsky.social @jjzaffo.bsky.social
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.- Y yishibashi @yishibashi.me hi
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net- P @philharvey.bsky.social @philharvey.bsky.social
Michael SchrΓΆder @schrototo.bsky.social PhD student at TU Wien.
mcschroeder.github.io
Simmo Saan @sim642.eu Computer scientist. https://sim642.eu/
@srahmoun.bsky.social @srahmoun.bsky.social
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL β UBC β¦ PhD @ PLClub β UPenn
asian-canadian π¨π¦πΉπΌππ°π³οΈβπ
I inherited https://types.pl
βΌ https://ionathan.ch
StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
https://youtube.com/@stepbrobd
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Gabriela Araujo Britto @gabritto.bsky.social
Stratos Psomadakis @ps0mas.bsky.social writing segfaulting code
PhD@CSLab NTUA
https://discuss.systems/@psomas
https://x.com/ps0mas
https://psomas.xyz
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Ruben Branco @rubenbranco.bsky.social PhD Student @ LASIGE, Faculty of Sciences, University of Lisbon.
Love all things Deep Learning.
https://rubenbranco.github.io/
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@mycroft-homeless.bsky.social @mycroft-homeless.bsky.social
great triambic icosidodecahedron @janpaul.pl aha! ordoliberal.
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
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
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
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
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
Talia Ringer @taliaringer.bsky.social
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Guilherme Espada @guipsp.bsky.social PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
@fdeitylink.bsky.social @fdeitylink.bsky.social
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
@ahuoguo.bsky.social @ahuoguo.bsky.social