Website migrated to uberspace host, they are great.
∴ this website supports HTTP/2.0
Currently my interests lie in studying formal systems (such as flavors of logic) and numerical methods.
Some things I've made:
Guilt surfing 🏄♀️
Part of the numeric integration in PSI
Ice Floes - Boardgame
Theoretical C++ Algorithms, Book is released & free!
Maturaarbeit SJf 2016 - Sliceralgorithmus
Inofficial Swiss Olympiad in Informatics Game Jam
Duolang: Code in 2 Programming Languages at the same time... In your Browser!