×
You are not logged in
Bluesky Followers
Ben Liblit
Followers of @liblit.bsky.social
Get Launched
Registered:20 Apr 2025 02:13
Last post:17 Feb 2026
Make yourself the 'Go To' person in any industry and earn a side income from running small networking events.
Earn through entrance fees, membership fees, sponsorships & deals. GetLaunched.org
Apoorv
Registered:23 Aug 2023 15:53
Last post:18 Dec 2025
Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Veblen Director Programme
Registered:18 Apr 2025 04:27
Last post:27 Nov 2025
Helping ambitious people get their first board seats. Regardless of your background.
Callum Laing
Registered:24 Nov 2024 04:47
Last post:5 days ago
I help ambitious people raise capital, get board seats, take companies public. Let's get more entrepreneurs and builders on bsky!
Author of 4 best selling business books
Anshu Sharma
Registered:17 Nov 2023 15:24
Last post:17 minutes ago
Last like given:3 hours ago
Last like received:3 minutes ago
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...
Missino
Registered:29 Jun 2023 15:53
Last post:2 hours ago
Last like given:2 hours ago
Last like received:5 hours ago
Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Luigi Semenzato
Registered:13 Jan 2025 02:52
Standard white dude (but I tan quickly)
acendrou.bsky.social
Registered:8 Jun 2023 10:59
Last post:21 Jan 2026
Print Play Protect
Registered:25 Nov 2023 20:32
Last post:5 days ago
Last like received:2 hours ago
We make cool tabletop items :D
ghishadow.bsky.social
Registered:11 Dec 2023 04:05
Last post:4 days ago
Last like given:15 hours ago
International Conference on Automated Software Engineering (ASE)
Registered:13 Feb 2025 09:44
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/hom...
johnfsweet.bsky.social
Registered:7 Jan 2025 21:48
Last post:14 hours ago
Last like given:14 hours ago
TypeHoles
Registered:31 Oct 2024 23:33
Last post:1 day ago
Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
Tom Turcotte
Registered:22 Oct 2024 14:19
Last post:40 minutes ago
Last like given:39 minutes ago
Last like received:28 minutes ago
Mentored devs for 5+ years. Now building X Growth Engine full-time to fix my own social media struggle: authentic growth without endless scrolling.
PS: it also supports bluesky
xgrowthengine.com
Low Society
Registered:16 Feb 2025 13:12
Deeply committed to opposing MAGA. my pup, books, TV, old movies, jazz, rock, and classical music, beach walks, writing (fiction and non-fiction), abstract painting, stone sculpting, deep sleep, and non-violent villainy.
William Benton
Registered:3 Apr 2023 21:07
Always trying to simplify the complex unless there’s an opportunity for an interdisciplinary analogy.
yersizyurtsuz.bsky.social
Registered:17 Mar 2025 20:04
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
PLRG :: Bristol
Registered:14 Mar 2025 02:40
This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io...
Thank You For Your Extension To This Antimatter
Registered:5 Oct 2024 23:18
Last post:1 hour ago
Last like given:1 hour ago
Last like received:2 hours ago
Email before @ and open source before GNU. Z-Mail and Zsh. Cat person and computer scientist. Dad and D&D.
Don't fear the days ahead. Fear not walking toward them.
-- @davekellet.bsky.social
https://leavesubstack.com
ccadar.bsky.social
Registered:28 Nov 2024 07:33
adam-mx.bsky.social
Registered:24 Nov 2024 22:32
Christian W.
Registered:21 Jan 2025 20:43
Last post:3 days ago
Fat. Cranky. Bitter. But my friends say I'm hilarious, so there's that.
Ernest Ng
Registered:18 Jan 2025 16:28
Last post:7 days ago
PL/Systems PhD student at Cornell
ngernest.github.io
Read “One Day, Everyone Will Have Always Been Against This”
Registered:8 Jul 2023 15:02
Been doing support work w unhoused people for just shy of forever. Unionize Everything. The Luddites were right (not anti-tech, just anti-oppression). he/his/y’all. Opinions are that of my cat 🐈
Britgeekgrrl
Registered:23 Aug 2023 19:46
Neurospicy British immigrant. Cosplayer, crafter, and spoiler of cats.
dreezers.bsky.social
Registered:18 Nov 2024 04:16
Bob G.
Registered:1 Aug 2023 14:56
Last post:4 days ago
Last like given:2 hours ago
Last like received:18 hours ago
Software engineer, citizen, dad, not necessarily in that order
TinaCellista
Registered:16 Nov 2024 07:21
Cellist, Quilter, Jammer, Maker, Pioneer, Entreprenuer, Questioner, Reinventing Myself.
Johannes Borgström
Registered:9 Nov 2024 01:03
Last post:5 days ago
Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Shenanibro
Registered:3 Jan 2025 11:43
Takin' it one step at a time, man.
Working on systems programming, formal stuff, exotic hardware.
Trying to be nice 🌻
Francesco Ranzato
Registered:14 Nov 2024 20:44
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Joe Gibbs Politz
Registered:27 Sep 2023 15:58
Last post:2 days ago
Last like given:20 hours ago
badgery.bsky.social
Registered:7 Feb 2024 06:06
joerocca.bsky.social
Registered:12 Sep 2023 23:02
Low-alpha lurking/reposting account. Interested in OSS ML, web, XR, EA (esp WAS/WAW), alt proteins, housing, aging, and stuff like that
Denis Merigoux
Registered:5 Nov 2023 10:22
Last post:19 Feb 2026
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Sebastian Graf
Registered:22 Dec 2023 22:12
Last post:4 Feb 2026
Last like given:12 hours ago
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Talia Ringer
Registered:7 Jul 2023 05:53
Last post:23 Jan 2026
kubaneko.bsky.social
Registered:28 Dec 2024 08:31
master student at Chalmers something something proof assistants