Hacker News new | ask | show | jobs
by tjalfi 392 days ago
Facebook acquired Monoidics in 2013; they were the startup that created Infer[0].

[0] https://en.wikipedia.org/wiki/Infer_Static_Analyzer