Before the theorem prover: verification is older than the alphabet | Dark Hacker News