×
You are not logged in
Bluesky Followers
Michael Homer
Followers of @mwh.nz
Anshu Sharma
Registered:17 Nov 2023 15:24
Studying quantum computing and software semantics. YIMBY, anti-ethnonationalisms, pro open borders. ‘Anarchist’ is not a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/an...
Facebook: https://www.facebook.com/anshu...
Tsvetelin Andreev
Registered:15 Feb 2026 10:49
Software Engineer • Educator • Musician | Remote & Switzerland-Based Opportunities
https://www.linkedin.com/in/fl...
Alaye
Registered:12 Dec 2025 01:46
Good life is all I pree💭
Future Educator📚
Sport lover⛹️♂️🤾🏼♀️
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
least informed nerd
Registered:30 Nov 2024 09:11
you’d think being a nerd every waking hour would make me knowledgeable…
plumenator.bsky.social
Registered:7 Feb 2024 18:12
지산
Registered:22 Jan 2023 02:05
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
Chase Bussey
Registered:8 Dec 2024 16:04
Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Edoardo Vacchi
Registered:26 May 2023 19:16
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
Internet Hedgehog 🦔
Registered:1 Jul 2023 17:26
A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik
David Justo
Registered:26 Apr 2023 04:04
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.
Stephen
Registered:30 Jul 2023 20:23
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
delob.bsky.social
Registered:11 Aug 2024 23:32
Brian T. Rice
Registered:27 May 2023 03:33
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_p...
Mike Samuel 🟣
Registered:21 Aug 2023 06:40
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.
asa
Registered:28 Mar 2025 03:35
nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Missino
Registered:29 Jun 2023 15:53
Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Raghav Agrawal @impactology@mastodon.social
Registered:7 Aug 2023 14:29
Former Diamond Dealer | Turning research on learning, cognition, and systems into interfaces that reduce confusion, cost and decision stress.
https://twitter.com/impactolog...
Buildstash - manage software binaries
Registered:18 Mar 2024 19:55
For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores 🚀
https://buildstash.com
Print Play Protect
Registered:25 Nov 2023 20:32
We make cool tabletop items :D
SE4FP Workshop
Registered:10 Apr 2025 20:00
1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
zhen shur
Registered:14 Dec 2024 22:07
i'm a gamedev student who likes cool computery stuff!
19, they/them
🪲🪲🪲
itch: https://somewhaat.itch.io
tg: https://t.me/sakoruchki
inst: https://instagram.com/some.wha... (kinda dead?)
Alan
Registered:27 Feb 2023 15:59
HyperTalk Spelunker. NYC.
@alanlaidlaw
linktr.ee/alaidlaw
𝕮
Registered:25 Apr 2023 19:32
seeding discontent in present-day computing
libcomp.org • @folkjs.org
foraging the web: https://semble.so/profile/chri...
Benicio del Ackroyd
Registered:14 Nov 2024 17:29
Any opinions expressed are those of my employer and not my own
David Moon
Registered:11 Apr 2023 02:09
PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Dev Shorts
Registered:11 Feb 2025 10:23
Byte Sized Developer Education | Newsletter on Substack
https://www.devshorts.in/
λdu.du
!! Invalid Handle !!
Registered:21 Nov 2024 01:06
🇧🇷
logic | PLT | Concurrency
Martin Janiczek
Registered:9 May 2023 10:54
Functional programming / Making a browser game NuAshworld / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
pedro cleis
Registered:9 Nov 2023 14:33
Parahyba, Brasil
Brett Evans
Registered:12 Nov 2024 05:41
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
nihil2501
Registered:21 Nov 2023 23:49
Jack Matusiewicz
Registered:8 Aug 2024 07:38
Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
minakamel.bsky.social
Registered:7 Feb 2025 07:02
movies, tv shows, computers, everton
Sai Divvela
Registered:3 Jan 2025 19:22
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
kubaneko.bsky.social
Registered:28 Dec 2024 08:31
master student at Chalmers something something proof assistants
Ernest Ng
Registered:18 Jan 2025 16:28
PL/Systems PhD student at Cornell
ngernest.github.io
Tomas Petricek
Registered:28 Oct 2024 21:14
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.
rgesteve.bsky.social
Registered:19 Sep 2023 17:24
Alcides Fonseca
Registered:18 Nov 2024 07:59
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
David
Registered:15 Nov 2024 01:37
Writes software, sometimes writes about software.
Programming language hobbyist and board game enthusiast.
Chicago, USA
Taylor Hodge
Registered:20 Apr 2023 20:28
Striving to create that in the presence of which we feel more alive
Software gardener/eng, now augmenting intellect ↝ Rupa Health, Narrative Science, WorkOS
keja.bsky.social
Registered:29 Aug 2023 21:35
tom larkworthy
Registered:17 Nov 2024 15:41
Computers and decentralization.
Roly Perera
Registered:29 Nov 2024 15:19
Making software more open, explorable and self-explanatory
https://dynamicaspects.org/res...
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org