senior reporter at the guardian us / julia.wong@theguardian.com / juliacarriewong.11 on Signal
Official account of 2XKO, Riot Games' free 2v2 fighting game. Early Access available now on PC. Coming January 20-21 to Xbox X|S and PS5
Get used to disappointment.
I'm that YouTuber who taught you how dishwashers work. Guess I'm tryin' out the whole Bluesky thing now.
he/him
https://www.youtube.com/technologyconnections
FAT Developer and Irish FGC veteran (old man)
🔗 https://fullmeter.com
He/Him (@d4rk_onion)
Programming Languages Researcher
https://kirancodes.me
Unparalleled reporting and commentary on politics and culture, plus humor and cartoons, fiction and poetry. Get our Daily newsletter: http://nyer.cm/gtI6pVM
Follow The New Yorker’s writers and contributors: https://go.bsky.app/Gh5bFwS
America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
PhD Candidate at UC Berkeley EECS // Programming Languages • Human-Computer Interaction • Visualization • Cartography // Building alpha.cartokit.dev
Software Engineer at @gristnews.bsky.social // Maps • Data • Graphics • Code
http://github.com/frankmcsherry/blog
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Have you tried rubbing a database on it?
https://www.hytradboi.com/2025
Working on a PhD at @uwcse/@uwplse. Interested in formalizing and improving testing adequacy metrics. ⅒x developer. Dabble in music. Lapsed Armenian. I maintain github.com/bkushigian/desktop-postflop and github.com/bkushigian/pious
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
C++ developer specializing in source and binary program analysis and transformation.
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Hit the streets with #StreetFighter6!
ESRB TEEN for Language, Mild Blood, Suggestive Themes, Use of Alcohol & Tobacco, Violence. http://discord.gg/streetfighter
https://www.streetfighter.com/6/
mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com
More at https://shadaj.me!
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
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Mom, foodie, traveller, computer scientist
anthropologist [no longer] yelling at engineers. feral.
signal -> @ali.01
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
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: "Fearless" by Pink Floyd
I play fighting games and I have a cute daughter
The ACM Special Interest Group on Programming Languages.
Steam, The Ultimate Online Game Platform.
For support: http://help.steampowered.com/en/
The latest news about Steam Deck and Steam Deck OLED, the powerful handheld gaming PCs from the team at Valve.
Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Like the New Yorker, but readable.
https://linkin.bio/currentaffairsmag
More good things for everyone. Public sector appreciator. Tax and welfare policy knower. Hyperinflation doubter.
Computer Friend, Not a Bird
www.philipzucker.com
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Sharing fighting game highlights
Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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.
This account is maintained by federal staff to share services and legislation relevant to constituents of NY-14.
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.
extremely dubious of "everything is public" social network
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Assoc. prof. at Uppsala University, working in programming languages and verification
I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
CS professor at UT Austin, does research in programming languages & formal methods.
bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Computer things @Berkeley and music things elsewhere.
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Nonprofit newsroom. Media that builds power for working people.
Join us: https://linktr.ee/moreperfectunion
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
forbes' 7.4 billion under 7.4 billion.
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
I mostly post about birds, food, and fun.
I am helping Microsoft build the new storage stack for Azure.
If you’re in systems I recommend checking out discuss.systems! The cooler social network
Washed up, has been systems grad student
sincerely.dev
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.
(he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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
actually just on Mastodon: https://discuss.systems/@adrian
Loves gpu programming, compilers, optimization, and building things from scratch.
https://mastodon.gamedev.place/@sprig, https://darzu.io, https://sprig.land
Rendering Engineer at Bitshift Entertainment
KY0LO. Recovering hackademic. He/Him.
fibre arts enthusiast
https://linktr.ee/weirdmedievalguys
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group.
Send me your mutual aid requests.
Newsletter: Welcome to Hell World www.welcometohellworld.com
Books:
We Had It Coming (2025) https://orbooks.com/catalog/we-had-it-coming/
A Creature Wanting Form (2023) www.orbooks.com/catalog/a-creature-wanting-form
turnip shepherd & bad person
Makes things up. Writes them down. Dreams about growing up but not yet.
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Reporter at Bloomberg | co-host of Triple Click | New York Times bestselling author of Play Nice + Press Reset + Blood, Sweat, and Pixels | jschreier@gmail.com
