On: Integrity-178B: Safety Critical Real-Time OS

[collegeburner]

being so real rn i thought this was an llm (insert skull emoji) twitter is breaking me

might be helpful to change the title to integrity-178 since that appears to be the OS' name while DO-178B is a standard

[Philpax → collegeburner]

I’ll admit I had the same impression at first. [name]-[number]B is a very common convention for referring to LLMs now!