×
You are not logged in
Bluesky Followers
Stefan Marr
Followers of @stefan-marr.de
Vinicius Stock
Registered:31 Oct 2024 21:38
Staff engineer at Shopify working on the Ruby developer experience team | Ruby LSP creator | Speaker
Developer tooling, static analysis and type checking
Tori
Registered:11 Feb 2026 18:27
Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position
rewinfrey
Registered:28 Oct 2024 15:17
I love computers and computing. Previously, code intelligence at Nuanced and GitHub. MSc Software Engineering grad student at Oxford.
Oussama
Registered:31 Mar 2025 21:06
Computer whisperer
Furkan Onder
Registered:19 Dec 2024 00:49
Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder...
Vegard Stikbakke
Registered:27 Jan 2026 10:44
Christian
Software engineer in Norway working remotely
You should have kids!
https://vegardstikbakke.com
Ben Orchard
Registered:24 Aug 2023 15:59
夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ダンレボDDR・音ゲーrhythm games｜he/him｜trans rights
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
Vince
Registered:7 Feb 2024 20:47
Software Engineer Tech Leader, Perl, Ruby, JS and C, vegetarian, Carol husband, ADHD, geek, hacker.
https://vincebot.dev
speakerstand.bsky.social
Registered:15 Nov 2024 17:42
Cycling, computers, music, cinema.
Lucas
Registered:2 Nov 2024 00:11
Interested in Racket, Emacs, NixOS
TruffleRuby
Registered:18 Jan 2025 20:51
A High-Performance Ruby Implementation on top of @graalvm.org.
https://truffleruby.dev
Shalabh
Registered:21 Nov 2024 03:18
Programmable software systems "research" and philosophizing.
shalabh.com/programmable-systems
Computation is a physical process.
Any models we use to describe this process is imposed by us. What models would you choose?
plumenator.bsky.social
Registered:7 Feb 2024 18:12
Jim Jonah
Registered:15 May 2023 09:06
Principal Software Engineer who loves architecting and building highly available secure applications. When not at the keyboard you’ll find me enjoying the water or traveling, usually on two wheels.
Michele Alberti
Registered:24 Oct 2023 09:06
Chase Bussey
Registered:8 Dec 2024 16:04
Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Kartik
Registered:3 Jul 2023 12:08
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Jason Harrison
Registered:22 Dec 2023 15:37
Citizen of the USA, Canadian resident since 1992. Husband, dad, software developer, keeper of the house plants.
Internet Hedgehog 🦔
Registered:1 Jul 2023 17:26
A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik
David Justo
Registered:26 Apr 2023 04: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.
Component Creator for Joomla
Registered:4 Feb 2025 08:44
🚀 The fastest way to build Joomla extensions!
🛠️ Generate custom Joomla components in minutes—no coding required.
🌍 Trusted by developers worldwide.
🔗 https://www.component-creator....
delob.bsky.social
Registered:11 Aug 2024 23:32
Apoorv
Registered:23 Aug 2023 15:53
Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Wilfred
Registered:19 Jul 2023 17:46
Programming languages, human factors, and a healthy dose of Emacs.
perrocontodo.bsky.social
Registered:23 Feb 2024 00:55
anne-he2025.bsky.social
Registered:23 Nov 2025 01:52
Mauro Tortonesi
Registered:31 Aug 2024 19:20
Associate Professor at Department of Mathematics and Computer Science and Head of Big Data & Compute Continuum Lab at University of Ferrara, Italy.
least informed nerd
Registered:30 Nov 2024 09:11
you’d think being a nerd every waking hour would make me knowledgeable…
Stephen
Registered:28 Oct 2024 08:59
https://diaconou.com ... Ruby dev & freelancer. Dad. https://github.com/stevegeek, https://index.rubygems.org/pro...
Anastasia Isychev
Registered:14 Nov 2024 09:28
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Brian T. Rice
Registered:27 May 2023 03:33
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_p...
yashyaoo
Registered:23 Sep 2024 04:32
"love is he answer"
jane2-06.bsky.social
Registered:19 Oct 2025 17:19
Anshu Sharma
Registered:17 Nov 2023 15:24
Studying quantum computing and software semantics. YIMBY, anti-ethnonationalisms, pro open borders. ‘Anarchist’ is not a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/an...
Facebook: https://www.facebook.com/anshu...
Gabriel Reid
Registered:28 Nov 2024 07:08
Paul Bauer
Registered:26 Aug 2023 02:20
https://bauer.codes
Staff Software Engineer @datadoghq
Made significant contributions to the Datadog timeseries database, now working on the continuous profiler product.
#databases, #lisp, #clojure, #freebsd, #pkm
Andrei
Registered:9 Dec 2024 11:54
I like your dog!
Software engineer @Elastic
fberlakovich.bsky.social
Registered:15 Oct 2025 06:26
Scott Gerring
Registered:21 Oct 2024 06:55
Software & tech enthusiast living in Switzerland, working @ Datadog. Opinions on all sorts of things, some of them reasonable.
Abe Ratnofsky
Registered:16 Nov 2024 00:21
cassandra @ apple
asa
Registered:28 Mar 2025 03:35
nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
derwallace.bsky.social
Registered:8 Oct 2023 21:18