We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
@fractaldragon.net
Living the island life on Canada's west coast. Interested in programming, security, photography, and anything adjacent
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@sranu.bsky.social
I live at the intersection. Interested in software correctness, functional programming and distributed systems. By day a lot of TypeScript with Effect.ts on Node.js. By night Rust or Haskell. Opinions are my own.
@david2am.bsky.social
match David with | 🧑🏽💻 -> web dev | 🐪 -> into #ocaml love | 🏦 -> learning finance | 📝 -> read me in dev.to/david2am | _ -> ✝️ 🇨🇴
@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.
@marutks.bsky.social
I am a software engineer who uses clojure and emacs. I live in Hampshire 🇬🇧.
@simon-r07.bsky.social
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer Early student in CS at Technische Universität München Other interests: Physics, Accordion, Judo and Design https://simonreilich.github.io/
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@let-def.bsky.social
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@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!
@cs.lbl.gov
The Computing Sciences Area at Berkeley Lab develops cutting-edge computational methods, leverages HPC, and applies data science to drive innovation. Our four divisions—AMCR, SciData, NERSC, and ESnet—advance research in AI, math, energy, and more.
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@smith.fo
Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮 Having the moment of anagnorisis as a developer
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Save the date for 2025: 12-13 June! 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@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
@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
@bobkonf.bsky.social
Our website: https://bobkonf.de Organised by @activegroupgmbh.bsky.social Also at @bobkonf@discuss.systems.
@dillonis.online
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@coopcoding.bsky.social
Loves programming; with an interest in functional programming. Current language: purescript https://www.coopcoding.top/
@ansiwen.kaputtendorf.de
Open Source SW Engineer @ IBM/Red Hat & Nitrokey - Go, Ocaml, Unikernel, Trusted Computing, Cryptography, Samba-Percussion, Sailing, Paragliding, ... any/any »Believe those who are seeking the truth. Doubt those who find it.« (André Gide)
@danilopiazza.bsky.social
he/him | Just let me be weird sometimes. | Embrace the silliness.
@rikusilvola.com
@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
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@kenran.bsky.social
I like Emacs, (functional) programming, Nix, roguelikes/-lites, vim, logic puzzles, miniature painting ... (he/him) I sometimes stream programming stuff on https://twitch.tv/kenran__
@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.
@keleshev.com
Docopt, OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@aguluman.bsky.social
Backend dev with 🐫 | F# | TS | C#. Decisions are temporary. Currently playing MAFIA III
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@ecsodikas.eu
🛠️ - Web developer by day. 👃 - Shitposting as a Service by night ⚔️ - Currently fighting against the generative LLM scourge. 🌎 - https://linktr.ee/ecsodikas
@jon.recoil.org
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@micahcantor.bsky.social
Software engineer @ Rinse • Grinnell College '24 • Washington, DC https://micahcantor.com
@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
@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
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@chrisarmstrong.link
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff. 🇦🇺 🏳️🌈 Blog: https://www.chrisarmstrong.dev Twitch: https://twitch.tv/lambdalith