##dependent
Users following dpndnt
lane
biocini
systems design, formal verification, (homotopy) type theory, and categorical nonsense
san francisco
Nikita Karetnikov
nkaretnikov
Interested in security, cryptography, and Bitcoin. I love meeting new people, email me and introduce yourself!
Germany
Calvin Lee
4e554c4c
i care about linux desktop protocols, open social media, programming languages and mathematics.
IRC
