Imperfect: When the Bit Collapsed The first logic gate was a coincidence detector. Eighty years later we're still living with what it couldn't hold. What if your type system could measure what was lost?