Mechachleopteryx
加入於 2021 nièng 6 nguŏk 30 hô̤ (Buái-săng)
This user is a Bayesian. |
Just another human being on the planet Earth.
Trying to learn Autohotkey, bash, lean theorem prover, forth, Elm, JavaScript, Rust, node, Java, Kotlin, go, Julia, Python, xonsh, and vim.