@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@yawaramin.bsky.social
Recent escapee from that other social media platform with a musky smell
@ner0k1.bsky.social
Lovin’ OCaml and Nim, somehow good at Java and python. 👀 «…Ты съешь себя быстрее, чем они…» — hehehe “очень-очень”
@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: @[email protected] https://moritzhamann.com
@fun-ocaml.com
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals https://www.youtube.com/@FUNOCaml
@rikusilvola.com
@terrateam.io
Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
@donalddinkenfelter.bsky.social
@andreypopp.bsky.social
@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 : @[email protected]
@tycho.blue
Building software Working on shoutbox.net - reliable email delivery without the cost github.com/tluyben
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@novnod.dev
nerd | software engineer | gaymer 🏳️🌈 | anime connoisseur | language enthusiast 🇫🇷🇮🇹 neovim btw
@cyranhoe.bsky.social
M2 Informatique à Sorbonne Université | 🏳️🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles
@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.
@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
@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 ➕
@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
@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
@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
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@timoer.bsky.social
Wannabee science historian, PhD in chemistry. Fan of Davy, Dirac and a few others. Avid reader
@mbcarr.bsky.social
🏳️🌈 Mathematician. Shape rotator extraordinaire. Stats. Genetics! Postdoc (USC) 🏊♂️🧗♂️🏋️♂️🎹🌱🧬
@mvsamuel.bsky.social
I solve large software systems problems with programming language techniques. Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@cfbolz.bsky.social
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading. they/them
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@wh1lo.bsky.social
Meta-constructor of constructive processes. Fascinated by destruction and the emergence of garbage.
@draganrocks.bsky.social
Interactive Programming for Artificial Intelligence books read now https://aiprobook.com #Clojure #AI #ML #DeepLearning #Bayesian #Java https://dragan.rocks
@lunafoxgirlvt.foxgirls.gay
Your local soft and fluffy software engineer foxgirl! 🦊 @inochi2d.com lead developer, low level software engineer, graphics programmer, game engine developer and retro homebrew tinkerer.
@taliaringer.bsky.social
@adalundhe.dev
Author of Hedra performance testing framework. Software unengineer. Walking SEV0. 🏳️⚧️ Trans (they/them) and general music production nerd. Neurodivergent.
@noahbogart.com
he/him - cis - straight - white - 30 or 40 years old senior clojure developer living in the shadow of grief friend of eggbug profile pic commissioned from https://www.patreon.com/icelevel i'm NoahTheDuke elsewhere, but personal domains are nice
@thephd.dev
💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀 ✍ Writing: http://thephd.dev 📷 Avatar KIINGKISMET (https://kiingkiismet.com/) 🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
@wiredaemon.bsky.social
Formal Methods, Programming languages, Specifications. discord: wiredaemon she / her 🏳️⚧️