×
You are not logged in
Bluesky Followers
Tiago Cogumbreiro
Followers of @forkjoin.bsky.social
Janus Troelsen
Registered:17 Nov 2024 22:38
Last post:3 Mar 2026
jeg har boet 6 år i cdmx
Martin Jambon
Registered:13 Mar 2025 19:44
Last post:2 hours ago
xuhongxu.bsky.social
Registered:19 Aug 2025 21:41
Ali Rousta
Registered:31 Dec 2025 10:47
Last post:20 Feb 2026
Go Enthusiast | FP Lover | AI Skeptic
randyisrandom.bsky.social
Registered:29 Dec 2025 13:53
Last post:21 Jan 2026
David Monniaux
Registered:23 Oct 2023 18:45
Last post:37 minutes ago
Last like given:36 minutes ago
Last like received:5 minutes ago
"Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@Mo...
https://cv.hal.science/david-m...
Tristan McDermott
Registered:28 Nov 2025 17:30
Last post:27 Feb 2026
Senior at UMass Lowell | CS and Math | Programming languages, formal verification, and systems
Sam Thoyre
Registered:18 Nov 2024 17:29
Last like given:2 hours ago
Last like received:3 hours ago
🌐 Tech Enthusiast | AI & Dev Tools 🛠️
🎥 Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
📺 Watch my tutorials & build with me: https://www.youtube.com/channe...
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Rori
Registered:19 Oct 2025 05:13
Last post:23 Feb 2026
The disciplined programmer
thumbquat.bsky.social
Registered:20 Feb 2024 14:06
Last post:26 Feb 2026
winpuc
Registered:28 May 2024 03:27
Bart Blast
Registered:14 Mar 2025 17:47
Last post:12 Feb 2026
Building Hologram, a full-stack Elixir web framework
https://hologram.page
kylef94.bsky.social
Registered:18 Nov 2024 17:45
jolman
Registered:12 Nov 2024 17:58
Last post:23 Feb 2026
Last like given:6 hours ago
dev & foss enjoyer
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
Last post:20 Dec 2025
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Nate
Registered:28 Nov 2023 18:04
Last post:3 Jan 2026
Last like given:6 hours ago
Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
minakamel.bsky.social
Registered:7 Feb 2025 07:02
Last post:7 Feb 2026
movies, tv shows, computers, everton
Print Play Protect
Registered:25 Nov 2023 20:32
Last post:5 days ago
Last like received:21 minutes ago
We make cool tabletop items :D
Konstantinos Kallas
Registered:20 Nov 2024 19:42
Last post:25 Feb 2026
Last like given:8 hours ago
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
cube
Registered:12 Dec 2024 01:07
Last post:3 Feb 2026
Chris Martens
Registered:27 Jan 2025 15:51
mostly not here, but there: https://hci.social/@chrisamaph...
Davanum Srinivas (@dims)
Registered:25 Apr 2023 01:53
Last post:2 Feb 2026
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Xavier Van de Woestyne
Registered:18 Oct 2023 13:11
Last post:14 hours ago
Last like given:11 hours ago
Last like received:6 hours ago
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Type Theory Forall
Registered:3 Jan 2025 14:59
Last post:3 days ago
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
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/
Benjamin Geer
Registered:24 Apr 2024 20:19
Last post:14 Jan 2026
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...
David
Registered:21 Nov 2023 11:29
match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Kritoke
Registered:9 Nov 2023 11:08
Last post:18 Jan 2026
IT Professional, fan of lesser known programming languages and some functional ones. Currently obsessed with making projects in Crystal Language. Have dabbled with Elixir, Golang, Powershell, Haskell, Ruby, among others.
Junrui Liu
Registered:12 Nov 2024 02:20
Last post:12 Feb 2026
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...
Jorge Gillies (Profegeorgie)
Registered:18 Nov 2024 16:40
Last post:2 Mar 2026
Profesor Titular UTEM, profesor Asociado IACC. Periodista, ex diplomático. Interesado en avances de la ciencia y la tecnología y su incidencia en temas sociales y educacionales. Desilusionado (pero no desinteresado) de la política contingente.
xmateozzz.bsky.social
Registered:3 Dec 2024 00:57
Eduardo Rafael
Registered:1 Dec 2024 16:51
Last post:6 Jan 2026
26yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
bacigalupe
Registered:24 Jun 2023 00:02
Last post:5 days ago
Professor of counseling psychology at UMASS Boston, psychotherapist, painter, transnational, public health, environmentalist and climate justice activist. Writing and building an art studio next to the ocean. Personal account, not institutional.
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!
CAV
Registered:26 Nov 2024 00:10
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Bozhidar Batsov (a.k.a. Bug)
Registered:27 Sep 2023 07:42
Last post:13 hours ago
Last like received:8 hours ago
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
Simon // RedPixl
Registered:11 Feb 2024 07:59
Teilzeitchaot, Minecraft Building
https://red-pixl.github.io/
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