Need to reach me? Try the contact page.
I'm currently a computer science student at the University of Wrocław, Poland.
I enjoy tweaking my system, and at this time use *nix OSes exclusively; primarily a variety of Linux distributions and FreeBSD. I maintain a dotfiles repository on GitLab.
My interests include functional programming, programming language design, compilers, operating systems and making my own pizza.
In my free time (as precious and rare as it is lately) I'm working through Software Foundations in order to get more comfortable with Coq.