Hackernews posts about Microsoft Research

Related: GPT-4  
  1. Z3 An Efficient SMT Solver (www.microsoft.com)