×
You are not logged in
Bluesky Follows
thunderseethe
Follows by @thunderseethe.dev
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:21 Feb 2026 00:49
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Dan Olson
Registered:21 Jun 2023 22:44
Follow date:27 Jan 2026 04:57
Documentarian
drilbot
Registered:8 Sep 2023 18:17
Follow date:23 Jan 2026 06:42
the drilbot, blue sky edition | community prompted, somewhat generated, creature curated |
Max
Registered:22 Jun 2023 04:30
Follow date:31 Dec 2025 04:41
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
addie! ☆彡
Registered:7 Nov 2024 05:11
Follow date:13 Nov 2025 15:36
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
Follow date:13 Nov 2025 15:36
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
Follow date:12 Nov 2025 15:32
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.
russell
Registered:2 Oct 2023 22:35
Follow date:21 Oct 2025 17:28
Acerola
Registered:5 Jan 2024 12:05
Follow date:20 Sep 2025 14:06
Graphics Programming Youtuber
Formerly Intel, Sony Studio Bend
https://www.youtube.com/@Acero...
alt: @acewola.bsky.social
Fat Ass Rat
Registered:18 Oct 2023 04:23
Follow date:19 Sep 2025 22:16
Fat Ass Rat you have to stop. You smoke too tough. Your swag too different. Your bitch is too bad. they'll kill you
HJVT
Registered:12 Nov 2024 20:34
Follow date:19 Sep 2025 21:11
Software developer, Rust & langdev enthusiast, getting into hobbyist gamedev.
Graydon Hoare
Registered:29 Aug 2024 06:21
Follow date:16 Sep 2025 11:51
extremely dubious of "everything is public" social network
uli :3
Registered:3 Dec 2024 22:48
Follow date:16 Sep 2025 10:55
she/her
inexperienced PL girl
bad at math
term rewriting
i love venetian snares
alto! (caffeinated)
Registered:28 Jun 2025 14:02
Follow date:2 Sep 2025 18:35
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)
waffle??
Registered:18 Oct 2024 14:17
Follow date:25 Aug 2025 15:37
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
Shen Comix
Registered:18 Sep 2023 22:10
Follow date:23 Aug 2025 01:25
These comics are only visible to cool people!!
Support me: https://patreon.com/shencomix // Store: https://topa.to/shen
rntz
Registered:1 Jul 2023 19:28
Follow date:13 Aug 2025 11:44
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
a ton of crates
Registered:27 Apr 2023 20:26
Follow date:28 Jul 2025 18:03
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
sai
Registered:3 Sep 2023 06:53
Follow date:28 Jul 2025 12:55
orpheee.bsky.social
Registered:30 Nov 2024 01:07
Follow date:21 Jul 2025 17:39
unironically latinx
Haskell Interlude
Registered:2 Jun 2025 09:11
Follow date:21 Jul 2025 13:56
The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
aron
Registered:3 Jul 2023 08:49
Follow date:13 Jul 2025 15:09
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Akhil Indurti 🇵🇸
Registered:26 Apr 2023 04:07
Follow date:18 Jun 2025 14:28
I play guitar and post nonsense about PL. @smasher164@hachyderm.io,
@smasher164 on twitter
Freya Holmér
Registered:28 Apr 2023 13:01
Follow date:7 Jun 2025 21:59
🎮 indie tech artist
🏗️ I made Shader Forge & Shapes
🌐 working on https://half-edge.xyz
🔥 shader sorceress
📏 math dork
🎥 rare YouTuber/streamer
📡 ex-founder of @NeatCorp
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
PolyWolf
Registered:6 Aug 2024 15:07
Follow date:21 May 2025 13:50
🏳️⚧️ https://wolf.girl.technology/
pfp by me
banner by @spect-ion.bsky.social
did you see that cool bug?
amos
Registered:24 Apr 2023 19:41
Follow date:6 May 2025 14:03
hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious
articles: https://fasterthanli.me
videos: https://youtube.com/@fastertha...
podcast: https://sdr-podcast.com
pronouns: they/them
mcyoung 🏳️🌈
Registered:24 Apr 2023 23:40
Follow date:30 Apr 2025 03:06
a whimsicott crawled into your compiler and got stuck
call me miguel. yes! i am a furry artist!
⌨️ mcy.gay
🎨 art.mcy.gay
💰 art.mcy.gay/comms
🔞 @art.mcy.gay
📍Seattle, WA
Bob Nystrom
Registered:8 Jun 2023 23:21
Follow date:28 Mar 2025 23:37
Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
nikomatsakis
Registered:23 Oct 2024 14:27
Follow date:28 Mar 2025 23:37
Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Edward Kmett
Registered:15 Nov 2024 15:53
Follow date:28 Mar 2025 23:35
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
Bartosz Milewski
Registered:15 Nov 2024 11:54
Follow date:28 Mar 2025 23:35
Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMile...
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:28 Mar 2025 23:35
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Chris Penner
Registered:15 Nov 2024 19:40
Follow date:28 Mar 2025 23:34
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Haskell programming language
Registered:18 Nov 2024 12:50
Follow date:28 Mar 2025 23:34
Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Gleam Programming Language
Registered:18 Nov 2024 13:56
Follow date:28 Mar 2025 23:34
Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:28 Mar 2025 23:34
Get used to disappointment.
Game Maker's Toolkit
Registered:17 Oct 2024 08:21
Follow date:28 Mar 2025 23:34
🎥 YouTube: https://www.youtube.com/@GMTK
🍓 GMTK Game Jam: http://gmtk.itch.io
🔠 Word Play: http://s.team/a/3586660/
🧲 Mind Over Magnet: http://s.team/a/2685900/
Julia Evans
Registered:26 Apr 2023 10:22
Follow date:28 Mar 2025 23:34
programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Xavier Leroy
Registered:30 Nov 2024 15:45
Follow date:28 Mar 2025 23:33
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
wren
Registered:6 Jul 2023 07:25
Follow date:28 Mar 2025 23:33
what you’ll find here:
programming
shilling for ocaml
some math
some programming
also the occasional 🏳️🌈
ReScript
Registered:6 Nov 2024 15:10
Follow date:28 Mar 2025 23:33
https://rescript-lang.org/
Ship great products!
Swift Language
Registered:15 Nov 2024 01:58
Follow date:28 Mar 2025 23:33
Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:28 Mar 2025 23:18
The ACM Special Interest Group on Programming Languages.
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:28 Mar 2025 23:18
Tell me about types
brian david gilbert
Registered:19 May 2023 16:37
Follow date:28 Mar 2025 20:01
hello
oliver
Registered:17 Oct 2024 08:08
Follow date:27 Feb 2025 21:18
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Aria Desires
Registered:17 Oct 2024 14:54
Follow date:20 Feb 2025 23:00
it's me, the gay cat who writes your docs~!
author of the rustonomicon and learn rust with entirely too many linked lists; worked on homestuck, rust-lang, swift-lang, firefox
she/her, trans, 30