val (try medaka) @tech-val.bsky.social my alt account for work/tech/AI
working on a new functional programming language
medaka-lang.dev
main: @gospel-sod.bsky.social
sam @sam.ziazoo.co.uk I’m not a cat, but I once had a cat, and she was ace.
https://autotelic.ziazoo.co.uk/
Soumya Ranjan Behura @srbehura.bsky.social https://x.com/srbehura
https://farcaster.xyz/srbehura
JD @greentea.bsky.social SWE/MLE by day, iOS dev in my free time. Trying to journal my progress on my side projects!
@jasonprogrammer.bsky.social @jasonprogrammer.bsky.social 
fajpunk @fajpunk.com 
edwintorok.eurosky.social @edwintorok.eurosky.social 
Beam it Recruitment @beamitrec.bsky.social BEAM Recruitment Specialists - Founded 2020
Beamrec.com/employers
WrestinWorld3 @wrestin.bsky.social
Creator, influencer. 250k strong
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic
Daniel Brunner @dbrunner.de I ❤️ CS, Econ, programming in F#/🐪️ (still a fan of Common Lisp/Scheme/Racket). Located in 🇩🇪️, he/him.
https://www.dbrunner.de
jkone27 @jkone27.bsky.social Sw dev in love with .NET/F# 🦔 and climate science 🌎💚
All About Cats @catuter.bsky.social Complete guide to raising a healthy and happy cat. Fresh insights, helpful guides, and fun ideas for every cat owner. Unique Cat Names and Cat Food Calculator.
👉 Check out my latest tutorial: https://catuter.com/blog
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Rori @lambdapriest.bsky.social The disciplined programmer
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com- T @thumbquat.bsky.social @thumbquat.bsky.social
Joseph Koski @jkwa.bsky.social Author of Functional Programming with Elixir (beta, PragProg). Writing at joekoski.com.
Engineering HR @engineeringhr.bsky.social Engineering Human Resources. A job board and career portal for engineers, researchers and developers. Our website: https://www.engineering.hr
@shtohryn.bsky.social @shtohryn.bsky.social 
Avishek ghosh @avishekcolours.bsky.social 
winpuc @winpuc.bsky.social https://winpuc.de > https://civitate.net > https://scietas.cc > https://sorgen.cafe > https://knast.world
Master SDL @master-sdl.bsky.social Master Sciences Du Logiciel de l'Université de Toulouse
(précédemment nommé Master DL)
https://www.master-developpement-logiciel.fr/
@kylef94.bsky.social @kylef94.bsky.social 
jolman @jolman.me dev & foss enjoyer
xvw @xvw.lol 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
Seno Rama Dhani @senoramadhani.bsky.social 
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
TigerBeetle @tigerbeetle.com The financial transactions database designed to power the next 30 years of online transaction processing.
Aaron Christianson @ninjaaron.bsky.social OCaml. Pronouns in bio.
Nick De Roeck @nickderoeck.bsky.social 🏳️🌈 ex-Twitter exile looking for less manipulation and negativity, and
more democracy and positivism. Blog @ https://publish.obsidian.md/nickderoeck
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
Arborius @handle.invalid 🎲Board game designer🎓Grad student studying 💾 bits and bytes 🖥️⚙️Operating systems📈mathematical finance
Weekly playtesting: https://arborius.online/discord
Emil Privér @priver.dev Founding engineer and Part-Owner at http://enad.io | Love rust and go
@un1nv1t3dgu3st.bsky.social @un1nv1t3dgu3st.bsky.social 
Benjamin Geer @benjamingeer.name 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-2449-8558
@tarides.com @tarides.com We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Chukwuma @fearful-odds.rocks Backend dev with Kt |🐫| F# | TS | C# on Debian 13 and Nix-OS.
Decisions are temporary.
Currently playing nothing
Will @nullit.bsky.social Music and rambling
Christopher / クリス @atomicptr.dev Husband・programmer・ 🇩🇪 🏴 🇯🇵・bjj/judo・🐧
Simon @sreilich.de 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://about.sreilich.de
Jack Matusiewicz @boogalooh.bsky.social 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) @batsov.net 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
tango @tango.porpoise-technologies.moe disillusioned software engineer from scandinavia 🇩🇰
level: 29
body type: 🧍♂️
interests include but not limited to:
- ⛵ sailing
- 🎾 sports (pro cycling)
- 📓 books (romance, fantasy, wlw)
- 🏞️ nature and hiking
- ☕ coffee addiction
Petro @vpetro.bsky.social Building things for everyone with Python and LLMs. Before this, was building things with Scala.
🏡- https://vpetro.io
👨💻- https://github.com/vpetro
Kramer @kramer.codes Writing #ElixirLang at remote.com 🚀
Code: https://github.com/hamptokr
Ibrahim Bagalwa @ibrahimbagalwa.bsky.social Software engineer 
Charle @algunahuevada.bsky.social 🇦🇷 un tipo. Escribo giladas en https://consumoproblematico.pckt.blog/
Vincent Balat @vblt.org 
@phamki.bsky.social @phamki.bsky.social - J @jespera.bsky.social @jespera.bsky.social
Ocsigen @ocsigen.org The next generation Web and mobile framework.
Pedro Nieto Méndez @pedroid999.bsky.social 401
Tim Lavoie @handle.invalid Living the island life on Canada's west coast.
Interested in programming, security, photography, and anything adjacent
Manos Ragiadakos @rm4n0s.bsky.social I want to bring back waterfall methodologies and the development of monolithic servers.
Blog: https://rm4n0s.github.io/
Dr. Ruchira Datta @ruchiradatta.bsky.social Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
Gabriel Díaz @qswarm.com 
pngwn @pngwn.at Penguin of great renown.
The penguin revolution is nigh, only the feathered and the tuxedoed will be spared.
Except for seagulls, they can get fucked.
https://pngwn.at
Tom @dacbui.bsky.social Rustacean, guitarist, composer, gamer.
Enjoying and praticing the art of programming.
Rust, C, Golang, Typescript.
nhuck @nhuck.bsky.social bit shuffler and theorem prover
Jon Ludlam @jon.recoil.org 
TV @teja.me code for brains.
Timon Flick @tmnflck.bsky.social Trying to be a decent human, developer and human. Currently helping carla.se to be the best car seller in Sweden.
lin ᯓᡣ𐭩 @caethel.bsky.social ₊♡°‧ whimsy for the digital age
°° cs student + electronic music enthusiast
°`•hci and culture nerd
📍de
@jawla.bsky.social @jawla.bsky.social 
Lethal Lizard @isutton.bsky.social I write code.