Stephane L Rolland-Brabant ⁂⧖⏚ 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"