Computer science researcher interested in AI, Formal Methods and science communication
What I did and do in academia
My opinions on science topics
Monads can be scary — treating them like fancy semicolons makes them fun!
Fermat’s theorem on sums of two squares had famously been proven in just one single sentence.
A thought experiment using game theory explains why we mustn’t know our future.