@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
@forkjoin.bsky.social
Assistant 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
@p4bl0.net
🔴⚫ Maître de conférences en informatique #LicenceIV #openaccess #sécu #privacy #blockchains Marseillo-Dionysien, patronus capybara, team🧄, óai e libertat Site: pablo.rauzy.name 🏠 Blog: p4bl0.net 🏴☠️ Médiation: pablockchain.fr 🚫⛓️ Plus: pablo.plus ➕
@nitrokey.bsky.social
Secure your digital life with Open Source. Made in Germany. With strong community focus. For secure authentication, data encryption, and key management. Impressum: https://www.nitrokey.com/de/impressum
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@cyranhoe.bsky.social
M2 Informatique à Sorbonne Université | 🏳️🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles
@novnod.dev
nerd | software engineer | gaymer 🏳️🌈 | anime connoisseur | language enthusiast 🇫🇷🇮🇹 neovim btw
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@tycho.blue
Building software Working on shoutbox.net - reliable email delivery without the cost github.com/tluyben
@lomig.bzh
Rationnel, anticlérical, universaliste, réincarnation de Robespierre ; démon de la cohérence diégétique. Ce qui nous rassemble est plus fort que ce qui nous sépare. • Pirate de gauche 🏴☠️ • Mastodon : @lomig@social.baradoz.cloud
@andreypopp.bsky.social
@donalddinkenfelter.bsky.social
@terrateam.io
Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
@rikusilvola.com
@fun-ocaml.com
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals https://www.youtube.com/@FUNOCaml
@moritzhamann.com
Engineering Manager at Bloomberg LP. Opinions are my own. Currently doing 12 months of OCaml to what the fuss is all about 🐫😁 Mastodon: @MoritzHamann@mastodon.social https://moritzhamann.com
@ner0k1.bsky.social
Lovin’ OCaml and Nim, somehow good at Java and python. 👀 «…Ты съешь себя быстрее, чем они…» — hehehe “очень-очень”
@yawaramin.bsky.social
Recent escapee from that other social media platform with a musky smell
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@handle.invalid
Software engineer from South Wales. OCaml and F# programmer by day. https://github.com/epmorgan https://www.monadic.sh
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@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
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@handle.invalid
American CTO and full stack developer in Japan. Posting about everything and nothing. Everything I post is stupid. CEO of HTMX. アホ垢
@degraw.dev
Husband, dad x3, world-class yak shaver. Senior Software Engineer at Shopify. ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
@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
@michael.bacarella.com
Founded mobile media company that exited to Synchrony; ex-Jane Street; ex-Google; OCaml programmer; occasional shitpoaster
@winchester.dev
I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
@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 sou do PCB nem do PCBR, mas tenho camaradas em ambos os partidos.
@samuelrose.bsky.social
Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
@wiredsis.bsky.social
computer programmer (#OCaml, #fsharp) #tech thot leader, social justice Wario, resting bitch voice. yes, walmart put my face on a truck 🇺🇸 ➡️ 🇦🇺
@lessp.dev
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker O'Cameleer @ ahrefs Stockholm, Sweden
@keleshev.com
Docopt, OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@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
@semarie.kapouay.eu.org
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
@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.