Paul He

Atom feed

CV of Failures — Nov 10, 2021

Most of what we publicly show of ourselves is positive. This can give others the impression that they are the odd one out, who has failures when everyone else only seems to succeed. But in reality, everybody fails—we simply hide the failures. This CV of failures aims to make my efforts more transparent, and to provide a more balanced perspective on my career.

0 comments

Weak weeks — Oct 23, 2019

In August I tried to abandon the concept of the days of the week.

0 comments

Coinduction — Apr 17, 2019

Coinduction is the mathematical dual to an indispensible mathematical tool: induction. While mathematical induction has been known for thousands of years, coinduction has only been studied for a few decades. It is still primarily used in computer science, from which it originated in the field of concurrency theory. Coinduction allows us to define circular or infinite objects (such as streams, lists that can be infinitely long), and to prove things about them.

2 comments

Welcome — Mar 6, 2019

Welcome to my blog! This is the first (official) post, hopefully of many.

8 comments