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
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Professional computer scientist, unprofessional mathematician
He/him
I teach C++ & computer graphics and make videogames
Working on a medieval village building game: https://youtube.com/playlist?list=PLSGI94QoFYJwGaieAkqw5_qfoupdppxHN&cbrd=1
Check out my cozy road building traffic sim: https://t.ly/FfOwR
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️
https://linktr.ee/gabriella439
💖 @ember.pet
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
A book about WebAssembly by @marianoguerra.org and @dubroy.com — learn Wasm by building a simple compiler in JavaScript.
https://wasmgroundup.com/
Programmer & researcher, co-creator of https://ohmjs.org. 🇨🇦 🇩🇪 🇪🇺
Co-author of https://wasmgroundup.com — learn Wasm by building a simple compiler in JavaScript.
Prev: CDG/HARC, Google, BumpTop
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
unmappable territory
please leave a message after the beep
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Official website: https://2025.programming-conference.org/
master student at Chalmers something something proof assistants
Interpreters, compilation, concurrency, and debugging tools.
AI research and AI agents in practical applications
Design engineer playing with AI and hacky prototypes @githubnext.com
Adores digital gardening, end-user development, and embodied cognition. Makes visual essays about design, programming, and anthropology.
📍 London
🌱 maggieappleton.com
https://andrewblinn.com
abstractJuiceFactory
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
Pidgin algebraist, baseball influencer https://slim.computer
worrydream.com
dynamicland.org
An independent research lab exploring the future of tools for thought.
We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Programming Languages Researcher and Consultant
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Computer science researcher/assistant professor at CVUT (Prague)
Research on programming languages, including R
www.pdonatbouillud.fr
GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
