×
You are not logged in
Bluesky Follows
binarymonkee.bsky.social
Follows by @binarymonkee.bsky.social
Sarah E. Chasins
Registered:26 Nov 2024 21:39
Follow date:11 Dec 2025 01:11
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Mara Bos
Registered:24 Apr 2023 09:40
Follow date:30 Jul 2025 14:51
Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her
Gregory Anders
Registered:31 Mar 2024 20:01
Follow date:21 Jul 2025 05:15
Systems engineer at Cloudflare. Formerly an embedded software engineer at Reliable Robotics and Sandia National Labs.
Neovim core team member.
Luca Palmieri
Registered:27 Apr 2023 08:37
Follow date:18 Jul 2025 14:57
Author of zero2prod.com, a book on backend development in Rust, and https://rust-exercises.com.
Building pavex.dev, a new Rust web framework.
Principal Engineer at Mainmatter. Opinions are my own. He/him.
@algo_luca on Twitter.
Simon Willison
Registered:25 Apr 2023 16:08
Follow date:18 Jul 2025 14:54
Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
akshay oppiliappan
Registered:8 Jan 2025 19:19
Follow date:18 Jul 2025 14:47
building @tangled.org — code collaboration platform built on atproto.
rust · nix · 1-bit pixel art · plant-based · bangalore · oppi.li
Vikram Saraph
Registered:16 Aug 2023 12:40
Follow date:18 Jul 2025 14:44
Software engineer, AI/ML researcher, and mathematician at Johns Hopkins APL.
Former New Englander, current Marylander.
Brown CS PhD and Notre Dame math alum.
Nerd of sorts (computers, math, language, puzzles, games, books, music).
Opinions are my own.
Graydon Hoare
Registered:29 Aug 2024 06:21
Follow date:18 Jul 2025 11:04
extremely dubious of "everything is public" social network
Casey Muratori
Registered:13 Nov 2024 14:34
Follow date:18 Jul 2025 11:04
Programming: computerenhance.com
Comics: meowtheinfinite.com
nikomatsakis
Registered:23 Oct 2024 14:27
Follow date:7 Jul 2025 14:34
Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Loris Cro ⚡
Registered:17 Jul 2023 16:02
Follow date:6 Jul 2025 14:53
VP of Community @ Zig Software Foundation • Zig Livecoding http://twitch.tv/kristoff_it • Creator of http://softwareyoucan.love • Blogging http://kristoff.it • Host of https://zig.show • 📧 loris@sycl.it
Evan You
Registered:24 Apr 2023 05:38
Follow date:9 Jun 2025 05:13
Husband / Father of two / Founder voidzero.dev / Creator @vuejs.org & @vite.dev
Jepsen
Registered:30 Apr 2024 15:10
Follow date:6 Jun 2025 14:54
Breaking distributed systems, one fault at a time.
[bridged from https://mastodon.jepsen.io/@je... on the fediverse by https://fed.brid.gy/ ]
Marques Brownlee
Registered:28 Apr 2023 18:24
Follow date:12 May 2025 03:50
Video maker
Freya Holmér
Registered:28 Apr 2023 13:01
Follow date:12 May 2025 03:48
🎮 indie tech artist / shader sorceress / math dork
🌐 acegikmo.com
🎥 youtube.com/@acegikmo
🏗️ tools: Shader Forge / Shapes / https://half-edge.xyz
📡 ex-founder of Neat Corp
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
Matt Godbolt
Registered:6 Apr 2024 13:46
Follow date:7 May 2025 19:13
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
Zoe Kleinman
Registered:19 Apr 2023 08:36
Follow date:5 May 2025 17:37
BBC Technology Editor 🤖
Dominic Orchard
Registered:11 Nov 2024 09:31
Follow date:5 May 2025 17:37
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
Andrew W Moore (he/him)
Registered:5 Jul 2023 07:03
Follow date:5 May 2025 17:37
Stumbling through life
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:5 May 2025 17:37
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Dan Roy
Registered:2 Aug 2023 19:12
Follow date:5 May 2025 17:37
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Laurence Tratt
Registered:23 Sep 2023 06:57
Follow date:5 May 2025 17:37
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Davanum Srinivas (@dims)
Registered:25 Apr 2023 01:53
Follow date:5 May 2025 17:37
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:5 May 2025 17:37
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
Steven Murdoch
Registered:10 Oct 2023 19:02
Follow date:5 May 2025 17:37
Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmur... 🐦 @sjmurdoch 🌍 https://murdoch.is/
Tim Hockin
Registered:27 Apr 2023 03:47
Follow date:5 May 2025 17:37
I like writing software, even if I don't get to do it much anymore. Kubernetes. Star Wars nerd, Expanse fan, dad, dork.
Isil Dillig
Registered:6 Nov 2024 17:22
Follow date:5 May 2025 17:37
CS professor at UT Austin, does research in programming languages & formal methods.
Loris D'Antoni
Registered:2 Aug 2023 19:11
Follow date:5 May 2025 17:37
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:5 May 2025 17:37
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Matti Palli
Registered:26 Apr 2023 13:04
Follow date:5 May 2025 17:37
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:5 May 2025 17:37
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Emma Vardy
Registered:24 Sep 2023 20:20
Follow date:5 May 2025 17:37
Physician. Honorary Professor of Geriatric Medicine. Delirium. Dementia. Quality improvement. Book lover. Northerner. Mum to daughter with PKU.
James Landay
Registered:9 Nov 2024 17:16
Follow date:5 May 2025 17:37
Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
Niall Murphy
Registered:29 Apr 2023 11:09
Follow date:5 May 2025 17:37
CEO Stanza Systems. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Lizard Queen
Registered:11 May 2023 04:07
Follow date:5 May 2025 17:37
Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:5 May 2025 17:37
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/
Heidi Howard
Registered:22 Jan 2024 20:47
Follow date:5 May 2025 17:37
Thomas Dickerson
Registered:8 May 2023 13:43
Follow date:5 May 2025 17:37
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
Emery Berger
Registered:1 Sep 2023 02:28
Follow date:5 May 2025 17:37
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass... http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Oskar Wickström
Registered:5 Jul 2023 04:15
Follow date:5 May 2025 17:37
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
Zanzi Tangle
Registered:5 Jul 2023 00:04
Follow date:5 May 2025 17:37
I research programming languages and turn Category Theory into code
Edward Kmett
Registered:15 Nov 2024 15:53
Follow date:5 May 2025 17:37
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Andres Löh
Registered:25 Jul 2023 19:27
Follow date:5 May 2025 17:37
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Adrian Sampson
Registered:24 Mar 2023 19:02
Follow date:5 May 2025 17:37
actually just on Mastodon: https://discuss.systems/@adria...
Brian T. Rice
Registered:27 May 2023 03:33
Follow date:5 May 2025 17:37
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_p...
Jan Gray
Registered:7 Jul 2023 01:48
Follow date:5 May 2025 17:37
Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; Vice-chair RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
Matthew Parkinson
Registered:15 Nov 2024 06:26
Follow date:5 May 2025 17:37
Programming language researcher at Microsoft.
Manu Sridharan
Registered:11 Sep 2024 19:01
Follow date:5 May 2025 17:37
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
John Wickerson
Registered:7 Aug 2024 08:23
Follow date:5 May 2025 17:37
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:5 May 2025 17:37
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.