Anonymous
10/17/2025, 6:46:41 PM
No.106920119
>>106919782
NASA rules for NASA software is plenty fine, especially since the vast majority of NASA software is setpoint control for various flow regulators and electric motors. if you're doing recursion in that you deserve the hell you've created
NASA codebase isn't excessively extravagant because they launch rockets; NASA rules exist to force their vendors to deliver code in a fashion that NASA mathematicians and engineers can "prove" and relate to federal software requirements auditing
>>106919790
that's a much different statement than "cannot be statically analyzed", and "some" circumstances definitely include useful software techniques
NASA rules for NASA software is plenty fine, especially since the vast majority of NASA software is setpoint control for various flow regulators and electric motors. if you're doing recursion in that you deserve the hell you've created
NASA codebase isn't excessively extravagant because they launch rockets; NASA rules exist to force their vendors to deliver code in a fashion that NASA mathematicians and engineers can "prove" and relate to federal software requirements auditing
>>106919790
that's a much different statement than "cannot be statically analyzed", and "some" circumstances definitely include useful software techniques