My favorite of the bugs it caught (we had a few of these!):
{:error, reason} -> {:error, "Failed to do the thing: #{reason}"}
...where the compiler could prove that `reason` didn't implement the String.Chars protocol, and therefore the error handler would crash 100% of the time.
Waiting for the ambulance of authenticity
Watching us measure worlds with a ruler
Guess after guess after guess after guess
But at the end
Every single one of us needs something called "the real thing"
And at the end
Every single one of us lives and dies on a piece of land called "my own terms"
[about #twitter / #X]: "I think that posting on these website is becoming [...] kind of irrelevant"