×
You are not logged in
Bluesky Follows
Max S. New
Follows by @maxsnew.com
Anshu Sharma
Registered:17 Nov 2023 15:24
Follow date:25 Feb 2026 01:07
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...
Josh Horowitz
Registered:22 Apr 2023 01:18
Follow date:17 Feb 2026 23:56
joshuahhh.com
t-shirt size: medium
CHAPO TRAP HOUSE
Registered:4 Dec 2025 19:00
Follow date:28 Jan 2026 23:51
❄️⚖️ Will Menaker, Matt Christman, Felix Biederman, and Amber A'Lee Frost Producer: Chris Wade
Jon Bois
Registered:28 Apr 2023 03:03
Follow date:19 Jan 2026 05:23
Chris Keele 🥁🥁🎉 and 6 others
Registered:25 Jun 2023 18:32
Follow date:6 Jan 2026 17:14
You've met with a terrible fate, haven't you?
All opinions expressed are not my own, and strictly reflect the views of your employer.
nerd ~ #T1D ~ he/him
Oisín Kidney
Registered:16 Nov 2024 13:58
Follow date:5 Jan 2026 23:10
PhD student in functional programming.
doisinkidney.com
Jiří Beneš
Registered:4 Jun 2025 14:11
Follow date:5 Jan 2026 22:12
Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
John Clements
Registered:4 Jan 2026 20:39
Follow date:4 Jan 2026 23:29
scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
Tyler Fisher
Registered:13 Apr 2023 15:41
Follow date:23 Dec 2025 18:57
Founder, @euphonos.studio. Stop doomscrolling with @sill.social. Watch good NBA games with heatcheck.site. Used to work for a bunch of news orgs.
Lapsed Philadelphian in 🇳🇱.
Arkady Martine | Dr. AnnaLinden Weller
Registered:11 May 2023 17:39
Follow date:29 Nov 2025 01:03
speculative fiction (Teixcalaan series, ROSE/HOUSE), climate & energy policy (New Mexico, all statements my own), Byzantinist (nonpracticing but never not true).
unfortunately, I care about power lines now
she/her. halfway between Santa Fe and NYC.
Liberal Currents
Registered:12 May 2023 01:53
Follow date:25 Nov 2025 00:22
A community of mere liberals. Discussing, defending, and applying the many varieties of liberalism. liberalcurrents.com
Matt Bors
Registered:12 May 2023 15:27
Follow date:24 Nov 2025 18:15
Writer of the TOXIC AVENGER and TOXIC CRUSADERS comics and co-writer of JUSTICE WARRIORS. Founded The Nib (RIP). Comics editor at In These Times magazine.
https://mattbors.substack.com/
John Ganz
Registered:1 Dec 2024 14:41
Follow date:24 Nov 2025 14:34
dottore, ingegnere, avvocato
When the Clock Broke: Con Men, Conspiracists, and How America Cracked Up in the Early 1990s — out now from
@fsgbooks
https://www.unpopularfront.new...
Libro.fm
Registered:18 Aug 2023 17:28
Follow date:4 Nov 2025 14:40
🎧 The audiobook company that shares profits with independent bookshops
💗 Certified B Corp
🔗 Shop, sign up, find bookshops, & more: www.libro.fm
Sarah Taber
Registered:2 May 2023 19:44
Follow date:21 Sep 2025 19:45
Small farmer, ex-farm worker, crop scientist. Here to talk food, farms, & money.
https://www.youtube.com/@FarmT...
Grant Sanderson
Registered:8 May 2023 22:41
Follow date:19 Sep 2025 00:36
Math videos
amanda moore 🐢
Registered:20 Apr 2023 19:04
Follow date:13 Sep 2025 00:39
If you’re a staff journalist here to rewrite my posts, you can at least credit me as a fellow journalist. Ty!
https://authory.com/AmandaMoor...
https://www.turtlediaries.net/
boarders.bsky.social
Registered:17 Aug 2024 16:39
Follow date:13 Aug 2025 19:36
Thanks to impermanence all things are possible
Working on a book on topos theory
derek guy
Registered:1 May 2023 06:41
Follow date:9 Jun 2025 19:53
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...
Ann Leckie
Registered:23 Jun 2023 02:50
Follow date:16 May 2025 19:28
Author of the award-winning Ancillary Justice. Lives in St Louis.
jdemuijnck.bsky.social
Registered:11 Nov 2024 10:04
Follow date:14 May 2025 00:06
Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
Nick Rioux
Registered:12 May 2025 00:07
Follow date:12 May 2025 00:44
Programming will get better.
thomjp.bsky.social
Registered:29 Mar 2025 01:11
Follow date:8 May 2025 03:19
Major League Balatro
Registered:12 Mar 2025 15:39
Follow date:1 May 2025 18:43
Stay Up-to-date on Major League Balatro featuring some of your favorite creators!
Schedule/Standings: https://majorleaguebalatro.com...
Business Inquiries: majorleaguebalatro@gmail.com
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:28 Apr 2025 14:16
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk...
https://www.lambda-miners.org....
hannelita.bsky.social
Registered:30 Jan 2025 02:26
Follow date:20 Apr 2025 23:18
SE4FP Workshop
Registered:10 Apr 2025 20:00
Follow date:17 Apr 2025 11:28
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/
Serra Dane
Registered:17 Nov 2024 17:35
Follow date:10 Apr 2025 11:21
PhD student at UMich CSE
Lean Focused Research Organization
Registered:14 Feb 2025 23:08
Follow date:27 Feb 2025 13:43
Supporting the Formal Mathematics revolution
Mitch Wand
Registered:26 Feb 2025 22:56
Follow date:27 Feb 2025 12:08
CS Professor at Northeastern University; supporter of Democracy; Jew
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:26 Feb 2025 12:22
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Nik Swamy
Registered:26 Feb 2025 05:55
Follow date:26 Feb 2025 12:22
I work on Programming Languages at Microsoft Research
jeremysiek.bsky.social
Registered:16 Nov 2024 21:18
Follow date:23 Feb 2025 11:46
Thatchaphol Saranurak
Registered:16 Nov 2023 21:05
Follow date:19 Feb 2025 14:10
Assistant Professor at the University of Michigan.
I design fast graph algorithms in dynamic/distributed/local settings.
https://sites.google.com/site/...
Stan Kelly
Registered:8 Jun 2023 20:13
Follow date:17 Feb 2025 05:12
Legendary Editorial Cartoonist for The Onion for over 50 years.
"The Most Powerful Name in Cartooning" (TM)
https://linktr.ee/stankelly
Zach Lowe
Registered:3 Jul 2023 11:54
Follow date:6 Feb 2025 22:48
Chris Martens
Registered:27 Jan 2025 15:51
Follow date:29 Jan 2025 11:48
mostly not here, but there: https://hci.social/@chrisamaph...
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:26 Jan 2025 18:09
The ACM Special Interest Group on Programming Languages.
PLDI
Registered:20 Jan 2025 21:34
Follow date:26 Jan 2025 18:09
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Alexandria Ocasio-Cortez
Registered:27 Apr 2023 19:39
Follow date:24 Jan 2025 01:45
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:17 Jan 2025 21:07
Tell me about types
Ryan Culpepper
Registered:13 Jan 2025 21:04
Follow date:13 Jan 2025 21:18
Hayes Davenport
Registered:25 Oct 2024 18:03
Follow date:6 Jan 2025 14:41
bigcityheat.substack.com
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:6 Jan 2025 02:25
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:29 Dec 2024 22:34
Get used to disappointment.
🇨🇦 Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:20 Dec 2024 13:44
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.
Pierce Darragh
Registered:4 Dec 2024 05:41
Follow date:18 Dec 2024 13:28
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Michael Kinyon
Registered:12 May 2023 07:33
Follow date:13 Dec 2024 05:11
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.