More Amateur than Expert .
Here for: Functional Programming - Homotopy Type Theory - Logic - Category Theory - Machine Learning - Statistics - Probability - Natural Language Processing - Zx-Calculus - Graphical Linear Algebra - Dynamic Systems - Information Theory - Graph Theory - Graph Transformation