Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2604.22032/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTKernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon — HN submissionhttps://news.ycombinator.com/item?id=47968419urn:hackerpapers:submission:2604.22032:47968419Thu, 30 Apr 2026 21:25:47 GMT<p>Kernel Contracts: A Spec. Language for Correctness Across Heterogeneous Silicon</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2604.22032/">Paper and source history</a>. A submission is not an endorsement.</p>cs.LG