I'm a computer scientist interested in the application of machine learning in the context of automated reasoning and formal methods. These days manly focus on Satisfiability Modulo Theories (SMT).
@etapsconf.bsky.social
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. ETAPS 2025: May 3–8, Hamilton, Canada https://etaps.org/
@icseconf.bsky.social
ICSE is the premier conference in software engineering Other social media accounts: X: https://x.com/icseconf (but you need to be logged in to X) Facebook: https://www.facebook.com/icseconf/ Main website: https://conf.researchr.org/home/icse-2025
@noakaplan.bsky.social
PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
@taliaringer.bsky.social
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@warandpeas.bsky.social
🌹 Comics by Elizabeth Pich & Jonathan Kunz 🌹 Patreon: https://www.patreon.com/warandpeas Shop: https://warandpeas.com/shop/
@darthputinkgb.bsky.social
Czar for life of all Russians. Master Strategist. Tea connoisseur. Author. YouTuber. Window installer. Wanted in 123 countries. Parody, apparently.
@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
@patigallardo.bsky.social
C++ Programmer, infosec, co-founder of TurtleSec, parent, bi 🏳️🌈, NB, she/they, Norwegian 🇳🇴 dyslexic with no edit Trans rights are human rights 🏳️⚧️ 🐘: https://social.vivaldi.net/@Patricia Web: https://patricia.no
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@chandlerc.blog
Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 http://pronoun.is/he or http://pronoun.is/they
@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
@thephd.dev
💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀 ✍ Writing: http://thephd.dev 📷 Avatar KIINGKISMET (https://kiingkiismet.com/) 🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
@lefticus.bsky.social
C++ Developer, Trainer, Speaker, YouTuber https://www.youtube.com/@cppweekly
@izzys.casa
Occult Programmer and Code Bruja. void* made manifest. "That CMake Expert" Opinions are my own. 💥🏴💥 Find my webzone at https://izzys.casa PFP by @tombofnull.bsky.social
@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
@apardoe.bsky.social
Biking to work in big tech companies in Bellevue, WA. Formerly very much C++, now very much making privacy work at scale.
@viz.bsky.social
Carbon-based open sourcerer, code necromancer and a former alien. Author of C++20 std::format and http://github.com/fmtlib/fmt. Opinions are not mine.
@compiler-explorer.com
A website for exploring the output of compilers. aka godbolt.org Supports C, C++, Rust, Fortran, COBOL and many many more. Support us at https://patreon.com/mattgodbolt
@gregcons.bsky.social
I advise, develop, mentor, write, and speak. C++ mostly. One of the Carbon leads. Limited availability; you can ask. Want me to speak? http://gregcons.com/SpeakerKit.aspx She/her.
@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
@ciuravictor.bsky.social
Principal Engineer - 🦀Rust/C++ Tooling at Microsoft, ex Visual C++ team, ex @caphyon, ex @advinst lead, @ClangPowerTools creator, he/him
@matropert.bsky.social
C++ Gamedev and Lead. Ex Paradox Dev Studio. Ex Paris C++ User Group organizer. Avid roleplayer, amateur photographer and occasional winetaster.
@fredtingaud.bsky.social
Photographer, nerd, programmer. He/him. You may know me for my activity on C++ and Quick Bench, but I don't post much about it here.
@bigcheese.pony.dev
Compilers and Ponies. PFP by @kuzuyukuroo.bsky.social Banner by @ffloweryoutoday (Twitter)
@soasis.org
Turning difficult into divine simplicity. Software Engineering Consultancy. Some things we do: C and C++ (including Standards). Rust. Encodings & Unicode. Open Source. Scripting for All Devices. Website: https://soasis.org Inquiries: inquiries@soasis.org
@sdowney.org
Software engineer at Bloomberg LP Views are my own he/him Parody of a real software engineer and grown up. @sdowney@mastodon.social
@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!
@andreasfertig.com
Trainer, Speaker, Programmer all around C++ and Embedded Systems. Creator of http://cppinsights.io
@cjdb.bsky.social
@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