Hacker News Reader

Actually, though the root cause of this issue is about cryptography logic, no data-race.:-)

How “two NAND gates that implement an AND gate returning 0 for (0, 0) input, but sometimes 1” is about cryptography logic?

Because two HomNAND operations don't give the same result as one HomAND, and HomNAND/HomAND involve a lot of cryptography.