That would be a hell of a hack if Notch ran the backend on a handful of high-speed gate arrays.

already done. I was asked todo it for my ungrad thesis.