Let's prove that there are two irrational numbers, call them \(a\) and \(b\), such that \(a^b\) is a rational number! And let's do it in a tweet.
The 2 hardest problems in programming are naming, cache invalidation, and off-by-one errors.