Just some stuff about me.
Here's my dotfiles repository.
Check out my blog.
My keys: PGP, SSH
My crypto wallets (BTC, XMR)
I see you have JavaScript disabled. In GUI browsers, I have this page themed dynamically, so when it's dark outside, you'll get a dark theme. You need JS enabled if you want the dynamic theme; I don't run any JS-based analytics or tracking.
https://jbulin.github.io/teaching/fall/nopt042/ https://ktiml.mff.cuni.cz/~bartak/AAAI2017/