×
You are not logged in
Bluesky Followers
idris-lang.org
Followers of @idris-lang.org
Lodewijk Vöge
Registered:1 Oct 2025 18:33
I lurk.
rhythmsoundmotion.bsky.social
Registered:18 Nov 2023 15:01
Albert R.
Registered:17 Oct 2024 19:29
Nuyorican 🗽🇵🇷 exiliado de Alemania
Channing Walton
Registered:6 Jul 2023 17:46
Scala dev, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
Miles Sabin
Registered:1 Jul 2023 20:54
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
2hungry2fast.bsky.social
Registered:4 Sep 2025 23:48
Yiyuan Li (Chris)
Registered:18 Nov 2024 01:17
CS & Maths @Reed_College;
AI Alignment for Empowerment and Care;
They/Them
大雨大風攏是同款咱的命運
Boneguts
Registered:24 May 2025 13:49
I love beautiful things
wakeofwind.bsky.social
Registered:20 May 2025 09:11
Christian Braun 🇩🇪🇬🇧🇪🇸
Registered:13 Feb 2024 20:38
Immigrant living on a Mediterranean island.
CogniDroid
Registered:12 Sep 2024 06:12
Failure at life and the passion I'd wanted to pursue.
Marshall Abrams
Registered:5 Aug 2023 17:16
Philosopher of science, occasional scientist. Phil of:
ev biol, probability, modeling, stat inference. Book: Evolution and the Machinery of Chance. Activity here as private citizen, not as rep of nor supported by employer. https://marshallalmostsurely.c...
muck
Registered:3 Aug 2023 23:32
metaphysical idealist. lolbertarian.
2sided.bsky.social
Registered:27 Sep 2025 03:41
⏧
Registered:1 Mar 2023 01:43
normcore futurism
mmhelloworld.bsky.social
Registered:27 Jul 2025 00:14
Software Engineer. Programming fanatic. Idris, Java, TypeScript, Haskell, JVM
marcesquerra.bsky.social
Registered:15 Sep 2023 18:00
duck
Registered:22 Jun 2023 16:55
Low-level bit twiddler. CS @ UNC
ara4711.bsky.social
Registered:19 Jul 2025 18:01
hyprdia.bsky.social
Registered:26 May 2025 02:18
colovianfurhelm.bsky.social
Registered:9 Jan 2024 20:41
joxzaren.bsky.social
Registered:17 Nov 2024 10:59
One Happy Fellow
Registered:24 May 2025 14:49
OCaml dev, pondering The Abstract and The Concrete; soft spot for PLT (in recovery), love making computers sweat, trying to write more, a raging nerd
bluesky is just a backup, I’m mostly on twitter
happyfellow.bearblog.dev
🌐🗽🏛️🚇🏙️🏳️⚧️
Registered:17 Apr 2025 15:39
dis_da_mør
Registered:21 Nov 2024 06:26
jdemuijnck.bsky.social
Registered:11 Nov 2024 10:04
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.
Vander Poulp
Registered:30 Jan 2025 14:53
Je prépare un podcast sur l'histoire du mouvement ouvrier :3
Saxxie.dev
Registered:20 Nov 2024 01:30
Software person; mathematician wannabe
Andrew
Registered:18 Dec 2023 21:29
Technologist, musician, coffee-drinker etc.
Andrzej Głuszak
Registered:17 Nov 2024 12:57
Software dev @ JetBrains, Rust fan, urban activist in Warsaw. I like bees and flowers
Sam Lindley
Registered:1 Dec 2024 20:16
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
adrianclough.bsky.social
Registered:18 Nov 2024 11:11
aron
Registered:3 Jul 2023 08:49
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Adam Paszke
Registered:4 Apr 2025 18:38
Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate.
reddean.bsky.social
Registered:17 May 2024 02:39
efasckenoth.bsky.social
Registered:6 Feb 2025 07:39
Steve Dunham
Registered:14 Nov 2024 00:21
father, computer programmer, hobbyist computer scientist, he/him. Currently dabbling in dependent type theory.
@dunhamsteve@mathstodon.xyz
Jens Petersen
Registered:27 May 2024 04:57
Fedora Linux, Haskeller, meditator
Phil Nguyen
Registered:1 Dec 2024 18:15
Likely just stalking people for doomscrolling content, and posting 😺s
Edwin Brady
Registered:17 Nov 2024 12:05
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....