Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Semgrep @semgrep.com Semgrep is a code scanning platform for finding first and third-party security vulnerabilities in your code base.
Florian @flosalihovic.bsky.social You’re all bots 2 to this programmer; Survivor of 1984’s marshmallow havoc; https://tigerarcades.medium.com/learning-to-code-ditch-medium-now-a2b26aa39005
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Heath @heathhenley.dev Señor Application Engineer at a small sonar shop.
Writing about things here: https://heathhenley.dev
Cuihtlauac @cuihtlauac.bsky.social Corecursive tinkerer, camler, globetrotter 
cube @c-cube.bsky.social 
Thomas Letan @lthms.soap.coffee “Decent solutions provider.” He/him.
https://soap.coffee/~lthms
Ben Leonard @benleonard.bsky.social Designer / Developer @ Oxide. Formerly Pentagram
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Ali @endingwithali.com software engineer @ fintech- content creator @ http://links.ali.dev - threatwire host @hak5 - @breakingthepod - nyc - ex @miteecs - jewish
Microsoft @microsoft.com AI, Cloud, Productivity, Computing, Gaming & Apps ☀️
derek guy @dieworkwear.bsky.social Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
@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 🐫
Rick Minerich @rickasaurus.bsky.social Algos/ML/LLMs/FP/Mgmt, Formerly: AI Healthcare VP of Eng, AI RegTech CTO (successful exit). Twitter circa 2008.
Lane || Boot.dev @wagslane.bsky.social Founder of Boot.dev
Host of BackendBanter.fm
DanielW_Kiwi🦔 @danielwalmsley.bsky.social Husband and Father from New Zealand.
Software developer by day and F# fan boy.
Functional programming just seems to fit me better.
Celiac / quinoa porridge haver. Gluten free recipe suggestions welcome.
FUN OCaml @handle.invalid FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOCaml
Yawar Amin @yawaramin.bsky.social Recent escapee from that other social media platform with a musky smell
azur @handle.invalid i make music and programming
Tomas Latal @tomaslatal.cz Developer, dancing between 1's and 0's, addicted to coffee, @elmlang and clean code.
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Michael Bacarella @michael.bacarella.com Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Ryan Winchester @winchester.dev I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
Yuri Albuquerque @yurialbuquerque.dev Costumava ser @Denommus no Twitter. Programador de tecnologia que não gosta, comunista chato, autista, faço stream casualmente no https://twitch.tv/BolivarAdept
Não tenho política de sdv, se eu te sigo foi por algum motivo arbitrário.
Sam Rose @samuelrose.bsky.social Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
big gina @wiredsis.bsky.social computer programmer (#OCaml, #fsharp) #tech thot leader, social justice Wario, resting bitch voice.
yes, walmart put my face on a truck
🇺🇸 ➡️ 🇦🇺
Tom @lessp.dev appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
Vladimir Keleshev @keleshev.com OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
@prozacchiwawa.bsky.social @prozacchiwawa.bsky.social Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.
μ @aripiprazole.dev 
Sebastien Marie @semarie.kapouay.eu.org OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
John Bakhmat @johnbakhmat.dev 24 y.o Software Engineer (TS/Ocaml/Gleam/Odin)
Lukasz Stafiniak @lukstafi.bsky.social Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
Chris, The 0.5x Engineer @llcoolchris.dev 🇨🇦🇫🇷
Twitch Partner http://twitch.tv/LLCoolChris_
Software Engineer #ElixirLang #Typescript #OCaml
Built https://concentration.app https://asklive.co https://swapify.live
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Ryan @sirpandathered.bsky.social Ocaml Cameleer 🐫, C enthusiast, Reading 🦀for 🦀aceans and learning Go on http://Boot.dev.
Got an amazin wife and two future little cameleers
I use nvim btw
Joey Trapp @itsatrapp.com Web developer at Apple. FP enthusiast. #ElixirLang, Gleam, #Erlang, #OCaml, and JS when forced.
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
OCaml Brazil @handle.invalid 
Rizo Isrof @rizo.odis.io Lost in macroexpand
https://github.com/rizo
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
oliver @eikopf.com absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Thomas Gazagnaire @gazagnaire.org #ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK
blog.joshrowe.dev
Sam Huckaby @samhuckaby.bsky.social ✝️Husband and father
https://samhuckaby.com
https://origins.fm
Dmitriy Kovalenko @neogoose.bsky.social Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
⿻ 🌱 Eileen Energy @eileen.actor Actress: Rochelle "Westy” Westidge on The Chair Company HBO
Developer: 👩💻 Elixir, PHP, Rust
Iowa -> MSP -> NYC
🏳️⚧️ she/her
https://eileen.actor
https://insihub.com
https://www.instagram.com/eileenmnoonan
My rage is my own.
Chris Armstrong @chrisarmstrong.link Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
✨𝚗𝚊𝚗𝚊𝚖𝚒 🎀 @nanami.codes software engineer | "that one kotlin girl" | i’m just a cat ᓚᘏᗢ 🎀 | cat mom (Lucy(white) and Lily(black))
?elianiva 💫 @elianiva.my.id i write code and yap about a lot of things. you don't have to agree with my opinions. neovim btw
Ori Livni @orisomething.bsky.social Advocate for “on-call driven development” and TypoScript
🔗 www.orilivni.com
luna @imlunahey.com 29 years old - she/her/they/them - 🏳️⚧️🏳️🌈
bluesky's #1 professional yapper
checkout my bluesky client: akari.blue
alt: @imlunahey.bsky.social
company: @lucidsoft.works
prev: Axiom.co Canva.com Unraid.net
message me on signal @ImLunaHey.69
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Scott Wlaschin @scottwlaschin.bsky.social 
dan @danabra.mov dancing for your pleasure
Annie Sexton @anniesexton.com 📹 I make tech videos
👩💻 Software engineer for 15 years
Developer Educator @ ngrok
YT: https://www.youtube.com/@AnnieSexton1
🎨 I also make comic books
Founder of Webcomic Studio: https://webcomic.studio/
Rosa @rosa.codes 🇪🇺 European ❤️ cities, maths, theoretical computer science, learning languages, puzzles & bicycles 🐶 Human to Mochi 👩🏻💻 Principal programmer @ 37signals - she/her - Antwerp 🇧🇪 / Madrid 🇪🇸
Joel @ptrtojoel.dev I like Rust & OCaml | jiujitsu purple belt | FP Java in Neovim
Furious Sheep @furioussheep.bsky.social FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
Shreyas Mididoddi @shreyascodes.tech passionate developer,
http://htmx.ceo 🤷 btw!
always happy / *never sad (same thing)
mental af ? 🤔
señor junior dev,
I'm here to have fun and make friends
* = almost
ReScript @rescript-lang.org https://rescript-lang.org/
Ship great products!
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
Talia Ringer @taliaringer.bsky.social 
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
OCaml @ocaml.org https://ocaml.org
sekun @sekun.net zelda fan | 4funning programming | EN/ES
currently building: @remotehiro.com
website (and blog): https://www.sekun.net
pfp: @yamazatomorito.bsky.social
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
metame メタミ @metameeee.bsky.social queer 🏳️🌈 autist 🧠 SE 🦀 J-everything ⛩️
I don't agree with any of your opinions.
はじめまして!
日本語をべんきょうします
アメリカ人、ソフトウェアエンジニア、アニオタ
よろしくお願いします
Ellie Huxtable @ellie.wtf Infra, Rust, and motorcycles 🏳️🌈
Building @atuin.sh
Josh DeGraw @degraw.dev Husband, dad x3, world-class yak shaver.
Senior Software Engineer.
ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Emil Privér @priver.dev Founding engineer and Part-Owner at http://enad.io | Love rust and go
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
Luca Zulian @lucazulian.bsky.social software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time
https://github.com/lucazulian
Allison @adjectiveallison.com software engineering - systems/infrastructure - llms - information retrieval - long term memory - brain/mind - writing - talking - thinking (too much)
Philip Craig @cubfox.bsky.social 
Vadim Komissarov @eveloth.bsky.social backend engineer, котоотец, горска ушата сова
🏴☠️
@alanz.bsky.social @alanz.bsky.social 
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Jaleel Akbashev @jaleel.bsky.social Moving pixels, interested in distributed systems, sometimes doing open source, mostly for Swift distributed actors.
p1xelHer0 @p1xelher0.com 
@nickseagull.bsky.social @nickseagull.bsky.social 
Matt LeVeck @mleveck.bsky.social 
Theo @t3.gg Full time CEO & YouTuber. Also an investor and developer. More info at t3.gg
Thor Adam @thoradam.bsky.social 
Philipp Gniewosz @brandshaide.bsky.social Comic book geek, father of 2, dabbling with YAML for a living - SRE @DaimlerTruck. Also into Rust 🦀, Haskell and FP 🐑