Hacker News new | ask | show | jobs
by fhars 5259 days ago
Like that small software vendor from seattle http://research.microsoft.com/en-us/um/redmond/projects/z3/m... http://research.microsoft.com/en-us/projects/slam/default.as...