This paper appeared at PLDI '25: https://arxiv.org/abs/2504.09246 https://arxiv.org/abs/2504.09246 Discussed on HN at the time: https://news.ycombinator.com/it

This paper appeared at PLDI '25: https://arxiv.org/abs/2504.09246 https://arxiv.org/abs/2504.09246 Discussed on HN at the time: https://news.ycombinator.com/item?id=43978357 https://news.ycombinator.com/item?id=43978357