×
You are not logged in
Bluesky Follows
Matt Teichman
Follows by @bufordrat.bsky.social
Agent Shell
Registered:2 Mar 2026 13:56
Follow date:7 Mar 2026 21:14
Last post:4 days ago
Last like received:17 hours ago
In the galaxy I come from, code quality is the law of the land and OOP simply doesn’t exist.
I live and breathe distributed systems and typed functional programming.
And yes, I have a soft spot for ’90s cinema.
grace
Registered:20 Nov 2025 05:49
Follow date:30 Jan 2026 20:29
Last post:22 Jan 2026
the functional programming language for prompt engineering
try the tutorial at trygrace.dev
profile picture by @art.nekomimi.pet
Mike
Registered:31 Dec 2023 19:22
Follow date:12 Jan 2026 17:52
Last post:11 Feb 2026
Last like given:3 hours ago
Software developer. Currently interested in figuring out how CPUs work, time series forecasting, and Lean. Co-host of Picture Me Coding, a podcast about software and music. Trail runner and hiker. Oh, and I like trees.
Picture Me Coding
Registered:21 Sep 2024 17:44
Follow date:12 Jan 2026 17:52
Last post:5 days ago
Everyone's favorite music podcast about software, with your hosts Erik Aker and @mikemull.bsky.social
arachnocapitalist
Registered:10 Apr 2023 04:08
Follow date:27 Aug 2025 11:42
Last post:34 minutes ago
Last like given:4 minutes ago
Last like received:2 minutes ago
a short, sturdy creature, fond of drink and industry
try using @xblock.aendra.dev if bsky hurts lately
Nate
Registered:28 Nov 2023 18:04
Follow date:7 Jul 2025 17:17
Last post:3 Jan 2026
Last like given:8 hours ago
Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
Monoid Mary
Registered:24 Nov 2024 19:56
Follow date:13 Jun 2025 18:13
Last post:1 day ago
Last like given:10 hours ago
Last like received:1 day ago
just a solarpunk hillbilly living in the gasoline crack of history
i get my glory in the desert rain
Hotel Bar Sessions podcast
Registered:14 Nov 2024 15:07
Follow date:17 May 2025 13:51
Last post:5 days ago
Last like received:21 hours ago
Three philosophers. One bartender. Pouring wisdom straight into your earbuds.
Co-hosts: @drleighmjohnson.bsky.social @jenhkling.bsky.social and @philosophymatters.bsky.social
www.hotelbarpodcast.com
www.patreon.com/hotelbarsessio...
lastpositivist.bsky.social
Registered:17 Oct 2024 17:12
Follow date:7 May 2025 02:46
Last post:11 hours ago
Last like given:7 hours ago
Last like received:1 hour ago
Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]
Rebecca Skinner
Registered:26 Aug 2023 06:26
Follow date:1 May 2025 01:44
Last post:24 Nov 2025
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/title...
Leftover woman
Registered:29 Apr 2023 13:34
Follow date:30 Apr 2025 14:09
Last post:9 Dec 2025
Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@Ro...
Aaron Christianson
Registered:22 Apr 2025 10:31
Follow date:26 Apr 2025 00:17
OCaml. Pronouns in bio.
SE4FP Workshop
Registered:10 Apr 2025 20:00
Follow date:16 Apr 2025 15:39
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/
Maris Orbidans
Registered:24 Feb 2024 21:49
Follow date:14 Apr 2025 14:36
Last post:19 Feb 2026
I am a software engineer who uses clojure and emacs. I live in Hampshire 🇬🇧.
Thomas Marsh
Registered:25 Nov 2024 14:36
Follow date:14 Apr 2025 13:24
Last like given:1 day ago
FP, formal methods, urban planning
Joy Buchanan
Registered:25 Apr 2023 15:32
Follow date:26 Mar 2025 18:56
Last post:6 Jan 2026
Economics faculty at Samford, economistwritingeveryday.com, most research falls under Experimental Econ and recently A.I.
Dan Plyukhin
Registered:19 Nov 2024 20:45
Follow date:26 Mar 2025 00:03
Last post:19 Feb 2026
⚠️I’m on the job market for 2026!⚠️
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
Junrui Liu
Registered:12 Nov 2024 02:20
Follow date:25 Mar 2025 00:54
Last post:12 Feb 2026
Last like given:12 hours ago
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Yuan Sui
Registered:26 Nov 2024 03:09
Follow date:18 Mar 2025 01:41
Electrical and Computer Enineering @ University of Toronto
gavin leech
Registered:13 Apr 2023 10:20
Follow date:18 Mar 2025 01:33
Last post:4 Mar 2026
context maximizer
https://gleech.org/
Mehran Jalali
Registered:4 Mar 2023 08:26
Follow date:18 Mar 2025 01:31
Hiya Jain
Registered:12 Nov 2024 01:29
Follow date:18 Mar 2025 01:30
writing mundane.beauty
Patricia Hurducas
Registered:12 Apr 2023 14:31
Follow date:18 Mar 2025 01:29
Mapping our urban experiences.
www.theflaneursproject.com
Megan Gafford
Registered:22 Nov 2024 04:28
Follow date:18 Mar 2025 01:28
Artist and writer at Fashionably Late Takes
(I can't draw fast enough for hot takes) ✏️
Fashionablylatetakes.com
Contributer at Quillette ✒️
https://quillette.com/author/m...
Emily Herring
Registered:12 May 2023 22:36
Follow date:12 Mar 2025 17:10
Last post:13 hours ago
Last like given:16 hours ago
Last like received:8 hours ago
Writer
My biography of Henri Bergson – Herald of a Restless World – is out now!
"The most intellectually stimulating book I read this year.” John Banville
She/Her
https://linktr.ee/eherring
SimonR
Registered:12 Mar 2025 09:34
Follow date:12 Mar 2025 12:17
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer, NixOS
Early student in CS at Technische Universität München
Other interests: Physics, Accordion, Judo and Design
https://simonreilich.github.io...
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:12 Mar 2025 02:21
Last post:2 hours ago
Last like given:2 hours ago
Last like received:2 hours ago
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Érik Martin-Dorel
Registered:21 Nov 2024 21:12
Follow date:10 Mar 2025 01:28
Last post:20 Dec 2025
Software developer, ex-academic.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Mark Cohen
Registered:25 Apr 2023 20:32
Follow date:1 Mar 2025 18:41
Last post:12 hours ago
Last like given:4 hours ago
Last like received:6 hours ago
LES FOURMIS, he told me, ONT MANGÉ VOTRE LINKY. (they)
Jack Matusiewicz
Registered:8 Aug 2024 07:38
Follow date:28 Feb 2025 20:33
Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
Alistair
Registered:20 Feb 2025 18:12
Follow date:25 Feb 2025 19:30
Last post:21 Jan 2026
Computer Science Teacher | Postgraduate Researcher in AI & Programming Pedagogy | NPQSL
Bozhidar Batsov (a.k.a. Bug)
Registered:27 Sep 2023 07:42
Follow date:24 Feb 2025 20:09
Last post:8 hours ago
Last like given:13 hours ago
Last like received:4 hours ago
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
Kramer
Registered:19 Nov 2023 13:11
Follow date:24 Feb 2025 20:09
Writing #ElixirLang at remote.com 🚀
Code: https://github.com/hamptokr
Stephen Diehl
Registered:5 Dec 2023 20:27
Follow date:19 Feb 2025 14:22
Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
vblt.org
Registered:20 Oct 2023 14:02
Follow date:6 Feb 2025 19:42
phamki.bsky.social
Registered:4 Feb 2025 15:23
Follow date:6 Feb 2025 15:37
Kian
Registered:31 Jan 2025 18:13
Follow date:3 Feb 2025 15:29
Chicago
Alyssa V PhD
Registered:2 Feb 2025 04:20
Follow date:2 Feb 2025 05:28
Last post:25 Dec 2025
🤷♀️
Ocsigen
Registered:9 Feb 2024 09:19
Follow date:29 Jan 2025 19:22
The next generation Web and mobile framework.
Tuomas Tahko
Registered:26 Jan 2025 08:49
Follow date:29 Jan 2025 19:22
Last post:8 Dec 2025
Prof of Metaphysics of Science & Head of School of Arts at University of Bristol.
I run, hike, take photos, drink craft beer, and eat my veg.
www.ttahko.net
ncmathsadist
Registered:23 Nov 2024 17:14
Follow date:16 Jan 2025 14:51
This is Morrison of NCSSM (retired August of 2022). I have a website at https://johnmmorrison.com
Dr. Ruchira Datta
Registered:22 Nov 2024 15:59
Follow date:11 Jan 2025 14:11
Last post:25 Feb 2026
Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
sourmelina.bsky.social
Registered:10 Jan 2025 16:56
Follow date:10 Jan 2025 18:06
Gabriel Díaz
Registered:16 Nov 2024 19:00
Follow date:8 Jan 2025 19:34
Last post:28 Feb 2026
Tiago Cogumbreiro
Registered:23 Nov 2024 17:25
Follow date:8 Jan 2025 00:29
Last post:20 Jan 2026
Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/fai... #ocaml #rocq
Jon Ludlam
Registered:16 Nov 2024 14:38
Follow date:8 Jan 2025 00:27