2 ms·
I like how they also neglected to mention that Verus was invented at Microsoft...
by anonymousDan 2mo ago
I like how they also neglected to mention that Verus was invented at Microsoft...
- hwayne 2mo agoNot the first time Microsoft employees invented a formal methods tool, Microsoft ignored them, and AWS scooped them up. Not the second or third time, either.
- anonymousDan 2mo agoI don't think it's entirely fair to say they ignored them. As far as I know they are still employed at Microsoft Research and working on developing and improving the tool?