meithecatte
3 years ago by invitation from jix
1327
36, most commonly tagged security
115
@niedzejkob ✔
Striving to learn as much as possible in Math ∪ Computer Science ∖ Machine Learning, with strong tendencies towards proof assistants, automated reasoning, compilers, programming language theory, software bootstrapping, abstract algebra, cryptography, and security.
Playing CTF at p4.team every now and then.