Top New Best Ask Show Jobs

dovin

192 karma · joined November 21, 2015

direct inquiries and/or complaints to hacker-hotline@rowan.earth

submissions comments

Cheap code means formal verification is reasonable now

antfly.io·7 pts·dovin·