Hacker News Reader

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.