Committing to the bit: Relational programming with semiring arrays and SAT solving · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2509.22614/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTCommitting to the bit: Relational programming with semiring arrays and SAT solving — mentioned by sporklhttps://news.ycombinator.com/item?id=48899974urn:hackerpapers:mention:2509.22614:48899974Mon, 13 Jul 2026 22:50:13 GMT<p>I&#x27;ve been working on something similar, implementing a relational language on top of a tensor library[0]. Mathematically, einsum and database joins are the same thing, just over different semirings (real numbers for einsum, booleans for databases). A lot of papers about datalog explore this sort of thing in more depth. In particular, Dyna[1] might be interesting. [0]: https://arxiv.org/abs/2509.22614 [1]: https://dyna.org/</p><p><a href="https://hackerpaper.kaipfister.de/p/2509.22614/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL