×
You are not logged in
Bluesky Follows
Tim McGilchrist
Follows by @tsmc.purely-functional.com
nickbarnes.bsky.social
Registered:24 Feb 2024 16:38
Follow date:24 Feb 2026 04:45
Tikhon Jelvis
Registered:15 Nov 2024 02:46
Follow date:15 Feb 2026 05:25
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Dr Huw Campbell
Registered:7 Jan 2024 22:29
Follow date:2 Dec 2025 04:59
Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
Kiran
Registered:11 Sep 2023 13:04
Follow date:30 Nov 2025 23:15
Programming Languages Researcher
https://kirancodes.me
ICFP Conference
Registered:26 Nov 2024 00:07
Follow date:17 Oct 2025 02:02
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Ahrefs
Registered:15 Nov 2024 18:13
Follow date:2 Jun 2025 23:17
Ahrefs develops powerful marketing intelligence tools for data-driven growth across SEO, content marketing, PPC, and more.
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:30 Mar 2025 20:21
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Patrick M.
Registered:13 Aug 2023 19:42
Follow date:30 Mar 2025 20:15
Software Engineer, Paris, France.
Maintainer of nsc, the only fully featured netsoul client.
Former Kobayashi Maru captain.
Bozhidar Batsov (a.k.a. Bug)
Registered:27 Sep 2023 07:42
Follow date:4 Mar 2025 02:55
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
Gernot Heiser
Registered:2 Mar 2025 03:56
Follow date:3 Mar 2025 02:49
Physicist by training, computer engineer by passion
Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation
FACM FIEEE FTSE FRSN ML
Bill Mulligan 🐝🐝🐝
Registered:26 Apr 2023 05:48
Follow date:26 Feb 2025 21:10
Cloud Native networking, observability, and security with Cilium, eBPF, and Isovalent
Newsletter cilium.io/newsletter
Cuihtlauac
Registered:18 Nov 2024 17:29
Follow date:7 Jan 2025 21:43
Corecursive tinkerer, camler, globetrotter
Sadiq Jaffer
Registered:13 Nov 2024 17:56
Follow date:7 Jan 2025 21:43
Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
David Allsopp
Registered:16 Nov 2024 13:40
Follow date:7 Jan 2025 21:43
Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:7 Jan 2025 21:43
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Vladimir Keleshev
Registered:15 Aug 2024 08:05
Follow date:7 Jan 2025 21:43
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
Ryan
Registered:4 Nov 2024 09:42
Follow date:7 Jan 2025 21:43
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
Rizo Isrof
Registered:5 Nov 2023 23:13
Follow date:7 Jan 2025 21:43
Lost in macro expansion
https://github.com/rizo
Xavier Van de Woestyne
Registered:18 Oct 2023 13:11
Follow date:7 Jan 2025 21:43
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
Yawar Amin
Registered:17 Nov 2024 00:01
Follow date:14 Dec 2024 22:26
Recent escapee from that other social media platform with a musky smell
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:12 Dec 2024 20:57
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Chris Armstrong
Registered:23 Oct 2024 20:32
Follow date:12 Dec 2024 20:13
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
Ty Overby
Registered:13 May 2023 16:12
Follow date:12 Dec 2024 20:12
Socially leftist, fiscal liberal.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Thomas Gazagnaire
Registered:22 Nov 2023 19:49
Follow date:12 Dec 2024 20:12
#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!
sabine 🐫🦀 / "use ocaml";
Registered:9 Sep 2023 06:43
Follow date:11 Dec 2024 23:35
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
David Sancho
Registered:5 May 2023 14:56
Follow date:11 Dec 2024 23:35
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
Micah Cantor
Registered:15 Nov 2024 21:38
Follow date:11 Dec 2024 20:40
Software engineer @ Full Code Medical • Grinnell College '24 • Boston, MA
https://micahcantor.com
tarides.com
Registered:8 Feb 2024 16:41
Follow date:11 Dec 2024 20:40
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
OCaml
Registered:7 Feb 2024 17:22
Follow date:11 Dec 2024 20:37
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Follow date:11 Dec 2024 09:40
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:11 Dec 2024 09:40
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
Bluesky
Registered:12 Apr 2023 04:53
Follow date:11 Dec 2024 09:40
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app