Hacker News new | ask | show | jobs
by rsrsrs86 113 days ago
As a researcher in formal methods, I totally get you