Welcome! My name is Evgenia Karunus.
I've been programming for many years, I'm into open-source and I created memcode.
At the moment, I'm studying mathematics and proof assistants (think Lean). I'm also drawn to physics (less so lately) and neuroscience (more so lately), both help me interface with the outside world.