86 karma · joined March 10, 2016
Currently co-founder/CTO at Quantman (algorithmic trading).
Interests: type systems, algorithmic information theory, category theory, the mathematical foundations of ML.