PLDI @sigplan-pldi.bsky.social 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 @cpponsea.bsky.social The international C++ conference
in the UK, by the sea
Grant Sanderson @3blue1brown.com Math videos
Meeting C++ @meetingcpp.bsky.social Join us in Berlin or online in November for Meeting C++ 2026!
Robert Talbert @roberttalbert.bsky.social 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/rtgrooves/ 
Zublek @truttle1.bsky.social 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 @wolframresearch.bsky.social Where computation meets knowledge.
Creators of Mathematica, Wolfram|Alpha, Wolfram Language. Founded in 1987 by @stephenwolfram.bsky.social
ThioJoe @thiojoe.bsky.social • 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 @veritasium.bsky.social An element of truth - videos about science, education, and interesting things.
https://linktr.ee/veritasium
VimTricks.com @vimtricks.com A collection of Vim tips and tricks by two lifelong fans of Vim and the folks who bring you @statusgator.bsky.social
Abakcus @abakcus.bsky.social Abakcus is the best curation site for math and science. Please subscribe my weekly newsletter! It is FREE! http://beyondeuclid.substack.com
MathMatize Memes @mathmatize.bsky.social Started from the axioms now we're here. Original memes
MathType @mathtype.com Type and handwrite mathematical notation. Easily include quality math equations in your documents and digital content. Part of @wiris.com
Тsфdiиg @tsoding.bsky.social Recreational Programming
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
- http://twitch.tv/tsoding
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
GitHub Projects @githubprojects.bsky.social We're sharing/showcasing best of GitHub projects/repos. Follow to stay in loop. Promoting Open-Source Contributions
Support: https://ko-fi.com/githubprojects
Connect: https://git.cc.cc
Rust Language @rust-lang.org 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/@rust
PrologInfo @prologinfo.bsky.social News, info, links, gossip, anything about Prolog, Constraint/Logic programming, Answer Set Programming, and beyond!
A @llaisdy project.
Taelin @victortaelin.bsky.social 
Neo Kim @systemdesign.one I Teach You System Design • 400K+ Audience
Join 170K+ Subscribers → https://newsletter.systemdesign.one/welcome
John Crickett @johncrickett.bsky.social Author of CodingChallenges.fyi
Helping you become a better software engineer through coding challenges that build real applications.
Rahul Goma Phulore @missingfaktor.bsky.social Learning to sit with the chaos, and sometimes enjoy it.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Ian MacLarty @ianmaclarty.com Videogame developer currently working on Mars First Logistics: https://store.steampowered.com/app/1532200/Mars_First_Logistics/
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Openvibe @openvibe.social The App for Connecting Open Social Web
Mastodon, Bluesky, Nostr, Threads in ONE app, in ONE feed ✨
https://openvibe.social
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
Neovim @neovim.io Neovim is a hyperextensible Vim-based text editor
Ways to support the project:
- https://github.com/sponsors/neovim
- https://store.neovim.io
- Have fun using it and spread the word
Samiro Discher @xamidi.bsky.social 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 @proton.me 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 @arxiv-math-nt.bsky.social Mathematics -- Number Theory (math.NT)
source: export.arxiv.org/rss/math.NT
maintainer: @tmaehara.bsky.social
arxiv cs.CC @arxiv-cs-cc.bsky.social Computer Science -- Computational Complexity (cs.CC)
source: https://export.arxiv.org/rss/cs.CC
maintainer: @tmaehara.bsky.social
arxiv math.AT @arxiv-math-at.bsky.social Mathematics -- Algebraic Topology (math.AT)
source: export.arxiv.org/rss/math.AT
maintainer: @tmaehara.bsky.social
arxiv cs.PL @arxiv-cs-pl.bsky.social Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
arxiv math.AG @arxiv-math-ag.bsky.social Mathematics -- Algebraic Geometry (math.AG)
source: export.arxiv.org/rss/math.AG
maintainer: @tmaehara.bsky.social
arxiv math.LO @arxiv-math-lo.bsky.social Mathematics -- Logic (math.LO)
source: https://export.arxiv.org/rss/math.LO
maintainer: @tmaehara.bsky.social
Bad Demon Spirit @rexale.bsky.social Bad software engineer, bad rugby player.
🇫🇷🇬🇧🏳️🌈
Fred Hebert @ferd.ca Principal 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 @dtemkin.bsky.social Esolangs are Systems Art
SITE: https://danieltemkin.com
BLOG: https://esoteric.codes
BOOK: Forty-Four Esolangs: The Art of Esoteric Code: https://danieltemkin.com/esolangs (2025, MIT Press)
Unreal Engine @unrealengine.bsky.social 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-engine-5
Bridgy Fed for the fediverse @ap.brid.gy Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your 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.
More i…