Junrui Liu
CS PhD student @ UC Santa Barbara, doing program synthesis and verification
https://junrui-liu.github.io/
@tartanllama.xyz
"building a debugger" book out june 2025 ~ c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
@xkcd.com
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@amyko.phd
Professor @ University of Washington iSchool. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. For fun, I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@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
@dillonis.online
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@metameeee.bsky.social
Just that typical gender non-conforming long-bearded autistic queer dude yelling at clouds (and cloud providers) that has everything and nothing figured out all at the same time. I don't agree with any of your opinions. 🏳️🌈
@chrisarmstrong.link
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff. 🇦🇺 🏳️🌈 Blog: https://www.chrisarmstrong.dev Twitch: https://twitch.tv/lambdalith
@eileenmnoonan.bsky.social
Actress (SAG-AFTRA), web developer (Elixir, Rust), 🏳️⚧️ she/her, Iowa -> MSP -> NYC with ❤️
@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.
@samhuckaby.bsky.social
match Sam with ㅣ🎙️ → origins.fm ㅣ💼 → @BeyondIdentity ㅣ🤓 → huckaby.io ㅣ💻 → Theologian Dev ㅣ❤️ → Husband and father ㅣ _ → All views my own
@omnisci3nce.bsky.social
Huge software nerd. Love C, Rust, OCaml Began working on an embedded system in the RFID/Access control industry but prev. worked on CAD & DFM software Outside of tech I enjoy racquet sports, pottery, and language learning 日本語OK! blog.joshrowe.dev
@furioussheep.bsky.social
FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
@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). Editor team at Tarides.
@ocaml.com.br
@techsavvytravvy.com
sr software engineer @ crunchyroll 🦀🔪 @ crablang winning the fight against Big Outside™ 2024 hellthread heavyweight champion gas station snack enthusiast, father of some, does leetcode problems hardest to easiest, never sleeps, sometimes streams
@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
@itsatrapp.com
Web developer at Apple. FP enthusiast. #ElixirLang, Gleam, #Erlang, #OCaml, and JS when forced.
@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
@david2am.bsky.social
match David with | 🧑🏽💻 -> web dev | 🐪 -> into #ocaml love | 🏦 -> learning finance | 📝 -> read me in dev.to/david2am | _ -> ✝️ 🇨🇴
@llcoolchris.dev
🇨🇦🇫🇷 Twitch Partner http://twitch.tv/LLCoolChris_ Software Engineer #ElixirLang #Typescript #OCaml Built https://concentration.app https://asklive.co https://swapify.live
@lukstafi.bsky.social
Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
@semarie.kapouay.eu.org
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
@aripiprazole.dev
i'm an atypical antipsychotic who loves theorem provers - 🖥️ rust 🦀 & ocaml 🐫 - 📖 type theory & hott - 🌝 my name is gabrielle - 🇧🇷 são paulo ⏱️ previously @io_gabx on twitter/x
@keleshev.com
Docopt, OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@lessp.dev
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker O'Cameleer @ ahrefs Stockholm, Sweden
@wiredsis.bsky.social
computer programmer (#OCaml, #fsharp) #tech thot leader, social justice Wario, resting bitch voice. yes, walmart put my face on a truck 🇺🇸 ➡️ 🇦🇺
@samuelrose.bsky.social
Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
@winchester.dev
I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
@michael.bacarella.com
Founded mobile media company that exited to Synchrony; ex-Jane Street; ex-Google; OCaml programmer; occasional shitpoaster
@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
@degraw.dev
Husband, dad x3, world-class yak shaver. Senior Software Engineer at Shopify. ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
@handle.invalid
American CTO and full stack developer in Japan. Posting about everything and nothing. Everything I post is stupid. CEO of HTMX. アホ垢
@msub2.com
(Web | XR | Game) Developer. I enjoy doing things on the internet. Currently working on too many projects, always. Creator of the WebXR Discord: https://discord.gg/webxr Servo Contributor JS / Rust / OCaml Masto: https://arvr.social/@msub2
@handle.invalid
Software engineer from South Wales. OCaml and F# programmer by day. https://github.com/epmorgan https://www.monadic.sh
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist