Anyone know what their systems look like? What hardware, what databases, OS'es, what language is their order matching engine written in?

And do they have any systems & developers on staff who know what they are doing?