Skip to content

Top New Best Ask Show 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)

7dovin4d ago1