An Exact Rounds-versus-Queries Trade-off for Pointer Chasing, Machine-Checked in Lean 4 · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2510.08577/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTAn Exact Rounds-versus-Queries Trade-off for Pointer Chasing, Machine-Checked in Lean 4 — HN submissionhttps://news.ycombinator.com/item?id=45565570urn:hackerpapers:submission:2510.08577:45565570Mon, 13 Oct 2025 07:06:12 GMT<p>New Preprint:Psi-Turing Machines – Bounded Introspection for Complexity Barriers</p><p></p><p>4 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/2510.08577/">Paper and source history</a>. A submission is not an endorsement.</p>cs.CC