Borrow-checking without type-checking

· Hacker News