Hacker News Reader

I have never seen a FAANG company buy a pure programming-language based tooling startup.

Facebook acquired Monoidics in 2013; they were the startup that created Infer[0].