[chillpenguin]

> Margaret Hamilton worked out how to write bug-free software during the Apollo 11 project. The IT industry collectively went, "meh."

I have tried to look into this before, and I never can find much information about it. Last I checked, her homepage was basically trying to sell some proprietary system to customers who have bought into her marketing about "bug-free software". But actually trying to figure out how it works, or how to do it oneself, has remained elusive. Saying "The IT industry collectively went, 'meh.'" is kind of misleading. It's not exactly clear _what_ she worked out, but I'm skeptical of the claim that she "worked out how to write bug-free software". And if she did, she isn't exactly shouting from the rooftops about how to do it.