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