×
You are not logged in
Bluesky Follows
Jojo
Follows by @practicat.bsky.social
Elliott Johnson
Registered:12 Jun 2023 19:36
Follow date:18 Nov 2025 14:01
Last post:5 Mar 2026
Last like received:1 day ago
Svelte Core Team @ Vercel
amos
Registered:24 Apr 2023 19:41
Follow date:18 Nov 2025 13:56
Last post:16 hours ago
Last like given:14 hours ago
Last like received:20 minutes ago
hi, I'm amos! ๐ they/them ๐ซ open-source witch & maker of snappy videos and articles at @bearcove.eu โจ be kind, be curious
articles: https://fasterthanli.me
videos: https://youtube.com/@fastertha...
podcast: https://sdr-podcast.com
pronouns: they/them
Freya Holmรฉr
Registered:28 Apr 2023 13:01
Follow date:18 Nov 2025 02:16
Last post:14 hours ago
Last like given:1 day ago
Last like received:3 hours ago
๐ฎ tech artist/shader sorceress/math dork
๐ acegikmo.com
๐ฅ youtube.com/@acegikmo
๐๏ธ Shader Forge / Shapes / https://half-edge.xyz
๐ก ex-founder of Neat Corp
my kids:
๐ฅช @toast.acegikmo.com
๐ฅ @salad.acegikmo.com
๐โโฌ @thor.acegikmo.com
rebecca~
Registered:29 Nov 2024 13:18
Follow date:14 Nov 2025 15:27
Last post:13 hours ago
Last like given:19 hours ago
Last like received:3 hours ago
Core member of Lustre, contributor to Gleam, maker of open-source, technically a founder. AI & Data Science expert @ OTH (the good kind where i know maths).
Dreaming about game design, music, math, and owning a coffee shop. You're valid and you're loved.๐ฉต๐ฉท
Giacomo Cavalieri
Registered:8 Nov 2024 12:51
Follow date:14 Nov 2025 15:27
Last post:4 days ago
Last like given:3 hours ago
Last like received:3 days ago
I love functional programming and learning new things โจ Gleam core team member ๐ (he/him)
Bob Nystrom
Registered:8 Jun 2023 23:21
Follow date:9 Apr 2025 22:40
Last post:5 Feb 2026
Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
Rust Language
Registered:28 Jun 2023 20:17
Follow date:6 Apr 2025 16:38
Last post:20 hours ago
Last like given:14 hours ago
Last like received:20 minutes ago
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@...
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:22 Mar 2025 21:43
Last post:4 days ago
Last like given:4 hours ago
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
โจ๐๐๐๐๐๐ ๐
Registered:3 Jul 2023 06:59
Follow date:17 Jan 2025 23:14
Last post:3 hours ago
Last like given:3 hours ago
Last like received:34 minutes ago
software engineer | "that one kotlin girl" | iโm just a cat แแแข ๐ | cat mom (Lucy(white) and Lily(black))
Svelte
Registered:27 Apr 2023 15:08
Follow date:14 Dec 2024 03:48
Last post:15 Jan 2026
Last like received:1 day ago
Web development for the rest of us. See also:
- community: @sveltesociety.dev
- starter pack: https://bsky.app/starter-pack/...
- feed: https://bsky.app/profile/paolo...
zeu
Registered:11 May 2023 01:17
Follow date:14 Dec 2024 03:47
Last post:3 hours ago
Last like given:7 minutes ago
Last like received:59 seconds ago
software engineer | http://zeu.dev
tangled.sh/@zeu.dev | http://github.com/zeucapua ๐ต๐ญ๐บ๐ธ๐ณ๏ธโ๐
i stream:
https://twitch.tv/zeu_dev
https://stream.place/zeu.dev
blog reader https://potatonet.app
maintainer https://npmx.dev
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:2 Dec 2024 03:54
Last post:21 hours ago
Last like given:21 hours ago
Last like received:2 days ago
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:2 Dec 2024 03:54
Last post:23 Jan 2026
Alice โจ
Registered:19 May 2023 21:58
Follow date:2 Dec 2024 03:54
Last post:14 hours ago
Last like given:14 hours ago
Last like received:16 minutes ago
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:2 Dec 2024 03:54
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:2 Dec 2024 03:54
Last post:20 Feb 2026
David Sancho
Registered:5 May 2023 14:56
Follow date:2 Dec 2024 03:54
Last post:5 days ago
Last like given:12 hours ago
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:2 Dec 2024 03:54
Last post:15 minutes ago
Last like given:14 minutes ago
Last like received:6 minutes ago
โ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
metame ใกใฟใ
Registered:21 Oct 2024 21:08
Follow date:2 Dec 2024 03:54
Last post:23 Feb 2026
Last like given:2 days ago
queer ๐ณ๏ธโ๐ autist ๐ง SE ๐ฆ J-everything โฉ๏ธ
I don't agree with any of your opinions.
ใฏใใใพใใฆ!
ๆฅๆฌ่ชใในใใใใใใพใ
ใขใกใชใซไบบใใฝใใใฆใงใขใจใณใธใใขใใขใใชใฟ
ใใใใใ้กใใใพใ
Chris Armstrong
Registered:23 Oct 2024 20:32
Follow date:2 Dec 2024 03:54
Last post:1 day ago
Last like given:14 hours ago
Last like received:1 day ago
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
๐ฆ๐บ ๐ณ๏ธโ๐
Blog: https://www.chrisarmstrong.dev
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:2 Dec 2024 03:54
๐งโ๐ป 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:2 Dec 2024 03:54
Last post:2 days ago
Last like given:2 days ago
Last like received:2 days ago
OCaml
Registered:7 Feb 2024 17:22
Follow date:2 Dec 2024 03:54
Last post:25 Feb 2026
Dmitriy Kovalenko
Registered:3 Nov 2024 00:46
Follow date:2 Dec 2024 03:54
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:2 Dec 2024 03:54
โ๏ธHusband and father
https://samhuckaby.com
https://origins.fm
Joel
Registered:15 Nov 2023 06:23
Follow date:2 Dec 2024 03:54
I like Rust & OCaml | jiujitsu blue belt | FP Java in Neovim
Emil Privรฉr
Registered:16 Oct 2023 06:02
Follow date:2 Dec 2024 03:54
Last post:6 Feb 2026
Founding engineer and Part-Owner at http://enad.io | Love rust and go
Omniscient
Registered:5 Nov 2024 11:47
Follow date:2 Dec 2024 03:54
Last post:14 Dec 2025
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:2 Dec 2024 03:54
#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:2 Dec 2024 03:54
FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
oliver
Registered:17 Oct 2024 08:08
Follow date:2 Dec 2024 03:54
Last post:1 hour ago
Last like given:1 hour ago
Last like received:3 minutes ago
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:2 Dec 2024 03:54
Last post:3 days ago
Last like given:2 hours ago
Last like received:2 days ago
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:2 Dec 2024 03:54
Lost in macro expansion
https://github.com/rizo
OCaml Brazil
Registered:29 Aug 2024 19:48
Follow date:2 Dec 2024 03:54
trav
Registered:24 Apr 2023 03:49
Follow date:2 Dec 2024 03:54
Last post:22 Feb 2026
sr software engineer @ crunchyroll
๐ฆ๐ช @ crablang
winning the fight against Big Outsideโข
Felipe O. Carvalho
Registered:26 Mar 2023 13:55
Follow date:2 Dec 2024 03:54
Last post:2 days ago
Last like given:2 days ago
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:2 Dec 2024 03:54
Ryan
Registered:4 Nov 2024 09:42
Follow date:2 Dec 2024 03:54
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:2 Dec 2024 03:54
match David with ๐ค -> web dev
| ๐ช -> into #OCaml
| โ๏ธ -> read him on dev.to/david2am
| _ -> ๐จ๐ด, โ๏ธ
maxrn
Registered:4 Jun 2024 13:22
Follow date:2 Dec 2024 03:54
Last post:7 Feb 2026
Last like given:22 hours ago
Computer science student
Go, nix, OCaml, some web
neovim btw
Chris, The 0.5x Engineer
Registered:8 Apr 2023 12:02
Follow date:2 Dec 2024 03:54
Last post:1 day ago
๐จ๐ฆ๐ซ๐ท
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:2 Dec 2024 03:54
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:2 Dec 2024 03:54
Last post:18 hours ago
Last like given:17 hours ago
23 y.o Software Engineer (TS/Ocaml/Gleam)
Sebastien Marie
Registered:20 Aug 2023 16:38
Follow date:2 Dec 2024 03:54
Last post:25 Feb 2026
OpenBSD, programming language (c, lisp, ocaml, rust, zig, โฆ), sysadmin, infosec and others things like that
ฮผ
Registered:7 Aug 2023 14:38
Follow date:2 Dec 2024 03:54
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:2 Dec 2024 03:54
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:2 Dec 2024 03:54
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
Tom
Registered:2 Nov 2024 14:37
Follow date:2 Dec 2024 03:54
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden