Join Nostr
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 )
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)
Public Key
npub167yslhe55ldp4u4t4gar9h2e4zmfaym0tm2u0apc8nq09n24gj5qwphlmk
Profile Code
nprofile1qqsd0zg0mu620ks672465w3jm4v63d57jdh4a4w87sures8je425f2qpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dslftxqn
Publishing to