Skip to content

Top Best Ask Show New Jobs

dovin | Better HN

dovin

138 karmaJoined November 21, 201583 submissions

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

Recent submissions

1

Cheap code means formal verification is reasonable now (opens in new tab)

(antfly.io)

7dovin1mo ago1