Comment by kstrauser

I'm more surprised that the scheduler made for a handheld gaming console is also demonstrably good for Facebook's servers.