\newcommand{\femb0t}{
@__femb0t
✨ Privacy and Sécurité phd student (hiatus) (ﾉ◕ヮ◕)ﾉ*:･ﾟ✨ Learning ✨Have many interests✨⋇⋆✦⋆⋇ ✨
:0 !!!!!!!! !!!
Not exactly it but found this: mgree.github.io/ffs/
New Galois blog: “Specifications Don’t Exist”. If we want to formally verify more systems, we need formal specifications, but most real systems are hard to specify for very deep reasons
Great blog post about Programming Language Theory by @onehappyfellow: tinyurl.com/PLT-image-prob…. There's so much *great* stuff in PLT that everyone involved in CS should know about.
Accompanying read - Debugging Incidents in Google’s Distributed Systems: How experts debug production issues in complex distributed systems!
In distributed systems, we often wish to replay production failures, test features at scale, and plan for traffic spikes - before deploying. Simulation might be the missing link. Here is why it's the most underrated tool in distributed systems, and how it can bridge the gap - an…
is there a notion of regular expressions that generalises from finite state machines to finite state transducers?
@R00tkitSMM has done amazing work on Mac OS fuzzing and @POC_Crew is one of the best offensive cons in Asia!
Come learn how to hack the XNU kernel, like a pro 🍎 with beautiful diagrams to guide every step. :)
Everyone's talking about AI performance on the IMO. Let me highlight 🇨🇦Canadian 11th grader Warren Bei🇨🇦, one of five participants with a *perfect* 42/42. This is his *fifth* (and final) IMO representing Canada, with three golds and two silvers. (➡️ MIT undergrad in the fall)
When you put a webserver up on the internet. anywhere, hosting anything, you will see "the background radiation of the internet", and it looks like this:
Factorize prime numbers to cross doors before the time runs out! Love it 😍
TOOL RELEASE: Detect plagiarized code even when variable names change and comments disappear. Vendetect uses semantic fingerprinting to catch copied code that traditional tools miss. blog.trailofbits.com/2025/07/21/det…