Stephane L. R. B. ⁂⧖⏚ stphrolland@mathstodon.xyz
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
"BTW I run NixOs"