Comment by glouwbug

Given they have 30 years of what looks to be safety critical UNIX experience, it’s probably not AI. They might come from rigorous fields like medical device engineering where writing and design are continuously audited for spec and standard conformance