Infer powering Microsoft’s Infer#, a new static analyzer for C# | Hacker News Reader