×
You are not logged in
Bluesky Follows
KC Sivaramakrishnan
Follows by @kcsrk.info
Adharsh Kamath
Registered:13 Sep 2023 05:40
Follow date:21 Feb 2026 08:13
CS PhD student at UIUC
Josh Gancher
Registered:18 Nov 2024 22:26
Follow date:21 Feb 2026 08:13
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
rshbhprsd.bsky.social
Registered:17 Mar 2025 17:04
Follow date:2 Dec 2025 11:51
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:2 Dec 2025 11:51
Last post:3 days ago
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
Follow date:2 Dec 2025 11:50
Last post:20 hours ago
Last like given:1 day ago
Rafael Ferreira
Registered:25 Jul 2023 08:48
Follow date:2 Dec 2025 11:50
Last post:1 day ago
Last like given:2 hours ago
Last like received:4 hours ago
Matt Levine
Registered:11 Apr 2023 23:56
Follow date:24 Jul 2025 15:52
Last post:6 hours ago
Last like received:38 seconds ago
the money stuff guy
Zixian Cai
Registered:4 Jun 2025 08:25
Follow date:6 Jul 2025 10:20
PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Frank McSherry
Registered:28 Oct 2024 23:26
Follow date:14 Jun 2025 15:46
Last post:5 Mar 2026
Last like received:15 hours ago
Sai Divvela
Registered:3 Jan 2025 19:22
Follow date:4 Jun 2025 09:20
Last post:3 days ago
Last like given:6 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
Ardem Patapoutian
Registered:20 Sep 2023 00:46
Follow date:4 Jun 2025 03:30
Last post:6 days ago
Last like given:49 minutes ago
Scripps Research Professor. HHMI Investigator. Nobel Prize Physiology or Medicine 2021. Opinions are my own and do not reflect those of my employer.
Santosh
Registered:25 Jun 2023 11:22
Follow date:2 Jun 2025 03:21
Last post:12 Feb 2026
Mainstreaming climate action. Based in New Delhi, India
Tech | Books | Climate Change | Impact Investment I Entrepreneurship | Photography
Blogs at www.santoshsingh.net
Matt Godbolt
Registered:6 Apr 2024 13:46
Follow date:29 May 2025 02:41
Last post:5 hours ago
Last like given:6 hours ago
Last like received:22 minutes ago
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
Local-First Conf
Registered:16 Jan 2025 10:13
Follow date:27 May 2025 15:25
Last post:26 Feb 2026
Connect with a rapidly-growing Local-First community. Join us for our third edition 12-14th of July 2026 in Berlin. www.localfirstconf.com
One Happy Fellow
Registered:24 May 2025 14:49
Follow date:25 May 2025 09:35
Last post:10 hours ago
Last like given:2 hours ago
Last like received:54 minutes ago
Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
Faces of Science
Registered:18 Feb 2025 19:56
Follow date:21 May 2025 11:27
Last post:1 Dec 2025
Focusing on the human elements of science 🔬🧪
📧facesofscienceuk@gmail.com
🟦LinkedIn: https://tinyurl.com/3jsvddjw
📷Instagram: @facesofscienceuk
Nicholas Yang
Registered:12 Jun 2023 20:04
Follow date:6 May 2025 00:13
Programmer, obsessive cook, film nerd
Neal Parikh
Registered:15 Aug 2023 17:50
Follow date:24 Apr 2025 04:17
Last post:8 Feb 2026
Hari Varsha V
Registered:16 Nov 2024 03:02
Follow date:20 Apr 2025 01:40
computer systems researcher @ NYU.
I sell compilers and compiler-related accessories.
SE4FP Workshop
Registered:10 Apr 2025 20:00
Follow date:16 Apr 2025 18:05
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/
A Sturdy Magic Hedgehog
Registered:24 Apr 2023 01:48
Follow date:16 Apr 2025 00:10
Last post:9 Dec 2025
I try to be woke and progressive like Jesus was.
Meanjin Land
Blaft Publications
Registered:28 Jul 2023 14:25
Follow date:12 Apr 2025 15:55
Last post:20 hours ago
Last like given:7 hours ago
Last like received:6 hours ago
An independent publishing house based in Chennai, India. Indian pulp novels in translation, ghostlore, anti-caste sf, graphic novels, street signs, weird stories, & picture books about young women in love with gruesome monsters.
https://blaft.com
Kunal Kamra
Registered:17 Nov 2024 12:58
Follow date:6 Apr 2025 12:43
Why are we even
Benjamin Geer
Registered:24 Apr 2024 20:19
Follow date:4 Apr 2025 23:01
Last post:14 Jan 2026
Software developer and ex-academic (sociology, conceptual history, Arabic culture, etc.), sometimes publishes classical sheet music, lives in Paris, en/fr/ar/de/it, blog https://benjamingeer.name/, publications https://orcid.org/0000-0002-24...
Adam Paszke
Registered:4 Apr 2025 18:38
Follow date:4 Apr 2025 23:00
Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate.
Programming for the Planet
Registered:3 Apr 2025 09:38
Follow date:3 Apr 2025 15:45
The 2nd Programming for the Planet (PROPL) workshop will be co-located with SPLASH and ICFP in Singapore (in hybrid mode) on 13th October 2025. Submit a paper, talk or provocation by the 3rd July! https://conf.researchr.org/hom...
Stephen Saldanha
Registered:17 Nov 2024 18:52
Follow date:30 Mar 2025 08:29
Last post:10 hours ago
Last like given:6 hours ago
Last like received:5 hours ago
Sound Recordist | Sound Editor | Grew up in Dubai | Lived in New Zealand | Surviving Bombay
📍Mumbai, India
https://www.imdb.com/name/nm50...
Functional Architecture
Registered:9 Feb 2024 10:46
Follow date:26 Mar 2025 13:00
Last post:8 hours ago
Last like received:6 hours ago
ACM SIGPLAN Workshop on Functional Software Architecture
https://functional-architectur...
The Bellairs Quest
Registered:20 Mar 2025 00:19
Follow date:26 Mar 2025 11:14
apanda
Registered:23 Aug 2023 21:31
Follow date:26 Mar 2025 11:14
Last post:8 Jan 2026
I am A Panda. I work on systems and networking at NYU.
I mostly hang out at https://discuss.systems/@apand...
Michael Coblenz
Registered:20 Nov 2024 20:37
Follow date:26 Mar 2025 11:14
Last post:19 Feb 2026
Assistant Prof. at UC San Diego. Helping people write better software.
jonmsterling.com
Registered:18 Mar 2025 21:24
Follow date:26 Mar 2025 11:14
Roly Perera
Registered:29 Nov 2024 15:19
Follow date:26 Mar 2025 11:14
Last post:22 Feb 2026
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
Sudha
Registered:20 Mar 2025 11:24
Follow date:20 Mar 2025 13:28
Unai
Registered:8 Nov 2024 17:30
Follow date:18 Mar 2025 09:27
Last post:14 Jan 2026
computer aficionado || PhD student @ University of the Basque Country
🇨🇦 Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:18 Mar 2025 05:41
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.
good
Registered:10 Feb 2025 17:52
Follow date:17 Mar 2025 13:44
soul sold separately
Shriram Balaji
Registered:18 Nov 2023 04:30
Follow date:14 Mar 2025 11:26
building distributed systems at @microsoft.com • tinkering with systems languages, databases and things on the web • musings at http://blog.shrirambalaji.com
Sarah E. Chasins
Registered:26 Nov 2024 21:39
Follow date:14 Mar 2025 03:05
Last post:8 Dec 2025
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Jim Larus
Registered:17 Nov 2024 22:07
Follow date:14 Mar 2025 03:05
Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
Anders Møller
Registered:23 Nov 2024 11:51
Follow date:14 Mar 2025 03:05
Professor at Aarhus University
https://cs.au.dk/~amoeller
Dan Grossman
Registered:19 Nov 2024 22:13
Follow date:14 Mar 2025 03:05
Klaus v. Gleissenthall
Registered:18 Nov 2024 21:16
Follow date:14 Mar 2025 03:05
PL and Security research at VU Amsterdam https://gleissen.github.io
Éric Tanter
Registered:6 Nov 2024 18:42
Follow date:14 Mar 2025 03:05
Erez Petrank
Registered:17 Nov 2024 20:28
Follow date:14 Mar 2025 03:05
CS Professor at Technion
Ben Liblit
Registered:17 Nov 2024 17:10
Follow date:14 Mar 2025 03:04
jeremysiek.bsky.social
Registered:16 Nov 2024 21:18
Follow date:14 Mar 2025 03:04
Last post:27 Jan 2026
Alex Lew
Registered:19 Aug 2023 00:05
Follow date:14 Mar 2025 03:04
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Nat Mote
Registered:13 Jun 2023 03:17
Follow date:13 Mar 2025 03:27