GPipe: A functional graphics API for programmable GPUs | Hacker News Reader