Y Hacker News new | ask | show | jobs

user: longdivision created: 2012-02-25 karma: 5 submissions: You don’t need to build a narrative 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Ask HN: Do you use formal methods? 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments