Skip to content
@lane-core
Lane Biocini lane-core
type theory researcher, programmer based in nyc

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