Conversation

The reason to avoid lying is that the brain is not type safe. Lying to others and lying to yourself are the same motion.
29
1,142
This, and "level errors" which I'm not sure I'm naming correctly, but what I mean is to conflate syntax and the semantics one level up. Maybe signifier/signified? Just intuition but this has struck me many times in the kind of thinking errors I make about typed programs.
2
5