×
You are not logged in
Bluesky Followers
Max S. New
Followers of @maxsnew.com
waltsharpe.bsky.social
Registered:31 Mar 2025 17:46
Anshu Sharma
Registered:17 Nov 2023 15:24
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...
arthur-ionescu.bsky.social
Registered:8 Jan 2026 16:10
Researchgate profile: https://www.researchgate.net/p...
Philpapers profile: https://philpeople.org/profile...
Mastodon profile: https://mastodon.social/@Arthu...
Tori
Registered:11 Feb 2026 18:27
Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position
Michael Vollmer
Registered:23 Nov 2024 12:17
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
a ton of crates
Registered:27 Apr 2023 20:26
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
-xnomagichash
Registered:1 Aug 2023 02:29
Founder, investor, engineer. Shill for big Monad.
David Monniaux
Registered:23 Oct 2023 18:45
"Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@Mo...
https://cv.hal.science/david-m...
jhjackyt.bsky.social
Registered:16 Jan 2026 03:10
mkolosick.bsky.social
Registered:21 Oct 2023 14:57
plumenator.bsky.social
Registered:7 Feb 2024 18:12
Chris Keele 🥁🥁🎉 and 6 others
Registered:25 Jun 2023 18:32
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
Chase Bussey
Registered:8 Dec 2024 16:04
Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Edoardo Vacchi
Registered:26 May 2023 19:16
Programming Language Nerd, PhD in C.S. — Compilers, WebAssembly, Java, Rust, Go — prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit — organizer Papers We Love Milano
evacchi.dev
Internet Hedgehog 🦔
Registered:1 Jul 2023 17:26
A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik
Mike Samuel 🟣
Registered:21 Aug 2023 06:40
Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
David Justo
Registered:26 Apr 2023 04:04
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Oisín Kidney
Registered:16 Nov 2024 13:58
PhD student in functional programming.
doisinkidney.com
Jiří Beneš
Registered:4 Jun 2025 14:11
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
scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
delob.bsky.social
Registered:11 Aug 2024 23:32
Dani Díaz
Registered:1 Nov 2024 14:56
Emory 🩶
Registered:19 Nov 2024 21:56
Brian T. Rice
Registered:27 May 2023 03:33
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_p...
asa
Registered:28 Mar 2025 03:35
nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Chentian Wu
Registered:14 Apr 2024 15:43
26’ Math & CS undergrad @ UW-Madison
PL / Logic / Cat Theory 🐈
https://wuct.site
Applying for PhD starting from 2026 Fall
Roly Perera
Registered:29 Nov 2024 15:19
Making software more open, explorable and self-explanatory
https://dynamicaspects.org/res...
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
boarders.bsky.social
Registered:17 Aug 2024 16:39
Thanks to impermanence all things are possible
Working on a book on topos theory
Missino
Registered:29 Jun 2023 15:53
Trapped in SFINAE hell screaming at angry numbers and spicy shapes.