Earlier quoted context omitted.
There is a way to avoid it but I think software development is unique in that we haven't been able, so far, to establish what the state of the art is. And so it seems like, as you say, every company is in its own cave and the only way to have the freedom to have your own ideas is to start your own cave. It's a little bit backwards in my opinion. Instead of it being commonly accepted that we should be checking mathema…
> The AWS teams managed to see the formal specifications are a good idea and have been better for it since. Can you elaborate on that?
https://www.youtube.com/watch?v=iCRqE59VXT0
Where he shares some anecdotes from Chris Newcombe about Amazon's adoption of TLA+.