DTensor, Correctness and the Costs of Abstraction | Hacker News Reader