×
You are not logged in
Bluesky Follows
Max Willsey
Follows by @mwillsey.com
nrc
Registered:3 Jul 2023 09:29
Follow date:6 Oct 2025 22:01
Julia Carrie Wong
Registered:27 Apr 2023 17:31
Follow date:11 Sep 2025 16:39
senior reporter at the guardian us / julia.wong@theguardian.com / juliacarriewong.11 on Signal
2XKO
Registered:18 Oct 2024 18:05
Follow date:9 Sep 2025 21:55
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
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:9 Sep 2025 13:59
Get used to disappointment.
Technology Connections
Registered:18 Nov 2023 22:50
Follow date:2 Sep 2025 21:36
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/techno...
D4RK ONION
Registered:21 Sep 2023 17:56
Follow date:29 Aug 2025 14:51
FAT Developer and Irish FGC veteran (old man)
🔗 https://fullmeter.com
He/Him (@d4rk_onion)
Kiran
Registered:11 Sep 2023 13:04
Follow date:21 Aug 2025 19:46
Programming Languages Researcher
https://kirancodes.me
The New Yorker
Registered:8 Feb 2024 00:07
Follow date:10 Jul 2025 14:33
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
The Onion
Registered:29 Apr 2023 12:21
Follow date:23 Jun 2025 18:53
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/newslette...
parkie-doo
Registered:27 Jun 2023 19:14
Follow date:17 Jun 2025 21:35
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
Frank McSherry
Registered:28 Oct 2024 23:26
Follow date:30 May 2025 02:25
Alice ✨
Registered:19 May 2023 21:58
Follow date:23 May 2025 23:59
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Edward Kmett
Registered:15 Nov 2024 15:53
Follow date:28 Apr 2025 21:16
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
Conor Mc Bride
Registered:13 Nov 2024 20:43
Follow date:18 Apr 2025 18:43
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.
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:4 Apr 2025 04:11
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
HYTRADBOI
Registered:23 Oct 2024 07:51
Follow date:1 Feb 2025 16:54
Have you tried rubbing a database on it?
https://www.hytradboi.com/2025
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:17 Jan 2025 15:03
Tell me about types
Ben Kushigian
Registered:19 Oct 2024 23:55
Follow date:29 Dec 2024 20:12
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
Max
Registered:22 Jun 2023 04:30
Follow date:29 Dec 2024 20:12
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
Talia Ringer
Registered:7 Jul 2023 05:53
Follow date:29 Dec 2024 20:12
Stephen Diehl
Registered:5 Dec 2023 20:27
Follow date:20 Dec 2024 15:29
Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
lisarennels.bsky.social
Registered:18 Dec 2024 01:09
Follow date:18 Dec 2024 05:12
Peter Goodman
Registered:3 May 2023 23:12
Follow date:3 Dec 2024 22:43
C++ developer specializing in source and binary program analysis and transformation.
julesjacobs.bsky.social
Registered:24 Nov 2024 04:02
Follow date:3 Dec 2024 22:24
Caroline Lemieux
Registered:25 Nov 2024 04:52
Follow date:3 Dec 2024 20:30
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cest... she/her.
Cody
Registered:28 Aug 2023 21:37
Follow date:2 Dec 2024 18:11
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/...
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:2 Dec 2024 18:11
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:2 Dec 2024 18:10
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/
Aws Albarghouthi
Registered:23 May 2023 14:45
Follow date:1 Dec 2024 03:33
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws...
Street Fighter
Registered:15 Nov 2024 21:14
Follow date:30 Nov 2024 21:03
Hit the streets with #StreetFighter6!
ESRB TEEN for Language, Mild Blood, Suggestive Themes, Use of Alcohol & Tobacco, Violence. http://discord.gg/streetfighte...
https://www.streetfighter.com/...
Katherine Mohr
Registered:20 Nov 2023 16:49
Follow date:30 Nov 2024 19:11
mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Shadaj Laddad
Registered:13 Jun 2023 20:45
Follow date:29 Nov 2024 22:06
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!
Anastasia Isychev
Registered:14 Nov 2024 09:28
Follow date:29 Nov 2024 17:40
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
Alcides Fonseca
Registered:18 Nov 2024 07:59
Follow date:29 Nov 2024 16:33
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:27 Nov 2024 19:19
Mom, foodie, traveller, computer scientist
ali alkhatib
Registered:27 Apr 2023 21:34
Follow date:27 Nov 2024 19:14
anthropologist [no longer] yelling at engineers. feral.
signal -> @ali.01
Germ: https://ger.mx/A-EKb0IlxngYYaw...
Sarah E. Chasins
Registered:26 Nov 2024 21:39
Follow date:26 Nov 2024 21:41
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
지산
Registered:22 Jan 2023 02:05
Follow date:25 Nov 2024 19:12
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: "June" by Copywrite
Broski
Registered:17 Oct 2024 12:19
Follow date:24 Nov 2024 00:02
JWonggg
Registered:14 Nov 2024 02:53
Follow date:24 Nov 2024 00:02
I play fighting games and I have a cute daughter
Sajam
Registered:7 Nov 2024 00:14
Follow date:24 Nov 2024 00:02
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:23 Nov 2024 19:32
The ACM Special Interest Group on Programming Languages.
Steam
Registered:21 Nov 2024 23:29
Follow date:22 Nov 2024 14:58
Steam, The Ultimate Online Game Platform.
For support: http://help.steampowered.com/e...
Steam Deck
Registered:18 Nov 2024 21:19
Follow date:22 Nov 2024 14:58
The latest news about Steam Deck and Steam Deck OLED, the powerful handheld gaming PCs from the team at Valve.
Michael Carbin
Registered:15 Nov 2024 03:52
Follow date:22 Nov 2024 00:40
Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Nikolaj
Registered:19 Oct 2024 02:09
Follow date:21 Nov 2024 22:06
Konstantinos Kallas
Registered:20 Nov 2024 19:42
Follow date:21 Nov 2024 05:03
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Leo Lampropoulos
Registered:18 Nov 2024 06:36
Follow date:20 Nov 2024 15:00
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Dan Grossman
Registered:19 Nov 2024 22:13
Follow date:19 Nov 2024 23:04