Gabriel Díaz
@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
@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 “очень-очень”
@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
@taliaringer.bsky.social
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@altyellonatpark.org
A team of scientists & activists, in & around Yellowstone National Park. 501c3. Posting photos, ideas & solutions, because together, we can change the world. Please report malicious trolls & imposters. We are AltYelloNatPark™️
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@gamehistoryorg.bsky.social
Non-profit dedicated to preserving, celebrating, and teaching the history of video games. Our free digital archive is now open to the public! http://archive.gamehistory.org
@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
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!
@mdlayher.com
Software Engineer at PlanetScale. Go, Rust, Linux, networking, and open source software. On and ever upward. he/him.
@thepudds.bsky.social
Go contributor. Posts tend to be about #golang, performance, fuzzing, and Go Modules. He/him. https://github.com/thepudds
@honnef.co
@misago.org
Gopher. Mostly posts cat pictures. Probably not actually the most evilest cat in the world. he/him
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@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 @[email protected]
@archive.org
Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine.