patrick
PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
@propl.dev
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
@shwestrick.bsky.social
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/
@docmattmoudi.bsky.social
📝 ‘Migrants in the Digital Periphery’ for Uni. Of California Press, ‘Resisting Borders+Tech’ @haymarketbooks Head of the Silicon Valley Initiative@ Amnesty Tech. Assistant Professor @Cambridge Digital Humanities. Views=own
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@ietf.org
The overall goal of the IETF is to make the Internet work better by producing open technical standards.
@terrateam.io
Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
@weratedogs.com
Your Only Source For Professional Dog Ratings nonprofit: @15outof10.org ❤️🩹 links.weratedogs.com
@phophophopho.bsky.social
@c-cube.bsky.social
@jencross.bsky.social
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
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@xkcd.com
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@geoffreylitt.com
Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@sagesharp.bsky.social
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.
@lortex.bsky.social
What's going on? - programming: github.com/TheLortex - pictures: instagram.com/elpluvina - weblog: lortex.org Formerly known as twitter.com/TheLortex
@astrokatie.com
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.
@tobykiers.bsky.social
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
@emilyrlines.bsky.social
Massive fan of trees, fairweather fan of data. UKRIFLF, Assoc Prof, University of Cambridge. #womeninstem she/her linesresearchgroup.com
@bandukwala.me
💻 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
@irishrainforest.bsky.social
Author of award-winning bestseller 'An Irish Atlantic Rainforest'. Almost 16 years living with 73 acres of wildland in Beara, West Cork. #Rewilding.
@janmidtgaard.bsky.social
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Mastodon account: https://types.pl/@jmid
@pembroke1347.bsky.social
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.
@conservation.cam.ac.uk
Photos by Mohammed Ahmed and Bruno Martins on Unsplash
@natrevbiodiv.nature.com
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
@eeg.cl.cam.ac.uk
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
@martin.kleppmann.com
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
@tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@taliaringer.bsky.social
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@gazagnaire.org
#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!
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app