31 awesome OCaml accounts on Mastodon.
Marcus Rohrmoser 🌻
@[email protected]Builds the social web typewriter https://Seppo.Social with 🐫 @ocaml supported by https://NLnet.nl/project/Seppo.
Former JEE and iOS developer, past 🌳 tree planter. Occasional lightning talker https://mro.name/talks. Netizen since the mid 90ies. https://SIGCHI.org, https://CCC.de, https://FIfF.de, https://NOYB.eu, https://Blaetter.de.
Likes 😈 https://mro.name/FreeBSD-XFCE 🐁 and 🏔️ https://AlpineLinux.org.
dougfort
@[email protected]programmer.
Interested in augmentation
Ocaml
Haskell
Racket
arguil
@[email protected]Développeur OCaml. J'aime les brioches et les blockchains. 🇫🇷 / 🇬🇧
Felipe O. Carvalho
@[email protected]SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎
Jason P 🇺🇦
@[email protected]Programming languages, compilers, #emacs, #ocaml, #linux, a little #retrocomputing, some music
Lesley Lai
@[email protected]Computer Graphics & Programming Languages person.
I twoot about languages like C, C++, Rust, JS/TS, and OCaml.
I organize two online meetups: @graphicsmeetup and Programming Languages Virtual Meetup
he/him
Edwin Török
@[email protected]#OCaml developer
Patrick Ferris
@[email protected]PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml
jailandrade
@[email protected]Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur
I'm interested in moving the web forward, so I read and share a lot about #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign,
very interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml and #elm.
I'm a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate
Let's create the web we want today
Thomas Leonard
@[email protected]Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).
Tony
@[email protected]Software Engineer who lives in NYC. Spent 8 years using Go but I use OCaml now. Linux user since the last millennium (but also a Mac user since 2003). Vim user since 2000. Internet user since 1996. Coder since 1992.
Leandro
@[email protected]latinx immigrant 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they • ex @spotify @klarna @walnutinc
I toot about:
🚀#buildinpublic #saas
💾 #devtools #buildsystems #compilers (#rust #ocaml #erlang #elixir #rescript #javascript )
tho you'll also find 🫶🏼 #personal stuff, 🧭 #digitalnomad, 📸 #photography, and 🎼 #music here too.
Marcello Seri
@[email protected]Maths, lambdas and rock'n'roll. Mathematical physicists, assistant professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own
Mr Least
@[email protected]Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing. Woke AF ♾️ 🏳️⚧️ 🏳️🌈
All Cats Are Beautiful
Yaron Minsky
@[email protected]Occasional OCaml programmer, host of Signals and Threads podcast
HoldMyType
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
Peter
@[email protected]Emacs fan, NetBSD and GNU/Linux user - openSUSE CentOS / Fedora - Floorp (Firefox) OcaML Lisp Ruby Nim PHP
I try to eat more vegetables and less meat. Trains enthusiast, fountainpen user
Marshall Abrams
@[email protected]Philosopher of science and occasional scientist. Mainly philosophy of evolutionary biology, philosophy of probability, implications of modeling and statistical inference in evolutionary biology. New book, Evolution and the Machinery of Chance, 2023. Sometimes I write biological or social science simulations to investigate or illustrate philosophical or other theoretical ideas in biology or anthropology. (Favorite languages: Clojure, Idris (learning), OCaml, Haskell, NetLogo, R.)
Anton Kochkov
@[email protected]Reverse engineer. Firmware dissector. Rizin&Cutter developer. GitHub influencer. Foreign languages fanatic. OCamler and Rustacean. Loves to C into the void.