5 ms·Social Processes and the Design of Programming Languages5 points by AndreyKarpov 13y agoAnimalMuppet 13y ago"Formally proven correct" is not necessarily the same as "doing what the customer wanted". Which one do I care about? Which one pays me?