David Justo
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@rbn.bsky.social
Distributed Systems & databases person. Works at Microsoft on Orleans & Aspire
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@filippo.abyssdomain.expert
RC F'13, F2'17 Cryptogopher / Go cryptography maintainer Professional open source maintainer https://filippo.io / https://github.com/FiloSottile https://mkcert.dev / https://age-encryption.org https://sunlight.dev / https://filippo.io/newsletter
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@larryosterman.github.io
Long term MSFT employee, Dad, Singer. Expect cat pictures, tech nerding, etc. Previous: SMB filesystem, Exchange Store, Windows Audio, Windows Runtime, COM, Confidential computing. Current: Azure SDK for C++ Proud LGBTQIA+ ally. Profile pic from Not
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@warcop.com
Technologist - EFF, Free Software, Big Ethernet — Mostly Geek/Pretend Analyst I might say things about Cryptography, Video Codecs, and Vogon Poetry User #38,062 on Bluesky
@nsqe.bsky.social
AGC of Privacy at LTK. Board member @ Engine.is. Does the infosec law stuff too. Queer. Dorky. Lawyer, not really searching for redemption. @nsqe basically everywhere. Be less toxic on bsky challenge, difficulty level pretty easy actually
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@georgemporter.bsky.social
UC San Diego professor, building networks that enable high-performance, scalable, and sustainable computer systems. https://www.cs.ucsd.edu/~gmporter
@7grok.bsky.social
Yes, the Cat is real, no, he does not have an account. I dunno, he was mad about a measurement or something. ❤️ @lanooba.com 🧭 To the left of the Cat
@jqchen.bsky.social
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@esk.lol
// TODO copy from masto architect at work. infra at hachyderm. board at nivenly. synths and gardens at home. I post more at @esk@hachyderm.io, mostly about mastodon infra.
@hdevalence.bsky.social
prefigurative politics means building privacy, not just critiquing surveillance
@savannah.dev
Building for builders. Python Core Developer, maintaining the JIT + argparse. Python + Notebooks at Snowflake. Jupyter Foundation Governing Board. Loves containers, compilers, open source software + cats. Brat. savannah.dev github.com/savannahostrowski
@mwolczko.bsky.social
Retired computer scientist, ex Sun and Oracle Labs, U of Manchester. Of Ukrainian (Вовчко) and Italian descent. Hobby woodworker, DIYer, astronomer, pilot.
@racket-lang.org
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/
@jimmyhmiller.bsky.social
Compiler engineer and co-host of the future of coding podcast https://jimmyhmiller.github.io https://futureofcoding.org/episodes/
@soatok.bsky.social
30-something gay furry with an interest in cryptography and software security. Mastodon: https://furry.engineer/@soatok Blog: https://soatok.blog 🎨 https://mrjimmydafloof.bsky.social
@ferroussystems.bsky.social
Ferrous Systems builds stable software in and around Rust. We focus on development, tooling and training for embedded systems and network services. https://ferrous-systems.com
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@c-official.bsky.social
Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Königsberg
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@sarahyo.com
Principal Security Advocate @ Microsoft | Co-host of @azsecpod.bsky.social | Dogs, food and cyber security posts | Opinions mine, not my employer's | 🇬🇧 living in 🇦🇺 | Sarahyoung.io
@lesleylai.info
I organize @gpvm.bsky.social lesleylai.info/ mastodon.gamedev.place/@lesley
@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!
@lunalapine.com
☀️ Security, a11y, testing, front-end web dev 🌙 TTRPGs, photography, modeling, & dance. Ex-vidyagames industry 💜 👻🧛🏼📚🌱🔮📽️🎨🎮🐹🩰 AuDHD poly/bi/demi/enby (they/she) 🕎🏳️🌈♿️ Reskeets 🆗🍉 🔞 🔗 lunalapine.com
@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
@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.
@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
@chandlerc.blog
Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 http://pronoun.is/he or http://pronoun.is/they
@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
@tartanllama.xyz
"building a debugger" book out june 2025 ~ c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
@werd.io
I lead technology at ProPublica, write speculative fiction, and blog every day at https://werd.io.
@thisismissem.bsky.social
Fediverse developer, working on trust & safety tech, advisor to IFTAS; open-source contributor. I'm mostly on the Fediverse: https://hachyderm.io/@thisismissem 🏳️⚧️🏳️🌈 Mostly posting via @thisismissem.hachyderm.io.ap.brid.gy
@astralphnx.bsky.social
Yeah fuck this shitfire I'm out lol social media is a brainrotting hellstorm and I got better things to do than stay here.