Adrian Herrera
adrianherrera.bsky.social
Adrian Herrera
@adrianherrera.bsky.social
Security researcher with an interest in formal methods.

Building fuzzers @ Interrupt Labs |
Teaching @ Australian National University

https://adrian-herrera.com
Hmm that makes sense. Unfortunately I don’t have a better solution 😕
October 6, 2025 at 5:45 PM
I was wondering the same thing the other day! For now I’m just copy+pasting rich text from vs code into PowerPoint, which copies across all the syntax highlighting. I don’t like having code as images.
October 6, 2025 at 7:38 AM
Jeez these are nightmare-inducing
August 31, 2025 at 3:35 AM
Oh wow that’s so cool 💜
August 27, 2025 at 7:14 AM
Good luck, and exciting times for XBOW!
July 30, 2025 at 11:13 AM
Oh cool! I’m probably more interested in different frontends; I’ll leave accelerating to the professionals 😄
July 10, 2025 at 2:43 AM
Woah totally missed that CTDL is open source 🥳
July 9, 2025 at 7:49 AM