×
You are not logged in
Bluesky Follows
Jeremy
Follows by @jrmyd.bsky.social
Giacomo Cavalieri
Registered:8 Nov 2024 12:51
Follow date:9 Mar 2026 13:40
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
Cody
Registered:28 Aug 2023 21:37
Follow date:4 Mar 2026 09:28
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/...
Zen
Registered:14 Nov 2024 21:25
Follow date:1 Mar 2026 20:23
Welcome to a calmer internet.
→ 🔗 http://zen-browser.app
→ 💚 http://zen-browser.app/donate
→ 📦 http://github.com/zen-browser
Xavier Ponterlun
Registered:29 Sep 2023 23:00
Follow date:1 Mar 2026 12:38
J'avais en effet, en toute sincérité d'esprit, pris l'engagement de le rendre à son état primitif de fils du soleil.
Rutger Bregman
Registered:8 Feb 2024 09:20
Follow date:26 Feb 2026 16:17
Historian | Author of ‘Utopia for Realists’ (2014), ‘Humankind’ (2020) and ‘Moral Ambition’ (2025) | Co-founder of The School for Moral Ambition | moralambition.org | rutgerbregman.com
Hugging Face
Registered:17 May 2023 18:22
Follow date:18 Feb 2026 21:52
The AI community building the future!
Alexander Doria
Registered:2 Sep 2023 09:29
Follow date:17 Feb 2026 17:55
LLM for the commons.
Anastasia Stasenko
Registered:23 Oct 2023 14:20
Follow date:17 Feb 2026 17:53
pckt.blog
Registered:29 Aug 2025 18:53
Follow date:14 Feb 2026 22:55
🌱🌈🌤️
The internet's cutest blogging site (probably). A home for your half-baked thoughts and bright ideas 🎨😌🖍️
pckt.blog - Write ✍️
read.pckt.blog - Read 📖
dev.pckt.blog - Updates ⭐️
Agoratlas
Registered:16 Jan 2025 09:49
Follow date:12 Feb 2026 19:27
Influence, tendances, crises : nous cartographions les dynamiques des réseaux sociaux et leurs communautés d’influence
https://agoratlas.com/
blento
Registered:5 Jan 2026 17:05
Follow date:12 Feb 2026 14:33
your own corner of the web on atproto
supports custom domains and self-hostable
https://blento.app
https://github.com/flo-bit/ble...
AT Protocol Community
Registered:19 Aug 2024 15:43
Follow date:12 Feb 2026 14:24
AT Protocol ecosystem community. AT Community Fund, Tech Talks, and other social & community events content.
#ATmosphereConf • Vancouver, Canada • March 26th - 29th, 2026 https://news.atmosphereconf.or...
Not a Bluesky official account.
ATProto Science
Registered:18 Oct 2025 15:35
Follow date:12 Feb 2026 14:24
Fostering an ecosystem for science on ATProto
🌐 https://atproto.science/
📅 Join us for ATScience2026! (March 27 in Vancouver) https://atproto.science/events...
AT Protocol Developers
Registered:26 Apr 2023 06:19
Follow date:12 Feb 2026 14:22
Social networking technology created by Bluesky.
Developer-focused account. Follow @bsky.app for general announcements!
Bluesky API docs: docs.bsky.app
AT Protocol specs: atproto.com
Racket
Registered:16 Nov 2024 10:44
Follow date:12 Feb 2026 14:13
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group...
https://racket-lang.org/
Jean-Charles Buttier
Registered:26 Nov 2024 21:26
Follow date:8 Feb 2026 11:58
Chargé d'enseignement en didactique de l'histoire et de la citoyenneté (Université de Genève).
Mes recherches portent sur l'histoire et son enseignement. #ESR
Page professionnelle : https://www.unige.ch/fapse/edh...
Tournesol🌻
Registered:20 Nov 2024 18:44
Follow date:26 Jan 2026 22:57
Collaborative content recommandations 🌻
Let's solve the ethics of information together!
https://tournesol.app
Antoine
Registered:31 Dec 2024 12:57
Follow date:24 Jan 2026 15:39
Maître de conférences à l'Université Lyon 1. Enseigne la "science des matériaux" (IUT Lyon 1 département GMP) et fait de la recherche sur la "matière molle" (Institut Lumière Matière).
Parfois en anglais, mostly in French.
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:11 Jan 2026 13:07
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
sai
Registered:3 Sep 2023 06:53
Follow date:11 Jan 2026 13:02
Alecs P. Hacker
Registered:20 Nov 2024 22:16
Follow date:11 Jan 2026 11:14
liquid type in liquid type connoisseur
alecsferra.github.io
Kiran
Registered:11 Sep 2023 13:04
Follow date:11 Jan 2026 11:11
Programming Languages Researcher
https://kirancodes.me
Eurosky Social
Registered:3 Sep 2025 10:58
Follow date:5 Jan 2026 22:10
Building open social web infrastructure and apps in Europe. Public interest non-profit initiative, part of the Modal Foundation.
Web: https://eurosky.tech
Blog: https://eurosky.leaflet.pub/
joie💚🕊️❤️
Registered:26 Aug 2023 12:39
Follow date:3 Jan 2026 13:52
Mon nom est joie dans la langue de فردوسی 🌞
Je dessine des maisons en heures ouvrées, et des chatons le reste du temps 👷🏻♀️🐈
Ici on déteste les patrons et macron 🏴
Mes dessins : pixelfed.social/shiyata
Greg Egan
Registered:20 Nov 2024 20:43
Follow date:2 Jan 2026 10:06
SF writer / computer programmer
Latest novel: MORPHOTROPHIC
Latest collection: SLEEP AND THE SOUL
Web site: http://gregegan.net
Also: @gregeganSF@mathstodon.xyz
Mullvad VPN
Registered:10 Aug 2023 15:05
Follow date:19 Dec 2025 07:30
A fast, trustworthy, and easy-to-use VPN is a good first step toward reclaiming your privacy. Just €5/month. For your right to privacy.
For support, contact us via email: support at mullvadvpn dot net
Etienne Dupont Conteur
Registered:9 Dec 2025 22:45
Follow date:17 Dec 2025 20:58
Je suis physicien, philosophe, théologien, bretteur, acteur et jardinier... bref simplement conteur.
Ce fil permet de présenter mon travail de conteur […]
🌉 bridged from ⁂ https://piaille.fr/@etiennecon... follow @ap.brid.gy to interact
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
Follow date:6 Dec 2025 11:26
Julia Language
Registered:25 Nov 2024 14:23
Follow date:5 Dec 2025 18:16
Julia is a high-level, dynamic programming language built for technical computing.
Official Bluesky account of the Julia Language Project
#JuliaLang
Proton
Registered:13 Jun 2023 11:12
Follow date:2 Dec 2025 12:12
Choose a better internet where privacy is the default. Start protecting your personal information online with Proton Mail, Proton VPN, Proton Drive, Proton Pass, Proton Wallet, and Lumo: https://proton.me/
Tuta
Registered:23 Jun 2023 14:15
Follow date:2 Dec 2025 12:12
Tuta is secure email with automatic encryption. Private by design, open source & free. Imprint: http://tuta.com
John C. Baez
Registered:18 Nov 2024 21:23
Follow date:1 Dec 2025 06:48
Mathematical physicist
Jules
Registered:23 Sep 2023 15:29
Follow date:30 Oct 2025 17:58
Admin Wikipédia bénévole (https://w.wiki/Qp4).
Ancien conducteur de train, ancien SR.
🔎 Médias, désinformation, climat, droits humains…
🌡️ https://deni-climatique.fr
📙 Les Deux Mégots (éditions Goutte-d'Or)
Sophie Huiberts
Registered:16 Aug 2023 11:44
Follow date:27 Oct 2025 17:32
CNRS researcher in linear programming
Théo Delemazure
Registered:11 Jan 2025 13:49
Follow date:26 Oct 2025 00:20
Postdoc in social choice at University of Amsterdam (@outofcontextan.bsky.social) theo.delemazure.fr
Jean-Noël Gourdol
Registered:17 Nov 2024 14:57
Follow date:20 Oct 2025 06:40
James
Registered:6 Oct 2023 08:49
Follow date:7 Oct 2025 21:06
Join a bleeding-heart liberal and compulsive speculator rambling about saving the world with win-win games at nonzerosum.games!
Simone Conradi
Registered:15 Dec 2023 20:17
Follow date:5 Oct 2025 15:42
Theoretical Physics Ph.D., Computer Science Teacher. Author of “Intelligenza Artificiale” Zanichelli 2022.
I draw using mathematics and Python, no generative AI.
https://profconradi.com
https://x.com/S_Conradi
Helen Czerski
Registered:21 Jun 2023 19:16
Follow date:27 Sep 2025 14:29
Physics, bubbles, oceans, hot chocolate and curiosity. Professor at UCL, writer, broadcaster. Author of Storm in a Teacup and Blue Machine https://linktr.ee/helenczerski Co-host of BBC Radio 4's Rare Earth
Gleam Programming Language
Registered:18 Nov 2024 13:56
Follow date:24 Sep 2025 15:32
Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Informaticien spé philo 🐫
Registered:20 Oct 2023 20:11
Follow date:20 Sep 2025 16:42
Doctorant en informatique au LIP6 | 🏳️🌈 | Rock prog et Kylie Minogue
Catarina Dutilh Novaes 🟥
Registered:7 Nov 2023 18:05
Follow date:5 Sep 2025 04:48
Philosopher at VU Amsterdam
PI of ERC-funded project 'Social Epistemology of Argumentation' (2018-2024)
Author of 'The Dialogical Roots of Deduction' (CUP, 2020) and 'Formal Languages in Logic' (CUP, 2012)
🇧🇷 🇳🇱 (she/her)
Milagros Miceli
Registered:18 Nov 2023 09:42
Follow date:28 Aug 2025 19:48
Sociologist & Computer Scientist
PI: @dataworkersinquiry.bsky.social
Research Lead @weizenbauminstitut.bsky.social
Research Lead @dairinstitute.bsky.social
🌐 milamiceli.com
Haskell programming language
Registered:18 Nov 2024 12:50
Follow date:19 Jul 2025 16:20
Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Datan
Registered:5 Dec 2024 08:43
Follow date:27 Jun 2025 11:56
Datan est un site permettant de mieux comprendre l'activité et les positions politiques des députés de l'Assemblée nationale. #directAN
Lynn Engelberts
Registered:1 Apr 2025 18:50
Follow date:24 Jun 2025 12:54
PhD candidate at Centrum Wiskunde & Informatica (CWI) and QuSoft | Designing quantum and classical algorithms for cryptanalysis of post-quantum cryptography 🔍
Alice ✨
Registered:19 May 2023 21:58
Follow date:23 Jun 2025 08:58
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
José A. Alonso
Registered:15 Oct 2023 09:29
Follow date:24 May 2025 19:21
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain