<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>The Vectorial $λ$-Calculus · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/1308.1138/</link><description>Collected HN comments and submissions linking this paper.</description><language>en</language><lastBuildDate>Mon, 02 Nov 2026 11:16:22 GMT</lastBuildDate><atom:link href="https://hackerpaper.kaipfister.de/p/1308.1138/feed.xml" rel="self" type="application/rss+xml" /><item><title>The Vectorial $λ$-Calculus — mentioned by espeed</title><link>https://news.ycombinator.com/item?id=19610139</link><guid isPermaLink="false">urn:hackerpapers:mention:1308.1138:19610139</guid><pubDate>Mon, 08 Apr 2019 23:22:46 GMT</pubDate><description>&lt;p&gt;Hi Michel - You&amp;#x27;re working on a GraphBLAS Postgres implementation [0] -- here&amp;#x27;s an open question I&amp;#x27;ve been pondering... [0] Postgres GraphBLAS https://github.com/michelp/pggraphblas Now that we have SOTA linear algebra models for graphs [1], logic [2] and the lambda calculus [3] that are being optimized for vectorized parallel compute on modern CPU/GPU/TPUs -- do we have the makings for a unified linear algebra model that obsoletes the relational algebra model in relational DBs? [1] Graph Algorithms in the Language of Linear Algebra (2011)…&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/1308.1138/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.LO</category></item></channel></rss>
