Hacker News new | ask | show | jobs
by mvkg 3110 days ago
The two 'true' statements show that 12345678910111211 == 12345678910111212 transitively, which is obviously not possible.