Hacker News: dfabulichhttps://news.ycombinator.com/user?id=dfabulichHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 07 Jun 2026 01:54:31 +0000<![CDATA[New comment by dfabulich in "Transformers are inherently succinct"]]>It's the last line of the abstract.

> As a consequence of this succinctness, we show that basic verification problems for transformers, such as emptiness and equivalence, are provably intractable: specifically, EXPSPACE-complete.

]]>Fri, 05 Jun 2026 22:34:43 +0000https://news.ycombinator.com/item?id=48419225dfabulichhttps://news.ycombinator.com/item?id=48419225https://news.ycombinator.com/item?id=48419225<![CDATA[New comment by dfabulich in "Transformers are inherently succinct"]]>The last line of the abstract has the most important takeaway.

> As a consequence of this succinctness, we show that basic verification problems for transformers, such as emptiness and equivalence, are provably intractable: specifically, EXPSPACE-complete.

If you were hoping to formally prove the correctness of a large transformer, it turns out that you're going to need an exponentially larger amount of space to do your verification, more than you could possibly afford.

]]>Fri, 05 Jun 2026 20:32:01 +0000https://news.ycombinator.com/item?id=48417808dfabulichhttps://news.ycombinator.com/item?id=48417808https://news.ycombinator.com/item?id=48417808<![CDATA[New comment by dfabulich in "API proposed by Chrome: Declarative partial updates"]]>Declarative partial updating "sets the stage for client-side includes." https://github.com/WICG/declarative-partial-updates

The linked article suggests a potential syntax: