3 ms·
I like how they also neglected to mention that Verus was invented at Microsoft...
by anonymousDan 10d ago
I like how they also neglected to mention that Verus was invented at Microsoft...
- hwayne 10d 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 9d 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?