×
You are not logged in
Bluesky Followers
Terrateam
Followers of @terrateam.io
Frank Force
Registered:12 Nov 2024 17:32
Game Dev • Generative Artist • Programmer • Size Coder • Musician • Zen Buddhist • Wizard • Friend to Cats 🖖 linktr.ee/frankforce
Ali Rousta
Registered:31 Dec 2025 10:47
Go Enthusiast | FP Lover | AI Skeptic
Hunter
Registered:20 Nov 2024 20:16
Informatics PhD student @ UIUC
Doing qualitative research on Research SWE ∩ Software Studies
Interested in interoperability, type systems, wasm, OCaml, version control
https://researchsoftware.engin...
Alfonso Uceda
Registered:11 Nov 2023 08:19
Software Engineer. Ruby. Rails. DevOps apprentice
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
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
Mehdi Hasan Khan
Registered:7 Nov 2023 06:21
Software Developer.
Backend | Infrastructure | Platform Engineering | Observability.
🇧🇩 // 🇩🇪
thumbquat.bsky.social
Registered:20 Feb 2024 14:06
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
doinita.bsky.social
Registered:29 Dec 2024 23:18
minakamel.bsky.social
Registered:7 Feb 2025 07:02
movies, tv shows, computers, everton
Anton Babenko 🇺🇦
Registered:26 Apr 2023 08:20
compliance.tf / weekly.tf / serverless.tf / AWS Hero / Terraform influencer 🇺🇦🇳🇴
Print Play Protect
Registered:25 Nov 2023 20:32
We make cool tabletop items :D
moriccio-j96.bsky.social
Registered:20 Apr 2025 19:30
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...
Oussama
Registered:31 Mar 2025 21:06
Computer whisperer
Ernest Ng
Registered:18 Jan 2025 16:28
PL/Systems PhD student at Cornell
ngernest.github.io
Rodrigo Mendes
Registered:18 Aug 2023 19:55
Brazilian | father of a princess | husband of a Queen | Cloud Engineer | geek | sometimes making some noise with a bass guitar | leftist
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.
anentropic.bsky.social
Registered:9 Nov 2023 08:28
also at:
@anentropic@fosstodon.org
https://github.com/anentropic/
Yuri Albuquerque
Registered:30 Aug 2024 19:55
Costumava ser @Denommus no Twitter. Programador de tecnologia que não gosta, comunista chato, autista, faço stream casualmente no https://twitch.tv/BolivarAdept
Não tenho política de sdv, se eu te sigo foi por algum motivo arbitrário.
Chris Armstrong
Registered:23 Oct 2024 20:32
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
Will
Registered:29 Nov 2023 11:49
Music and rambling
Kief Morris
Registered:3 Oct 2023 08:40
Author of Infrastructure as Code. Distinguished Engineer at Thoughtworks.
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...
Edwin Anthony Smith
Registered:15 Dec 2024 11:39
First of my name
Father of Bella 🐾🐕
👨🏾💻 DevOps Engineer
☸️ Kubernetes Fanboy
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