Hacker Next
What works (and doesn't) selling formal methodsgalois.com
124 points by azhenley 4 days ago | 64 comments