MIT & Stanford researchers launch a new OS to replace Linux for cloud-native apps, YC-backed health insurance procurement software goes live, & Splunk alum is building a stealth AI startup