NieDzejkob avatar
Active user
1 year ago by invitation from jix
565, averaging 6.28 per story/comment
21, most commonly tagged video

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 every now and then.