Skip to content
@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

brooklyn

@nkaretnikov
Nikita Karetnikov nkaretnikov
Math, machine learning, functional programming, compilers, demoscene. I love meeting new people, email me and introduce yourself!

Germany

@4e554c4c
Calvin Lee 4e554c4c
i care about linux desktop protocols, open social media, programming languages and mathematics.

IRC