×
You are not logged in
Bluesky Follows
Jiří Beneš
Follows by @jiribenes.com
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:16 Feb 2026 20:58
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
Felipe O. Carvalho
Registered:26 Mar 2023 13:55
Follow date:10 Feb 2026 18:04
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Max S. New
Registered:9 Jun 2023 17:44
Follow date:5 Jan 2026 22:11
Professional computer scientist, unprofessional mathematician
Nikita Lisitsa
Registered:24 Oct 2023 11:30
Follow date:18 Dec 2025 13:21
He/him
I teach C++ & computer graphics and make videogames
Working on a medieval village building game: https://youtube.com/playlist?l...
Check out my cozy road building traffic sim: https://t.ly/FfOwR
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:23 Oct 2025 08:17
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Roly Perera
Registered:29 Nov 2024 15:19
Follow date:22 Oct 2025 19:17
Making software more open, explorable and self-explanatory
https://dynamicaspects.org/res...
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
russell
Registered:2 Oct 2023 22:35
Follow date:22 Oct 2025 17:14
gabby
Registered:7 Nov 2024 01:58
Follow date:18 Sep 2025 17:12
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
Alice ✨
Registered:19 May 2023 21:58
Follow date:18 Sep 2025 17:11
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
WebAssembly from the Ground Up
Registered:22 Nov 2024 13:08
Follow date:18 Sep 2025 12:59
A book about WebAssembly by @marianoguerra.org and @dubroy.com — learn Wasm by building a simple compiler in JavaScript.
https://wasmgroundup.com/
Patrick Dubroy
Registered:4 May 2023 15:40
Follow date:18 Sep 2025 12:58
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
Sebastian Graf
Registered:22 Dec 2023 22:12
Follow date:14 Sep 2025 16:43
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:14 Sep 2025 14:49
browncsdept.bsky.social
Registered:3 Feb 2025 16:01
Follow date:29 Aug 2025 14:10
ICFP Conference
Registered:26 Nov 2024 00:07
Follow date:26 Aug 2025 20:54
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Manish
Registered:19 Apr 2023 21:29
Follow date:13 Jun 2025 16:11
unmappable territory
please leave a message after the beep
hannelita.bsky.social
Registered:30 Jan 2025 02:26
Follow date:13 Jun 2025 16:11
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:13 Jun 2025 16:11
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:13 Jun 2025 16:11
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.
‹Programming› 2025
Registered:16 Jan 2025 19:27
Follow date:8 Jun 2025 14:32
Official website: https://2025.programming-confe...
kubaneko.bsky.social
Registered:28 Dec 2024 08:31
Follow date:8 Jun 2025 12:11
master student at Chalmers something something proof assistants
Stefan Marr
Registered:11 Nov 2024 20:48
Follow date:8 Jun 2025 12:11
Interpreters, compilation, concurrency, and debugging tools.
Evelina Gabasova
Registered:13 Dec 2023 09:31
Follow date:8 Jun 2025 12:11
AI research and AI agents in practical applications
Maggie Appleton
Registered:12 Apr 2023 21:24
Follow date:8 Jun 2025 12:11
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
andrew blinn
Registered:10 Apr 2023 04:21
Follow date:8 Jun 2025 12:11
https://andrewblinn.com
abstractJuiceFactory
Dominic Orchard
Registered:11 Nov 2024 09:31
Follow date:8 Jun 2025 12:11
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
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:8 Jun 2025 12:11
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
a ton of crates
Registered:27 Apr 2023 20:26
Follow date:8 Jun 2025 12:11
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.
Nintendo .DS_Store
Registered:4 Feb 2023 18:00
Follow date:8 Jun 2025 12:11
Pidgin algebraist, baseball influencer https://slim.computer
Bret Victor
Registered:7 Nov 2024 22:41
Follow date:8 Jun 2025 12:11
worrydream.com
dynamicland.org
Ink & Switch
Registered:5 Nov 2024 18:38
Follow date:8 Jun 2025 12:11
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.
Geoffrey Litt
Registered:11 Apr 2023 14:11
Follow date:8 Jun 2025 12:11
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Ross Tate
Registered:14 Nov 2023 18:51
Follow date:8 Jun 2025 12:11
Programming Languages Researcher and Consultant
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:8 Jun 2025 12:11
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.
Jack Rusher
Registered:13 Apr 2023 11:35
Follow date:8 Jun 2025 12:11
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
David Moon
Registered:11 Apr 2023 02:09
Follow date:8 Jun 2025 12:11
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
Talia Ringer
Registered:7 Jul 2023 05:53
Follow date:8 Jun 2025 12:11
Joe Cutler
Registered:27 Apr 2023 16:57
Follow date:8 Jun 2025 12:10
cutler.pl
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:8 Jun 2025 12:10
Tell me about types
Pierre Donat-Bouillud
Registered:25 Feb 2024 06:25
Follow date:8 Jun 2025 12:10
Computer science researcher/assistant professor at CVUT (Prague)
Research on programming languages, including R
www.pdonatbouillud.fr
Don Syme
Registered:27 May 2023 19:14
Follow date:8 Jun 2025 12:10
GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Elisa Gonzalez Boix
Registered:31 Mar 2025 10:21
Follow date:8 Jun 2025 12:10
Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:8 Jun 2025 12:10
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Tomas Petricek
Registered:28 Oct 2024 21:14
Follow date:4 Jun 2025 14:16
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.