Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Duncan Ogilvie @mrexodia.bsky.social and 100+ other projects. Love binary analysis and Windows internals. Dreaming about doing open source full time...
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Zion Leonahenahe Basque @mahal0z.bsky.social Native Hawaiian Hacker | Prev Co-captain of @Shellphish | PhD Student in Comp Sci @ASU l Decompiler Research | https://mahaloz.re
Peter Goodman @cxx.dev C++ developer specializing in source and binary program analysis and transformation.
Grant H @digitalcold.bsky.social Android and baseband vulnerability researcher. Computer engineering PhD. 🇺🇸 (Washington, DC) || https://hernan.de/z
typealias @typealias.bsky.social Little bit of this, 少しそれ 01101000 01101101 01101101
@keja.bsky.social @keja.bsky.social 
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.