I hadn’t seen wuffs before. Interesting approach to writing safe libraries: Wuffs is not a general purpose programming language. It is for writing libraries, n

I hadn’t seen wuffs before. Interesting approach to writing safe libraries: Wuffs is not a general purpose programming language. It is for writing libraries, not programs. Wuffs code is hermetic and can only compute (e.g. convert "compressed bytes" to "decompressed bytes"). It cannot make any syscalls (e.g. it has no ambient authority to read your files), implying that it cannot allocate or free memory (and is therefore trivially safe against things like memory leaks, use-after-frees and double-frees). https://github.com/google/wuffs https://github.com/google/wuffs