×
You are not logged in
Bluesky Follows
patrick
Follows by @patrick.sirref.org
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:9 Feb 2026 12:52
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
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:19 Oct 2025 15:42
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Chris Armstrong
Registered:23 Oct 2024 20:32
Follow date:19 Oct 2025 15:15
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
sabine 🐫🦀 / "use ocaml";
Registered:9 Sep 2023 06:43
Follow date:18 Oct 2025 00:46
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
BOB Konferenz
Registered:16 Oct 2023 09:12
Follow date:18 Oct 2025 00:45
The next BOB conference takes place in Berlin on 13 March 2026!
Register now: https://bobkonf.de/2026/regist...
Organised by @activegroupgmbh.bsky.social
Also at @bobkonf@discuss.systems.
(Sundara (Vishnu)) (Satish)
Registered:23 Nov 2024 15:27
Follow date:17 Oct 2025 16:12
PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Xavier Van de Woestyne
Registered:18 Oct 2023 13:11
Follow date:18 Aug 2025 06:39
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
OpenUK
Registered:5 Nov 2024 22:30
Follow date:31 Jul 2025 10:56
The UK organisation for the business of open tech - engaging community to create a cohesive voice, impacting law and policy, whilst building open tech skills.
New Ideas in Networked Systems
Registered:25 Jun 2025 14:24
Follow date:5 Jul 2025 23:45
A new conference on networked systems dedicated to all the new ideas fit to discuss!
https://nines-conference.org/
Pádraic Fogarty
Registered:26 Sep 2023 18:58
Follow date:19 Jun 2025 06:29
Rewilding all the way, Ireland
Bryan Cantrill
Registered:28 Apr 2023 19:23
Follow date:6 Jun 2025 23:36
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Kiran
Registered:11 Sep 2023 13:04
Follow date:6 May 2025 21:19
Programming Languages Researcher
https://kirancodes.me
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:5 May 2025 08:42
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Programming for the Planet
Registered:3 Apr 2025 09:38
Follow date:3 Apr 2025 13:30
The 2nd Programming for the Planet (PROPL) workshop will be co-located with SPLASH and ICFP in Singapore (in hybrid mode) on 13th October 2025. Submit a paper, talk or provocation by the 3rd July! https://conf.researchr.org/hom...
Nate Foster
Registered:25 Jul 2023 20:13
Follow date:18 Mar 2025 18:42
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:17 Mar 2025 10:52
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl...
https://cs.nyu.edu/~shw8119/
Dr Matt Mahmoudi
Registered:6 Jul 2023 10:26
Follow date:12 Mar 2025 09:40
📝 ‘Migrants in the Digital Periphery’ for Uni. Of California Press, ‘Resisting Borders+Tech’ @haymarketbooks. Assistant Professor @Cambridge Digital Humanities. Research/advice @Amnesty Tech. Views=own
art-w.bsky.social
Registered:11 Jan 2025 10:37
Follow date:3 Mar 2025 15:29
David Allsopp
Registered:16 Nov 2024 13:40
Follow date:2 Mar 2025 18:53
Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Internet Engineering Task Force
Registered:21 Sep 2023 22:17
Follow date:1 Mar 2025 13:56
The overall goal of the IETF is to make the Internet work better by producing open technical standards.
Terrateam
Registered:21 Nov 2024 09:49
Follow date:20 Feb 2025 10:27
Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
Justin Cormack
Registered:1 Dec 2024 11:37
Follow date:20 Feb 2025 05:55
Tech and pictures of nature. Suffolk, UK
Oxide Computer Company
Registered:1 May 2023 04:50
Follow date:20 Feb 2025 05:55
The cloud you own. https://oxide.computer/bio
WeRateDogs
Registered:27 Apr 2023 20:42
Follow date:20 Feb 2025 05:55
Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org ❤️🩹
links.weratedogs.com
pho
Registered:19 Feb 2025 19:06
Follow date:20 Feb 2025 05:55
craigfe.bsky.social
Registered:17 Aug 2023 20:27
Follow date:20 Feb 2025 05:55
cube
Registered:12 Dec 2024 01:07
Follow date:16 Feb 2025 10:34
Jen Cross
Registered:5 May 2023 01:20
Follow date:12 Feb 2025 17:09
Engineer by day | Nature & landscape photographer | Birds, bugs, spiders | Friend of animals that scare people | Be decent & kind | she / her | IG heyjencross
📸www.jencrossphoto.com
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:12 Feb 2025 14:58
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Randall Munroe
Registered:27 Apr 2023 20:54
Follow date:12 Feb 2025 08:46
Denis Merigoux
Registered:5 Nov 2023 10:22
Follow date:6 Feb 2025 10:54
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Rizo Isrof
Registered:5 Nov 2023 23:13
Follow date:6 Feb 2025 09:52
Lost in macro expansion
https://github.com/rizo
Geoffrey Litt
Registered:11 Apr 2023 14:11
Follow date:5 Feb 2025 19:08
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:5 Feb 2025 17:46
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Sage Sharp (they/them)
Registered:31 Dec 2024 16:09
Follow date:4 Feb 2025 09:51
I want a tech future that is open, inclusive, and diverse.
📋 Code of Conduct enforcement workshops https://otter.technology
🌿 Blog https://sage.thesharps.us
🌊🌲📷 nature photography
🪡 embroidery
🐍 Python
🏳️🌈 queer joy
My views are my own.
Lucas Pluvinage
Registered:17 Aug 2023 20:52
Follow date:1 Feb 2025 13:39
What's going on?
- programming: github.com/TheLortex
- pictures: instagram.com/elpluvina
- weblog: lortex.org
Formerly known as twitter.com/TheLortex
Katie Mack
Registered:21 Apr 2023 05:03
Follow date:1 Feb 2025 11:23
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
Toby Kiers
Registered:28 Nov 2024 08:28
Follow date:31 Jan 2025 14:04
Executive Director http://SPUN.earth
Society for the Protection of Underground Networks
Professor Evolutionary Biology (VU, Amsterdam)
Mycorrhizal Fungi, Evolution of Cooperation, Symbiosis
http://tobykiers.com
Emily Lines
Registered:17 Oct 2024 20:25
Follow date:30 Jan 2025 12:39
Massive fan of trees, fairweather fan of data. UKRIFLF, Assoc Prof, University of Cambridge. #womeninstem she/her
linesresearchgroup.com
Alexander Bandukwala
Registered:1 Jul 2023 17:59
Follow date:30 Jan 2025 10:22
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
Jan Midtgaard
Registered:4 Dec 2024 13:51
Follow date:29 Jan 2025 09:44
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Pembroke College. Cambridge
Registered:14 Aug 2024 16:51
Follow date:29 Jan 2025 09:44
The official account of Pembroke College, University of Cambridge. We are a welcoming, inclusive and modern academic community.
Founded in 1347 by Marie de St Pol, Countess of Pembroke.
University of Cambridge Conservation Research Institute
Registered:25 Nov 2024 20:30
Follow date:29 Jan 2025 09:44
Photos by Mohammed Ahmed and Bruno Martins on Unsplash
Nature Reviews Biodiversity
Registered:23 Jan 2024 21:37
Follow date:29 Jan 2025 09:44
A new journal from the Nature Portfolio reviewing key advances in conservation, ecology, and evolution. Posts by the editors, @alexmckay.bsky.social, @lukegrinham.bsky.social, and Tim Thomas. https://www.nature.com/nrbd
Energy & Environment Group, Cambridge Computer Science
Registered:12 Oct 2024 12:20
Follow date:29 Jan 2025 09:43
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
Martin Kleppmann
Registered:18 Nov 2022 10:22
Follow date:28 Jan 2025 10:37
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Tim McGilchrist
Registered:11 Dec 2024 09:40
Follow date:28 Jan 2025 09:00
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Ty Overby
Registered:13 May 2023 16:12
Follow date:28 Jan 2025 09:00
Socially leftist, fiscal liberal.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
tarides.com
Registered:8 Feb 2024 16:41
Follow date:28 Jan 2025 09:00
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Sadiq Jaffer
Registered:13 Nov 2024 17:56
Follow date:28 Jan 2025 08:59
Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian