Mechachleopteryx

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.