https://hackerpaper.kaipfister.de/p/2208.03817/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=48886944urn:hackerpapers:mention:2208.03817:48886944Mon, 13 Jul 2026 01:55:35 GMT<p>1. A compiler for real-time tensor processing (arbitrary DSP, ML). In something like LISP or Haskell, the goal is to compile lambda calculus for fast/reliable execution—as such, you can express a program in a fully general language that can represent any computation and execute it without explicitly modeling the lower levels of the machine. I&#x27;m building a compiler that does the same thing for the subset of programs that are guaranteed to execute on-budget. The effect: you write code that looks like DSP/ML math and it compiles/runs optimally with execution guaranteed by construction. 2. My…</p><p><a href="https://hackerpaper.kaipfister.de/p/2208.03817/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LOhttps://news.ycombinator.com/item?id=38158127urn:hackerpapers:submission:2208.03817:38158127Mon, 06 Nov 2023 02:35:03 GMT<p>Programs as Diagrams: From Categorical Computability to Computable Categories</p><p></p><p>20 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/2208.03817/">Paper and source history</a>. A submission is not an endorsement.</p>cs.LO