GPipe: A functional graphics API for programmable GPUs · HackerTrans