logoalt Hacker News

rsrsrs86 • yesterday at 8:39 PM • 0 replies • view on HN

As a researcher in formal methods, I totally get you