×
You are not logged in
Bluesky Followers
Moritz Hamann
Followers of @moritzhamann.com
A Pat Day
Registered:30 Jan 2026 10:32
Finance, engineering, math
I know about..
➝ Nix, Haskell, lisp, rust, etc
➝ Hedge funds, startups, corporate strategy, etc
➝ HoTT, category theory, etc
plumenator.bsky.social
Registered:7 Feb 2024 18:12
Ali Rousta
Registered:31 Dec 2025 10:47
Go Enthusiast | FP Lover | AI Skeptic
granicz
Registered:25 Dec 2025 22:57
IntelliFactory/F#
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Rori
Registered:19 Oct 2025 05:13
The disciplined programmer
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
Type Theory Forall
Registered:3 Jan 2025 14:59
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
tiasmt.bsky.social
Registered:22 Oct 2024 06:48
Stephen Adams
Registered:18 May 2025 19:17
thumbquat.bsky.social
Registered:20 Feb 2024 14:06
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
Dmitriy 🇺🇸🇦🇺🇺🇦🌎🌊🏔️🐋
Registered:7 Mar 2025 14:58
Fathering, husbanding, dogering, coding and traveling… what else can I say
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
proustian.bsky.social
Registered:23 Mar 2025 21:02
🐫
BitWise-Sentry
Registered:11 Apr 2024 00:26
Dog and nature lover, cyber-security analyst, computer geek
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...
Alex
Registered:26 Apr 2023 11:20
friends, 🐈🐈⬛, distributed systems, 🧗🏽♂️
java, go, python (wish: lisp/clojure)
🤾🏽♀️ 🏉 🥅 🏈 🏀
emacs & vim
now: Oracle Cloud
past: InfoQ, TestNG, DataStax, Cassandra, RethinkDB
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...
Abel Sen
Registered:4 Feb 2024 02:02
Functional and systems programmer
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...
shorsher.bsky.social
Registered:30 Jan 2025 06:33
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
Phoenix Rebel
Registered:22 Nov 2024 01:45
Recent convert from Red to Blue. Trying to raise my preteen son to be a Godly man who respects and fights for what is right, not easy.
Kramer
Registered:19 Nov 2023 13:11
Writing #ElixirLang at remote.com 🚀
Code: https://github.com/hamptokr
Chris Armstrong
Registered:23 Oct 2024 20:32
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
swift moving
Registered:10 Aug 2023 12:30
(λxy.x)
Ibrahim Bagalwa
Registered:28 Dec 2023 15:42
Software engineer
Eldonedwards
Registered:14 Nov 2024 23:31
I am a business researcher. I am also very interested in artificial intelligence and business and education and medicine. Also, I am very interested in popular culture and music. I strive to live a simple healthy life. DTM and CBI.Score counselor.
Stephen Diehl
Registered:5 Dec 2023 20:27
Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Charle
Registered:1 Sep 2024 16:28
🇦🇷 un tipo
