Hacker News new | past | comments | ask | show | jobs | submit login

> 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.




Agreed. I just felt a stronger need to comment on the zeroth bullet point in the list.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: