×
You are not logged in
Bluesky Followers
OCaml Brazil
Followers of @ocaml.com.br
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
adverse_equilibrium
Registered:17 Jan 2026 23:46
computer scientist, working professional, moderately exhausted
mostly unfunny shitposting
gregcaban.bsky.social
Registered:24 Nov 2024 18:50
Ali Rousta
Registered:31 Dec 2025 10:47
Go Enthusiast | FP Lover | AI Skeptic
jono
Registered:23 Nov 2025 12:12
mlecchaslayer.bsky.social
Registered:9 Oct 2025 19:57
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Anshu Sharma
Registered:17 Nov 2023 15:24
Studying quantum computing and software semantics. YIMBY, anti-ethnonationalisms, pro open borders. ‘Anarchist’ is not a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/an...
Facebook: https://www.facebook.com/anshu...
Rori
Registered:19 Oct 2025 05:13
The disciplined programmer
ars.dev.br
Registered:9 Sep 2024 22:33
(he/him)
Software Engineer. Father. Husband. ASD Level 1.
Mastodon: https://hachyderm.io/@ars_dev_...
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
Naparajith T L (DrInfinite)
Registered:3 Dec 2024 07:00
I'm a software engineer focused on solving meaningful problems and continually deepening my expertise across the stack.
cyberfella7i.bsky.social
Registered:22 Jul 2025 23:27
Avishek ghosh
Registered:1 Dec 2024 16:42
winpuc
Registered:28 May 2024 03:27
apalavradosaber.bsky.social
Registered:29 Jul 2025 21:17
kylef94.bsky.social
Registered:18 Nov 2024 17:45
jolman
Registered:12 Nov 2024 17:58
dev & foss enjoyer
Scott Hosley
Registered:4 Jul 2025 00:57
Buildstash - manage software binaries
Registered:18 Mar 2024 19:55
For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores 🚀
https://buildstash.com
NBA Brainrot
Registered:7 Mar 2025 05:55
#1 source for NBA news, culture & commentary
🔔Underdog Fantasy! First deposit matched in bonus cash up to $1,000 with code: ZIZZLE420.
https://play.underdogfantasy.c...
brainrotnba at gmail
instagram.com/nbabrainrot
Nate
Registered:28 Nov 2023 18:04
Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
Tessa Norris
Registered:13 Jun 2025 06:57
F# coder working on a standalone F# compiler and REPL written in F#.
Mayanna Oliveira
Registered:11 May 2025 15:00
👩🏽💻 Analista de Sistema
🇧🇷 Brasil, Salvador/Bahia.
💻 Python, Ruby, HTML, CSS e Javascript.
🕹 Retro games, SNES, GBA e NDS.
📚 Ler, jogar videogame e estudar.
gvanns.bsky.social
Registered:25 May 2025 20:18
c0nvex1ty.bsky.social
Registered:1 Jun 2025 23:19
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
tibebe.bsky.social
Registered:23 Apr 2025 08:34
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...
Sam Cooper
Registered:27 Mar 2025 14:37
Author of Kotlin Brain Teasers
https://pragprog.com/titles/ko...
heyitsnico311.bsky.social
Registered:9 Apr 2025 19:36
Discudemy.com - Free Udemy Courses
Registered:3 Apr 2025 16:20
Free Premium Udemy Courses
Bruno
Registered:6 Feb 2024 16:08
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...
gankouskhan.bsky.social
Registered:19 Dec 2023 14:39
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!
LambdaConf 2025
Registered:26 Feb 2025 21:19
A mind-blowing programming conference, held in Estes Park, CO.
https://www.lambdaconf.us/
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