<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: pyrale</title><link>https://news.ycombinator.com/user?id=pyrale</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 30 May 2026 21:35:53 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=pyrale" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by pyrale in "Anthropic surpasses OpenAI to become most valuable AI startup"]]></title><description><![CDATA[
<p>> I never want to hear from developers again that they are not susceptible to marketing.<p>Did you need to come to that conclusion?<p>Marketing has always been a significant part of new technology adoption. Whether it's for cloud adoption, for new programming languages, for new software development techniques, etc...</p>
]]></description><pubDate>Sat, 30 May 2026 16:31:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=48338020</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48338020</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48338020</guid></item><item><title><![CDATA[New comment by pyrale in "Toshifumi Suzuki, founder of Seven-Eleven Japan, has died"]]></title><description><![CDATA[
<p>The countries you cite all exited communism ruined but with an educated workforce and a working education system, and benefited tremendously from EU access.<p>It is not that Japan has fallen to their level, it’s that they have experienced an economic boom in the last decades, and are not that far behind western Europe now.</p>
]]></description><pubDate>Wed, 27 May 2026 16:40:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=48296811</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48296811</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48296811</guid></item><item><title><![CDATA[New comment by pyrale in "Use boring languages with LLMs"]]></title><description><![CDATA[
<p>> This really does read as "Go is my favourite language".<p>Because it always is that.<p>People advocating for boring languages always advocate for <i>their</i> boring language. For instance, if you tell a gopher that you agree with the point, and therefore the project is going to use java, they won’t be happy about it.</p>
]]></description><pubDate>Tue, 26 May 2026 10:58:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=48277969</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48277969</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48277969</guid></item><item><title><![CDATA[New comment by pyrale in "The Eternal Sloptember"]]></title><description><![CDATA[
<p>> Most people didn't need their standard of quality (but customers had no choice.)<p>Customers don't really have a choice either way. Good luck finding quality clothing, services with decent customer support, etc.<p>Supply chains supporting quality work are destroyed when an industry gets commoditized, and whenever a company doing quality stuff emerges, it eventually gets bought out and the product gets watered down in order to milk its reputation with inferior product.</p>
]]></description><pubDate>Mon, 25 May 2026 08:37:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48264702</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48264702</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48264702</guid></item><item><title><![CDATA[New comment by pyrale in "Why is Vivado 2026.1 dropping Linux support for free tier?"]]></title><description><![CDATA[
<p>AMD <i>does</i> maintain Linux anyway, for their paid tiers. It's not like they're saving money by dumping the free tier for Linux.</p>
]]></description><pubDate>Sun, 24 May 2026 20:11:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=48260604</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48260604</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48260604</guid></item><item><title><![CDATA[New comment by pyrale in "Why is Vivado 2026.1 dropping Linux support for free tier?"]]></title><description><![CDATA[
<p>More like the notion of seeing different treatment between OSes. No one likes being punished for a choice that shouldn't be any of the selling party's business. That's especially true in the Linux community, which was the target of Microsoft's anticompetitive policies for decades.<p>That's just like when macOS users got mad when they learned they were targeted by marketing schemes to sell them more expensive stuff [1].<p>[1]: <a href="https://www.npr.org/2012/06/26/155792590/orbitz-targets-mac-users-for-pricier-hotels" rel="nofollow">https://www.npr.org/2012/06/26/155792590/orbitz-targets-mac-...</a></p>
]]></description><pubDate>Sun, 24 May 2026 10:21:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=48256072</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48256072</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48256072</guid></item><item><title><![CDATA[New comment by pyrale in "-​-dangerously-skip-reading-code"]]></title><description><![CDATA[
<p>That's any programming language, really [1]. Any website contains millions of "proofs", not all of them are useful. Choosing what needs to be proven is hard. And the spectrum of languages/type systems and their usability as either  is more explored nowadays than it used to be. If you don't likue coq, you can look for agda. If agda is too far for you, you can look for Haskell. If that's still impractical, there's rust or f#, etc... The tradeoff you have between "convenient for expressing proofs" and "convenient for programming" has many options.<p>[1]: <a href="https://www.youtube.com/watch?v=IOiZatlZtGU" rel="nofollow">https://www.youtube.com/watch?v=IOiZatlZtGU</a></p>
]]></description><pubDate>Sat, 23 May 2026 22:46:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=48252356</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48252356</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48252356</guid></item><item><title><![CDATA[New comment by pyrale in "Seattle Shield, an intelligence-sharing network operated by the Seattle police"]]></title><description><![CDATA[
<p>I sometimes struggle to establish a difference between your two propositions.</p>
]]></description><pubDate>Fri, 22 May 2026 07:35:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=48233093</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48233093</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48233093</guid></item><item><title><![CDATA[New comment by pyrale in "Seattle Shield, an intelligence-sharing network operated by the Seattle police"]]></title><description><![CDATA[
<p>> The rule of law is and always has been based on a monopoly of violence.<p>There is no such thing as a monopoly of violence. Weber's work, which you reference, talks about states claiming a monopoly of <i>legitimate</i> violence.<p>However, legitimacy and law are two different things: while every state claims they are the only ones allowed to use violence legitimately, not every state codifies their functioning in laws ; and fewer structure themselves in such a way that these laws are sovereign.<p>My point is that merely codifying the state's actions in laws isn't enough to get functioning rule of law. You also need functioning government oversight (and a few other things, but that's not the current topic). When government's action is not overseen, respect of the law happens at the whim of government agents.</p>
]]></description><pubDate>Fri, 22 May 2026 07:33:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48233075</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48233075</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48233075</guid></item><item><title><![CDATA[New comment by pyrale in "Seattle Shield, an intelligence-sharing network operated by the Seattle police"]]></title><description><![CDATA[
<p>> The article mentions that there's no oversight program for Seattle Shield. Is that a problem?<p>Any government body with no oversight program indicates that rule of law is optional.</p>
]]></description><pubDate>Fri, 22 May 2026 05:15:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=48232258</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48232258</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48232258</guid></item><item><title><![CDATA[New comment by pyrale in "Anthropic is expanding to Colossus2. Will use GB200"]]></title><description><![CDATA[
<p>It does until you're embedded enough with the surveillance system [1]. If a company was able to get immunity in the wat AT&T got it, no contract would protect the other side.<p>[1]: <a href="https://en.wikipedia.org/wiki/Hepting_v._AT%26T" rel="nofollow">https://en.wikipedia.org/wiki/Hepting_v._AT%26T</a></p>
]]></description><pubDate>Thu, 21 May 2026 12:27:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48221549</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48221549</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48221549</guid></item><item><title><![CDATA[New comment by pyrale in "Anthropic is expanding to Colossus2. Will use GB200"]]></title><description><![CDATA[
<p>> He believes in [...]<p>...the value of having others buy the idea of space computing. I don't think he himself believes in what he says.</p>
]]></description><pubDate>Thu, 21 May 2026 12:22:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=48221481</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48221481</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48221481</guid></item><item><title><![CDATA[New comment by pyrale in "Security researcher says Microsoft built a Bitlocker backdoor, releases exploit"]]></title><description><![CDATA[
<p>> Everyone's threat model is different.<p>Everyone's threat model is different, but some are better than others, and maybe we shouldn't equate taking time to explain why with throwing stones.</p>
]]></description><pubDate>Sun, 17 May 2026 16:10:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=48170191</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48170191</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48170191</guid></item><item><title><![CDATA[New comment by pyrale in "We've made the world too complicated"]]></title><description><![CDATA[
<p>I guess the issue is that, on average, our society looks more like Phillip Morris or Meta than it looks like a school or an hospital. And, most of all, the people our society promotes to steer itself tend to be the kind that thrives at Meta rather than in a school.</p>
]]></description><pubDate>Sun, 17 May 2026 11:53:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=48168081</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48168081</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48168081</guid></item><item><title><![CDATA[New comment by pyrale in "Tesla Solar Roof is on life support as it pivot to panels"]]></title><description><![CDATA[
<p>> Tesla's inability to produce solar panels is why I'm most skeptical of the whole terafab datacentre in space stuff.<p>I'm split on the datacenter-in-space stuff. I don't know whether I should disbelieve it because there is, obviously, no good way to evacuate heat in space, or because Musk talked about it, and he has an uncanny track record of not upholding his promises.</p>
]]></description><pubDate>Sun, 17 May 2026 06:51:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=48166615</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48166615</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48166615</guid></item><item><title><![CDATA[New comment by pyrale in "The sigmoids won't save you"]]></title><description><![CDATA[
<p>Such a long article to say that neither side has a fucking idea about what will happen next.<p>While we're at it, the "exponentials are actually sigmoïds" meme is not necessarily true. While exponentials are never exponentials, sigmoids are not guaranteed. Overshoot-and-collapse examples also happen in tech, e.g. the dotcom bubble, or the successive AI winters.</p>
]]></description><pubDate>Fri, 15 May 2026 20:43:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=48153552</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48153552</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48153552</guid></item><item><title><![CDATA[New comment by pyrale in "Details of the Daring Airdrop at Tristan Da Cunha"]]></title><description><![CDATA[
<p>I'm sure you'll be happy to learn that access to Inaccessible Island must be granted by the local government office.<p>[1]: <a href="https://en.wikipedia.org/wiki/Inaccessible_Island" rel="nofollow">https://en.wikipedia.org/wiki/Inaccessible_Island</a></p>
]]></description><pubDate>Fri, 15 May 2026 14:31:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=48149131</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48149131</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48149131</guid></item><item><title><![CDATA[New comment by pyrale in "I moved my digital stack to Europe"]]></title><description><![CDATA[
<p>This line of discussion comes up often on HN, and it's really annoying. It's the equivalent of people bringing up nuclear warfare in geopolitics discussions.<p>Yes, people know we live in a globalized world, and yes, people know the US has ways to pressure Europe. The point of Europe's moves to host in Europe isn't to get immune from foreign influence ; it is to make interference a bit more costly and a bit less effective, in a way that doesn't cripple our society.</p>
]]></description><pubDate>Wed, 13 May 2026 21:59:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=48128164</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48128164</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48128164</guid></item><item><title><![CDATA[New comment by pyrale in "If AI writes your code, why use Python?"]]></title><description><![CDATA[
<p>If ai writes my code, the code is the documentation/context.<p>Why use any programming language, if we’re going to be maximalists?</p>
]]></description><pubDate>Tue, 12 May 2026 15:30:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=48109780</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48109780</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48109780</guid></item><item><title><![CDATA[New comment by pyrale in "Spain has become one of Europe’s cheapest power markets"]]></title><description><![CDATA[
<p>That market-maximalist strategy isn’t producing price reductions in Europe so far.</p>
]]></description><pubDate>Mon, 11 May 2026 14:32:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=48095529</link><dc:creator>pyrale</dc:creator><comments>https://news.ycombinator.com/item?id=48095529</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48095529</guid></item></channel></rss>