You are not logged in
Bluesky Followers
@
FUN OCaml
Followers of @fun-ocaml.com
gckeller.bsky.social
Registered:16 Jul 2023 17:29
Professor, Software Technology, Utrecht University
giannifer7.bsky.social
Registered:20 Feb 2025 19:49
bitznbrewz.bsky.social
Registered:19 Sep 2023 15:06
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
xandkar.bsky.social
Registered:3 May 2023 17:57
I like languages, distributed systems, and a life examined. λ🐫🦀 https://xandkar.net/ Latin: xandkarus.bsky.social
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.
Jeremy
Registered:16 Sep 2024 04:14
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Rori
Registered:19 Oct 2025 05:13
The disciplined programmer
nhatanh
Registered:7 Nov 2024 21:05
Camilo de Azevedo
Registered:27 Jun 2023 20:50
- DEV #OCaml #Elixir #Clojure - Mestrando em Engenharia de Software na UTFPR - ADM/ORG na ulivre.dev + gambiconf.dev
Sean Clayton
Registered:6 Oct 2025 19:35
https://www.sean.wtf Software engineer. Anti-fascist.
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
Nat Mote
Registered:13 Jun 2023 03:17
A C Sreedhar Reddy
Registered:24 Dec 2023 16:49
🧑‍💻
edwintorok.bsky.social
Registered:10 Feb 2025 12:31
Lex Corello
Registered:5 Mar 2025 09:32
Renatillas
Registered:29 Jun 2025 14:31
I do functional programming with Gleam. I also rant about stuff. My real name is Renata but you can call me Rena
Sacha Ayoun
Registered:30 Jan 2025 10:29
CTO of soteria-tools.com, building static analysis for the masses
Sebastien Marie
Registered:20 Aug 2023 16:38
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
Logarithmic Regret
Registered:9 Feb 2024 07:35
2bitsalute.bsky.social
Registered:15 Aug 2025 21:06
Micah Cantor
Registered:15 Nov 2024 21:38
Software engineer @ Full Code Medical • Grinnell College '24 • Boston, MA https://micahcantor.com
Alfonso Toriz
Registered:13 Jul 2025 15:24
Ingeniero de datos de día, ávido lector por las noches. ——— Data engineer during the day, avid reader at night.
phil175.bsky.social
Registered:20 Nov 2024 15:32
Avishek ghosh
Registered:1 Dec 2024 16:42
fabioaraujo911.bsky.social
Registered:1 Sep 2024 18:32
Matheus João
Registered:4 Jan 2024 00:52
Comunicação Social Midialogia - Unicamp Cineasta Dev? RESTLESS LEG SYNDROME POSTING ele/ela/elu 24 anos
Илющя
Registered:16 Dec 2024 17:40
"Всё очень просто"©️ 🌏 🇰🇿Алматы🍏 #ПодАскорбинкой с 2019 :D Удивительный гибрид продюсера и компьютерного учёного (безработный)
sreedev
Registered:4 Feb 2024 07:32
Software Engineer. Music Distribution & Publishing. Radio Amateur // KD2ZWB Brooklyn, NY. www.sree.dev | www.devtechnica.com 0x{B8C4 02B1 6E80 E17C}
Oussama
Registered:31 Mar 2025 21:06
Computer whisperer
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
Matt Keenan
Registered:16 Nov 2024 20:36
Taras Glek
Registered:16 Nov 2024 14:25
LLMs, system programming https://taras.glek.net
David Jelgersma
Registered:17 Nov 2024 16:48
kylef94.bsky.social
Registered:18 Nov 2024 17:45
jsargant.bsky.social
Registered:2 Oct 2023 12:10
Stig Helmer
Registered:7 Nov 2023 02:39
#1 Mindy Furano fan account
Daniel Brunner
Registered:1 Oct 2023 10:50
I ❤️ CS, Econ, programming in F#/🐪️ (still a fan of Common Lisp/Scheme/Racket). Located in 🇩🇪️, he/him. https://www.dbrunner.de
jolman
Registered:12 Nov 2024 17:58
dev & foss enjoyer
Justin Stanley
Registered:22 May 2023 13:26
Dad. CMU alum. Ex-AWS. Technologist wandering the middle path between innovation and implementation. Posts are mine and don't necessarily represent my employer’s position, my position, or reality.
Giacomo Cavalieri
Registered:8 Nov 2024 12:51
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
loughlinfox.bsky.social
Registered:6 Dec 2024 16:02
André
Registered:13 Nov 2024 14:10
Yes, the Cat is real, no, he does not have an account. I dunno, he was mad about a measurement or something. The handle is 0, means nothing ❤️ @lanooba.com 🧭 To the left of the Cat
pn30.bsky.social
Registered:15 Dec 2023 19:04
Seno Rama Dhani
Registered:22 May 2025 03:05