×
You are not logged in
Bluesky Follows
leo
Follows by @leoms.dev
Mayor Zohran Kwame Mamdani
Registered:14 Nov 2024 18:54
Follow date:25 Jan 2026 10:22
Fighting every day to deliver a city that working New Yorkers can actually afford. Mayor of New York City.
Tim McGilchrist
Registered:11 Dec 2024 09:40
Follow date:11 Jul 2025 17:07
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Zohran Kwame Mamdani
Registered:27 Apr 2023 23:48
Follow date:11 Jul 2025 17:06
Mayor of New York City
Stanley Donwood
Registered:16 Nov 2024 23:33
Follow date:31 May 2025 12:21
aron
Registered:3 Jul 2023 08:49
Follow date:16 May 2025 14:40
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Emile
Registered:7 Aug 2023 15:23
Follow date:25 Apr 2025 10:57
It needs but one foe to breed a war, not two, Master Warden, answered Éowyn. And those who have not swords can still die upon them.
Jerry Chen
Registered:23 Apr 2023 20:11
Follow date:3 Apr 2025 17:47
1x winner of the "oh i'm pretty sure that's just jerry spreading misinformation" award 🥇🏆
• Goodfeeds @goodfeeds.co
• Sky․app @getsky.app
thanked by darth july 20, 2023
📍Austin, TX
Cory Booker
Registered:2 May 2023 17:32
Follow date:2 Apr 2025 12:56
U.S. Senator from New Jersey.
Yuri Albuquerque
Registered:30 Aug 2024 19:55
Follow date:28 Mar 2025 13:49
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.
Тsфdiиg
Registered:21 Feb 2024 02:32
Follow date:13 Mar 2025 21:36
Recreational Programming:
- http://twitch.tv/tsoding
- https://www.youtube.com/@Tsodi...
- https://www.youtube.com/@Tsodi...
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
José A. Alonso
Registered:15 Oct 2023 09:29
Follow date:26 Feb 2025 14:15
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
David Sancho
Registered:5 May 2023 14:56
Follow date:25 Feb 2025 12:31
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
Zanzi Tangle
Registered:5 Jul 2023 00:04
Follow date:25 Feb 2025 12:29
I research programming languages and turn Category Theory into code
Robert Reich
Registered:16 May 2023 19:48
Follow date:4 Feb 2025 11:21
Berkeley professor, former Secretary of Labor. Co-founder of @inequalitymedia.bsky.social and @imcivicaction.bsky.social.
Substack: http://robertreich.substack.co...
Buy my new book: https://sites.prh.com/reich
Visit my website: https://rbreich.com/
Captain Disillusion
Registered:7 Oct 2023 01:37
Follow date:18 Jan 2025 16:14
Videos. Educational? Not really. Funny? Eh.
youtube.com/@captaindisillusion
patreon.com/captaindisillusion
Thom Yorke
Registered:12 Dec 2024 12:33
Follow date:20 Dec 2024 01:05
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:5 Dec 2024 20:35
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Rudy Onfroy
Registered:3 Dec 2024 15:20
Follow date:4 Dec 2024 21:46
Product Builder, Développeur, CTO, CPO.
sabine 🐫🦀 / "use ocaml";
Registered:9 Sep 2023 06:43
Follow date:1 Dec 2024 21:12
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Eduardo Rafael
Registered:1 Dec 2024 16:51
Follow date:1 Dec 2024 21:12
26yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
kurtis conner
Registered:29 Nov 2024 03:56
Follow date:30 Nov 2024 20:03
I can drive a car blindfolded but it’s hard to find a blindfold that fits around my car
The Onion
Registered:29 Apr 2023 12:21
Follow date:28 Nov 2024 20:32
America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newslette...
Hank Green
Registered:29 Apr 2023 04:29
Follow date:23 Nov 2024 19:24
Long Time Internet Guy
radiohead.bsky.social
Registered:3 Jul 2023 15:56
Follow date:23 Nov 2024 16:58
Bodega Cats
Registered:30 Jun 2023 12:38
Follow date:23 Nov 2024 16:56
jacksfilms
Registered:10 Nov 2024 22:27
Follow date:22 Nov 2024 18:33
YIAY guy | ReactBot | The Questions Get Worse | Credit the Creators
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:22 Nov 2024 16:30
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:22 Nov 2024 16:30
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
Leo 🏴☠️
Registered:6 Jul 2023 14:35
Follow date:22 Nov 2024 16:30
OCaml
Registered:7 Feb 2024 17:22
Follow date:22 Nov 2024 16:30
Thomas Gazagnaire
Registered:22 Nov 2023 19:49
Follow date:22 Nov 2024 16:30
#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!
Xavier Van de Woestyne
Registered:18 Oct 2023 13:11
Follow date:22 Nov 2024 16:30
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
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Follow date:22 Nov 2024 16:30
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Rizo Isrof
Registered:5 Nov 2023 23:13
Follow date:22 Nov 2024 16:30
Lost in macro expansion
https://github.com/rizo
Alternative Music
Registered:7 Feb 2024 00:34
Follow date:22 Nov 2024 16:29
Alice ✨
Registered:19 May 2023 21:58
Follow date:22 Nov 2024 16:29
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
ProgramingIsTheFuture
Registered:22 Nov 2024 15:55
Follow date:22 Nov 2024 16:01
Ω := (λx.x x) (λx.x x)
To Ω and beyond!
Backend developer with OCaml by day 🐫
Type theorist by night 🫣
I use Arch, (and neovim) btw 😎
(fun x -> x) myself
Registered:13 Nov 2024 20:00
Follow date:22 Nov 2024 16:01
Doing stuff, learning things, explaining them.