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.
⎕←⎕ucs 2∘⊥∘⌽¨ ↓7 (⊢⍴⍨⊣,⍨÷⍨∘≢) ⍎¨ '0001011001011100101110000111110', '0111010111011110101111010101101', '1100001100101110001011110011100', '0011100001110111010110001111110111011011'