×
You are not logged in
Bluesky Follows
Ryan Marcus
Follows by @ryanmarc.us
Jon Becker
Registered:16 May 2023 15:16
Follow date:27 Jun 2025 18:25
Education professor. School Law. Ed tech. Politics of Ed. #RVA #GoDuke #LetsGoVCU
(Jon is not AI and can make mistakes. Please double-check output.)
UTN Data Systems
Registered:29 Jan 2025 17:25
Follow date:26 Jun 2025 07:50
The Data Systems Lab explores applications of AI to build next-gen data systems that are efficient and easy to use.
Wan Shen Lim
Registered:2 Dec 2024 01:58
Follow date:3 Jun 2025 19:41
databases @ CMU-DB | capybara enthusiast | Pittsburgh | Brunei
Natacha Crooks
Registered:17 Nov 2024 01:11
Follow date:14 Jan 2025 12:37
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
Jeffrey P. Bigham
Registered:6 May 2023 02:22
Follow date:26 Nov 2024 16:00
Professor of HCII and LTI at Carnegie Mellon School of Computer Science.
jeffreybigham.com
Andy Pavlo
Registered:30 May 2023 18:25
Follow date:25 Nov 2024 03:34
Associate Prof. of Databases @ Carnegie Mellon.
Mohammad Amiri
Registered:22 Nov 2024 18:16
Follow date:25 Nov 2024 00:00
Assistant Professor at Stony Brook University. Previously: UPenn and UC Santa Barbara. Areas: data management, consensus, blockchains.
www3.cs.stonybrook.edu/~amiri
Sam Madden
Registered:22 Nov 2024 19:43
Follow date:25 Nov 2024 00:00
MIT Professor in EECS, Co-Founder Cambridge Mobile Telematics, Dad
Paris Carbone
Registered:24 Dec 2023 20:07
Follow date:18 Nov 2024 15:21
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:17 Nov 2024 14:08
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Zoe Kleinman
Registered:19 Apr 2023 08:36
Follow date:17 Nov 2024 14:08
BBC Technology Editor 🤖
Bryan Cantrill
Registered:28 Apr 2023 19:23
Follow date:17 Nov 2024 14:08
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Dominic Orchard
Registered:11 Nov 2024 09:31
Follow date:17 Nov 2024 14:08
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:17 Nov 2024 14:08
Stumbling through life
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:17 Nov 2024 14:08
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:17 Nov 2024 14:08
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.
Dan Roy
Registered:2 Aug 2023 19:12
Follow date:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
CS professor at UT Austin, does research in programming languages & formal methods.
Loris D'Antoni
Registered:2 Aug 2023 19:11
Follow date:17 Nov 2024 14:08
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:17 Nov 2024 14:08
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:17 Nov 2024 14:08
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Matti Palli
Registered:26 Apr 2023 13:04
Follow date:17 Nov 2024 14:08
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
Thomas Dickerson
Registered:8 May 2023 13:43
Follow date:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
I research programming languages and turn Category Theory into code
Edward Kmett
Registered:15 Nov 2024 15:53
Follow date:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
actually just on Mastodon: https://discuss.systems/@adria...
Brian T. Rice
Registered:27 May 2023 03:33
Follow date:17 Nov 2024 14:08
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:17 Nov 2024 14:08
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:17 Nov 2024 14:08
Programming language researcher at Microsoft.
Manu Sridharan
Registered:11 Sep 2024 19:01
Follow date:17 Nov 2024 14:08
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:17 Nov 2024 14:08
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:17 Nov 2024 14:08
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Manuel Chakravarty
Registered:3 Jul 2023 10:41
Follow date:17 Nov 2024 14:08
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Toby Murray
Registered:8 Aug 2023 13:36
Follow date:17 Nov 2024 14:08
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Bartosz Milewski
Registered:15 Nov 2024 11:54
Follow date:17 Nov 2024 14:08
Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMile...