Hacker News new | ask | show | jobs
by jhanschoo 3152 days ago
I have a soft spot for formal methods, but how do you see this taking off?