An epic treatise on error models for systems programming languages(typesanitizer.com)205 points by transpute 1 year ago | 65 comments