×
You are not logged in
Bluesky Follows
ionchy
Follows by @ionchy.ca
Tori
Registered:11 Feb 2026 18:27
Follow date:26 Feb 2026 12:21
Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position ๐ซฉ
Patrick
Registered:20 Dec 2024 20:02
Follow date:15 Feb 2026 13:42
photoblair.bsky.social
Registered:26 Apr 2024 11:11
Follow date:14 Feb 2026 02:41
Weirdo on subway platform.
Khronos, Time Zone Labels ๐
Registered:29 Sep 2024 03:03
Follow date:8 Feb 2026 08:55
SUBSCRIBE and LIKE the post(s) with your desired time zone (up to 4).
Find them in the POSTS tab.
To REMOVE: https://bsky.app/profile/khron...
Operator: @juicysteak117.gay
Donate: https://ko-fi.com/katitties
SonaSky
Registered:7 Aug 2024 21:31
Follow date:8 Feb 2026 08:55
Show off your fursona (label)!
โ: Add=โค๏ธ! Remove=๐.
๐: Browse/Status: https://sonasky.app
Also Sub to @pokemon.sonasky.app !
๐๐งโ๐ป: @astra.bunnys.ky
Puzzmo Account Labeler
Registered:19 Mar 2025 14:11
Follow date:8 Feb 2026 08:55
A way to know whether folks you know are in the know
.meow
Registered:3 Nov 2025 21:22
Follow date:3 Feb 2026 04:29
A queer-run community project to register the gTLD .meow. Profits will go to community causes, turning domains into queer community support, focusing on trans projects!
Support us at Kickstarter.dotmeow.org!
You can also follow us @ hachyderm.io/@dotmeow
Crow ๐ฟ
Registered:27 Oct 2024 23:28
Follow date:18 Jan 2026 21:46
I make fun stuff, look at little creatures, and eat popcorn | Indie apparel designer ๐ฑ He/him
SHOP: crowlines.net
King Arthur I
Registered:27 Jul 2023 22:26
Follow date:18 Jan 2026 15:45
math: @arthur-i.bsky.social
alicia ๐ณ
Registered:24 Jul 2023 01:38
Follow date:18 Jan 2026 01:15
alicia - illustrator + sometimes ceramics
work inquiries: acorviart@gmail.com
store: http://acorviart.bigcartel.com
other links: https://acorviart.carrd.co
tags: #art #ceramics #crafts #doodle
pancake the boy
Registered:9 Jan 2026 20:52
Follow date:12 Jan 2026 08:02
Quiet simpling just a little boy (pancake). this is the account where i follow every single bsky term of service
Alexander Bandukwala
Registered:1 Jul 2023 17:59
Follow date:12 Jan 2026 07:16
๐ป Pursuing the Future of Computing
๐ฌ PhD Student @ University of Michigan (Future of Programming Lab)
๐ช Building Hazel: Live Functional Programming & Malleable Systems
๐พ Dog Parent
๐ ๏ธ Ex-Software Engineer
๐ Computing Maximalist
jcreed.bsky.social
Registered:10 Nov 2024 12:48
Follow date:12 Jan 2026 07:12
Alex Knauth
Registered:28 Oct 2024 18:55
Follow date:12 Jan 2026 07:11
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
Remy Seassau
Registered:18 Nov 2024 22:35
Follow date:12 Jan 2026 07:09
PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
Katherine Mohr
Registered:20 Nov 2023 16:49
Follow date:12 Jan 2026 07:02
mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Gokul Rajiv
Registered:14 Nov 2024 19:20
Follow date:12 Jan 2026 07:01
(recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Matteo Capucci
Registered:15 Nov 2024 14:31
Follow date:12 Jan 2026 07:01
๐ฎ๐น, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
kubaneko.bsky.social
Registered:28 Dec 2024 08:31
Follow date:12 Jan 2026 06:58
master student at Chalmers something something proof assistants
Yihong Zhang
Registered:16 Nov 2024 04:01
Follow date:12 Jan 2026 06:56
Programming languages and database systems.
Zack Eisbach
Registered:12 Jan 2025 00:00
Follow date:12 Jan 2026 06:56
Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Jana ๐ณ๏ธโโง๏ธ
Registered:17 Sep 2023 03:57
Follow date:12 Jan 2026 06:53
mostly at @etrolleybus@types.pl โข she/her โข profile pic drawn by @comicsbyxan@transfem.social
rose
Registered:27 Jan 2025 04:30
Follow date:12 Jan 2026 06:53
she/her โโ โ โ โthey if your feeling fancy
mastodon
https://types.pl/@132ikl
rose blog
https://ikl.sh/posts.html
Guannan Wei
Registered:17 Feb 2025 20:58
Follow date:12 Jan 2026 06:51
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.s...
Eduardo Rafael
Registered:1 Dec 2024 16:51
Follow date:12 Jan 2026 06:51
26yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
NDP
Registered:19 Nov 2024 16:31
Follow date:12 Jan 2026 06:38
Official news & updates on Canada's New Democratic Party | #FightingForYou
Matt Keenan
Registered:16 Nov 2024 20:36
Follow date:12 Jan 2026 06:33
SUMMER ETERNAL
Registered:13 Oct 2024 21:07
Follow date:23 Dec 2025 20:57
A brand new co-operative studio aiming to create revolutionary games. ยท summereternal.com
cobalt
Registered:1 Jul 2023 16:21
Follow date:20 Dec 2025 15:33
Lucy ๐ท
Registered:25 Nov 2024 12:14
Follow date:27 Nov 2025 20:50
35mm film photography mostly ๐๏ธ but also digital. Street photography, landscape. Scottish ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ
https://linktr.ee/whaleonland
Irene Zhang
Registered:9 Mar 2025 03:10
Follow date:22 Nov 2025 22:45
I am a principal researcher at Microsoft Research. I work on operating systems for kernel-bypass data center servers.
Rob Ricci
Registered:23 Nov 2024 20:39
Follow date:22 Nov 2025 22:45
Research Professor in the Kahlert School of Computing at the University of Utah
Not planning to be here much, my main account is on the fediverse at https://discuss.systems/@ricci... - you can follow it directly here as
@ricci.discuss.systems.ap.brid.gyโฌ
aramya
Registered:6 Feb 2024 20:58
Follow date:10 Nov 2025 23:57
not really active here
Paradox ๐ซ๐ฆ
Registered:19 Jul 2023 01:58
Follow date:18 Oct 2025 20:43
NO NFT NO AI
https://corrodedparadox.com/
daddis.bsky.social
Registered:23 Nov 2024 08:54
Follow date:4 Oct 2025 04:09
Salvatore Daddi
Art e commissions FOR SALE
Beli App
Registered:4 Dec 2024 01:10
Follow date:30 Sep 2025 22:41
wolf
Registered:22 Sep 2025 23:01
Follow date:23 Sep 2025 00:12
arou[...]
View full profile at https://app.wafrn.net/blog/ato...
Philippa Cowderoy
Registered:14 Nov 2024 17:14
Follow date:22 Sep 2025 11:23
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else.
(she/her)
Disco Elysium Quotes
Registered:7 Oct 2023 23:35
Follow date:16 Sep 2025 03:56
Bot; Posting hourly.
yoshimi red
Registered:7 Jul 2023 04:21
Follow date:13 Sep 2025 01:43
there's no discharge in the war. author of short fiction, articles and MANCHUKUO 1987, a novel. links to all of that below. not actually a japanese girl
The Tweedy Mutant
Registered:15 Nov 2023 01:20
Follow date:13 Sep 2025 01:40
Corin โข PhD at UBC Geography โข dissertating on cats โข literal mutant (EDS, etc.) โข AuDHD โข crip/queer/trans โข he/him โข the_tweedy on Twitter but rarely active over there
iDKHOW BUT THEY FOUND ME
Registered:16 Nov 2024 03:07
Follow date:12 Sep 2025 23:10
DALLON WEEKES FROM SLC
Skylight Social
Registered:16 Jan 2025 00:17
Follow date:9 Sep 2025 13:36
โจJoin Skylight, report bugs, suggest features:
https://beacons.ai/skylight.so...
Popfeed
Registered:17 Dec 2024 05:09
Follow date:8 Sep 2025 12:25
The home of pop culture in the Atmosphere
iOS: apps.apple.com/us/app/popfeed-social/id6742398504
Android: play.google.com/store/apps/details?id=app.popsky
Web: popfeed.social
Donate: rb.gy/z5p7oc
๐กFeature Request: rb.gy/oqj1uk
โ ๏ธBug Reports: rb.gy/rbs368
Bookfeed ๐
Registered:21 Aug 2025 03:31
Follow date:8 Sep 2025 12:25
Decentralized Goodreads alternative built on the AT Protocol. Built by and using the @popfeed.social lexicon.
Donate: https://rb.gy/z5p7oc
Web: books.popfeed.social
๐กFeature Request: https://rb.gy/oqj1uk
โ ๏ธReport a bug: https://rb.gy/rbs368
Grain
Registered:6 May 2025 15:46
Follow date:8 Sep 2025 12:15
grain.social is a photography-focused photo sharing platform
sign in with your bsky account
by @chadtmiller.com
github: https://github.com/grainsocial...
tangled: https://tangled.sh/@grain.soci...
#photography #atprotocol
ChicagoVintageTileFloors
Registered:16 Aug 2023 15:47
Follow date:5 Sep 2025 02:35
๐ณ๏ธโ๐ ๐ณ๏ธโโง๏ธ It's definitely mostly about the floors. ๐ณ๏ธโโง๏ธ ๐ณ๏ธโ๐
Tangled
Registered:10 Feb 2025 12:31
Follow date:4 Sep 2025 12:35
https://tangled.org is the next-generation social coding platform.
โ Docs: https://docs.tangled.org
โ Discord: chat.tangled.org
โ IRC: #tangled @ libera.chat
SIGPLAN AV
Registered:10 Mar 2025 19:53
Follow date:29 Aug 2025 02:55
We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.
https://sigplan.org/AV
Every event we cover is available on YouTube:
https://youtube.com/@acmsigpla...