Definitely not.
Is this a specific group rather than just devtool founders of IPO'd companies? HashiCorp founder Mitchell is still here: https://news.ycombinator.com/user?id=mitchellh
Will be interesting to see if, once stripe goes public Patrick sticks around.