Hacker News new | ask | show | jobs
by kwstas 738 days ago
Here is the paper in arxiv the article is refering to for anyone else interested https://arxiv.org/abs/2402.06603

Though maybe just the proof outline section is enough for a Saturday.