I interviewed with them in 2018. They're still kicking as far as I know. They asked me recursive and functional programming questions.

I wonder if they've adopted ML yet.