Replies to message #681

I propose the 11th rule: Any sufficiently complicated VM contains an ad-hoc, informally-specified, bug-ridden, slow implementation of half of a...

The borrow checker is part of the type checker, and the types it works on appear explicitly in Rust code in the form of lifetime annotations. I...

https://www.jwz.org/blog/2008/03/most-positive-bignum/ I totally agree, I think a new paradigm OS from the ground up is a pipe dream. (If not a...