skysight-inc/HackerNews huggingface dataset:
Again, I think it would be great if we were doing more in terms of innovation and expertise too! But in other human rights law issues, this line of argument wouldn't fly either, I don't think you could e.g. sue Switzerland for not making a stronger diplomatic effort to prevent some human rights abuse committed by another government, or anything like that.
> Is it so crazy to claim that this can be replicated for C, without encumbering it with ownership considerations that have no relationship to interface formality?

You're not replicating what Rust does, you're replicating what Frama-C does.

Then again, even just replicating what Rust does would be extremely difficult (if not impossible) given the pervasiveness of undefined behavior in C.

> Fair enough. We have a much more generous definition of "working prototype" than you do.

How many useful C programs do you know that require no loops and no binary operators?
The issue with people dying from heat waves has nothing to do with climate change.

The issue is that Switzerland outlawed air conditioning for private homes (still allowed in shopping centres though!)
The response to this is to point out that Amazon has very little competition and that in a more competitive environment, other companies would treat workers better. See: Henry Ford’s treatment of workers compared to competitors.
I see you submitted one that affects a number of people and it caught their attention. There are quite a few Googlers here. Most of my submissions get the same 2-5 points, I just do it almost every day as part of a routine and once in a while I find something that affects a large number of people on HN. There came a point where I started ignoring karma using uBlock as it was influencing my interactions.
China leads in solar panel production, not neccessarily in "climate change". Production of their panels emits vastly larger amounts of CO2 (because so many things are coal-powered in China) than panels produced in say Europe.
A key part of capitalism is rhetoric about competition.

Oppressive monopoly is the inevitable outcome of "competitive" capitalism.

The point is so obvious it's trivial to model mathematically. I believe there was even a board game invented to make the point.
>despite being a relatively small country without too much direct global impact

Sorry but Switzerland is hosting some of the largest coal mining and sale intermediaries in the world (Vitol, Glencore, etc), where a lot of wealth is made from fossil fuel mining and sales, even if it's not a direct consumer or producer, along with Nestle and other major Swiss conglomerates being directly responsible for environmental damage around the world.

Just like with banking Nazi gold and illicitly obtained wealth of criminal dictators and war profiteering, when it comes to the environment, Switzerland's hands are in no way clean, despite posturing as a small, cute, green, innocent country that supposedly has no impact on the global environment.
Study sheds light on white dwarf stars
There's also a lot of apps written in Vala for elementary OS's AppCenter with screenshots & links to GitHub: https://appcenter.elementary.io/ (not all, but most). I published two apps there and using Vala has been a great experience for creating Gtk/Linux desktop apps.
Just read the Twitter thread. It's egregious stuff.
Are there brands which are certified as free of these contaminants (and have proof)?
Yes, but Nintendo certainly isn’t trying to help pretendo
Ask HN: Why are there no public AI skin cancer detection models
Hello,

based on a few studies, it seems like AI can identify melanomas with 99% accuracy.

The obvious question to me then Is why there are no models publicly available for people to do preventive checks at home, how is this not a thing yet?
did someone here replicate this on their own code?
Perl is like the language of a sophisticated lost civilisation, its arcane incantations frightening to the current generation. But the achievements of that civilisation are unmistakable.
Certificate pinning perhaps?
If economic prosperity requires humanity to trade it's future away then the economics simply don't work. The economy should serve us, and the direction we choose to go, not the other way around.

Yes, I realize I'm arguing against capitalism in some sense and no, that does not imply I'm a communist. I'm just pointing out a fundamental flaw, but I don't have an alternative.
Namely: The ability to speak.
I really prefer the old yellow sodium light to the harsher white LEDs, I get that the SOX bulbs weren't economical to make any more for various reasons but wish we could have migrated to monochromatic yellow LEDs instead of white ones. They're not just more pleasant aesthetically, they're also better for insects and animals than broad-spectrum white lights. I don't get the obsession with making lights as cold and harsh as possible, give me warm light that makes the night look like night rather than a bad approximation of day.

At least by the time they got round to doing my street they used a lower temperature white than the ultra-harsh 'prison yard white' colour used in the earlier installations.
It's not really "whataboutism" in the context of the problem when you realize that we're locked in the same closed system as them. It's just absurd to think that the younger generations are being told that if they want to enjoy a similar quality of life as their parents did, they are directly causing the destruction of the world, when in reality the sacrifices they are being asked to make are going to have the net effect of at best kicking the can down the road a few more years.
They think they don't need to pay taxes. I cannot think of any other reason for this rant. I guess it's refreshing to have a libertarian kind of ethos in the Rust community in addition to the typical quite-far-left-of-center kind.

I totally get it. When you get into the flow of routing expenses through your business, it feels extra bad when you're disallowed doing that.
The Swiss Federal Constitution says that federal courts have to enforce national laws, but also international agreements. That's all. Swiss courts have just failed their own constitutional duties according to this supranational instance.

Also China is fabricating basically all your products, so of course it's only natural they also produce more pollution.
It's a Unix like OS with great separation of concerns. There probably is a way - their browser runs on Linux - but I don't think anyone has done it yet. Could be a fun project to look into!
That's why I use vim!
Climate change threatens Ant­arc­tic met­eor­ites
It would require a break through in quantum stuff, or new laws of physics to produce a 256 bit rainbow table, right?

"Computers made of something other than matter and occupying something other than space"

https://security.stackexchange.com/a/25392
Following your analogy, could some inhabitant of Switzerland then be sued for adding an airco to his house or using a coal heater to warm it?
Sure, just looking at this one person, it doesn't have much effect on Switzerland's emissions as a whole. But think what would happen if everyone was like him ..

I find this court ruling strange. Sure you could argue that Switzerland should have done more. But does its lack of action make Switzerland liable for the discomfort that these women are experiencing because of global climate change?
Surely "The Science is Settled" and any discussion of the issue can only be misinformation?
And... you continue to discuss it.

I'm going to stop now. You have quite effectively proven the opposite of your position.
Those aren’t related to Sky Travel. I assume they’re names of the channel’s patreons.
I love my Mac and I constantly wish that it could be my gaming PC.

But Valve could ditch Mac and it would barely be noticeable. Plus apple showed off tech similar to proton for Mac last year.

An ARM steam deck sounds interesting, but it would likely have to be after enough of the gaming market moved over.
Show HN: Eventiveness, my new JavaScript framework
Hello guys,

I have submitted my efforts to create 'an ideal' javascript framework. This culminates years of work on this subject iterating and re-iterating. The framework demonstrates how 'pure' HTML, CSS and CSS can be used exclusively and enjoyably to make powerful frontends without the need for contrived preprocessing and implementation details.

It consists of 6 independent libraries which cater to different areas where developers would otherwise write brittle or boilerplate code. They also tackle some real issues that complicate frontend development: accessible components, cross-browser support for customised built-in elements, scoping styles written normally (in style tags) with or without shadow DOM, flexible and hackable reactivity etc.

The libraries in eventiveness try to tackle all these problems simply and elegantly. When using these tiny libraries (37kb overall including the examples and inline docs), your HTML is pure HTML, your CSS is pure CSS and your Javascript is pure Javascript.

Please check it out as I can't wait to hear your brutal and enlightened opinions. Special thanks!
At least Perl encourages a culture of documentation.

Getting flashbacks to my job developing Python where I had to learn data structures by literally pausing them in the debugger after starting a big sync job.

No docs, and no pointers as to what is in the dictionary or why... but I'd better close those damn tickets or it's awkward Zoom call time!
Montreal did it wrong so nobody should try again? I'm struggling to see what your point is. Montreal is in north America, not Europe, in case you're not aware.
What’s in that tea? Something more than caffeine if people are taking trips with it.
What do you think anti trust laws are? And do you think we have an abundance of them now?
Another discussion: https://news.ycombinator.com/item?id=39977995
Offtopic: How serious of a worry is it?

I'm considering moving to Portugal next year to be further away from Russian border, from outside it looks like fairly quiet and stable-ish place.
I think it's actually National Development Fund of the Executive Yuan, which is a Taiwanese fund.
They could work on an interoperable protocol, that's the very clear core component of my complaint which I brought up completely spelled out, think you need to read it once more to help your reading comprehension: the main issue is making those apps not interoperable through a common protocol so I can jump ship when the client goes to shit without losing access to the network of people I care about.

You can read it again:

> I would prefer using a communication app that relies on a common protocol and can interoperate with different clients, so I could move clients in case one starts to act shady (in this case, Telegram can be a bit shady at times), those don't exist anymore, XMPP is basically dead and nothing has replaced it.

Is that clearer? It's hilarious you missed that.
I would rather say it is a synergi between technology and capitalism, both are needed to create the current state.

Technology has always been a double edged sword thru human history, it is just that the sword keeps getting bigger and bigger.

Capitalism can then take that sword and use one of the edges and make money out of it and that in turn wields political power.
Can you give your experiences please?

When I lived in North Wales decades ago we had wild strawberries, they were about two or three times the volume of a chickpea in size (IIRC), and in two years I only ever found one that was ripe all the way around (they usually ripen on one side, or had a large patch of white unripeness even when the rest was red). I don't even remember that one tasting particularly stunning either.
To echo this sentiment, it always reminds me of meme where on a bell curve we have :

Just use SQL on both ends

"SQL IS OLD AND ISN'T A REAL LANGUAGE WRITE ACTUAL CODE WITH PANDAS OR SPARK" in the middle

I'm getting old :(

https://www.reddit.com/r/datascience/comments/s0dn5b/2022_mo...
The democratic process is what has established the human rights conventions. These people are just using what we've established in attempt to protect their rights.
SeL4 Device Driver Framework 0.4.0
This is where a VCS like Pijul or Darcs would shine, since patches commute across "branches" without a new hash.
>What will we do when China produces all the world’s batteries, solar panels and electric cars? Will we slide into irrelevance?

We'll just be selling wealthy Chinese our real estate and tourist packages to visit our 500 year old buildings, because those will be the only profitable industries left in Europe.
I'm old enough to remember when people were protesting against international courts overriding national democracy, but that doesn't say much as it was last decade:

https://en.wikipedia.org/wiki/Transatlantic_Trade_and_Invest...

Many of the same talking points came up again immediately in the form of Brexit and the various European Courts.

Also, I get the impression (from up to 9 time zones away) that this kind of thing is also part of the power struggle in the US between states and DC.
Counter-counterpoint: When Apple introduced the Lightning connector in 2012, they described it as their connector "for the next decade".[0] Their switch from Lightning to USB-C on the iPhone came just over ten years after that announcement. Perhaps it was EU regulation, or perhaps it was Apple wanting to make good on a ten-year-old promise of connector continuity.

[0] https://www.youtube.com/watch?v=82dwZYw2M00&t=1571s
Competition isn't a key part of capitalism - it only exists where governments force markets to optimize for "fairness" over efficiency. Left to their own devices, corporations will tend towards oligopoly and monopoly, so they can control the most capital with the least risk.
China is building six times more new coal plants than other countries, report finds [1]

China continues coal spree despite climate goals [2]

Two "progressive" outlets report on how China is approving new coal power projects at the equivalent of two plants every week. No matter how much you may want to root for China's right to grow its economy this does not seem like a "giant success" when seen through a "climate" lens.

[1] https://www.npr.org/2023/03/02/1160441919/china-is-building-...

[2] https://www.theguardian.com/world/2023/aug/29/china-coal-pla...
This article contains so little information. Was probably written by an algorithm.
BYD is launching its next-gen Blade EV battery – more range and even lower cost
I've had both Brother and Nakajima typewriters that do this, late models from the 90's.

(Which is funny, because one of the things I used my typewriter for was writing down the recovery keys for my password manager. In a darkened room with a white noise generator running, natch.)
A C compiler written in Rust, in which the lang_c crate is used to parse the language.
I’m not interested in whether ICANN or Geoff Huston is or is not endorsing DNSSEC. I’m interested in what arguments they make for and/or against DNSSEC. You, on the other hand, seem to be having some electoral college model, where you don’t consider facts and arguments at all, but only care how many people in authority are for or against it. This is why you namedrop all the time, and dismiss my (and others’) arguments as coming from “randos”.
>btw, auto dealerships are like that because territorial exclusivity by the large companies, not the "capitalism".

The auto world is cut-throat competitive. There are dealers everywhere, and most cars and features are commoditized. In every class and price range there are easily substitutable vehicles. Tech people like to talk about the auto industry like the market is scandalous.
Twitter owns the contextual value of your tweets. It owns the virtual land on which you can seed tweets to grow value.

And it sells access to the virtual land to advertisers who put up billboards all over it.

And it gives Musk powers that feudal lords never had. He has total control over which content grows value, and which remains ignored and barren.
Omg you have no idea how many times I wished I had something exactly like this! Going to test this out this week and almost certainly integrate this into my team’s workflow.
You seem to be confused about how the Swiss legal system works, so let me clarify it for you:

The government is bound by laws, constitutional principles, and institutional mechanisms that prevent the majority from infringing on the rights of minorities or violating international obligations. Of course the population can't force the goverment "to do whatever they want" and this is not how any of it works.

>Which may or may not even effect the people who are suing at all.

It's evident that the lawsuit does affect them since they reside in Switzerland and are therefore only able to hold Switzerland accountable. If they were to reside in Germany, France, or any other country, they would have the freedom to pursue legal action against those respective nations. This aspect was also the reason for the dismissal of the Portuguese case; the plaintiffs were suing countries other than Portugal.

>You have a court, which was created in an attempt to give legal options to victims of crimes committed by nation state and which could not be heard elsewhere.

It is common practice for decisions concerning human rights abuses by the Swiss Supreme Court to be appealed to the European Court of Human Rights, which serves as the ultimate authority in such matters.

>It really must be dismaying to see how little anyone actually cares about the environment on a global challenge, for someone who cares about the environment. Instead we have people arguing literal nonsense in a court.

They did what they could and took responsibility for what they could. Which is a lot more than other people do.

>If Switzerland is commiting a human rights violation by doing this, what monumental human rights violation is committed by India. A country which uses the oceans to distribute it's waste globally? How about China, burning endless coal?

To benchmark against India or China regarding pollution sets the standard at its lowest. If we continue this pattern, finger-pointing will never stop. It's important that we raise our standards and lead by example.
How to use my science-based color wheel
Nicotine pouches are growing in popularity. Are they safe?
Think of the term b in y = Wx+b. W is called weight, b is called bias.
> But does its lack of action make Switzerland liable for the discomfort that these women are experiencing because of global climate change?

Yes, you can read the judge's ruling to see the reasoning of a legal expert.
>carbon dioxide is air poison

I know of a certain kingdom of life that would strongly disagree
Yeah that is the "honey" part of the trap. Slightly different than e.g. an ssh honey pot
It's not sarcasm.

Their entire purpose is to maintain engagement, it's not a conspiracy.
Thank you! It encourages me that someone got to see and appreciate it.

What is hard to convey to people outside the 3D hardware space is that the chief problem once you have the 3d pipeline down is really a market-development problem.

How do you sell an ever increasing amount of coprocessor compute?

Because the moment you hit the inevitable S-curve flattening out of your 3D value proposition, your coprocessor gets integrated into the (Intel) CPU die, just like the intel 387sx/dx floating point unit or earlier generations of IO coprocessors. Hence a frantic strategic push always into raytracing, HPC, AI, etc.

In hindsight it looks visionary, but the paranoia is at least as much a driving factor.

It’s now, for now, incredibly lucrative and the mastery of hardware parallelism may last as a moat for Nvidia, but I can sympathize at SGI not wanting to squeeze themselves back into a coprocessor-only business model. It’s a scary prospect. We can see only with hindsight it could have worked. Both business and technical leadership had such huge success diversifying their graphics hardware expertise into full system skills that they couldn’t refocus. They would have had to die in order to live again. Or perhaps slightly less exaggerated, to survive they would have to forsake/kill off a huge part of what they had become.
You haven't even removed "index.php" from the permalink from your WP Settings.
> You can only do that if you have cornered the market.

Which happens over and over because we humans are flawed, thus every system we create will also be flawed.

If capitalisms only works in theory then it is as good as communism.
It’s an evolving economics problem. Very few (I mean super extremely few) people really know how the web UI works without a framework and there is no incentive to know this because the more skilled a person becomes in that regard the less employable they become.

As a 15 year former JavaScript developer I can see that things are changing in this regard with hiring slowing down, but there remains close to no incentive to be good at any of this. Even if you are good at this and defy all extreme expectations by finding a job that values bleeding edge performance over hiring you won’t be paid any more for the rarity of your talent/experience so why bother?
> Russia is in full scale climate denial

There is a big tragedy in the west - we have no understanding of other countries. Despite having millions of immigrants from those other countries.

Could we maybe interview some of them to find out what’s going on?

For example - we’ve been in Afghanistan for 20 years. Britain has thousands of refugees from Afghanistan.

When the time came to evacuate people from Afghanistan, the British team that was in charge of planning, selecting and prioritising evacuees had zero people from Afghanistan, zero people who’ve been to Afghanistan and zero knowledge of how things work there!

Report spells it out: https://publications.parliament.uk/pa/cm5803/cmselect/cmdfen...

In case of Russia on climate change, it’s a laggard-follower of European technology and practices. Vodka is produced and bottled with Italian machinery, artillery for war in ukraine is still produced on German CNC machines, Russian tanks had French thermal scopes, and cool dudes drive a BMW.

When all European countries go renewable, after a few years lag, Russia will do the same. The cool dude will buy an electric BMW when all BMWs are electric, etc.

Given that Russia has massive resources and farmland locked away in permafrost, they have been dealt a good hand if climate change is not addressed. So they have no urgency to act, but they are not a malicious actor on this specific issue.
It's damn near impossible to work as an independent creator of books, music, art, streaming videos of all kinds, and so on, without a social media presence.

Many people do not enjoy SM at all, but the alternative is zero income.
Invalid cert, not https.
What do you mean by bazelisms? Is it akin to bashisms? :-)
I think most people would agree that rationally no amount of action by the Swiss Government is going to change the climate change experienced by the claimants. But I also concede that line of thinking ends in never doing anything. It's a fair position to say not doing your share is meaningful.

Personally I don't agree with the ECHR's definitions/breadth of remit, and I suspect that I am not alone. I believe it's the sort of ruling that devalues what should be an important control mechanism on protecting people from serious abuse. But, just my pov and others are free to vote in line with theirs!