These days, coding is the quickest way to find out what's needed. That is: implementation precedes requirements. This is the real reason software is eating th

These days, coding is the quickest way to find out what's needed. That is: implementation precedes requirements. This is the real reason software is eating the world. Incumbents lose because aren't able to reorganize themselves around a software core, and so can't try things. Formal methods are intrinsically satisfying, as are all quests for perfection and truth.