Hacker News new | ask | show | jobs
Computer Says No: Error Reporting for LTL (wickstrom.tech)
5 points by typesanitizer 226 days ago