BStools

Sam Aaron

@samaaron.bsky.social

2,785 followers, 221 follows, 293 posts

Registered:6 May 2023 05:47

Follow date:23 Sep 2025 20:52

Live Coding Artist. Creator of Sonic Pi & Tau5, programmer, educator, musician, PhD, Sam 'transcends the present' - Rolling Stone. he/him bookings@sonic-pi.net

LiveView Native

@liveviewnative.dev

394 followers, 0 follows, 43 posts

Registered:5 Nov 2024 23:46

Follow date:24 Nov 2024 22:30

"It's not a webview" Create Phoenix LiveView apps for anything with a screen.

1983 Unimog 1300 Firetruck

@firetr.uk

72 followers, 168 follows, 51 posts

Registered:19 Nov 2023 15:19

Follow date:22 Nov 2024 10:16

any/all

Godot Foundation

@godot.foundation

8,675 followers, 3 follows, 0 posts

Registered:9 Jan 2024 10:42

Follow date:21 Nov 2024 08:54

Non-profit organization taking good care of the @godotengine.org project 🤖 Donate here: https://fund.godotengine.org/ 🔗 https://links.godotengine.org/

Godot Engine verified

@godotengine.org

40,862 followers, 6 follows, 478 posts

Registered:21 Sep 2023 15:22

Follow date:21 Nov 2024 08:53

Your free, open-source game engine 🎮🛠️ Develop your 2D & 3D games, cross-platform projects, or even XR ideas! 🔗 https://links.godotengine.org/

Blender🔶

@blender3d.bsky.social

12,289 followers, 0 follows, 1 posts

Registered:7 Sep 2023 07:26

Follow date:21 Nov 2024 08:53

Blender is the Free and Open Source 3D creation suite. Free to use for any purpose, forever. ❤️ Now on bluesky!

Izzy Muerte

@izzys.casa

1,559 followers, 340 follows, 894 posts

Registered:3 Jul 2023 06:14

Follow date:20 Nov 2024 16:09

Occult Programmer and Code Bruja. void* made manifest. "That CMake Expert" Opinions are my own. 💥🏴💥 Find my webzone at https://izzys.casa PFP by @tombofnull.bsky.social

Atuin

@atuin.sh

837 followers, 0 follows, 8 posts

Registered:21 Oct 2024 18:32

Follow date:20 Nov 2024 16:02

Making the shell magical ✨🐢 https://atuin.sh

Fly.io

@fly.io

1,825 followers, 1 follows, 270 posts

Registered:22 Jul 2024 18:36

Follow date:20 Nov 2024 16:02

Run web, AI, & app servers close to your users on CPUs and GPUs. Deploy and scale your app in minutes at https://fly.io/speedrun.

Isil Dillig

@idillig.bsky.social

929 followers, 323 follows, 46 posts

Registered:6 Nov 2024 17:22

Follow date:20 Nov 2024 15:04

CS professor at UT Austin, does research in programming languages & formal methods.

Emery Berger

@emeryberger.bsky.social

2,117 followers, 3,351 follows, 43 posts

Registered:1 Sep 2023 02:28

Follow date:20 Nov 2024 15:04

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.

Jonathan Aldrich

@jonathanaldrich.bsky.social

2,211 followers, 773 follows, 866 posts

Registered:29 Apr 2023 03:56

Follow date:20 Nov 2024 15:04

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.

Mae Milano

@mpmilano.bsky.social

1,129 followers, 537 follows, 21 posts

Registered:28 May 2023 20:05

Follow date:20 Nov 2024 15:04

Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms

Heather Miller

@heathermiller.bsky.social

1,564 followers, 181 follows, 221 posts

Registered:1 Jun 2023 16:07

Follow date:20 Nov 2024 15:04

Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union

Laurence Tratt

@ltratt.bsky.social

1,604 followers, 85 follows, 416 posts

Registered:23 Sep 2023 06:57

Follow date:20 Nov 2024 15:04

Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/

Loris D'Antoni

@lorisdanto.bsky.social

1,400 followers, 445 follows, 212 posts

Registered:2 Aug 2023 19:11

Follow date:20 Nov 2024 15:04

Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust

Toby Murray

@tobycmurray.bsky.social

849 followers, 243 follows, 281 posts

Registered:8 Aug 2023 13:36

Follow date:20 Nov 2024 15:04

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

David Justo

@davidjustodavid.bsky.social

437 followers, 359 follows, 68 posts

Registered:26 Apr 2023 04:04

Follow date:20 Nov 2024 15:04

PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.

Owen Arden

@owenarden.bsky.social

595 followers, 1,067 follows, 25 posts

Registered:19 Aug 2023 02:58

Follow date:20 Nov 2024 15:04

CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him

Ron Garcia

@rg9119.bsky.social

656 followers, 198 follows, 182 posts

Registered:3 Jul 2023 05:31

Follow date:20 Nov 2024 15:04

Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science

Andreas Zeller

@andreaszeller.bsky.social

1,402 followers, 145 follows, 108 posts

Registered:22 Sep 2023 05:50

Follow date:20 Nov 2024 15:04

Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/

Ross Tate

@rosstate.bsky.social

427 followers, 56 follows, 0 posts

Registered:14 Nov 2023 18:51

Follow date:20 Nov 2024 15:04

Programming Languages Researcher and Consultant

Stefan Marr

@stefan-marr.de

634 followers, 223 follows, 172 posts

Registered:11 Nov 2024 20:48

Follow date:20 Nov 2024 15:04

Interpreters, compilation, concurrency, and debugging tools.

John Wickerson

@wicko3.bsky.social

571 followers, 192 follows, 678 posts

Registered:7 Aug 2024 08:23

Follow date:20 Nov 2024 15:04

Senior Lecturer at Imperial College EEE researching programming languages and hardware design.

Adrian Sampson

@samps.phd

657 followers, 180 follows, 9 posts

Registered:24 Mar 2023 19:02

Follow date:20 Nov 2024 15:04

actually just on Mastodon: https://discuss.systems/@adria...

Rachit Nigam

@notypes.bsky.social

943 followers, 180 follows, 113 posts

Registered:11 Aug 2023 17:15

Follow date:20 Nov 2024 15:04

incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/). building new languages and compilers to make hardware design fast, fun, and correct

Sam Westrick

@shwestrick.bsky.social

635 followers, 154 follows, 215 posts

Registered:26 Jul 2023 01:33

Follow date:20 Nov 2024 15:04

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/

Max Willsey

@mwillsey.com

497 followers, 108 follows, 13 posts

Registered:11 May 2023 20:32

Follow date:20 Nov 2024 15:04

https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems

David Van Horn

@lambda-calcul.us

922 followers, 242 follows, 342 posts

Registered:25 May 2023 15:55

Follow date:20 Nov 2024 15:04

Prof at UMD CS.

Guy Van den Broeck

@guyvdb.bsky.social

2,682 followers, 810 follows, 7 posts

Registered:5 Oct 2023 21:38

Follow date:20 Nov 2024 15:04

🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvd...

Crista 🔶

@tagide.com

506 followers, 306 follows, 194 posts

Registered:8 Sep 2024 16:40

Follow date:20 Nov 2024 15:04

Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.

Santosh Nagarakatte

@santosh-nagarak.bsky.social

541 followers, 256 follows, 18 posts

Registered:14 Nov 2024 17:58

Follow date:20 Nov 2024 15:04

Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/...

Swarat Chaudhuri

@swarat.bsky.social

1,232 followers, 449 follows, 29 posts

Registered:13 Nov 2024 22:51

Follow date:20 Nov 2024 15:04

Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swa...

Derek Dreyer