Peter Goodman
C++ developer specializing in source and binary program analysis and transformation.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@pvldb.bsky.social
The Proceedings of the VLDB Endowment (PVLDB) https://vldb.org/pvldb/ RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml Automated by @andypavlo.bsky.social
@liveoverflow.bsky.social
wannabe hacker... he/him 🌱 grow your hacking skills https://hextree.io
@daveaitel.bsky.social
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@cjdb.bsky.social
@andreasfertig.com
Trainer, Speaker, Programmer all around C++ and Embedded Systems. Creator of http://cppinsights.io
@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!
@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
@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
@lefticus.bsky.social
C++ Developer, Trainer, Speaker, YouTuber https://www.youtube.com/@cppweekly
@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/)
@alperovitch.institute
The Alperovitch Institute for Cybersecurity Studies at Johns Hopkins SAIS.
@raptor.infosec.exchange.ap.brid.gy
When cryptography is outlawed, bayl bhgynjf jvyy unir cevinpl. [bridged from https://infosec.exchange/@raptor on the fediverse by https://fed.brid.gy/ ]
@zetatwo.bsky.social
Security Engineer @ XTX. MSc in eng. physics & CompSci, dev & gamer. ❤️ music & long distance running. Wanna do a PhD sometime. Same U/N on all other sites
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@offensivecon.bsky.social
OffensiveCon is a highly technical international security conference focused on offensive security only. Organized by Binary Gecko GmbH.
@gynvael.bsky.social
Security researcher/programmer ⁂ Managing director @ HexArcana ⁂ @DragonSectorCTF founder ⁂ he/him
@synacktiv.com
Offensive security company. Dojo of many ninjas. Red teaming, reverse engineering, vuln research, dev of security tools and incident response.
@rh0main.bsky.social
Security engineer working on Android, reverse-engineering & obfuscation. https://www.romainthomas.fr/ - https://obfuscator.re/ - https://lief.re
@shadaj.me
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com More at https://shadaj.me!
@pauldix.bsky.social
Cofounder & CTO InfluxData, makers of InfluxDB, the open source time series database. Founder of NYC Machine Learning Meetup. Former Ruby on Rails developer and enthusiast (still a fan).
@pmeerw.bsky.social
@wwong.bsky.social
@henrichlauko.bsky.social
Compilers at Trail of Bits ~ VAST: MLIR frontend for C++ ~ Program Analysis
@felixge.de
Working at Datadog on Go Profiling, Performance, OpenTelemetry and more. Before: - Manufacturing Observability at Apple - Co-founder at Transloadit - Node.js Core Dev
@andreafioraldi.bsky.social
Cyber Response Italian Supercazzola Technology Officer at @mhackeroni Inc. Writing your favourite fuzz testing tools with @aflplusplus. Security research at .
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@zardus.bsky.social
Retired DEFCON CTF org. Shellphish Captain Emeritus. ASU Prof. angr hacker. pwn.college sensei. Looking for students/interns! https://yancomm.net https://github.com/zardus https://defcon.social/@Zardus
@malwareunicorn.bsky.social
Fuzzy unicorn @ Microsoft’s MORSE team. malwareunicorn.org
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/