×
You are not logged in
Bluesky Follows
FUN OCaml
Follows by @fun-ocaml.com
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:19 Nov 2024 09:42
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Talia Ringer
Registered:7 Jul 2023 05:53
Follow date:19 Nov 2024 09:42
Alice ✨
Registered:19 May 2023 21:58
Follow date:19 Nov 2024 09:42
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Dillon Mulroy λ
Registered:21 May 2023 20:05
Follow date:19 Nov 2024 09:42
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
Leo 🏴☠️
Registered:6 Jul 2023 14:35
Follow date:19 Nov 2024 09:42
David Sancho
Registered:5 May 2023 14:56
Follow date:19 Nov 2024 09:42
Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
aron
Registered:3 Jul 2023 08:49
Follow date:19 Nov 2024 09:42
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
metame メタミ
Registered:21 Oct 2024 21:08
Follow date:19 Nov 2024 09:42
queer 🏳️🌈 autist 🧠 SE 🦀 J-everything ⛩️
I don't agree with any of your opinions.
はじめまして!
日本語をべんきょうします
アメリカ人、ソフトウェアエンジニア、アニオタ
よろしくお願いします
(no translators used for 日本語 posts)
Chris Armstrong
Registered:23 Oct 2024 20:32
Follow date:19 Nov 2024 09:42
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
⿻ Eileen Noonan
Registered:8 Nov 2024 13:50
Follow date:19 Nov 2024 09:42
Actress: Rochelle "Westy” Westidge on The Chair Company HBO
Developer: 👩💻 Elixir, PHP, Rust
Iowa -> MSP -> NYC
🏳️⚧️ she/her
Normie shitlib
https://eileen.actor
https://insihub.com
https://www.instagram.com/eile...
My rage is my own.
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:19 Nov 2024 09:42
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
p1xelHer0
Registered:18 Jun 2023 08:03
Follow date:19 Nov 2024 09:42
OCaml
Registered:7 Feb 2024 17:22
Follow date:19 Nov 2024 09:42
Dmitriy Kovalenko
Registered:3 Nov 2024 00:46
Follow date:19 Nov 2024 09:42
Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
Sam Huckaby
Registered:6 Nov 2023 15:09
Follow date:19 Nov 2024 09:42
✝️Husband and father
https://samhuckaby.com
https://origins.fm
Joel
Registered:15 Nov 2023 06:23
Follow date:19 Nov 2024 09:42
I like Rust & OCaml | jiujitsu blue belt | FP Java in Neovim
Emil Privér
Registered:16 Oct 2023 06:02
Follow date:19 Nov 2024 09:42
Founding engineer and Part-Owner at http://enad.io | Love rust and go
Omniscient
Registered:5 Nov 2024 11:47
Follow date:19 Nov 2024 09:42
Huge software nerd. Love C, Rust, OCaml
Began working on an embedded system in the RFID/Access control industry but prev. worked on CAD & DFM software
Outside of tech I enjoy racquet sports, pottery, and language learning 日本語OK!
blog.joshrowe.dev
Thomas Gazagnaire
Registered:22 Nov 2023 19:49
Follow date:19 Nov 2024 09:42
#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!
Furious Sheep
Registered:23 Oct 2023 11:56
Follow date:19 Nov 2024 09:42
FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
oliver
Registered:17 Oct 2024 08:08
Follow date:19 Nov 2024 09:42
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Xavier Van de Woestyne
Registered:18 Oct 2023 13:11
Follow date:19 Nov 2024 09:42
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).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Rizo Isrof
Registered:5 Nov 2023 23:13
Follow date:19 Nov 2024 09:42
Lost in macro expansion
https://github.com/rizo
OCaml Brazil
Registered:29 Aug 2024 19:48
Follow date:19 Nov 2024 09:42
trav
Registered:24 Apr 2023 03:49
Follow date:19 Nov 2024 09:42
sr software engineer @ crunchyroll
🦀🔪 @ crablang
winning the fight against Big Outside™
Felipe O. Carvalho
Registered:26 Mar 2023 13:55
Follow date:19 Nov 2024 09:42
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Joey Trapp
Registered:26 Oct 2024 06:11
Follow date:19 Nov 2024 09:42
Ryan
Registered:4 Nov 2024 09:42
Follow date:19 Nov 2024 09:42
Ocaml Cameleer 🐫, C enthusiast, Reading 🦀for 🦀aceans and learning Go on http://Boot.dev.
Got an amazin wife and two future little cameleers
I use nvim btw
David
Registered:21 Nov 2023 11:29
Follow date:19 Nov 2024 09:42
match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
maxrn
Registered:4 Jun 2024 13:22
Follow date:19 Nov 2024 09:42
Computer science student
Go, nix, OCaml, some web
neovim btw
Chris, The 0.5x Engineer
Registered:8 Apr 2023 12:02
Follow date:19 Nov 2024 09:42
🇨🇦🇫🇷
Twitch Partner http://twitch.tv/LLCoolChris_
Software Engineer #ElixirLang #Typescript #OCaml
Built https://concentration.app https://asklive.co https://swapify.live
Lukasz Stafiniak
Registered:13 Nov 2024 19:25
Follow date:19 Nov 2024 09:42
Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
John Bakhmat
Registered:28 Oct 2023 09:35
Follow date:19 Nov 2024 09:42
23 y.o Software Engineer (TS/Ocaml/Gleam)
Sebastien Marie
Registered:20 Aug 2023 16:38
Follow date:19 Nov 2024 09:42
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
μ
Registered:7 Aug 2023 14:38
Follow date:19 Nov 2024 09:42
I’m an atypical antipsychotic who loves theorem provers
- 🖥️ Rust 🦀 & OCaml 🐫
- 📖 Type Theory & Nerd stuff
- 🇧🇷 São Paulo
⏱️ @io_gabx on twitter/x
prozacchiwawa.bsky.social
Registered:12 Nov 2023 02:40
Follow date:19 Nov 2024 09:42
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.
Vladimir Keleshev
Registered:15 Aug 2024 08:05
Follow date:19 Nov 2024 09:42
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
Tom
Registered:2 Nov 2024 14:37
Follow date:19 Nov 2024 09:42
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
big gina
Registered:31 May 2023 14:08
Follow date:19 Nov 2024 09:42
Sam Rose
Registered:20 Sep 2023 17:03
Follow date:19 Nov 2024 09:42
Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
Yuri Albuquerque
Registered:30 Aug 2024 19:55
Follow date:19 Nov 2024 09:42
Costumava ser @Denommus no Twitter. Programador de tecnologia que não gosta, comunista chato, autista, faço stream casualmente no https://twitch.tv/BolivarAdept
Não tenho política de sdv, se eu te sigo foi por algum motivo arbitrário.
Ryan Winchester
Registered:29 Apr 2023 21:06
Follow date:19 Nov 2024 09:42
I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
Michael Bacarella
Registered:12 Nov 2024 00:16
Follow date:19 Nov 2024 09:42
Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Shreyas Mididoddi
Registered:29 Jul 2023 15:23
Follow date:19 Nov 2024 09:42
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
Josh DeGraw
Registered:23 Nov 2023 04:42
Follow date:19 Nov 2024 09:42
Husband, dad x3, world-class yak shaver.
Senior Software Engineer.
ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
Nate | KansaiGaijin | Full Stack Idiot
!! Invalid Handle !!
Registered:15 Nov 2024 10:29
Follow date:19 Nov 2024 09:42
American CTO and full stack developer in Japan. Posting about everything and nothing. Everything I post is stupid.
CEO of HTMX.
アホ垢
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Follow date:19 Nov 2024 09:42
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
richard
Registered:15 Apr 2023 14:50
Follow date:19 Nov 2024 09:42
Building rectangles at PlayStation
Rin
Registered:8 Sep 2023 09:51
Follow date:19 Nov 2024 09:42
github.com/r17x - Nix/Neovim/OCaml/JS bEtEwE