×
You are not logged in
Bluesky Follows
asker the gauche, glycojohn destroyer of carbs
Follows by @johnbender.bsky.social
anjali
Registered:11 May 2023 20:32
Follow date:10 Feb 2026 18:29
Last post:10 Feb 2026
🏳️🌈
she/her
PhD student @ uw cse
Alice ✨
Registered:19 May 2023 21:58
Follow date:31 Jan 2026 12:47
Last post:10 hours ago
Last like given:6 minutes ago
Last like received:2 hours ago
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Safety-Critical Rust Consortium
Registered:19 Aug 2025 22:44
Follow date:12 Dec 2025 18:13
Last post:9 Feb 2026
miren.dev
Registered:3 Feb 2025 23:33
Follow date:4 Dec 2025 02:52
Last post:13 hours ago
Last like received:12 hours ago
Check me out: https://miren.dev
Paul Ford
Registered:27 Apr 2023 22:59
Follow date:21 Oct 2025 19:10
Last post:10 hours ago
Last like received:2 hours ago
Aboard.com and Ftrain.com. Not steadily here. If you need me: ford@ftrain.com.
Little Excursion Hat
Registered:28 Apr 2023 21:38
Follow date:10 Oct 2025 15:03
Last post:9 hours ago
Last like given:9 hours ago
Last like received:4 minutes ago
Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Opinions here are my own. Decent people fight evil.
Signal: KenWhite.1969
horsejs.com
Registered:22 Nov 2024 22:01
Follow date:4 Oct 2025 12:06
Last post:19 Feb 2026
goodney.bsky.social
Registered:20 Oct 2024 05:19
Follow date:23 Sep 2025 14:45
Last post:1 day ago
Abby Phoenix (she/her)
Registered:20 May 2023 01:54
Follow date:16 Sep 2025 18:08
Last post:2 days ago
COO at @miren.dev, event planner, project manager: the voice saying, “sure, but how, and… why?”
Enthusiastic about LA, food, helping the vulnerable, puzzles, the power of women, and the Oxford comma.
Junrui Liu
Registered:12 Nov 2024 02:20
Follow date:21 Aug 2025 17:06
Last post:12 Feb 2026
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Kumail Nanjiani
Registered:24 Apr 2023 06:10
Follow date:9 Jul 2025 20:59
Last post:3 Mar 2026
Last like received:11 hours ago
My new special Night Thoughts is out NOW on Hulu.
linktr.ee/kumailnanjiani
Full-Stack AI Builder
!! Invalid Handle !!
Registered:11 Mar 2025 08:04
Follow date:19 Jun 2025 20:48
Last post:24 hours ago
Last like given:3 hours ago
My AI-Dev Journey: Lovable/Bolt > Claude Code Web > ClaudeCode + Flutter multi-platform > Codex & OpenClaw
Evan Phoenix
Registered:16 May 2023 14:26
Follow date:4 Jun 2025 03:52
Last post:7 days ago
Last like given:6 hours ago
Startup CEO at @miren.dev
Organic bio-electric pattern matching grid.
Sam Pollard
Registered:9 Sep 2023 20:27
Follow date:5 May 2025 14:00
Computer scientist researching formal methods. I enjoy TTRPGs and staying inside.
eliza🌻
Registered:7 Apr 2023 22:58
Follow date:21 Apr 2025 23:32
Last post:14 hours ago
Last like received:8 hours ago
e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
JF Bastien
Registered:8 May 2023 05:09
Follow date:26 Mar 2025 19:39
Last post:24 Feb 2026
Build & scale platform — working on humanoid robotics 🤖
🔗 https://jfbastien.com
🔗 https://tlbh.it
📍 東京、日本
Mat “Wilto” Marquis
Registered:3 Jul 2023 12:13
Follow date:11 Mar 2025 16:31
Last post:4 days ago
Melee DPS.
I’m https://wil.to
I wrote https://piccalil.li/javascript...
I wrote https://web.dev/learn/javascri... and https://web.dev/learn/images too, way back when.
I make https://multipa.ge, y'know, when I get a chance.
JMCT
Registered:19 Apr 2023 21:14
Follow date:10 Mar 2025 20:41
Last post:6 days ago
Last like given:12 hours ago
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Scott Hanselman 🌮
Registered:27 Mar 2023 00:18
Follow date:10 Feb 2025 02:37
Last post:9 hours ago
Last like received:2 hours ago
I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Follow date:13 Jan 2025 16:41
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
kyla scanlon
Registered:10 Apr 2023 14:47
Follow date:1 Jan 2025 16:55
Last post:12 Feb 2026
wrote a book called "in this economy?" | chair of the federal reserve | writing and youtube @ http://kyla.substack.com
derek guy
Registered:1 May 2023 06:41
Follow date:1 Jan 2025 16:51
Last post:1 hour ago
Last like received:4 seconds ago
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-he...
Hannah Kim
Registered:21 Oct 2023 20:31
Follow date:30 Dec 2024 03:53
Last post:2 days ago
Last like given:11 hours ago
Philosophy professor, Univ of Arizona 🌵 executive team at SEP 👩💻 thinking about fiction, poetry, music, movies, time, VR, AI & East Asian thought 🇰🇷🇰🇵 freelancer for philosophy, arts & culture ✌️
www.hannahkimphilosophy.com
jenn schiffer 🕷️🕯️
Registered:14 Mar 2023 15:19
Follow date:27 Nov 2024 22:47
Last post:2 days ago
Last like received:8 hours ago
jennschiffer.com of @bugsrock.online & @countingsheep.bsky.social
renaissance goblin, candle-maker, pixel artist, ceramics student & karaoke professional with two compsci degrees
blog: livelaugh.blog
shop: bugsrock.online
nyc co-host: robotkaraoke.live
Leo Lampropoulos
Registered:18 Nov 2024 06:36
Follow date:24 Nov 2024 03:09
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
brianloveswords
Registered:3 Jul 2023 15:27
Follow date:23 Nov 2024 22:49
Last post:4 days ago
Last like given:7 hours ago
I used to do computers. I still do, but I used to, too.
https://bjb.photo
Sarah Drasner
Registered:22 Apr 2023 18:04
Follow date:22 Nov 2024 15:27
Last post:3 Mar 2026
Opinions my own.
https://sarah.dev
Sr Director of Engineering @ Google: Core Web, Android, iOS Infrastructure
Formerly Vue Core •
Frontend Masters teacher •
O'Reilly Author •
https://www.engmanagement.dev/
https://github.com/sdras
Jingbo Wang
Registered:9 Nov 2024 20:51
Follow date:22 Nov 2024 04:59
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
joomy
Registered:1 Jul 2023 23:12
Follow date:20 Nov 2024 11:26
Last post:23 Jan 2026
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Steven Holtzen
Registered:17 Nov 2024 19:56
Follow date:19 Nov 2024 17:11
Last post:19 Jan 2026
I like computers.
assistant prof at northeastern https://www.khoury.northeaster...
Nobbel
Registered:7 Jan 2024 22:21
Follow date:19 Nov 2024 12:50
Last post:1 day ago
Last like given:12 hours ago
Naguura
Registered:3 Oct 2023 16:36
Follow date:19 Nov 2024 12:48
Partnered Streamer - business@naguura.com
Megasett
Registered:6 Aug 2023 20:08
Follow date:19 Nov 2024 12:47
Mistweaver enjoyer • Warcraft Partner • Author of wayofthecrane.io
linktr.ee/megasett
Meeix (pronounced "makes")
Registered:6 Jul 2023 20:31
Follow date:19 Nov 2024 12:46
internet idiot - i talk about things in video games for a living - partnered dumbass on the purple page - otters - vibes - metal - cats
she/her
https://meeix.carrd.co/
Steve Klabnik
Registered:10 Apr 2023 22:57
Follow date:18 Nov 2024 20:35
Last post:8 hours ago
Last like given:5 hours ago
Last like received:56 minutes ago
Jennifer Hu
Registered:24 Oct 2023 14:45
Follow date:17 Nov 2024 11:03
Last post:12 Feb 2026
Last like given:13 hours ago
Asst Prof at Johns Hopkins Cognitive Science • Director of the Group for Language and Intelligence (GLINT) ✨• Interested in all things language, cognition, and AI
jennhu.github.io
George Porter
Registered:14 Nov 2024 18:21
Follow date:17 Nov 2024 03:10
Last post:29 Dec 2025
AWS S3 & UC San Diego professor
Building networks and systems that enable high-performance, scalable, and sustainable computing and storage.
https://www.cs.ucsd.edu/~gmpor...
Conor Mc Bride
Registered:13 Nov 2024 20:43
Follow date:17 Nov 2024 03:09
Last post:18 hours ago
Last like received:48 seconds ago
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
Bartosz Milewski
Registered:15 Nov 2024 11:54
Follow date:17 Nov 2024 03:09
Last post:23 Jan 2026
Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMile...
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:17 Nov 2024 03:09
Last post:13 hours ago
Last like received:13 hours ago
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Dan Roy
Registered:2 Aug 2023 19:12
Follow date:17 Nov 2024 03:08
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Bryan Cantrill
Registered:28 Apr 2023 19:23
Follow date:17 Nov 2024 03:07
Last post:5 days ago
Last like given:13 hours ago
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Jenna DiVincenzo
Registered:11 Nov 2024 19:14
Follow date:17 Nov 2024 03:02
Last post:21 Feb 2026
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Heather Miller
Registered:1 Jun 2023 16:07
Follow date:16 Nov 2024 07:42
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:16 Nov 2024 07:41
Last post:8 Feb 2026
Last like given:52 minutes ago
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Swarat Chaudhuri
Registered:13 Nov 2024 22:51
Follow date:16 Nov 2024 07:41
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swa...
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:16 Nov 2024 07:41
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Laurence Tratt
Registered:23 Sep 2023 06:57
Follow date:16 Nov 2024 07:41
Last post:13 hours ago
Last like received:6 hours ago
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Isil Dillig
Registered:6 Nov 2024 17:22
Follow date:16 Nov 2024 07:40
CS professor at UT Austin, does research in programming languages & formal methods.
Santosh Nagarakatte
Registered:14 Nov 2024 17:58
Follow date:15 Nov 2024 21:01
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/...