×
You are not logged in
Bluesky Follows
David Allsopp
Follows by @dra27.uk
Tim Harford
Registered:13 Feb 2024 10:21
Follow date:7 Jan 2026 12:11
FT columnist, BBC journalist, author, host of Cautionary Tales, professional nerd.
rob pike
Registered:13 Jul 2023 09:06
Follow date:27 Dec 2025 19:59
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Catherine
Registered:23 Apr 2023 09:15
Follow date:24 Dec 2025 00:31
catgirl shaped object
"A cat is valued for companionship and its ability to kill vermin."
Alex Bradbury
Registered:18 Nov 2024 21:29
Follow date:29 Nov 2025 14:15
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
ryan.freumh.org
Registered:11 Nov 2024 11:55
Follow date:29 Nov 2025 14:15
Computer Scientist
Chris Armstrong
Registered:23 Oct 2024 20:32
Follow date:19 Oct 2025 11:32
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
OggCamp
Registered:11 Mar 2024 08:01
Follow date:18 Jun 2025 09:04
Running since 2009, the biggest Open Source community event in the UK. Find out more at https://oggcamp.org
testcross.bsky.social
Registered:1 Jan 2025 20:43
Follow date:5 Apr 2025 12:10
Frédéric Bour
Registered:14 Aug 2023 10:04
Follow date:27 Mar 2025 21:51
Sudha
Registered:20 Mar 2025 11:24
Follow date:27 Mar 2025 08:37
Martin Jambon
Registered:13 Mar 2025 19:44
Follow date:14 Mar 2025 10:52
edwintorok.bsky.social
Registered:10 Feb 2025 12:31
Follow date:10 Mar 2025 22:25
Lucas Pluvinage
Registered:17 Aug 2023 20:52
Follow date:6 Mar 2025 23:10
What's going on?
- programming: github.com/TheLortex
- pictures: instagram.com/elpluvina
- weblog: lortex.org
Formerly known as twitter.com/TheLortex
tarides.com
Registered:8 Feb 2024 16:41
Follow date:5 Mar 2025 19:24
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Energy & Environment Group, Cambridge Computer Science
Registered:12 Oct 2024 12:20
Follow date:5 Mar 2025 19:24
We are the Energy and Environment research group at Cambridge Computer Science. You can find our homepage at https://www.cst.cam.ac.uk/rese... and all videos from our seminar series at https://watch.eeg.cl.cam.ac.uk
Cambridge Computer Science
Registered:27 Nov 2024 15:22
Follow date:5 Mar 2025 19:23
Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st webcam - and continue to advance the field today.
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:1 Mar 2025 17:41
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
patrick
Registered:26 Jan 2025 12:45
Follow date:1 Mar 2025 17:40
PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferr...
Nik Swamy
Registered:26 Feb 2025 05:55
Follow date:1 Mar 2025 17:07
I work on Programming Languages at Microsoft Research
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:1 Mar 2025 17:07
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
balat.bsky.social
Registered:20 Oct 2023 14:02
Follow date:6 Feb 2025 19:44
Alberta Tech
Registered:5 Dec 2024 03:30
Follow date:6 Feb 2025 19:40
👩💻 Software eng
🤪 Creator of cringe tech videos
🥺 The funniest girl in us-east-1
beacons.ai/albertatech
Julian Woodward
Registered:17 Nov 2024 21:02
Follow date:27 Jan 2025 22:20
Katy Cooper
Registered:21 Nov 2024 16:57
Follow date:21 Jan 2025 21:08
Singing, cycling and cricket.
(For NCDs/health stuff, hop over to @healthkaty.)
Cuihtlauac
Registered:18 Nov 2024 17:29
Follow date:20 Jan 2025 23:44
Corecursive tinkerer, camler, globetrotter
Tim McGilchrist
Registered:11 Dec 2024 09:40
Follow date:7 Jan 2025 22:56
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
William Gaunt
Registered:18 Nov 2024 20:39
Follow date:22 Dec 2024 09:03
"Not quite a bass" (as described by my teacher). Yorkshireman in exile. Have vocal cords, will travel.
Xavier Leroy
Registered:30 Nov 2024 15:45
Follow date:14 Dec 2024 15:30
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
cube
Registered:12 Dec 2024 01:07
Follow date:12 Dec 2024 06:52
Jan Midtgaard
Registered:4 Dec 2024 13:51
Follow date:4 Dec 2024 21:40
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Kate
Registered:28 Apr 2023 17:21
Follow date:29 Nov 2024 15:50
Some kind of nerd by day and goblin by night.
Cyclophosphamide connoisseur.
📍 Glasgow, Scotland
📢 FR/EN/DE
🎨 Avatar by @chordbug.bsky.social
📓 exn.st
See also:
🐘 mastodon.social/@kit_ty_kate
🐞 https://cohost.org/kit-ty-kate
lyrm.bsky.social
Registered:21 Nov 2024 22:31
Follow date:29 Nov 2024 00:04
Michael Bacarella
Registered:12 Nov 2024 00:16
Follow date:26 Nov 2024 18:01
Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Seb Mondet
Registered:26 Nov 2024 17:04
Follow date:26 Nov 2024 18:01
nickbarnes.bsky.social
Registered:24 Feb 2024 16:38
Follow date:21 Nov 2024 23:15
FUN OCaml
Registered:19 Nov 2024 09:27
Follow date:19 Nov 2024 09:43
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOC...
The Guardian
Registered:15 Nov 2024 10:51
Follow date:18 Nov 2024 23:32
The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.co...
🇺🇸 Guardian US https://bsky.app/profile/us.th...
🇦🇺 Guardian Australia https://bsky.app/profile/austr...
Andre Popp
Registered:6 Aug 2023 16:22
Follow date:18 Nov 2024 22:38
Yawar Amin
Registered:17 Nov 2024 00:01
Follow date:18 Nov 2024 22:37
Recent escapee from that other social media platform with a musky smell
oandrieu.bsky.social
Registered:5 Jan 2024 09:12
Follow date:18 Nov 2024 22:37
George Takei
Registered:30 Apr 2023 19:45
Follow date:17 Nov 2024 21:12
Husband, Actor, Activist, Uncle George to the Internet 🖖
James O’Brien
Registered:27 Jun 2023 08:37
Follow date:17 Nov 2024 21:09
Broadcaster @lbc.co.uk
Author: https://www.waterstones.com/bo...
William Whitehead
Registered:17 Nov 2024 19:13
Follow date:17 Nov 2024 19:59
Musician | Real Tennis Player | Forgetter of Hotel Room Numbers
Leo 🏴☠️
Registered:6 Jul 2023 14:35
Follow date:16 Nov 2024 17:27
sabine 🐫🦀 / "use ocaml";
Registered:9 Sep 2023 06:43
Follow date:16 Nov 2024 17:27
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:16 Nov 2024 17:27
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Sudha
Registered:14 Jul 2023 07:39
Follow date:16 Nov 2024 17:27
Hacking on OCaml stuff at Tarides.
Previously - Research Engineer at IIT Madras, Tech at Northern Arc Capital, Undergrad at SSNCE. Interests - open source software, test cricket, books, ARR music, functional programming.
Marcello Seri
Registered:24 Aug 2023 06:00
Follow date:16 Nov 2024 17:27
Susie Dent
Registered:5 Jul 2023 12:46
Follow date:16 Nov 2024 17:26
Always in the Corner
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:16 Nov 2024 17:23
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com