×
You are not logged in
Bluesky Follows
Anna Esteroid
Follows by @anna-esteroid.bsky.social
PLDI
Registered:20 Jan 2025 21:34
Follow date:3 Jun 2025 10:05
Last post:7 Mar 2026
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
C++ on Sea
Registered:15 Mar 2024 17:59
Follow date:3 Jun 2025 06:02
Last post:7 Mar 2026
The international C++ conference
in the UK, by the sea
Grant Sanderson
Registered:8 May 2023 22:41
Follow date:3 Jun 2025 06:02
Last post:9 hours ago
Last like received:9 minutes ago
Math videos
meetingcpp.bsky.social
Registered:13 Aug 2024 08:17
Follow date:3 Jun 2025 06:02
Last post:10 hours ago
Last like given:4 days ago
Last like received:13 hours ago
Robert Talbert
Registered:5 Oct 2023 17:57
Follow date:3 Jun 2025 06:01
Mathematician, professor, writer, speaker, dad, bassist, wannabe data scientist. My views != my employer's. http://rtalbert.org Music: http://bandmix.com/rtbass https://www.instagram.com/rtgr...
Truttle1 / Zublek
Registered:17 Oct 2024 16:20
Follow date:3 Jun 2025 06:01
Last post:5 days ago
Last like given:4 days ago
Last like received:3 days ago
Truttle1 on YouTube, fursona name is Zublek, I can also play valved brass instruements
currently residing in san francisco
also @truttle1 on twxitter
Go Blue!!! 〽️
Wolfram
Registered:5 Dec 2024 15:11
Follow date:3 Jun 2025 06:01
Last post:15 hours ago
Last like received:2 days ago
Where computation meets knowledge.
Creators of Mathematica, Wolfram|Alpha, Wolfram Language. Founded in 1987 by @stephenwolfram.bsky.social
ThioJoe
Registered:22 Nov 2023 18:52
Follow date:3 Jun 2025 06:00
• Below average, increasingly unhinged Tech YouTuber
• Don't take my posts too seriously (I sure don't)
• Warning: Posts may contain multiple layers of irony
Veritasium
Registered:15 Nov 2024 10:00
Follow date:3 Jun 2025 06:00
Last post:5 days ago
Last like received:1 day ago
An element of truth - videos about science, education, and interesting things.
VimTricks.com
Registered:30 Aug 2023 09:34
Follow date:3 Jun 2025 06:00
A collection of Vim tips and tricks by two lifelong fans of Vim and the folks who bring you @statusgator.bsky.social
Abakcus
Registered:17 Nov 2024 00:49
Follow date:3 Jun 2025 05:57
Abakcus is the best curation site for math and science. Please subscribe my weekly newsletter! It is FREE! http://beyondeuclid.substack.c...
MathMatize Memes
Registered:26 Jul 2023 19:21
Follow date:3 Jun 2025 05:55
Started from the axioms now we're here. Original memes
MathType
Registered:19 Nov 2024 10:53
Follow date:3 Jun 2025 05:55
Last post:2 days ago
Type and handwrite mathematical notation. Easily include quality math equations in your documents and digital content. Part of @wiris.com
Тsфdiиg
Registered:21 Feb 2024 02:32
Follow date:3 Jun 2025 05:54
Last post:5 days ago
Last like given:13 hours ago
Last like received:16 hours ago
Recreational Programming:
- http://twitch.tv/tsoding
- https://www.youtube.com/@Tsodi...
- https://www.youtube.com/@Tsodi...
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
GitHub Projects
Registered:26 Feb 2025 11:25
Follow date:3 Jun 2025 05:53
Last post:50 minutes ago
Last like received:5 minutes ago
We're sharing/showcasing best of GitHub projects/repos. Follow to stay in loop. Promoting Open-Source Contributions
Support: https://ko-fi.com/githubprojec...
Connect: https://git.cc.cc
Rust Language
Registered:28 Jun 2023 20:17
Follow date:3 Jun 2025 05:53
Last post:3 days ago
Last like given:11 hours ago
Last like received:18 hours ago
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@...
PrologInfo
Registered:11 Feb 2024 11:12
Follow date:3 Jun 2025 05:53
News, info, links, gossip, anything about Prolog, Constraint/Logic programming, Answer Set Programming, and beyond!
A @llaisdy project.
Taelin
Registered:29 Aug 2024 21:31
Follow date:3 Jun 2025 05:53
Neo Kim
Registered:29 Mar 2024 16:41
Follow date:3 Jun 2025 05:51
I Teach You System Design • 400K+ Audience
Join 170K+ Subscribers → https://newsletter.systemdesig...
John Crickett
Registered:22 Nov 2023 15:34
Follow date:3 Jun 2025 05:51
Last post:3 Feb 2026
Author of CodingChallenges.fyi
Helping you become a better software engineer through coding challenges that build real applications.
Rahul Goma Phulore
Registered:13 Mar 2024 15:33
Follow date:3 Jun 2025 05:51
Learning to sit with the chaos, and sometimes enjoy it.
gckeller.bsky.social
Registered:16 Jul 2023 17:29
Follow date:3 Jun 2025 05:50
Last post:28 Jan 2026
Professor, Software Technology, Utrecht University
Lambda Days
Registered:25 Nov 2024 17:38
Follow date:3 Jun 2025 05:50
Last post:6 Mar 2026
Ian MacLarty
Registered:22 Oct 2024 06:24
Follow date:3 Jun 2025 05:48
Last post:13 Feb 2026
Videogame developer currently working on Mars First Logistics: https://store.steampowered.com...
José A. Alonso
Registered:15 Oct 2023 09:29
Follow date:3 Jun 2025 05:48
Last post:5 minutes ago
Last like received:10 hours ago
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Openvibe
Registered:9 Oct 2023 18:32
Follow date:3 Jun 2025 05:45
Last post:9 Feb 2026
The App for Connecting Open Social Web
Mastodon, Bluesky, Nostr, Threads in ONE app, in ONE feed ✨
https://openvibe.social
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:3 Jun 2025 05:45
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Neovim
Registered:14 Nov 2024 16:03
Follow date:11 Feb 2025 23:11
Last post:2 days ago
Last like received:10 hours ago
Neovim is a hyperextensible Vim-based text editor
Ways to support the project:
- https://github.com/sponsors/ne...
- https://store.neovim.io
- Have fun using it and spread the word
Samiro Discher
Registered:16 Dec 2023 12:43
Follow date:2 Oct 2024 22:20
Last post:23 Jan 2026
Last like given:5 days ago
Critical thinker. Vegan. Gen Y. Not afraid to push back left-wing fascists.
Logician (theoretical computer science) | Developer (HPC & logic tools)
Proof theory & complexity
https://github.com/xamidi
Proton
Registered:13 Jun 2023 11:12
Follow date:2 Oct 2024 21:50
Last post:2 days ago
Last like given:2 days ago
Last like received:2 hours ago
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/
arxiv math.NT
Registered:4 Oct 2023 07:48
Follow date:2 Oct 2024 21:49
Last post:27 Jan 2026
Last like received:3 days ago
Mathematics -- Number Theory (math.NT)
source: export.arxiv.org/rss/math.NT
maintainer: @tmaehara.bsky.social
arxiv cs.CC
Registered:14 Aug 2023 05:29
Follow date:2 Oct 2024 21:49
Last post:27 Jan 2026
Computer Science -- Computational Complexity (cs.CC)
source: https://export.arxiv.org/rss/c...
maintainer: @tmaehara.bsky.social
arxiv math.AT
Registered:5 Oct 2023 13:03
Follow date:2 Oct 2024 21:48
Last post:27 Jan 2026
Mathematics -- Algebraic Topology (math.AT)
source: export.arxiv.org/rss/math.AT
maintainer: @tmaehara.bsky.social
arxiv cs.PL
Registered:7 Oct 2023 09:38
Follow date:2 Oct 2024 21:48
Last post:6 days ago
Last like received:4 days ago
Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
arxiv math.AG
Registered:4 Oct 2023 07:52
Follow date:2 Oct 2024 21:48
Last post:6 days ago
Last like received:11 hours ago
Mathematics -- Algebraic Geometry (math.AG)
source: export.arxiv.org/rss/math.AG
maintainer: @tmaehara.bsky.social
arxiv math.LO
Registered:5 Oct 2023 13:06
Follow date:2 Oct 2024 21:48
Last post:27 Jan 2026
Mathematics -- Logic (math.LO)
source: https://export.arxiv.org/rss/m...
maintainer: @tmaehara.bsky.social
Bad Demon Spirit
Registered:14 Jul 2023 10:19
Follow date:2 Oct 2024 20:42
Last post:15 hours ago
Last like given:7 hours ago
Last like received:14 hours ago
Bad software engineer, bad rugby player.
🇫🇷🇬🇧🏳️🌈
Fred Hebert
Registered:10 Oct 2023 18:03
Follow date:2 Oct 2024 20:40
Last post:2 days ago
Last like given:2 days ago
Last like received:1 day ago
Staff SRE @ honeycomb.io, Tech Book Author, Resilience in Software Foundation board member, Erlang Ecosystem Foundation co-founder, Resilience Engineering fan. SRE-not-sorry.
blog: https://ferd.ca
notes: https://ferd.ca/notes/
Daniel Temkin
Registered:12 May 2023 23:29
Follow date:2 Oct 2024 17:08
Last post:2 days ago
Last like given:19 hours ago
Last like received:23 hours ago
Artist + esolanger, he/him
Book :: Forty-Four Esolangs: The Art of Esoteric Code: https://danieltemkin.com/esola... (MIT Press)
“One of the best computer science books of 2025” - https://shorturl.at/rWnbG (faz.net)
Unreal Engine
Registered:20 Nov 2023 00:03
Follow date:1 Oct 2024 16:30
Last like received:2 days ago
Unreal Engine is the world’s most open and advanced real-time 3D tool. Learn more about how to get started with #UE5: http://unrealengine.com/unreal...
Bridgy Fed for the fediverse
Registered:23 Apr 2024 22:07
Follow date:1 Oct 2024 16:19
Last post:4 Mar 2026
Last like received:1 hour ago
Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your Bluesky account to the fediverse, follow this account.
To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.…