On the effectiveness of UML, executable models, and choosing which details to include in a model: https://modeling-languages.com/models-to-code-interview-leon-starr/
Related Posts
Blogging about my programming language project: choosing the basic syntax!
https://www.garden-lang.org/blog/syntax.html
TIL Tcl has a notion of 'safe interpreters', a mode where you can run untrusted code in a sandbox: https://www.tcl.tk/man/tcl8.4/TclCmd/safe.htm
Not many programming languages have this, but it's way safer to include in the implementation than try to build as a userland library.
It's incredibly hard to explain adversarial problems to users. I see gamers sincerely asking "why doesn't the publisher just fix the cheater problem?".
This is exacerbated by the fact that sharing too many details of anticheat can make the problem worse.