Reproducible bugs are candies 🍭🍬
Computer science student
Go, nix, OCaml, some web
neovim btw
🇨🇦🇫🇷
Twitch Partner http://twitch.tv/LLCoolChris_
Software Engineer #ElixirLang #Typescript #OCaml
Built https://concentration.app https://asklive.co https://swapify.live
Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
I’m an atypical antipsychotic who loves theorem provers
- 🖥️ Rust 🦀 & OCaml 🐫
- 📖 Type Theory & Nerd stuff
- 🇧🇷 São Paulo
⏱️ @io_gabx on twitter/x
Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.
computer programmer (#OCaml, #fsharp) #tech thot leader, social justice Wario, resting bitch voice.
yes, walmart put my face on a truck
🇺🇸 ➡️ 🇦🇺
Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
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
Building rectangles at PlayStation
github.com/r17x - Nix/Neovim/OCaml/JS bEtEwE
(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
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
