Hacker News Reader

One of the reasons I was disappointed about Rust when it came out.

But preventing memory leaks is actually impossible. Even with garbage collection, memory leaks are common.

It’s certainly possible with appropriate proof methods. My disappointment was specifically about non-memory resources, however.