×
You are not logged in
Bluesky Follows
μ§μ°
Follows by @zee.town
Hayden Braxton
Registered:31 Oct 2025 14:05
Follow date:24 Feb 2026 12:47
engineer of softwares. Mostly translates from one odd spec to another.
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
Follow date:3 Feb 2026 08:00
Mikayla π³οΈββ§οΈπ΄π¦
Registered:10 Apr 2023 02:56
Follow date:26 Jan 2026 07:19
Trans π³οΈββ§οΈ, LWMA π΄, Rust π¦
βForget bread, forget cake, forget even the bakery, the only anarchist demand is everything.β
maybe: leif weatherby
Registered:21 Sep 2023 18:33
Follow date:14 Jan 2026 06:58
Hegel, cybernetics, Buffalo Bills
Jason Hall
Registered:12 May 2023 23:12
Follow date:14 Jan 2026 06:57
World's Okayest Dad, pizza enthusiast, single-hyphenate, container nerd at Chainguard
zeeshanlakhani
Registered:7 Jan 2026 03:11
Follow date:7 Jan 2026 03:17
eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring , prev @ fission, comcast, basho, arc90, nypl_labs | online @ [β¦]
π bridged from β https://hci.social/@zeeshanlak... follow @ap.brid.gy to interact
Bridgy Fed for the fediverse
Registered:23 Apr 2024 22:07
Follow date:7 Jan 2026 03:16
Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your Bluesky account to the fediverse, follow this account.
To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.β¦
Stephen
Registered:30 Jul 2023 20:23
Follow date:7 Jan 2026 02:53
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Edoardo Vacchi
Registered:26 May 2023 19:16
Follow date:7 Jan 2026 02:53
Programming Language Nerd, PhD in C.S. β Compilers, WebAssembly, Java, Rust, Go β prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit β organizer Papers We Love Milano
evacchi.dev
Pierce Darragh
Registered:4 Dec 2024 05:41
Follow date:6 Jan 2026 19:27
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Kiran
Registered:11 Sep 2023 13:04
Follow date:6 Jan 2026 19:27
Programming Languages Researcher
https://kirancodes.me
Andrew McNutt
Registered:7 Oct 2023 23:47
Follow date:6 Jan 2026 19:27
Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
π¨π¦ Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:6 Jan 2026 19:27
PL Researcher. Assistant Prof at University of Regina π¨π¦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Ernest Ng
Registered:18 Jan 2025 16:28
Follow date:6 Jan 2026 19:27
PL/Systems PhD student at Cornell
ngernest.github.io
tom larkworthy
Registered:17 Nov 2024 15:41
Follow date:6 Jan 2026 19:27
Computers and decentralization.
Tomas Petricek
Registered:28 Oct 2024 21:14
Follow date:6 Jan 2026 19:27
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
jaylin herskovitz
Registered:15 Nov 2024 21:19
Follow date:6 Jan 2026 19:27
βͺ~ α(α)α PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
Michael Coblenz
Registered:20 Nov 2024 20:37
Follow date:6 Jan 2026 19:26
Assistant Prof. at UC San Diego. Helping people write better software.
Leif Andersen
Registered:11 Sep 2023 12:49
Follow date:6 Jan 2026 19:26
Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
Michael Homer
Registered:28 Sep 2023 20:59
Follow date:6 Jan 2026 19:26
I make programming languages and interfaces at Victoria University of Wellington
Joe Gibbs Politz
Registered:27 Sep 2023 15:58
Follow date:6 Jan 2026 19:26
Alexis King
Registered:13 Feb 2024 16:34
Follow date:6 Jan 2026 19:26
computers can be understood β’ she/her, β’ β’ Chicago
Steve Krouse
Registered:12 Apr 2023 00:05
Follow date:6 Jan 2026 19:26
Lu wilson
Registered:20 Apr 2023 22:45
Follow date:6 Jan 2026 19:26
Matt Keenan
Registered:16 Nov 2024 20:36
Follow date:6 Jan 2026 18:06
Γcole des Bro-Arts
Registered:14 May 2024 17:41
Follow date:2 Jan 2026 15:19
Switchy leatherman into bad puns, thick boys, and distributed systems. Purveyor of fine jockstrap selfies. Woof.group admin.
Jim Starkey: "Of interest only to third-rate [β¦]
π bridged from β https://woof.group/@aphyr, follow @ap.brid.gy to interact
rob pike
Registered:13 Jul 2023 09:06
Follow date:26 Dec 2025 13:27
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
cyber professional
Registered:15 Apr 2023 12:56
Follow date:25 Dec 2025 06:01
if you die in the game, you feel sad in real life
post about co-ops, roguelikes, Battletech, guitar, cooking, gardening
work in AI/ML infrastructure, python, security, SRE, k8s, robotics
π΄π³οΈβπ - en/es/δΈζ - Boston
Greg Sargent
Registered:26 May 2023 13:57
Follow date:23 Dec 2025 12:58
Politics, politics, politics
Sam Rose
Registered:4 Jan 2024 18:24
Follow date:21 Dec 2025 13:38
That guy who makes visual essays about software at https://samwho.dev.
Developer Educator @ ngrok.com. Want to pair on something ngrok related? Let's do it! https://cal.com/samwho/workhou...
He/him.
Jer Thorp
Registered:24 May 2023 15:29
Follow date:15 Dec 2025 01:04
Artist, writer, educator, birder & nudibranch enthusiast. Author of Living in Data (MCDxFSG).
Michael Fogleman
Registered:14 Nov 2024 02:53
Follow date:6 Dec 2025 17:16
Bird-obsessed software engineer
michaelfogleman.com
Axel MΓΆllerberg
Registered:10 Aug 2024 06:20
Follow date:2 Dec 2025 01:05
Professional bit-flipper and pixel-pusher at sambanova.ai
Opinions, whenever they do come out - are my own.
(he/him)
Dave Jorgenson
Registered:2 May 2023 23:04
Follow date:25 Nov 2025 21:21
Host of Local News International
Subscribe for free: http://LNI.media
Support us: http://LNI.media/membership
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
Follow date:21 Nov 2025 12:59
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Charly
Registered:11 Dec 2023 21:49
Follow date:20 Nov 2025 14:52
Computer system researcher, working on OS, virtualization, and confidential computing.
Formal Methods for Autonomous Systems
Registered:14 Oct 2024 18:45
Follow date:17 Nov 2025 14:11
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Krystian Zun
Registered:20 Nov 2024 16:39
Follow date:16 Nov 2025 03:58
product designer building products Ω©( β©'Ο'β© )Ω
xrjobsboard.com οΌ find an AR/VR job
http://krystianzun.gumroad.com... β Learn XR Design
krystianzun.com
Kate Holterhoff, PhD
Registered:24 Apr 2023 22:41
Follow date:16 Nov 2025 03:01
Analyst @redmonk.com π
Affiliated researcher @ Georgia Tech π
Author of 2 books π
Award-winning podcast host ποΈ
#AI #Frontend #JavaScript #DevX
Phil Eaton
Registered:4 Aug 2023 09:52
Follow date:16 Nov 2025 03:00
Research and analysis for experienced programmers at theconsensus.dev.
eatonphil.com
Gergely Orosz
Registered:26 Apr 2023 13:26
Follow date:16 Nov 2025 03:00
Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
Addy Osmani
Registered:23 Apr 2023 17:41
Follow date:16 Nov 2025 03:00
Engineering lead working on Gemini and Google Cloud AI
I want you to win :) For more on what I'm up to, I'm at addyosmani.com
Retro Computers
Registered:14 Aug 2023 04:07
Follow date:14 Nov 2025 07:25
Semi-automated posting of old computers and videogames. Sometimes other bits of retro aesthetics and design. ~6-8 posts a day, ~24 posts on holidays.
β Outbound links tagged and monitored by Bluesky.
Matt Godbolt
Registered:6 Apr 2024 13:46
Follow date:4 Nov 2025 13:11
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
Orual
Registered:11 Apr 2023 11:45
Follow date:4 Nov 2025 12:56
Person who does electrical, computer, and music things.
Certified Machine Pervert with compiler-induced psychosis.
Robotanist
they/it/she
support: github.com/sponsors/orual
Wicket (Hytale Arc)
Registered:2 Sep 2024 03:32
Follow date:4 Nov 2025 12:56
They/Them
Hytale Mod Developer & Server Admin
https://restedwicked.xyz
cinnamon π π³οΈββ§οΈ
Registered:17 Oct 2024 13:55
Follow date:4 Nov 2025 12:46
tech/music/language girlie. higher SNR @char.lt
bun/buns she/her it/its. en/fr/ν/es ok
Brendan Zab
Registered:11 Aug 2023 11:34
Follow date:30 Oct 2025 17:00
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Ethan Mollick
Registered:7 Sep 2024 14:28
Follow date:30 Oct 2025 02:53
Professor at Wharton, studying AI and its implications for education, entrepreneurship, and work. Author of Co-Intelligence.
Book: https://a.co/d/bC2kSj1
Substack: https://www.oneusefulthing.org...
Web: https://mgmt.wharton.upenn.edu...