×
You are not logged in
Bluesky Followers
Rin
Followers of @rin.rocks
Ali Rousta
Registered:31 Dec 2025 10:47
Go Enthusiast | FP Lover | AI Skeptic
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
faultables
Registered:29 Aug 2025 18:31
SRE, DevOps and everything in between • indie macOS/iOS developer • FLOSS btw • doing things with @flooo.club
👾 faultables.net
🏕️ rizaldy.club
Avishek ghosh
Registered:1 Dec 2024 16:42
winpuc
Registered:28 May 2024 03:27
kylef94.bsky.social
Registered:18 Nov 2024 17:45
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
minakamel.bsky.social
Registered:7 Feb 2025 07:02
movies, tv shows, computers, everton
Print Play Protect
Registered:25 Nov 2023 20:32
We make cool tabletop items :D
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/
Arborius
Registered:14 Nov 2024 05:11
🎲Board game designer🎓Grad student studying 💾 bits and bytes 🖥️⚙️Operating systems📈mathematical finance
Weekly playtesting: https://arborius.online/discor...
Benjamin Geer
Registered:24 Apr 2024 20:19
Software developer and ex-academic (sociology, conceptual history, Arabic culture, etc.), sometimes publishes classical sheet music, lives in Paris, en/fr/ar/de/it, blog https://benjamingeer.name/, publications https://orcid.org/0000-0002-24...
Junrui Liu
Registered:12 Nov 2024 02:20
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Will
Registered:29 Nov 2023 11:49
Music and rambling
Christopher / クリス
Registered:14 Nov 2024 13:00
Husband・programmer・ 🇩🇪 🏴 🇯🇵・bjj/judo・🐧
SimonR
Registered:12 Mar 2025 09:34
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer, NixOS
Early student in CS at Technische Universität München
Other interests: Physics, Accordion, Judo and Design
https://simonreilich.github.io...
xmateozzz.bsky.social
Registered:3 Dec 2024 00:57
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!
Bozhidar Batsov (a.k.a. Bug)
Registered:27 Sep 2023 07:42
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
T Λ N G O
Registered:22 Jan 2025 21:36
恵海流（えみちゃん）disillusioned software engineer from scandinavia
level: 29
body type: 🧍♂️
interests include but not limited to:
- 🥭 manga (mostly yuri)
- 🎾 sport (cycling)
- 🖥 games
- 🍜 cooking
- 📓 books (romance, fantasy)
- 🐧 nixos user
Petro
Registered:18 Nov 2024 05:23
Building things for everyone with Python and LLMs. Before this, was building things with Scala.
🏡- https://vpetro.io
👨💻- https://github.com/vpetro
Kramer
Registered:19 Nov 2023 13:11
Writing #ElixirLang at remote.com 🚀
Code: https://github.com/hamptokr
Ibrahim Bagalwa
Registered:28 Dec 2023 15:42
Software engineer
Charle
Registered:1 Sep 2024 16:28
🇦🇷 un tipo
phamki.bsky.social
Registered:4 Feb 2025 15:23
jespera.bsky.social
Registered:7 Feb 2024 07:39
Ocsigen
Registered:9 Feb 2024 09:19
The next generation Web and mobile framework.
Pedro Nieto Méndez
Registered:4 Aug 2024 15:29
401
maxrn
Registered:4 Jun 2024 13:22
Computer science student
Go, nix, OCaml, some web
neovim btw
Tim Lavoie
Registered:21 Jan 2025 21:41
Living the island life on Canada's west coast.
Interested in programming, security, photography, and anything adjacent
૮༼⚆︿⚆༽つ
Registered:27 Apr 2023 15:46
Manos Ragiadakos
Registered:2 Jan 2025 14:27
I want to bring back waterfall methodologies and the development of monolithic servers.
Blog: https://rm4n0s.github.io/
Dr. Ruchira Datta
Registered:22 Nov 2024 15:59
Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
pngwn
Registered:12 May 2023 13:37
Penguin of great renown.
The penguin revolution is nigh, only the feathered and the tuxedoed will be spared.
Except for seagulls, they can get fucked.
https://pngwn.at
Thomas Bui
Registered:8 Jan 2025 15:19
Rustacean at core.
Enjoying the beauty of programming.
Rust, C, Golang, Javascript.
