Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Simons Foundation @simonsfoundation.org Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newsletter
Topos Institute @toposinstitute.bsky.social US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all.
https://topos.institute
Oxford Mathematics @oxfordmathematics.bsky.social Official account of the Mathematical Institute, University of Oxford
Patrick Schnider @schnpatr.bsky.social Mathematician/Computer Scientist interested in discrete and computational geometry and topology. Working at University of Basel and ETH Zürich.
https://people.inf.ethz.ch/schnpatr/
Sy Brand @tartanllama.xyz bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Falco Girgis @falcogirgis.bsky.social Sega Dreamcast developer on a quest to correct the timeline of video gaming history. Working on the modern, open-source indie DC SDK and library OS, KallistiOS.
Ville Voutilainen @cplusplusville.bsky.social The Keeper of the Seven Keys
Jonathan Müller @foonathan.fosstodon.org.ap.brid.gy C++, compilers, and programming languages. Software engineer @ LSEG, chair for std::ranges @ C++ standardization committee.
🌉 bridged from ⁂ https://fosstodon.org/@foonathan, follow @ap.brid.gy to interact
GCC - GNU Toolchain @gnutools.bsky.social GCC, Binutils, GDB, GLIBC. The system compiler for the FOSS and Linux software ecosystem. Continually Improving.
Victor Ciura @ciuravictor.bsky.social Technical Lead for Rust Program @ Microsoft • C++ ↔️ Rust Tooling (DevDiv), ex Visual C++ team, ex @caphyon, ex @advinst lead, @ClangPowerTools creator, he/him
Matt Godbolt @matt.godbolt.org 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
CppCon @cppcon.bsky.social I am the conference for the entire C++ community.
Daisy Hollman @thewholedaisy.bsky.social Minor C++ Celebrity 🌼 Creator of Cute C++ Tricks 🌼 Girly AF 🌼 I break compilers 🌼 Somewhat proud Googler 🌼 Thoughts are my own 🌼 pronoun.is/she
LLVM Weekly @llvmweekly.org A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asbradbury.org
Adi Shavit @adishavit.bsky.social 20+ years of AI/CV/ML :: Visioneer :: C++ :: Software Architect :: Evolution :: Swapp CTO
(he/him)
{ In a parallel universe I am a paleoanthropologist }
𝕏: @adishavit
🦣: @adishavit@mastodon.social
Steve Downey @sdowney.org Professional C++ nerd. I worked to make optional<T&> happen. Working to make Text less bad in C++.
Whole person, not a brand. Posts about politics, software, books...
Software engineer at Bloomberg LP
Views are my own
he/him
@sdowney@mastodon.social
Boost C++ Libraries @boost.org Boost provides free peer-reviewed portable C++ source libraries.
CppNow @cppnow.bsky.social An annual gathering of C++ experts and enthusiasts from around the world in beautiful Aspen, Colorado.
vector<bool> @vector-of-bool.bsky.social C++ librarian, programming blogger, meme enjoyer.
I write code and sometimes I actually publish it.
Creator of http://bpt.pizza
Don't let your memes be dreams!
Special Interest Group on C++ @sigcpp.bsky.social Teaching, learning, and practicing contemporary C++
#cpp #cplusplus #education #teaching #EduSky
Moderated by @smurthys.bsky.social
C++ on Sea @cpponsea.bsky.social The international C++ conference
in the UK, by the sea
JF Bastien @jfbastien.com Build & scale platform — working on humanoid robotics 🤖
🔗 https://jfbastien.com
🔗 https://tlbh.it
📍 東京、日本
Hana Dus�kov� 🏳️🌈 @hanicka.net Hey! It's me! Hana! 花
C++, CTRE, co_curl, SG7 chair, EWG co-chair, constexpr queen, italian greyhound is sleeping in my bed, a victim of bad unicode adoption
@tvaneerd.bsky.social @tvaneerd.bsky.social The sky is blue in my profile pic.
@corecpp.bsky.social @corecpp.bsky.social
Tristan Brindle @tristanbrindle.com
Conor Shakory @codereport.bsky.social Research Scientist NVIDIA • YouTube Content Creator • Host of ADSP, ArrayCast, Tacit Talk, The R4 Running Podcast • https://conorshakory.com
Shafik Yaghmour @shafik.bsky.social Compiler Engineer clang front end. Interests: C++, C, and undefined behavior. Martial Artist, Book Worm and Dad. he/him
Mastodon: https://hachyderm.io/@shafik
Blog: https://shafik.github.io/
#cplusplus #compilers
Jason Turner @lefticus.bsky.social C++ Developer, Trainer, Speaker, YouTuber
https://www.youtube.com/@cppweekly
Eric Niebler @ericniebler.com C++ core compute libraries tech lead at @nvidia, husband, father, @isocpp member, former nomad, and sometimes artist wannabe.
opinions are my own
he/him
Frederick "Erick" Matsen @matsen.bsky.social I ♥ evolution, immunology, math, & computers. Professor at Fred Hutch & Investigator at HHMI. http://matsen.fredhutch.org/
Omar @ocornut.bsky.social programmer of things and stuff. dear imgui https://github.com/ocornut/imgui / the dragon’s trap / dreams / tearaway / pixeljunk shooter / soul bubbles / meka. Paris, France https://www.miracleworld.net
@vittorioromeo.bsky.social @vittorioromeo.bsky.social
Andreas Fertig @andreasfertig.com Trainer, Speaker, Programmer all around C++ and Embedded Systems. Creator of http://cppinsights.io
FreeBSD Foundation @freebsdfoundation.bsky.social The FreeBSD Foundation is a 501(c)(3) non-profit organization dedicated to supporting the FreeBSD Project.
ACCU @accuorg.bsky.social Professionalism in programming.
Meeting C++ @meetingcpp.bsky.social Join us in Berlin or online in November for Meeting C++ 2026!
Stephen King @stephenking.bsky.social Writer
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app