laarcnew | comments | discord | tags | ask | show | place | submitlogin

This is a nice place to apply formal methods, because it's very clear what purpose they have (to keep the interpreter from miscompiling code and corrupting the kernel) and the benefit is something we all want (if an interpreter runs in kernel, we all want it to be as safe and secure as possible).

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)