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
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
The next BOB conference takes place in Berlin on 13 March 2026!
Register now: https://bobkonf.de/2026/registration
Organised by @activegroupgmbh.bsky.social
Also at @bobkonf@discuss.systems.
PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
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
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.
A new conference on networked systems dedicated to all the new ideas fit to discuss!
https://nines-conference.org/
Rewilding all the way, Ireland
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.
Programming Languages Researcher
https://kirancodes.me
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
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/home/icfp-splash-2025/propl-2025
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
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/
📝 ‘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
Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
The overall goal of the IETF is to make the Internet work better by producing open technical standards.
Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
Tech and pictures of nature. Suffolk, UK
The cloud you own. https://oxide.computer/bio
Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org ❤️🩹
links.weratedogs.com
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
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Lost in macro expansion
https://github.com/rizo
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
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.
What's going on?
- programming: github.com/TheLortex
- pictures: instagram.com/elpluvina
- weblog: lortex.org
Formerly known as twitter.com/TheLortex
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.
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
Massive fan of trees, fairweather fan of data. UKRIFLF, Assoc Prof, University of Cambridge. #womeninstem she/her
linesresearchgroup.com
💻 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
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
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.
Photos by Mohammed Ahmed and Bruno Martins on Unsplash
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
We are the Energy and Environment research group at Cambridge Computer Science. You can find our homepage at https://www.cst.cam.ac.uk/research/eeg, and all videos from our seminar series at https://watch.eeg.cl.cam.ac.uk
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
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Socially leftist, fiscal liberal.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
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
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
#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!
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
