https://hackerpaper.kaipfister.de/p/2211.11573/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=38525790urn:hackerpapers:mention:2211.11573:38525790Tue, 05 Dec 2023 01:22:14 GMT<p>Yeah, IncA (compiling to Souffle) and Ascent (I believe Crepe is not parallel, though also a good engine) are two other relevant cites here. Apropos linked data, our group has an MPI-based engine which is built around linked facts (subsequently enabling defunctionalization, ad-hoc polymorphism, etc..), which is very reminiscent of the discussion in the first link of yours: https://arxiv.org/abs/2211.11573</p><p><a href="https://hackerpaper.kaipfister.de/p/2211.11573/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLhttps://news.ycombinator.com/item?id=35619822urn:hackerpapers:mention:2211.11573:35619822Tue, 18 Apr 2023 20:44:44 GMT<p>You might find these also interesting - Higher-Order, Data-Parallel Structured Deduction https://arxiv.org/pdf/2211.11573.pdf - Functional Programming with Datalog https://drops.dagstuhl.de/opus/volltexte/2022/16235/pdf/LIPI... - A Systematic Approach to Deriving Incremental Type Checkers https://www.pl.informatik.uni-mainz.de/files/2020/10/increme...</p><p><a href="https://hackerpaper.kaipfister.de/p/2211.11573/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL