StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
Taras Glek @taras.glek.net LLMs, system programming
https://taras.glek.net 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Ttamttam @ttamttam.bsky.social 
Richard Davison @stronglytyped.bsky.social Software engineer in NYC. Typed systems, infrastructure, and correctness-focused tooling.
Noa 🪻 @noahbogart.com they/she 🏳️⚧️ - queer - white - NKY/Cincinnati
married, parent of 3
unitarian universalist & DSA
friend of eggbug, https://jinteki.net lead dev
NoahTheDuke elsewhere
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
Logarithmic Regret @logarithmicregret.bsky.social 
Sacha Ayoun @giltho.bsky.social CTO of soteria-tools.com, Scaling Reasoning for the age of AI
@2bitsalute.bsky.social @2bitsalute.bsky.social 
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Archeo Actus @archeoactus.bsky.social Ce compte ne sera plus mis à jour. Merci de nous avoir suivis ! Retrouvez désormais nos actualités sur notre page Facebook : 👉 https://www.facebook.com/Archeoactus À bientôt !
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
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
Stig Helmer @stighelmer.bsky.social #1 Mindy Furano fan account
Theo @theoforay.bsky.social Software dev
Java ☕, Spring Boot 🌱 at work
Interested in Elixir 💧 and Rust 🦀
Loves Counter-Strike 2 🎮, Hollywood Undead and Ghost 🎶
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
@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 🐫
@syntakker.bsky.social @syntakker.bsky.social 
MO-KAN HASH @mokanhash.bsky.social 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩
🌻 LET KANSAS GROW 🌻
Cannabis reform • Psychedelic awareness/Veterans Advocate
Education • Art • Community
IBEW LOCAL 124
Missouri + Kansas
🔵LAWRENCE, KS DEMOCRAT🔵
Rizo Isrof @rizo.odis.io Lost in macroexpand
https://github.com/rizo
Daniel @thisispsychedelico.com Anthropologist curious about #psychedelics, #phenomenology, #art & #arthistory, #archaeology, #aesthetics, and #philosophy. Em dash, semicolon, and Oxford comma enthusiast. MA in #anthropology.
The Bath Bomb Dealer 🛁 🫧 @jumpyjellybeanbathbombs.com Woman Owned Business | 30+ | Capricorn | Mama x 1 | Business + Personal Account | Handcrafted, Organic, Vegan Friendly | EST Sept. 2015 | College Graduate | DnD Lover | Gardener 💨
Ko-Fi 👉🏽 https://ko-fi.com/jumpyjellybeanbathbombs
Érik Martin-Dorel @erikmartindorel.bsky.social Associate Professor of Computer Science, Software developer.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Vladimir Keleshev @keleshev.com OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
cube @c-cube.bsky.social 
Marcello Seri @mseri.me Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
Kritoke @kritoke.bsky.social 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.
Seb Mondet @smondet.bsky.social Software Engineering #ocaml , Music, etc.
https://seb.mondet.org https://ni3.dance 
Chukwuma @fearful-odds.rocks Backend dev with Kt |🐫| F# | TS | C# on Debian 13 and Nix-OS.
Decisions are temporary.
Currently playing nothing
@ea640x480.bsky.social @ea640x480.bsky.social The glorious lamp of heaven, the sun, The higher he's a-getting
The Political Saucer @politicalsaucer.bsky.social The death of American exceptionalism. UFOs, Black Budgets, Domestic Operations, Consciousness. Idea's that stress-test the boundaries of language. Sorted, sourced, and all in one place. https://politicalsaucer.substack.com/
SPORE TO SKIN | Beauty Intel @spore2skin.bsky.social Spore to Skin is an independent research publication devoted to conscious self-care. We explore the intersection of plants, products, and propaganda, exposing patterns in the beauty industry while elevating the science of skin.
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
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
Nat Mote @natmote.net