An epic treatise on error models for systems programming languages(typesanitizer.com)205 points by transpute 1 year ago | 65 comments
Functional programming and reliability: ADTs, safety, critical infrastructure(blog.rastrian.dev)138 points by rastrian 10 months ago | 136 comments
Hackers are spoofing themselves as GitHub's Dependabot to steal user passwords(checkmarx.com)59 points by Beggers1960 3 years ago | 30 comments