You are not logged in
Bluesky Followers
@
JiΕ™Γ­ BeneΕ‘
@jiribenes.com
15 followers, 44 follows, 0 posts
Followers of @jiribenes.com
Max S. New
@maxsnew.com
320 followers, 144 follows, 165 posts
Registered:9 Jun 2023 17:44
Professional computer scientist, unprofessional mathematician
Roly Perera
@dynamicaspects.org
268 followers, 530 follows, 123 posts
Registered:29 Nov 2024 15:19
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
Sebastian Graf
@fixpt.de
127 followers, 189 follows, 33 posts
Registered:22 Dec 2023 22:12
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
kubaneko.bsky.social
@kubaneko.bsky.social
73 followers, 270 follows, 0 posts
Registered:28 Dec 2024 08:31
master student at Chalmers something something proof assistants
Pierre Donat-Bouillud
@pierredb.bsky.social
21 followers, 102 follows, 5 posts
Registered:25 Feb 2024 06:25
Computer science researcher/assistant professor at CVUT (Prague) Research on programming languages, including R www.pdonatbouillud.fr
Cyrus Omar
@neurocy.bsky.social
1,027 followers, 447 follows, 71 posts
Registered:2 May 2023 19:48
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~co...
Tomas Petricek
@tomasp.net
685 followers, 147 follows, 153 posts
Registered:28 Oct 2024 21:14
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.