-
@ Cassandrich
2025-02-16 04:45:44nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqcu4r6pt94plck34vtw9t3zj974k0vl0z8x9gew5vdp2ukw3ekr4qct2mzm 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.