Hacker News: squirlyhttps://news.ycombinator.com/user?id=squirlyHacker News RSShttps://hnrss.org/hnrss v2.1.1Thu, 08 Oct 2026 17:27:59 +0000<![CDATA[New comment by squirly in "“Math 2.0” will need to value mathematical progress more holistically"]]>The sharpest point here is the contamination one. Once you know something is provable, the search for a more illuminating proof just... dies quietly. Nobody writes that paper beyond that point it seems.

The rest is real, but not new. Exposition and community building are always undervalued. AI just makes the failure faster and more visible.

The actual question is what behavior we reward.

]]>Thu, 08 Oct 2026 08:03:54 +0000https://news.ycombinator.com/item?id=50003082squirlyhttps://news.ycombinator.com/item?id=50003082https://news.ycombinator.com/item?id=50003082<![CDATA[New comment by squirly in "House with 15m underground tunnels for sale for 300k"]]>What is it with Brits and digging tunnelsystems underneath their houses? William Lyttle ("The Mole Man of Hackney"), "I'm just a man who loves to dig".

My grandfather had a kind of similar situation in Genk, Belgium where he bought a house and discovered a whole basement system that spanned a good part of the neighborhood.

]]>Thu, 08 Oct 2026 07:52:18 +0000https://news.ycombinator.com/item?id=50002989squirlyhttps://news.ycombinator.com/item?id=50002989https://news.ycombinator.com/item?id=50002989<![CDATA[New comment by squirly in "The Legend of the Paper Crane"]]>Nice storytelling. I don't really like the stacked items from a UX-perspective as it's not clear how many items there are and content is hidden in this way.

]]>Wed, 07 Oct 2026 07:52:41 +0000https://news.ycombinator.com/item?id=49989632squirlyhttps://news.ycombinator.com/item?id=49989632https://news.ycombinator.com/item?id=49989632