dovin Karma 138 Created 10 years ago About direct inquiries and/or complaints to hacker-hotline@rowan.earth Recent Submissions 1. ▲ Cheap code means formal verification is reasonable now (antfly.io) 7 points · 21 days ago · 1 comment All submissions on HN · View profile on HN