pyrale

7 ms·

91.
by pyrale 5mo ago
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
92.
by pyrale 5mo ago
I sometimes struggle to establish a difference between your two propositions.
93.
by pyrale 5mo ago
> The rule of law is and always has been based on a monopoly of violence. There is no such thing as a monopoly of violence. Weber's work, which you reference, talks about states claiming a monopoly of legitimate violence. However,
94.
by pyrale 5mo ago
> The article mentions that there's no oversight program for Seattle Shield. Is that a problem? Any government body with no oversight program indicates that rule of law is optional.
95.
by pyrale 5mo ago
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. [1]: https://en.wikipedia.org/wiki/
96.
by pyrale 5mo ago
> He believes in [...] ...the value of having others buy the idea of space computing. I don't think he himself believes in what he says.
97.
by pyrale 5mo ago
> Everyone's threat model is different. 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.
98.
by pyrale 5mo ago
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
99.
by pyrale 5mo ago
> Tesla's inability to produce solar panels is why I'm most skeptical of the whole terafab datacentre in space stuff. I'm split on the datacenter-in-space stuff. I don't know whether I should disbelieve it because the
100.
by pyrale 5mo ago
Such a long article to say that neither side has a fucking idea about what will happen next. While we're at it, the "exponentials are actually sigmoïds" meme is not necessarily true. While exponentials are never exponentials,
101.
by pyrale 5mo ago
I'm sure you'll be happy to learn that access to Inaccessible Island must be granted by the local government office. [1]: https://en.wikipedia.org/wiki/Inaccessible_Island
102.
by pyrale 5mo ago
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. Yes, people know we live in a globalized world, and yes, people know the
103.
by pyrale 5mo ago
If ai writes my code, the code is the documentation/context. Why use any programming language, if we’re going to be maximalists?
104.
by pyrale 5mo ago
That market-maximalist strategy isn’t producing price reductions in Europe so far.
105.
by pyrale 5mo ago
An interconnection is being built up as we speak. That being said, building new interconnections makes no economic sense for France. The country has no unserved consumers close to the border. That means any electricity imported from Spain w
106.
by pyrale 5mo ago
Yeah, that's not new. Here's another article from 2025, in the wake of the blackout. https://www.politico.eu/article/france-needs-eu-push-on-powe...
107.
by pyrale 5mo ago
> Sure, it's hard, but it's a lot simpler problem than something like being able to consume tropical fruit in a temperate country in the middle of winter. "Brain surgery? Well, that's not exactly rocket science...&quo
108.
by pyrale 5mo ago
Spain has also floated he idea of a HVDC cable to the UK, but it's never happened. Sometimes, headlines are out of control.
109.
by pyrale 5mo ago
The issue is that Spain has three interconnected neighbours (France, Portugal and Morocco) and all of them are overflowing with electricity. The best candidate for lowering prices would be France, but France would most likely re-export that
110.
by pyrale 5mo ago
> or heck at least it's a well understood, solved problem. It is not. As a case in my point, Spain had a blackout last year (and I completely believe they are competent professionals - the task is just hard ). > It's just t
111.
by pyrale 5mo ago
That it is treated as such speaks volumes to the craft of the people designing and maintaining the grid.
112.
by pyrale 5mo ago
That's not my point. My point is that the price spread between EU electricity markets speaks more to the availability of interconnections than to the virtues of one country's electricity mix. The article gets to that conclusion be
113.
by pyrale 5mo ago
The author's point is that Spain's electricity is very cheap compared to other European countries thanks to its great electricity mix, etc. The reality is that Spain's electricity is cheap because it is relatively insulated f
114.
by pyrale 5mo ago
> I am not joking. Well, I was... > and taking 6 months to set up a VM for you. Your sysadmins were extraordinarily grumpy. Were you working with the ur-bofh?
115.
by pyrale 5mo ago
Who pays the eletricity for the server generating this nonsense?
116.
by pyrale 5mo ago
> Most countries, including Brazil, simply don’t have the capability to pull this on their own. Not enough tech talent nor infrastructure One really wonders how the internet could even have happened before the hyperscalers appeared.
117.
by pyrale 5mo ago
> Theirs is a more corporate surveillance, though. The thing about US' corporate suveillance system, and why the US government is so tolerant about it, is that US government branches either buy or are given all the data they need. Y
118.
by pyrale 5mo ago
I assume the point is that what make them acknowledge and repent from what they did is that they lost the war. Many massacres and genocides are "owner-less" and obscured by history. To give a few exemple, you might find, but the t
119.
by pyrale 5mo ago
More importantly, and username-relevant, do they fill a jira ticket for that task?
120.
by pyrale 5mo ago
In the specific case of France, that happens in France. So the stockpile can be used without external dependencies.

More ›