×
You are not logged in
Bluesky Follows
Leif Andersen
Follows by @leif.pl
Brian T. Rice
Registered:27 May 2023 03:33
Follow date:8 Nov 2025 16:57
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_p...
Aiden Fox Ivey
Registered:12 Mar 2025 22:30
Follow date:22 Oct 2025 02:50
Opinions are purely reflective of my own beliefs and not those of any employer or other affiliation.
aidenfoxivey.com
Aveta👾🇭🇹
Registered:15 Apr 2023 21:06
Follow date:8 Oct 2025 04:25
Cat parent. Coffee Addict.Opinions are my own.Black Software Engineer
https://cash.app/$SammyxB26
Read 1st esp if you Black:
https://tinyurl.com/blkthread2...
Game Wishlist: https://tinyurl.com/avetasteam
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:22 Aug 2025 00:01
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
Pandorable 🏴☠️🏳️🌈🍉
Registered:11 Sep 2023 14:38
Follow date:25 Jun 2025 01:30
Lil' Rhody. Genderfluid - They/She. 38yo, ADHD, Bi/Pan, Polyam. Fandoms: Our Flag Means Death, Sandman, Witcher. Interests: knitting, crochet, jewelry making/beading, general craftiness. Generally a horny loser and NSFW 🔞
✨ericavee✨
Registered:16 Aug 2023 19:07
Follow date:25 Jun 2025 01:29
ericavee on twt/ericavee1 on IG and tiktok/ipomoea-batatas on tumblr / i art and cosplay and sing gay lil songs
Lesley
Registered:4 Aug 2023 21:32
Follow date:23 Jun 2025 13:24
I like your face.
she/her. kind of a weirdo.
🏴☠️🍊🏳️🌈📷🗳🪧🥄📚
emzash
Registered:4 Aug 2023 20:39
Follow date:23 Jun 2025 04:47
Here for the gay shenanigans. She/they.
Never Left Podcast
Registered:19 Oct 2023 15:52
Follow date:22 Jun 2025 21:57
Join Ariana (she/her) every other week for Never Left, A completely spoiled, totally unofficial, our flag means death podcast
https://linktr.ee/neverleftpod...
MrsScience 🏴☠️ 🏒
Registered:25 Jul 2023 01:04
Follow date:22 Jun 2025 21:56
Loon, chill fandom old & filthy pirate lover
1/2 pyramid owner
Still a priestkink evangelist
Something Witchy 🦇 OFMD Meetups
Registered:17 Jun 2025 16:25
Follow date:22 Jun 2025 21:06
Into the Mystic
Mystic Connecticut 🐳
April 18th & 19th, 2026
Something Witchy
Salem Massachusetts 🦇
June 12-14, 2026
DM for discord server invite
started by @orchid-explosion.bsky.social
Mikell Taylor
Registered:1 May 2023 21:42
Follow date:21 Jun 2025 23:17
Boston-based robotics nerd whose opinions do not reflect those of her employer. Come for the robots, stay for the cringe. It’s pronounced “Michael”.
Xavier Van de Woestyne
Registered:18 Oct 2023 13:11
Follow date:19 Jun 2025 12:53
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Gabby Wilde
Registered:21 Jan 2024 23:30
Follow date:5 May 2025 22:08
Software, AI, Infosec, Gamedev
J. Tess 🏳️⚧️
Registered:27 Jul 2023 23:53
Follow date:22 Apr 2025 01:03
The trans witch your momma warned you about
artist/writer as seen on The Verge.
Janelle Shane
Registered:8 Feb 2024 01:42
Follow date:19 Apr 2025 16:16
I write about the strange side of AI at aiweirdness.com
Also a laser scientist.
She/her. Colorado, USA
SE4FP Workshop
Registered:10 Apr 2025 20:00
Follow date:17 Apr 2025 16:03
1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
stitchesbrew.bsky.social
Registered:5 Mar 2025 04:50
Follow date:24 Mar 2025 00:47
Crochet, independent film, and craft beer enthusiast. ExMormon millenial. Kindness is magic. ✨
Jesse Alama
Registered:21 Nov 2024 09:16
Follow date:7 Mar 2025 04:02
Math and programming. Lean, JS, Racket. American. Igalian.
Jack Matusiewicz
Registered:8 Aug 2024 07:38
Follow date:23 Feb 2025 02:17
Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
Martin Janiczek
Registered:9 May 2023 10:54
Follow date:23 Feb 2025 02:17
Functional programming / Making a browser game NuAshworld / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Brett Evans
Registered:12 Nov 2024 05:41
Follow date:23 Feb 2025 02:16
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Michael Ann, sociotechnical femme
Registered:11 Jul 2023 02:33
Follow date:11 Feb 2025 02:30
Online Communities, Social Tech, Folk Theories, Epistemic Justice, Queer/Trans HCI. Assistant Prof of Comp Sci & Comm Studies @ Northeastern University. @nusealab.bsky.social director. Neurodivergent, trans woman, wife girl, femme lesbian, dork. (she/her)
Will Burrows 🖖🥖🥀
Registered:3 Jul 2023 04:29
Follow date:23 Dec 2024 00:37
(he/they) ND GNC mad Trekkie merchmonger; tinkerer, putterer, fixer of broken things; deconverted seminary dropout; antifascist, propagandist for a better world being possible. Opinions mine, not my employer's. Self-employed.
www.willburrows.art
🇨🇦 Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:20 Dec 2024 17:29
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
David Van Horn
Registered:25 May 2023 15:55
Follow date:1 Dec 2024 19:23
Prof at UMD CS.
Artem Pelenitsyn
Registered:26 Nov 2024 01:41
Follow date:26 Nov 2024 15:15
Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Interests: programming languages and compilers, types. Languages: Haskell, Julia.
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:25 Nov 2024 15:58
The ACM Special Interest Group on Programming Languages.
Christine Lemmer-Webber
Registered:7 Nov 2024 21:07
Follow date:23 Nov 2024 03:25
Co-author/co-editor of ActivityPub (what connects together the fediverse, including Mastodon, etc). Executive Director of the Spritely Institute. Lisp/scheme enthusiast, chaos transfem, sketcher of tiny creature drawings.
https://dustycloud.org
🇺🇦 Ingvar Stepanyan
Registered:23 Apr 2023 17:45
Follow date:20 Nov 2024 22:19
Sr. Principal Engineer at Cloudflare by day, WebAssembly consultant by night.
You might also know me from my work on OSS tools and libraries (JS / Wasm / Rust) or Wasm DevRel at Google Chrome
📝 https://rreverser.com/
📷 https://instagram.com/rreverse...
julia
Registered:12 Jul 2023 14:17
Follow date:20 Nov 2024 22:19
she/her
I do pldev, gamedev and sometimes osdev, conlanging/worldbuilding and am trying to do music. living in germany. https://monomere.cc/
name may change
el
Registered:25 Apr 2023 14:13
Follow date:20 Nov 2024 22:18
and visual and creativity and computers and math and
elliot.website
Eric Eide
Registered:20 Nov 2024 00:17
Follow date:20 Nov 2024 22:18
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Jonathan W. Gray
Registered:26 May 2023 04:04
Follow date:18 Nov 2024 14:28
Professor @CUNY, scholar of Blackness, books & popular culture, leftist & left handed. 🇰🇳 🇺🇸 🇵🇸 🏳️⚧️
Not THAT Jonathan Gray
I maintain the Blackademics feed, the scholarly side of #Blacksky
https://bsky.app/profile/did:p...
Personal account
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:17 Nov 2024 16:57
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Alex Knauth
Registered:28 Oct 2024 18:55
Follow date:17 Nov 2024 16:57
I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random
he/him | they/them & 27
http://pronoun.is/he?or=they
Leo 🏴☠️
Registered:6 Jul 2023 14:35
Follow date:15 Nov 2024 18:20
ionchy
Registered:11 Apr 2023 16:17
Follow date:15 Nov 2024 18:11
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
https://ionathan.ch
Stephen
Registered:30 Jul 2023 20:23
Follow date:15 Nov 2024 18:09
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
rntz
Registered:1 Jul 2023 19:28
Follow date:15 Nov 2024 15:06
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.
Kiran
Registered:11 Sep 2023 13:04
Follow date:14 Nov 2024 16:12
Programming Languages Researcher
https://kirancodes.me
jhemann.bsky.social
Registered:12 Nov 2024 00:43
Follow date:14 Nov 2024 16:11
thistlehummingbird.bsky.social
Registered:5 Nov 2024 23:44
Follow date:5 Nov 2024 23:50
Brendan Zab
Registered:11 Aug 2023 11:34
Follow date:5 Nov 2024 23:44
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Kali
Registered:21 Dec 2023 20:40
Follow date:5 Nov 2024 23:44
CS student at Yale, she/her
Jacqueline
Registered:9 May 2023 06:00
Follow date:14 Sep 2024 14:56
rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — works on CI platforms at Google — writes Racket elsewhere — admin of @claude.notjack.space
Adrian Sampson
Registered:24 Mar 2023 19:02
Follow date:4 Sep 2024 01:51
actually just on Mastodon: https://discuss.systems/@adria...
Mike Sperber
Registered:16 Oct 2023 08:16
Follow date:4 Sep 2024 01:50
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperb...
Andy Wingo
Registered:31 Aug 2024 18:24
Follow date:4 Sep 2024 01:50
wingolog.org / haute-savoie / iterating to a fixed-point