×
You are not logged in
Bluesky Follows
Alecs P. Hacker
Follows by @bisimulation.bsky.social
Christopher Genovese
Registered:28 Oct 2024 05:36
Follow date:13 Mar 2026 18:27
Last post:2 days ago
Last like given:2 days ago
Last like received:2 days ago
Professor of Statistics & Data Science at Carnegie Mellon; high-dimensional inference and computation. Book "Probability Explained" nearing completion. Whitewater and Wilderness Paddler; Haskell, Clojure, and FP Enthusiast; and Emacs. Opinions my own.
ariel
Registered:21 Jun 2023 21:18
Follow date:11 Mar 2026 00:13
Last post:1 day ago
Last like given:17 minutes ago
Last like received:1 day ago
29y/o californian puppygirl & programming languages witch
E.
Registered:19 Nov 2024 21:29
Follow date:10 Mar 2026 21:18
Elia Pasquali
Registered:10 Mar 2026 21:10
Follow date:10 Mar 2026 21:18
Last like given:3 days ago
One Happy Fellow
Registered:24 May 2025 14:49
Follow date:5 Mar 2026 13:35
Last post:12 hours ago
Last like given:17 hours ago
Last like received:1 hour ago
Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
Philip Zucker
Registered:23 Oct 2024 15:22
Follow date:3 Mar 2026 07:01
Last post:2 days ago
Last like given:20 hours ago
Last like received:5 days ago
Computer Friend, Not a Bird
www.philipzucker.com
AndreasPK
Registered:13 Dec 2024 10:35
Follow date:19 Feb 2026 16:47
Last post:2 days ago
Last like given:2 days ago
Last like received:2 days ago
Compiler enthusiast, GHC Maintainer, working with Well-Typed.
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:19 Feb 2026 16:30
Last post:13 Jan 2026
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl...
https://cs.nyu.edu/~shw8119/
NT 5.2 Pyongyang Official™︎
Registered:14 Nov 2024 16:06
Follow date:29 Jan 2026 18:47
Last post:1 day ago
Last like given:22 hours ago
Last like received:1 day ago
I like hacking, she/her
https://nyet.su [website + atprotopds and matrix homeserver]
https://meow.jp.net
https://7bool.sbs
https://codeberg.org/1casie
ReactOS is nice
Emily Fox
Registered:2 Jul 2025 16:02
Follow date:24 Jan 2026 06:51
Last post:10 hours ago
Last like given:6 hours ago
Last like received:5 hours ago
Teaching CS theory and algorithms at UIUC. Formerly UTD. Wife and mother. Huge math and programming languages nerd. I play RPGs, metroidvanias, and puzzle games. She/they. 🏳️⚧️. AuDHD.
uli :3
Registered:3 Dec 2024 22:48
Follow date:13 Jan 2026 22:19
Last post:1 hour ago
Last like given:4 hours ago
Last like received:45 minutes ago
she/her
fake i.e. impossible
Sai Divvela
Registered:3 Jan 2025 19:22
Follow date:12 Jan 2026 22:08
Last post:1 day ago
Last like given:2 hours ago
Last like received:17 hours ago
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Mar !!
Registered:3 Dec 2023 09:45
Follow date:12 Jan 2026 17:50
Last post:2 hours ago
Last like given:2 hours ago
Last like received:1 hour ago
《Mar/Maeryn》《she/her》《22》《Metal & Jazz are in perfect harmony》《Endless creativity haver》《Transfemme》《ND》《Computer nerd!》《Chocolate and coffee lover》《Sapphic asf》
TheMaxus
Registered:3 Jul 2023 03:36
Follow date:8 Jan 2026 17:19
Last post:6 days ago
Last like given:6 days ago
🇫🇮 Black metal and black coffee enjoyer, BSc in software engineering, ham radio operator (OH5COB) and armchair philosopher.
he/him
https://purelysymbolic.fi/
waffle/0
Registered:18 Oct 2024 14:17
Follow date:4 Jan 2026 12:42
Last post:9 hours ago
Last like given:1 hour ago
Last like received:8 hours ago
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
Nicole Heinimann
Registered:26 Jun 2023 13:14
Follow date:20 Dec 2025 11:30
Last post:6 days ago
Last like given:2 hours ago
Where are my types, I can't see without my types!
PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Olof❤️AI
Registered:27 Nov 2024 11:20
Follow date:18 Dec 2025 11:58
Last post:3 days ago
Last like given:3 days ago
Last like received:9 hours ago
I build fun things for Bluesky!
Left my comfy AI job to build mini-projects online - most of them around Bluesky or AI.
Here to make Bluesky a little less serious, have fun and meet people!
My projects → madebyolof.com
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
Follow date:13 Dec 2025 08:00
Last post:2 days ago
Last like given:5 days ago
Last like received:2 days ago
rntz
Registered:1 Jul 2023 19:28
Follow date:5 Dec 2025 20:28
Last post:9 Mar 2026
Last like given:1 day ago
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Γ ⊢ quartztz : bnuy
Registered:14 Nov 2024 13:34
Follow date:2 Dec 2025 16:18
Last post:2 hours ago
Last like given:25 minutes ago
Last like received:1 hour ago
[he/they]
EN/FR/IT
quartztz.com
MSc @ EPFL
verification obsessed nerd with too little time on their hands.
boarders.bsky.social
Registered:17 Aug 2024 16:39
Follow date:1 Dec 2025 18:49
Last post:6 hours ago
Last like given:4 hours ago
Last like received:2 hours ago
Thanks to impermanence all things are possible
Working on a book on topos theory
The C Programming Language
Registered:6 Oct 2023 11:00
Follow date:13 Nov 2025 08:12
Last post:1 day ago
Last like given:5 days ago
Last like received:16 minutes ago
Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Königsberg
Théophile فهيل (ꈍ ᴗ ꈍ✿)
Registered:5 Feb 2024 09:35
Follow date:3 Nov 2025 12:43
Last post:17 minutes ago
Last like given:17 minutes ago
Last like received:23 hours ago
Trade unionist, musician, professional software victim.
🇫🇷/🇩🇿
Séparatisme Numérique at @solinfonat.bsky.social
Project lead at @flora.pm
Jan van Brügge
Registered:12 Nov 2024 09:51
Follow date:30 Sep 2025 21:56
Last post:4 Mar 2026
Last like given:2 days ago
Oisín Kidney
Registered:16 Nov 2024 13:58
Follow date:25 Sep 2025 01:18
Last post:6 Mar 2026
Last like given:9 hours ago
PhD student in functional programming.
doisinkidney.com
thelissimus.bsky.social
Registered:8 Dec 2024 13:21
Follow date:24 Sep 2025 23:14
Nicole
Registered:19 Sep 2025 10:36
Follow date:23 Sep 2025 17:22
TypeHoles
Registered:31 Oct 2024 23:33
Follow date:22 Sep 2025 19:20
Last post:6 days ago
Last like given:12 hours ago
Last like received:3 days 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
Haskell Interlude
Registered:2 Jun 2025 09:11
Follow date:8 Sep 2025 10:07
Last post:9 Mar 2026
The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
Andres Löh
Registered:25 Jul 2023 19:27
Follow date:8 Sep 2025 10:07
Last post:21 Jan 2026
Last like given:4 days ago
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Lean Focused Research Organization
Registered:14 Feb 2025 23:08
Follow date:8 Sep 2025 10:07
Last post:27 Feb 2026
Supporting the Formal Mathematics revolution
Alex McLean
Registered:16 Jun 2023 19:32
Follow date:8 Sep 2025 09:08
Last post:18 Feb 2026
Last like given:2 days ago
Researcher + musician based in Sheffield UK https://slab.org/
Co founder of algorave, toplap, algomech, pattern club, strudel, tidalcycles
Part of Then Try This https://thentrythis.org/
Exploring algorithmic patterns https://algorithmicpattern.org...
arXiv cs.PL Programming Languages
Registered:16 Feb 2025 07:11
Follow date:5 Sep 2025 06:51
Last post:3 hours ago
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXi... https://arxiv.org/list/cs.PL/n...
List https://bsky.app/profile/vele....
ModList https://bsky.app/profile/vele....
Danilo Piazzalunga
Registered:21 Nov 2023 08:13
Follow date:3 Sep 2025 19:57
Last post:11 hours ago
Last like given:11 hours ago
Last like received:6 hours ago
he/him or they/them 🟡⚪🟣⚫ | Just let me be weird sometimes. | Embrace the silliness. | If I unfollowed you, it's because you keep posting things without alt text.
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:26 Aug 2025 18:18
Last post:7 hours ago
Last like given:5 hours ago
Last like received:3 hours ago
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Nathan🌸
Registered:9 Jan 2025 16:55
Follow date:26 Aug 2025 17:33
Last post:7 hours ago
Last like given:4 hours ago
Last like received:6 hours ago
Indie software developer • math lover • ML builder • 48 • NB they/them
Currently working on agentic wrangling.
Stephen
Registered:30 Jul 2023 20:23
Follow date:18 Aug 2025 22:13
Last post:19 hours ago
Last like given:10 hours ago
Last like received:1 day ago
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
asa
Registered:28 Mar 2025 03:35
Follow date:18 Aug 2025 19:19
Last post:3 days ago
Last like given:7 hours ago
Last like received:3 days ago
nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Komi (Cactus) Golov
Registered:3 Jul 2023 19:16
Follow date:18 Aug 2025 19:18
Last post:25 Nov 2025
Lecturer at JetBrains, specialised in programming language theory
Also working on formal verification for Kotlin (SnaKt)
she/they 🏳️🌈 🏳️⚧️
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.
Samir Rashid
Registered:27 Nov 2024 18:34
Follow date:17 Aug 2025 18:43
Last post:9 Feb 2026
Last like given:2 hours ago
i love my computer
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:7 Aug 2025 12:46
Last post:8 Mar 2026
Last like given:8 hours ago
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Freek Wiedijk
Registered:5 Jan 2024 19:46
Follow date:6 Aug 2025 18:44
Last post:3 minutes ago
Last like given:13 minutes ago
Last like received:23 hours ago
🔑proofs⚙️dances🔥bodies⭐️dreams
least informed nerd
Registered:30 Nov 2024 09:11
Follow date:5 Aug 2025 12:38
Last post:3 hours ago
Last like given:7 minutes ago
Last like received:2 hours ago
you’d think being a nerd every waking hour would make me knowledgeable…
Sjoerd Visscher
Registered:4 Sep 2023 11:28
Follow date:5 Aug 2025 11:52
Last post:7 days ago
Last like given:12 hours ago
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:10 Jul 2025 08:44
Last post:11 hours ago
Last like given:24 minutes ago
Last like received:10 hours ago
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
andrew blinn
Registered:10 Apr 2023 04:21
Follow date:2 Jul 2025 16:25
Last post:17 hours ago
Last like given:5 hours ago
Last like received:15 hours ago
https://andrewblinn.com
abstractJuiceFactory
Ernest Ng
Registered:18 Jan 2025 16:28
Follow date:7 Jun 2025 07:55
Last post:4 Mar 2026
PL/Systems PhD student at Cornell
ngernest.github.io