You are not logged in
Bluesky Followers
@
Tim McGilchrist
Followers of @tsmc.purely-functional.com
poopcompiler.bsky.social
Registered:25 Mar 2024 12:05
nickbarnes.bsky.social
Registered:24 Feb 2024 16:38
Furkan Onder
Registered:19 Dec 2024 00:49
Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF https://github.com/furkanonder...
plumenator.bsky.social
Registered:7 Feb 2024 18:12
Ali Rousta
Registered:31 Dec 2025 10:47
Go Enthusiast | FP Lover | AI Skeptic
randyisrandom.bsky.social
Registered:29 Dec 2025 13:53
Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix Investigating the illusion of discreetness
Akhil 🚀
Registered:26 Apr 2023 12:37
tulluri.me | Software Engineer | Distributed Systems, Databases, Operating Systems
CPG
Registered:13 Aug 2025 15:13
Embedded & ML
Álvaro Ramírez
Registered:24 Aug 2023 06:24
Blogs about #emacs and other stuff at xenodium.com.
 Authored plainorg.com and flathabits.com for iOS.

Living in an Emacs buffer somewhere in London. 
Also at https://twitter.com/xenodium and https://indieweb.social/@xenod...
Nathan🌸
Registered:9 Jan 2025 16:55
Indie software developer • math lover • ML builder • 48 • NB they/them Currently working on audio circuit simulation.
Chukwuma
Registered:13 Nov 2024 09:56
Backend dev with Kt |🐫| F# | TS | C# on Debian 13 and Nix-OS. Decisions are temporary. Currently playing nothing
Hunter
Registered:20 Nov 2024 20:16
Informatics PhD student @ UIUC Interested in interoperability, type systems, wasm, OCaml, version control, Research Software Engineering, Software Studies, & Writing Studies https://researchsoftware.engin...
Max
Registered:10 Apr 2023 06:18
making the internet a better, more human place / seoul.systems
Vishal Lama
Registered:4 Mar 2025 06:36
Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
mathiasbourgoin.bsky.social
Registered:27 Jan 2025 10:34
Kiran
Registered:11 Sep 2023 13:04
Programming Languages Researcher https://kirancodes.me
Varun R Mallya
Registered:2 Nov 2025 14:57
I write a lot of C and eBPF. I also co-created PythonBPF. Find my blogs at https://xeon.me
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Rori
Registered:19 Oct 2025 05:13
The disciplined programmer
Type Theory Forall
Registered:3 Jan 2025 14:59
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
thumbquat.bsky.social
Registered:20 Feb 2024 14:06
shtohryn.bsky.social
Registered:19 Aug 2025 11:58
Avishek ghosh
Registered:1 Dec 2024 16:42
Simon Rowe (wiremoons)
Registered:20 Nov 2023 07:06
| photography | open source | programming | cycling | technology |
icmurray.bsky.social
Registered:16 Nov 2024 10:06
kylef94.bsky.social
Registered:18 Nov 2024 17:45
leo
Registered:21 Nov 2024 22:35
mcc @ fcup, portugal github.com/zazedd
Alice ✨
Registered:19 May 2023 21:58
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake - GLaDOS https://welltypedwit.ch
jolman
Registered:12 Nov 2024 17:58
dev & foss enjoyer
Nate
Registered:28 Nov 2023 18:04
Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮 Having the moment of anagnorisis as a developer
thegeekinside
Registered:12 Feb 2025 22:21
👨‍💻💻🕵️‍♂️🩺🦉🧪🦀🐍🐿 λ 🖊✍📷👨‍🎨🎨🎶🎧♟🌮☕🍷🧘‍♂️🇲🇽 he/him
minakamel.bsky.social
Registered:7 Feb 2025 07:02
movies, tv shows, computers, everton
Dr Huw Campbell
Registered:7 Jan 2024 22:29
Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
Print Play Protect
Registered:25 Nov 2023 20:32
We make cool tabletop items :D
Sudha
Registered:20 Mar 2025 11:24
mikejeuga.bsky.social
Registered:17 Nov 2024 16:12
boarders.bsky.social
Registered:17 Aug 2024 16:39
Thanks to impermanence all things are possible Working on a book on topos theory
Aaron Christianson
Registered:22 Apr 2025 10:31
OCaml. Pronouns in bio.
Nick De Roeck
Registered:11 Nov 2024 12:24
🏳️‍🌈 ex-Twitter exile looking for less manipulation and negativity, and more democracy and positivism. Blog @ https://publish.obsidian.md/ni...
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
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/
Silvestro Ranucci
Registered:15 Nov 2024 23:03
I live at the intersection. Writer of performant and type-safe bugs in Rust. Certified Nix complainer. Penguin lifeguard. Opinions are my own.
ea640x480.bsky.social
Registered:4 Aug 2023 00:22
Living in the subjunctive