You are not logged in
Bluesky Followers
@
OCaml
Followers of @ocaml.org
gckeller.bsky.social
Registered:16 Jul 2023 17:29
Professor, Software Technology, Utrecht University
sam
Registered:17 Nov 2023 19:44
I’m not a cat, but I once had a cat, and she was ace.
Leonard Stimpfle
Registered:17 Nov 2024 21:58
PhD candidate at Ghent University. Interested in climate, Python, econometrics.
Stefan W
Registered:28 Dec 2023 18:19
Philip Alring Rützou Aakast (PARAA)
Registered:20 Nov 2024 05:55
💻 Terminal Coder 📈 Quant - A Way Of Life 🤖 Data & AI driven 🛠️ Open-source contributor 🌐 Digital Citizen 📖 Devourer of Books 🔏 Privacy advocate
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
pyu
Registered:30 Nov 2025 04:54
they/them i like to make and break stuff
Simon scarfe
Registered:27 Mar 2023 07:37
Love to play with software. Some people pay me to do it. Play guitar with little skill or discipline, sometimes it sounds like jazz. But really, all you need to know is that about 80% of my wittering is about #TheTraitors
UnknownMp
Registered:15 Jan 2026 01:36
我的主站 / 联系方式 https://www.unknownmp.top
adverse_equilibrium
Registered:17 Jan 2026 23:46
computer scientist, working professional, moderately exhausted mostly unfunny shitposting
Arawn
Registered:7 Feb 2025 07:54
Pirate Strategist/dev/Gambler: Crypto HF/HFT
hel
Registered:26 Sep 2025 20:48
personalhel.com github: personalhel signal: personalhel.01 matrix: personalhel:matrix.org she/her 🏳️‍⚧️🏳️‍🌈🇵🇸 i use nixOS on apple silicon btw - and i will get you to use typst. banner imagine created by trine kløve eriksen, 2025
gregcaban.bsky.social
Registered:24 Nov 2024 18:50
disgruntleddev
Registered:16 Mar 2024 23:18
Mobile and Desktop Developer. In love with Functional Programming & TS (effect btw). F1 x Ferrari (my mental illness) and I love Comic Books (DC >>>) You will weep at the sight of it 😑 • https://github.com/Inalegwuhttps://ikwueinalegwu.vercel.a...
Vitaly Dolgov
Registered:12 Jan 2026 17:57
daimyo-tcs.bsky.social
Registered:12 Jan 2026 14:28
M. Hamido
Registered:4 Jan 2026 22:17
glop-pas-glop.bsky.social
Registered:18 Dec 2024 20:38
xuhongxu.bsky.social
Registered:19 Aug 2025 21:41
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 #C Investigating the illusion of discreetness
pavel donskoj ✨
Registered:2 Dec 2023 17:22
he/them 19yo programming enthusiast🏴🏳️‍🌈 loves unix, rust, risc-v
cmoss
Registered:19 Dec 2025 11:00
All #rustlang and audio related 🦀
ShugarSkull
Registered:16 Feb 2024 08:48
French and Fabulous
Justsomecarbon
Registered:23 Oct 2024 16:42
“What do you do?” Whatever it takes, man. Whatever it takes.
Jen
Registered:17 Aug 2023 20:45
he/him play uni ❤️ functional programming https://tangled.org/okk.moe https://github.com/okkdev
Denis
Registered:17 Dec 2025 08:12
Elixir golem Functional programming enthusiast
sbahri
Registered:16 Dec 2025 07:02
Clayton Engineering
Registered:10 Dec 2025 22:36
Software Engineering & Consulting https://clayton.engineering
Pranshu
Registered:12 Nov 2025 12:48
The thing in my pfp is not a turd, it's a eel, he/him. australian indian, my website: https://p.bauherren.ovh/
49c.bsky.social
Registered:11 Jan 2024 02:53
benjaminmoss.bsky.social
Registered:7 Feb 2024 15:41
CPG
Registered:13 Aug 2025 15:13
Embedded & ML
The Ceagul Programming Language
Registered:5 Dec 2025 23:44
compiled, strongly typed, systems programming language and toolchain for building scalable software.
Javier Garea
Registered:27 Nov 2025 13:34
software engineer @ nomasystems functional programming ∧ open source github.com/javiergarea
Tristan McDermott
Registered:28 Nov 2025 17:30
Senior at UMass Lowell | CS and Math | Programming languages, formal verification, and 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.
space cowboy
Registered:25 Dec 2024 16:30
jono
Registered:23 Nov 2025 12:12
#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others Also learning Japanese 🇯🇵 and toki pona Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more Working remotely from Adelaide, South Australia
Lodewijk Vöge
Registered:1 Oct 2025 18:33
I lurk.
Terry Blanc
Registered:16 Nov 2025 13:58
DesignsbyBlanc.com
Dea
Registered:28 Aug 2023 18:26
she/her, 21 cybersecurity | nixos | functional programming | rhythm games | ugrad @ umd hrt: march 10th goth chinese american puppygirl
$ ssh stickr.shop
Registered:13 May 2025 22:02
We sell you your nerdy laptop stickers that you desperately desire, the way they are supposed to be sold… In your terminal! $ ssh stickr.shop
mlecchaslayer.bsky.social
Registered:9 Oct 2025 19:57
Anupam λ≡
Registered:4 Nov 2025 09:14
“It’s all fine, if the compiler says it’s fine”. "Be irrational. Don't let the economists win" "Rage against walled gardens" #Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Atheism
ludwigdv.bsky.social
Registered:24 Mar 2025 23:37
Matt Williams
Registered:28 Aug 2023 17:02
Software developer/architect/lead, currently trying to fix email security with the non-trendy kind of AI. Sailing, Scouting, board games and politics geek outside office hours.