Wuffs: a programming language that prevents null pointer defence, buffer overflow, and arithmetic overflow, all at compile time! Designed for file format parsing.
miniblog.
Related Posts
1
https://tigerbeetle.com/blog/2025-02-27-why-we-designed-tigerbeetles-docs-from-scratch/ has an interesting distinction between "physical" and "logical" hash of a tarball.
By storing the hash of the decompressed tarball contents (i.e. the logical hash), they can verify the validity of files without needing to keep the tarball around.
As Rust grows in popularity as a systems language, I expect that someone will develop a dynamic language explicitly designed with great interop in mind.
C++ games seem to use Lua for this, and I've seen Java projects use Groovy.
Are there any up-and-coming contenders for Rust?
OpenBSD's pledge is intentionally designed to be simple and easy to add to projects. It's still more granular than I expected: there are several different network permissions, and even a separate permission for tape drives!