@lispi314 Yes, memory-safe languages and privsep are two very different philosophies to achieve similat ends, and I vastly prefer privsep because it lets you use any existing code and lets people write in the languages they're most comfortable in, and because it can protect against not just errors representable in your type system but also logic errors.