Mechachleopteryx
30 Jun 2021 telah menyertai
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.