Hello! I'm a carbon-based aqueous organism; bachelor's degree holder in spacecraft engineering; professional programmer; and, above all, relentless student. In my spare time i like to study physics, ride trains, listen to loud classical or metal music, and look skyward at night. I use Void Linux and write code in Rust, Haskell, and sometimes Agda.