Steph. Luis Rolland-Brabant ⁂

More Curious Amateur than Expert

#Linux #NixOS
#SoftwareCraft
#FunctionalProgramming

Denotational Design & Semantics
Graph Theory & Transformation & Formal Grammars
HoTT/UF/CategoryTheory Diagrams & Props Networks

Machine Learning/Statistics/Probability
Natural Language Processing
Computational Linguistics
Information Theory

Dynamical Systems Pde/Chaos
DSP Audio Math+Music/MamuX

Lots of things to learn. Endlessly learning.
Trolls say they are not trolls.
I am a night elf.

Operating System & Environment: [#NixOS](https://mathstodon.xyz/tags/NixOS ) [#Linux](https://mathstodon.xyz/tags/Linux ) [#Gnome](https://mathstodon.xyz/tags/Gnome ) [#Alacritty](https://mathstodon.xyz/tags/Alacritty ) [#NeoVim](https://mathstodon.xyz/tags/NeoVim ) tried start using [#Emacs](https://mathstodon.xyz/tags/Emacs ) & [#Obsidian](https://mathstodon.xyz/tags/Obsidian )
Programming Languages: [#Python](https://mathstodon.xyz/tags/Python ) [#C](https://mathstodon.xyz/tags/C )++ [#Haskell](https://mathstodon.xyz/tags/Haskell ) [#Bash](https://mathstodon.xyz/tags/Bash ) [#Perl](https://mathstodon.xyz/tags/Perl ) [#C](https://mathstodon.xyz/tags/C ) [#Asm](https://mathstodon.xyz/tags/Asm )(GnuAs-Nasm-Fasm)
Slowly Adopting PL: [#Prolog](https://mathstodon.xyz/tags/Prolog ) [#Erlang](https://mathstodon.xyz/tags/Erlang ) [#Guile](https://mathstodon.xyz/tags/Guile ) [#R](https://mathstodon.xyz/tags/R ) [#SML](https://mathstodon.xyz/tags/SML ) [#Ocaml](https://mathstodon.xyz/tags/Ocaml ) and [#Agda](https://mathstodon.xyz/tags/Agda )
Spoken Languages: Fluent (EN, FR, ES) NotFluentAtAll (NL, DE) TryingApprox (IT,PT)