>If you go that way, why not write LLVM Intermediate Representation? And if you know your server arch anyway, why not write machine code?

Nah, C is good enough for me.

> catch many bugs at compile time...

Rust borrow checker is too dumb that you catch many non-bugs as well...I don't like that.

Mmm..LLMs also generates false positives. But at least you can reason with it...