https://slack.engineering/hakana-taking-hack-seriously/ describes their open source enhanced Hack type checker, which is still actively maintained (most recent commit yesterday).
And https://slack.engineering/slacks-migration-to-a-cellular-arc... mentions they use a mix of languages: "services in the user-facing request path are written in Hack, Go, Java, and C++"