4 ms·
> This [Formal provability] is bollocks. How precisely does modularity, composability and ease of debugging improve from this module? Not at all. It may have b
by bionoid 9y ago
> This [Formal provability] is bollocks.
How precisely does modularity, composability and ease of debugging improve from this module? Not at all. It may have benefits, sure. But to claim these as general attributes is just sophistry in my personal opinion.
- catnaroek 9y agoAgreed. I just felt a stronger need to comment on the zeroth bullet point in the list.