5:[["$","script",null,{"type":"application/ld+json","dangerouslySetInnerHTML":{"__html":"{\"@context\":\"https://schema.org\",\"@type\":\"NewsArticle\",\"headline\":\"We have proof automation now\",\"description\":\"Article URL: https://www.imperialviolet.org/2026/07/26/zstd-lean.html\\nComments URL: https://news.ycombinator.com/item?id=49062291\\nPoints: 5\\n# Comments: 0\",\"url\":\"https://freetinyimage.top/news/we-have-proof-automation-now-2026-07-26\",\"datePublished\":\"2026-07-26T20:53:26.000Z\",\"dateModified\":\"2026-07-26T22:00:08.494Z\",\"author\":{\"@type\":\"Organization\",\"name\":\"Hacker News\",\"url\":\"https://hnrss.org/frontpage\"},\"publisher\":{\"@type\":\"Organization\",\"name\":\"FreeTinyImage\",\"url\":\"https://freetinyimage.top\"},\"isPartOf\":{\"@type\":\"WebSite\",\"name\":\"FreeTinyImage\",\"url\":\"https://freetinyimage.top\"}}"}}],"$L16",["$","div",null,{"className":"max-w-3xl mx-auto px-4 sm:px-6 lg:px-8 py-10","children":[["$","div",null,{"className":"flex flex-wrap items-center gap-3 mb-5","children":[["$","span",null,{"className":"inline-flex items-center px-2.5 py-0.5 rounded-full text-xs font-medium bg-gray-100 text-gray-600","children":"general"}],["$","span",null,{"className":"text-sm text-gray-500 font-medium","children":"Hacker News"}],["$","time",null,{"className":"text-sm text-gray-400","dateTime":"2026-07-26T20:53:26.000Z","children":"July 27, 2026"}]]}],["$","h1",null,{"className":"text-3xl sm:text-4xl font-bold text-gray-900 mb-4 leading-tight","children":"We have proof automation now"}],["$","p",null,{"className":"text-lg text-gray-500 mb-8 leading-relaxed","children":"Article URL: https://www.imperialviolet.org/2026/07/26/zstd-lean.html\nComments URL: https://news.ycombinator.com/item?id=49062291\nPoints: 5\n# Comments: 0"}],"",["$","div",null,{"className":"prose prose-gray max-w-none prose-headings:font-semibold prose-a:text-brand-600 prose-img:rounded-xl","dangerouslySetInnerHTML":{"__html":"\n

Article URL: https://www.imperialviolet.org/2026/07/26/zstd-lean.html

Comments URL: https://news.ycombinator.com/item?id=49062291

Points: 5

# Comments: 0

\n"}}],["$","div",null,{"className":"mt-10 pt-6 border-t border-gray-200","children":["$","p",null,{"className":"text-sm text-gray-500","children":["Originally published on"," ",["$","a",null,{"href":"https://www.imperialviolet.org/2026/07/26/zstd-lean.html","target":"_blank","rel":"noopener noreferrer","className":"text-brand-600 hover:underline font-medium","children":"Hacker News"}]]}]}]]}]]