Reposted by Sai Divvela
A man sees another about to jump off a bridge.
“Don't do it! Are you a programming languages researcher?”
“Yes!”
“Me too! Proof assistants or refinement types?”
“Refinement types!”
“Me too! Liquid Haskell or F*?”
“F*!”
“Die, heretic!” And he pushes him off the bridge.
