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.

Search wikipedia