The Register | Security 中文 关注 安全 Unix 祖先 KSOS 在 Rust 使其流行之前就已实现类型安全 基于 Modula 的源代码在将近四十年后重新出现 Hacker & Security News on Bluesky @hacker.at.thenote.app bsky.app Secure Unix ancestor KSOS did type safety before Rust made it cool theregister.com