Hacker News new | ask | show | jobs
by habinero 119 days ago
> functional programming, formal methods and specification languages

Haha. Tell me you've never done professional software development without, etc. None of those things are solutions to the problem, which is: does the code do the business value it's supposed to?