Zig 2024 roadmap

In English law it's a criminal offence to have any "bladed article" in public unless either you have a specific lawful excuse for why you needed that object here and now (and no "Self defence" is specifically never a lawful excuse) or it meets some very narrow criteria which protect small folding pocket tools such as a "Swiss army" knife.

It doesn't even matter whether the blade is sharp. I used to carry a butter knife to open the front door of a friend's flat when I was a student (saves going down to the building entrance to let her know I'm outside, and this is before everybody has a phone), but it was important not to take it off site, because that's a bladed article, even though you'd be lucky to cause a graze never mind serious injury a police officer knows that's enough to arrest you.

And yes, WUFFS is an entirely safe language. The price you pay is Generality, WUFFS is a special purpose language for Wrangling Untrusted File Formats Safely (hence the name) and so you cannot write general purpose programs in it. In exchange for this high price you get entirely safe programs (for example bounds checking isn't added by the compiler, it will just inherently reject any programs with potential bounds misses, they won't compile, so either your code just has no misses or you wrote the bounds checking correctly yourself and averted such misses) and of course you get much better performance than a human programmer would achieve in languages like C.