logoalt Hacker News

whstltoday at 7:54 AM0 repliesview on HN

This is dangerous advice on so many levels.

“Is math” and “Either works or not” is only true with formal specifications and formal verification, which dwarfs the cost of producing said software.