×
You are not logged in
Bluesky Followers
thunderseethe
Followers of @thunderseethe.dev
Catra
Registered:12 May 2023 22:55
Personal account. Trans CatGirl. Rust Programmer. She/it. I like #rustlang
https://catra.top/
I (re)skeet stuff I find interesting. This includes everything from developer talks to full porn. NSFW.
MSA Advantage 900 daily driver and MSA Millennium haver
startupstarbie.bsky.social
Registered:13 Nov 2024 01:01
8bit
Registered:27 May 2023 22:04
Tinkerer, loves to break stuff, find me online at https://8bit.lol/
jhscheer.bsky.social
Registered:16 Dec 2023 21:11
Antoine Martin
Registered:1 Jan 2024 14:26
PhD student in Model Checking
navidhg.bsky.social
Registered:20 Oct 2024 18:16
Type Theory Forall
Registered:3 Jan 2025 14:59
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
jmikkola.bsky.social
Registered:14 Nov 2024 21:37
gravifer.bsky.social
Registered:19 Oct 2024 09:19
Sam McGowan
Registered:23 Nov 2024 16:24
22 he/him, UK
Programming in Rust 🦀, art, photography, shitposts. Probably a humanist.
🤖 Bot follows & engagement farmers will be blocked.
George Brown
Registered:3 May 2023 19:19
Fast machine enthusiast - HPC and F1.
Be the mosh pit you want to see in the world.
Dusty Pomerleau
Registered:13 Sep 2023 03:29
Web hobbyist • Leptos, Axum
(he/him)
plumenator.bsky.social
Registered:7 Feb 2024 18:12
nakajima.bsky.social
Registered:28 May 2023 19:20
addie! ☆彡
Registered:7 Nov 2024 05:11
she/her. do whatever you want forever.
yuri expert; creator of @yuri-lang.dev
free palestine 🇵🇸
follow for rust, gamedev, sysadmin, osdev, music, computer graphics
Kathryn
Registered:31 Dec 2024 07:00
nb kibty :3 🔞 23
stereotypical rust enjoyer
tell me you came from here! https://bsky.sakurakat.systems
1 posthog notification = 1 headpat :3c
fav feed: mutuals
btws:
professional idiot
tumblr user
NixOS user
black coffee drinker
s: kathryn_sakura.75
Adam Chalmers
Registered:14 Apr 2023 03:25
Texan (prev Australian). Father (prev gamer). Pynchon fan (prev illiterate).
Building a new programming language for CAD at zoo.dev. Built a lot of Cloudflare Tunnel. I run austinsystems.org and love reading sci-fi and history.
HJVT
Registered:12 Nov 2024 20:34
Software developer, Rust & langdev enthusiast, getting into hobbyist gamedev.
Fat Ass Rat
Registered:18 Oct 2023 04:23
Fat Ass Rat you have to stop. You smoke too tough. Your swag too different. Your bitch is too bad. they'll kill you
alto! (caffeinated)
Registered:28 Jun 2025 14:02
radically pluralist
they/them
matrix: @alto:private.coffee
mostly here to make jokes no one will get
minors welcome to interact idc
(there may or may not be hardcore pornography on this page browse at your own risk)
Sai Divvela
Registered:3 Jan 2025 19:22
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
sushil242.bsky.social
Registered:13 Oct 2024 08:32
Dipesh
Registered:19 Oct 2024 01:24
Interested in Programming Languages and Systems.
orpheee.bsky.social
Registered:30 Nov 2024 01:07
unironically latinx
fy5zl.bsky.social
Registered:27 Feb 2024 07:29
Edoardo Vacchi
Registered:26 May 2023 19:16
Programming Language Nerd, PhD in C.S. — Compilers, WebAssembly, Java, Rust, Go — prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit — organizer Papers We Love Milano
evacchi.dev
Akhil Indurti 🇵🇸
Registered:26 Apr 2023 04:07
I play guitar and post nonsense about PL. @smasher164@hachyderm.io,
@smasher164 on twitter
Steve Klabnik
Registered:10 Apr 2023 22:57
Informatheux
Registered:10 Oct 2023 09:40
Info. Maths. Logique. Shitpost.
Brendan Zab
Registered:11 Aug 2023 11:34
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
PolyWolf
Registered:6 Aug 2024 15:07
🏳️⚧️ https://wolf.girl.technology/
pfp by me
banner by @spect-ion.bsky.social
did you see that cool bug?
miguelraz_t
Registered:1 May 2023 14:44
Julia REPL stan | Rust Software Performance Engineering
https://miguelraz.github.io
www.linkedin.com/in/miguel-raz...
oliver
Registered:17 Oct 2024 08:08
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
wren
Registered:6 Jul 2023 07:25
what you’ll find here:
programming
shilling for ocaml
some math
some programming
also the occasional 🏳️🌈
José A. Alonso
Registered:15 Oct 2023 09:29
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Romain Ruetschi
Registered:20 Nov 2023 07:22
Hi! I am Romain (or Romac).
At work, I strive to build correct and resilient distributed systems using Rust and formal methods.
At home, I like writing mini-compilers and all sorts of software in Rust, Scala, Swift and Haskell.
venko
Registered:15 Aug 2023 18:15
combat jacking on the posters battlefield
i write computer programs for fun and money
he/him
langs: en, eo