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