Currently co-founder/CTO at Quantman (algorithmic trading).
Interests: type systems, algorithmic information theory, category theory, the mathematical foundations of ML.
submissions | comments