Simulation of (1+1) Evolutionary Algorithm 2020-06-01 113 words 1 min read Evolutionary Algorithms use a simulation of genetic mutation to find a solution to an algorithmic problem. Read more...
Baby Rudin - Notes on example 7.6 2020-04-11 289 words 2 mins read Rudin mentions that an interesting property can be proven but does not show how. Read more...
Nicht ganz so gute Beweise 2020-04-11 282 words 2 mins read Auch schlechte Beweise können lehrreich sein. Read more...
Reduktionen 2019-11-27 1206 words 6 mins read Wie können wir Mengen bezüglich ihrer Schwierigkeit vergleichen? Read more...
Installing Podman and friends on NixOS 2019-11-26 259 words 2 mins read Installing podman has a few pitfalls. Here's what I had to do. Read more...