Hacker News: sanroot_Owlhttps://news.ycombinator.com/user?id=sanroot_OwlHacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 24 Oct 2026 16:06:59 +0000<![CDATA[New comment by sanroot_Owl in "LLMs are making formal software verification feasible at a much larger scale"]]>I want to add onto that true art requires true subjective experience, which AI lacks.

]]>Fri, 23 Oct 2026 11:38:44 +0000https://news.ycombinator.com/item?id=50207394sanroot_Owlhttps://news.ycombinator.com/item?id=50207394https://news.ycombinator.com/item?id=50207394<![CDATA[Is Cloudflare Down?]]>Article URL: https://www.pasteboard.co/CulUq20USXKE.png

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

Points: 2

# Comments: 2

]]>Tue, 08 Sep 2026 14:54:34 +0000https://www.pasteboard.co/CulUq20USXKE.pngsanroot_Owlhttps://news.ycombinator.com/item?id=49611233https://news.ycombinator.com/item?id=49611233