NieDzejkob
NieDzejkob avatar
Active user with invites disabled
1 month ago by invitation from jix
39, averaging 3.25 per story/comment
3, most commonly tagged devops
9
@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.