Studied physics and machine learning, currently interested in functional (reactive) programming, type theory and category theory.

As a hobby, I am developing a tool for computer aided learning.

Top Questions
1 2 3