While saying "makes C safer than rust" is a good headline to get clicks, I feel like it invites comparisons that aren't helpful for advancing this project.

Instead, I think something like "Makes C safer than the C code you were using previously" is the better approach.

I haven't read every detail of this long post, but I do want to highlight something I strongly agree with:

> Interface informality is the root cause of unsafety

When writing C and C++, I've always felt an uneasy when passing a pointer to a function, because I don't really have a way of knowing if this is safe or not.