×
You are not logged in
Bluesky Follows
Alice ✨
Follows by @welltypedwit.ch
David Allsopp
Registered:16 Nov 2024 13:40
Follow date:1 Mar 2026 14:02
Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Ian Duncan
Registered:9 Sep 2023 17:04
Follow date:28 Feb 2026 14:40
I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://www.fascistdb.com/
Engineering at Mercury, formerly Forge, CircleCI, others
Xe
Registered:24 Apr 2023 14:28
Follow date:18 Feb 2026 20:41
Some nerd that uses computers | Blogger with 500-ish articles at https://xeiaso.net | @theprincessxena on the bird website | CEO @techaro.lol | Minors DNI
t4ccer.com
Registered:23 Oct 2024 00:29
Follow date:4 Feb 2026 03:00
_cry64
Registered:28 Jul 2025 23:57
Follow date:3 Feb 2026 22:13
20 [they/them] 💛🤍💜🖤
(dys)functional programmer, mostly writing nix, haskell, rust, c, or bash ✨
i love my flesh prison!!1! 🩷💜
https://dobutterfliescry.net
Andrew Lilley Brinker
Registered:16 Aug 2023 13:16
Follow date:7 Jan 2026 23:22
Memory safety (mostly 🦀), open source software.
Creator @hipcheck.mitre.org, Core Team @omnibor.io, CVE dev.
Writing on alilleybrinker.com, possiblerust.com
Principal Engineer @ MITRE. Opinions are my own.
Joehills.net
Registered:29 May 2023 18:45
Follow date:6 Jan 2026 18:53
Nashville, TN
https://twitch.tv/joehills
https://youtube.com/JoeHillsTS...
James Munns
Registered:24 Apr 2023 18:18
Follow date:17 Dec 2025 13:25
Notable Protocol Enjoyer.
Doing stuff, mostly in Rust and on Embedded systems. Need help with that? Hire me @onevariable.com
Co-host @sdr-podcast.com
DMs (matrix): @jamesmunns:beeper.com
DMs (signal): jamesmunns.255
he/him
Kein Ort für Nazis
alt-romes.bsky.social
Registered:12 Jul 2025 14:43
Follow date:1 Dec 2025 13:15
Games by Sam
Registered:19 Feb 2025 12:04
Follow date:30 Nov 2025 12:36
rain 🌦️
Registered:15 Apr 2023 01:48
Follow date:27 Nov 2025 22:44
(gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
Ola
Registered:17 Apr 2024 19:50
Follow date:27 Nov 2025 20:29
Software Engineer, FP guy (particularly Haskell), I stream on programming (theory and practicals), gaming, piano, etc. on YT and Twitch @ola_musta.
I also sometimes write at https://ola.bearblog.dev/. Opinions are my own
Renatillas
Registered:29 Jun 2025 14:31
Follow date:25 Nov 2025 13:12
I do functional programming with Gleam. I also rant about stuff. My real name is Renata but you can call me Rena
Abhinav Sarkar
Registered:24 Aug 2023 05:52
Follow date:20 Nov 2025 15:22
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google. Also at @abnv.me.
#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself
grace
Registered:20 Nov 2025 05:49
Follow date:20 Nov 2025 11:57
the functional programming language for prompt engineering
try the tutorial at trygrace.dev
profile picture by @art.nekomimi.pet
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
Follow date:28 Oct 2025 12:50
Jay 🦋
Registered:17 Nov 2022 06:31
Follow date:2 Oct 2025 18:51
CEO of Bluesky, steward of AT Protocol.
dec/acc 🌱 🪴 🌳
Danielle
Registered:11 May 2023 21:27
Follow date:11 Sep 2025 13:35
Software Engineer, 23 🏳️⚧️
𐂂
Registered:6 May 2025 03:36
Follow date:31 Aug 2025 22:27
𓆏
you can't prove its me
don’t repost
Nathan🌸
Registered:9 Jan 2025 16:55
Follow date:20 Aug 2025 19:58
Indie software developer • math lover • ML builder • 48 • NB they/them
Currently working on audio circuit simulation.
isabel
Registered:22 Jul 2023 15:40
Follow date:12 Aug 2025 18:07
smart enough to know better, dumb enough to do it anyway
21 | she/her
least informed nerd
Registered:30 Nov 2024 09:11
Follow date:10 Aug 2025 23:10
you’d think being a nerd every waking hour would make me knowledgeable…
teo
Registered:13 Dec 2023 10:00
Follow date:4 Aug 2025 22:24
writes Haskell mostly | loves public transport | studied philosophy | 🏴 | mid 20s | they/them
Medlife Crisis (Rohin)
Registered:27 Jun 2023 17:40
Follow date:31 Jul 2025 16:44
Dr Rohin Francis. Consultant cardiologist with a sub-specialisation in useless videos, found on YouTube and Nebula. Less funny than placebo (p
Γ ⊢ quartztz : bnuy
Registered:14 Nov 2024 13:34
Follow date:16 Jul 2025 11:11
[he/they]
EN/FR/IT
quartztz.com
MSc @ EPFL
verification obsessed nerd with too little time on their hands.
waffle, supposedly
Registered:25 Jun 2025 14:19
Follow date:14 Jul 2025 23:05
alt account; it/its; creature from the void; evil; my robot girlfriend — @aria.pds.witchcraft.systems; my ouppy boyfriend — @aphantic.pds.witchcraft.systems
Maddy Thorson
Registered:6 Nov 2024 23:46
Follow date:14 Jul 2025 19:47
Madeline Stephanie Thorson
makes games ~ Celeste, TowerFall, etc
🏳️⚧️ gender criminal
maddymakesgames.com
Tweag by Modus Create
Registered:20 Feb 2025 17:09
Follow date:14 Jul 2025 11:22
Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
Justice Of Toren One Var
Registered:27 Apr 2023 20:59
Follow date:13 Jul 2025 14:53
One Esk Nineteen is tired.
you cannot do anything ironically.
life is action, and life is good only when action is a joy.
jesse يسّى ישי
Registered:16 Apr 2023 19:43
Follow date:11 Jul 2025 01:11
californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Tim McGilchrist
Registered:11 Dec 2024 09:40
Follow date:7 Jul 2025 14:17
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Abigail Thorn
Registered:2 May 2023 19:49
Follow date:28 Jun 2025 22:25
Actress & Writer. Currently playing Sophie in BLINK https://kingsheadtheatre.com/w...
Lohar in HOUSE OF THE DRAGON; Eurus in STAR WARS; Nocturne in BALDUR’S GATE 3; Hotspur in THE PRINCE; Philosophy Tube & @KillJamesBond ✨👑
Isil Dillig
Registered:6 Nov 2024 17:22
Follow date:28 Jun 2025 10:06
CS professor at UT Austin, does research in programming languages & formal methods.
sharnoff
Registered:20 Aug 2023 00:27
Follow date:26 Jun 2025 11:42
eggbug forever; hopeful for a kinder world
https://sharnoff.io/photos
JF Bastien
Registered:8 May 2023 05:09
Follow date:23 Jun 2025 11:22
Build & scale platform — working on humanoid robotics 🤖
🔗 https://jfbastien.com
🔗 https://tlbh.it
📍 東京、日本
Hazel Weakly
Registered:5 May 2023 14:12
Follow date:3 Jun 2025 12:06
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Steve Klabnik
Registered:10 Apr 2023 22:57
Follow date:28 May 2025 19:25
addie! ☆彡
Registered:7 Nov 2024 05:11
Follow date:26 May 2025 10:10
she/her. do whatever you want forever.
yuri expert; creator of @yuri-lang.dev
free palestine 🇵🇸
follow for rust, gamedev, sysadmin, osdev, music, computer graphics
Brian Goetz
Registered:8 Nov 2024 15:44
Follow date:22 May 2025 17:23
Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
Aws Albarghouthi
Registered:23 May 2023 14:45
Follow date:22 May 2025 09:13
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws...
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:29 Apr 2025 15:43
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
SimzArt
Registered:21 Aug 2023 17:37
Follow date:28 Apr 2025 21:02
Illustrations / Character Designs / Comic Books / Partnered Twitch Streamer
https://linktr.ee/simz.art
Nicole Heinimann
Registered:26 Jun 2023 13:14
Follow date:28 Apr 2025 11:06
Where are my types, I can't see without my types!
PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
AndreasPK
Registered:13 Dec 2024 10:35
Follow date:27 Apr 2025 17:29
Compiler enthusiast, GHC Maintainer, working with Well-Typed.
rob pike
Registered:13 Jul 2023 09:06
Follow date:27 Apr 2025 00:01
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.
rebecca~
Registered:29 Nov 2024 13:18
Follow date:19 Apr 2025 15:07
Core member of Lustre, contributor to Gleam, maker of open-source, technically a founder. AI & Data Science expert @ OTH (the good kind where i know maths).
Dreaming about game design, music, math, and owning a coffee shop. You're valid and you're loved.🩵🩷
ZuriHac
Registered:11 Dec 2024 22:28
Follow date:18 Apr 2025 02:18
The official Bluesky account for ZuriHac
zurihac.info
Flying Guibou
Registered:17 Nov 2024 02:30
Follow date:16 Apr 2025 13:13