Huh, didn't know that - thanks for the link. The very ambitious name for the OS ...

		lenkite on June 17, 2023 \| parent \| context \| favorite \| on: Memory safety without borrow checking, reference c... Huh, didn't know that - thanks for the link. The very ambitious name for the OS - Extremely Reliable Operating System made me smile.