skysight-inc/HackerNews huggingface dataset:
Can you explain why the U.S. will experience hyperinflation while other countries that have much higher debt to gdp ratios haven’t experienced hyperinflation? When will the U.S. experience this hyperinflation? I’ve heard this prediction for the last 40 years. How much longer must I wait to experience it?

If you are absolutely certain that hyperinflation will occur then you should borrow as much money as possible and use it to buy assets such as land and housing.
⬅ here, you forgot your closing tag
Converting C437 to XNA Spritesheets with Zig and Raylib
I started with a CPU and then built everything else around it. Using something like a Z80 just doesn't seem fun for me.
I don't think you understand what I mean. I'm not talking about cracking a key. I'm talking about creating a key from seed 0, then 1, then 2, etc. etc., until you have an index of every possible key.

Then, since you know every possible public key ... it's just a matter of looking up its private key in the index.

HOWEVER, I was off by a few magnitudes on how big the seed numbers get. If you are curious, this is basically the biggest seed number:

904,625,697,166,532,776,746,648,320,380,374,280,100,293,470,930,272,690,489,102,837,043,110,636,675 ...

or 904 trevigintillion (thanks wolfram alpha!)

So, yeah, it's not happening anytime soon, though it doesn't invalidate the premise, just changes the timeline to unachievable with current technology. Technology could improve to the point where it is feasible in a human lifetime.
In Germany this has already been litigated.
The government lost that case as well back in 2021:
https://www.bundesverfassungsgericht.de/SharedDocs/Pressemit...
No, it is that and the attitude is not old but rather encoded in every damn EULA under the sun ..
Last year, China built roughly 4 times more renewables than coal. They argue that they build coal because renewables are unreliable, but surprisingly it was hydro what was unreliable (thanks to droughts brought by climate change), not solar and wind, as people are led to believe. Personally, I think China still building coal is organizational inertia more than anything.

Anyway, there was an article here that also claimed 80% energy investments in the U.S. are renewables. Isn't this 4:1 ratio interesting? Doesn't this tell you that (despite the noise), both China and US are on a very similar path?
I can't really follow your arguments.

Wether the actions have been approved by a democratic majority seems orthogonal to whether human rights have been violated (if a government performs torture on some humans it would still be a human rights issue even if there's democratic support for it).

The fact that this would imply that other countries, such as India and China, also would have similar human rights issues doesn't seem very strange either - several countries often violate human rights in the same way.

Not saying I agree with the legal case, but your explanations of why it's "insane" doesn't really hold water to me.
Pro tip: If you pinch to zoom it should zoom the entire page including the image, instead of increasing the size of elements inside the html as a Cmd+ does. (MacOS, any browser)
> I'm simply saying that for the restricted case of safety semantics alone, this deduction can be done.

And I'm saying it can't be done, at least not in a fundamentally less tedious and hard way than Frama-C.

> Yes, it is impossible to deduce semantic equivalence of arbitrary functions. The question is whether it is possible to deduce that annotations capture the safety semantics of the body.

It isn't in general.

> If you have a concrete example it would be helpful here – but for the restricted concerns of safety, not for arbitrary constructs.

Safety is not a "restricted concern": You can for every property P easily construct a function that is safe if and only if property P holds. I'll be using Python because this example (which I like) requires arbitrary size integers. You could obviously also implement this in C, you'd just need to implement arbitrary size integers (or use a library that implements them):

def collatz(x):
if x % 2 == 0:
return x // 2
return x * 3 + 1

def cycle(f, x):
tortoise = f(x)
hare = f(f(x))

while tortoise != hare:
tortoise = f(tortoise)
hare = f(f(hare))

return hare

buffer = [0, 0, 0, 0, 0]
x = int(input())
if x >= 1:
collatz_cycle_element = cycle(collatz, x)
print(buffer[collatz_cycle_element]) # this is safe (or is it?)

This takes as an input an arbitrary positive integer x, searches for a cycle in the Collatz sequence beginning with that number and returns an arbitrary element of that cycle. It is conjectured that for every positive integer this cycle will be 4 -> 2 -> 1 -> 4 -> ... and thus this program is safe if and only if the Collatz conjecture holds.

Another example would be a C program that generates random planar graphs, computes their chromatic numbers and then collects statistics about them in an `int statistics[5]`:

#include <stdio.h>

void main() {
int statistics[5] = {0};

for(int i = 0; i < 1000; i++) {
struct graph g = generate_random_planar_graph();
int chromatic_number = compute_chromatic_number(g);
statistics[chromatic_number] += 1;
}

printf("%i, %i, %i, %i", statistics[1], statistics[2], statistics[3], statistics[4]);
}

The safety of this program requires you to prove that `generate_random_planar_graph` always returns a planar graph, that `compute_chromatic_number` correctly identifies the chromatic number and that the chromatic number of every planar graph is less than 5.
The fact that a pure thing never existed doesn’t mean that something more pure didn’t / can’t exist.

That’s also not what late stage capitalism, the term, generally refers to.

If a key part of capitalism is competition, then clearly whatever we have now is not very capitalist. The primary reason this term (late stage capitalism) is used is because people lack knowledge about economic history and can’t seem to operate on anything more complex than good-bad, capitalist-communist, private-public.
Generative AI Accelerator: The Innovative Hailo-10H M.2 Module
It was great until someone really sketchy sat across from you. I remember riding during the pandemic and some guy sat across from me and started smoking crack. I guess that could happen with any seating arrangement, but it was particularly uncomfortable sitting right across from me and facing me.

That’s a bigger problem than seating arrangement I guess.
Huh, but what I’m saying is it’s predatory to target male psychology and sexuality.
To play devil's advocate, it seems fair that a human has the right to not have their air poisoned, or to have a future on the planet for their kids. No idea if that matches any of its articles though.

However, the European Convention of Human Rights was a decision we as a larger society made, as a deliberate safe-guard against having other decisions (or lack thereof) conflict with what we considered the basic requirements for a decent human life. Unless the convention is abandoned, no society that agreed to it can decide (including inaction through indecision!) on something that conflicts with it.
Trusting the maintainer als means trusting that they won't hand over the project to someone untrustworthy. It is the maintainers responsibility to honor that trust if they want their software to be used in the first place.
There is, afaik, exactly one other American with my first and last name. Fortunately, we're both reasonably upstanding citizens, so the scenario you mention has not come up.
Maybe it is insane but the prisoners dilemma we face regarding climate inaction is also insane. I don't have a solution to propose but can appreciate the kafkaesque nightmare we've barrelled in to.
Yes they'll unfortunately continue to run freight trains on those tracks. Also the corridor down to Gilroy from Tamien won't be electrified.
That may be the case, but it’s not capitalism as defined by any classical theorist or economist. As in, the people that actually defined the term. What you’re describing is more like profit-maximizing corporatism. Classical capitalist theory explicitly puts competition as the solution to this.
So this would be a worthwhile case if a youthful physicist was bringing the complaint?

As per the article, they are arguing that seniors are particularly affected by climate change due to heat waves, and these are causing deaths.

The 2022 heatwaves had hundreds of deaths attributed to climate change in Switzerland: https://lenews.ch/2023/07/08/climate-change-behind-60-percen...
The cost of the electricity provided is negligible compared to the value of providing such a readily accessible and geographically available changing network. I wouldn't be surprised if the metered cost of the electricity itself isn't even factored in to the bill when charging for the service.

As others said, I don't think the added weight of a drone would be a concern but i have no experience here.
I live in the UK, where we can only aspire to technofeudalism, being stuck in medievofeudalism, where most of the land is still owned by the feudal aristocracy, i.e. parasites descended from thugs, and most people don't own the land beneath their homes, being effectively serfs to their freeholders.
Thanks! One significant reason why the app works as well as it does is OmniQuant quantization. It takes a few hours (depending on the size of the model) to quantize the model with OmniQuant, using an NVIDIA GPU. Using RTN quantized models from mlx-community or perhaps TheBloke on HF, would nullify that advantage.

OTOH, OmniQuant is open source and if users can quantize their own models with it, they should be able to side load it. I think this is something that we can add in the near future.
You are thinking around it the wrong way round

If you lead on climate change, you export solutions to other countries - for example how china is exporting Solar panels. We could have been exporting power grid planning expertise, wind turbine tech, etc. unfortunately now that ship has sailed as China has invested billions and were chose to dither and delay. That’s the price of fucking about
That's not at all what this is about.

Climate immutability is not a human right, but if something is shown to cause harm, then you might reasonably expect humanity to limit this harm.
Try building a house in germany.

We've been arguing with authorities, send hundreds (not an exaggeration) of papers to different involved parties, but still, one and a half year after purchasing a bit of real estate, we are not even allowed to start building. This includes dozens of funny anecdotes, an example would be changed rules for the width of your fence gate - meaning that you have to scrap the old one and have someone build a completely new one because it was 3cm (!) to narrow. Of course, it would take weeks after applying for the building license before any of their concerns would be communicated to us.

I don't think digitalization would solve this. If you have a shitty process and digitalize it, you have a shitty digital process. I do think arbitrariness of the people involved at the government offices and the time it takes them to react is way more of an issue.

If you just give me a bunch of paper to fill in, with actually understandable instructions, that's fine. Digitalization would save me a day here because I'd get it directly, but that doesn't really help if it takes six weeks for the clerk to actually react.
Read articles like books – with Flyleaf
Flyleaf is the read-it-later app that gives you a truly unique reading experience: flip through your articles like you would read a book.

(Disclosure: I'm the developer of Flyleaf, but did not write this article.)
In every democracy there are people who are not satisfied with referendum results. Most come to terms with it because they still have confidence in the democratic system, and a few, often driven by lobyists, try instead to impose their will on the majority through some kind of bureaucratic trickery. In this case, it is interesting to see who is actually behind this: https://www.greenpeace.ch/de/erkunden/klima/klimagerechtigke...
>So the human rights violation is essentially being committed by the population themselves.

While I too find it somewhat weird that the ECHR is involved in climate regulation, I find the appeal to majority/democracy to be missing the point of constitutional legal systems, and European Convention on Human Rights is a sort of a constitution. Without independent judiciary that is not subject to the pressures by the majority (ideally), even democracy itself wouldn't survive, not to mention the rights of the minority, say people who will be displaced or will lose their livelihood due to the climate change (albeit Switzerland should be one of the countries least negative affected by the climate change).
Keep in mind, the thing that matters most for tigerbeetle’s speed is they are domain specific. They know exactly upfront how data looks like. They don’t have to be general purpose.

The style of programming does work for general purpose computing, but their requirements enable a significant % of “orders of magnitude faster than postgress”.
Sorry for editing the title but it was really too clickbait
> There is an international court of human rights.

There isn't. There is the ICJ, which handles disputes between states, and the ICC, which handles war crimes etc. and definitely isn't going to judge climate legislation.
Democracies are more than capable of passing laws that violate the rights of minorities.
> 1. No biases. Following LLaMA, PaLM, and others, we exclude all bias terms from our
architecture in order to improve training stability.

What does this mean? What is a "bias term"?
What does it matter? The laws upon which this ruling was based do not, and should not, care for current political trends.
This is a European re-run of the 2019 Dutch Urgenda trial on the same subject [1] and it is definitely not a good thing no matter whether you believe in a "climate catastrophe" or not. These types of trials are used as a run-around for the - dare I use the term 'democratic' - political process to get policies enacted which are only supported by a fraction of the electorate.

Thus far this tactic has been used by "progressives" for "progressive" causes so critics of the process tends to be labelled "right-wing" or some form of *-ist or *-denier so as to make them untouchable. Those who support this type of legal strong-arming of the political process would do well to contemplate how this same tactic can be used by their political opponents to force their governments to enact policies they oppose.

[1] https://www.urgenda.nl/en/themas/climate-case/
Also in my mind when talking about developing and middle-income nations what level of prosperity is human right? And what level of emissions resulting in climate change is acceptable? As surely denying prosperity is more against human rights than delaying climate change...
Tabelog was a good source for finding tea rooms the last time I visited Japan.
I imagine he would argue that such type of malls are a bit like feudal lords, he's otherwise clearly assuming malls have fixed rent.

The missing part, I think, is the monopolistic nature of big tech. In some domains, you can't do business anymore if you're not on one or most of meta's networks. You can't publish an app anymore if you don't pay rent to google or apple. The technoserf has no choice but to voluntarily share profits with his feudal lord.
I recommend that anyone with these views should test them in the real world.

For example, by going to an Amazon warehouse and telling the people who work there that their wretched conditions are the result of government overreach.
That would be really neat. I’d happily leave my server (RTX3090) or MacBook chugging away for a few hours to get the models I’d like on my phone. Thanks for your reply!
It is in fact "new era" of AI generated garbage,

https://notepad.plus/best-alternatives-to-notepad-for-mac-os...

this article recommends Atom, which means the person who maintains this site doesn't have a clue.

<meta property="article:published_time" content="2023-05-30T01:12:52+00:00" />
at the Apple Inc. Sessions Court
While sciter seems nice, their

> In almost 10 years, Sciter UI engine has become the secret weapon of success for some of the most prominent antivirus products on the market: Norton Antivirus and Internet Security, Comodo Internet Security, ESET Antivirus, BitDefender Antivirus, and others. The use of HTML/CSS has allowed their UI to stay in touch with modern GUI trends throughout all these years, and will continue to well into the future.

Made me laugh a bit, I usually find antivirus softwares out of touch with good design and really impractical due to that.
Wild strawberries are absolutely wonderful compared to cultivars you can buy.
Sure, again, I think we should do better! I am merely wondering about the legal viewpoint on this because of causal connections between Swiss actions and the outcome for Swiss citizens, which are a lot more murky here than if e.g. our government would randomly imprison dissenters or something like that.
I completely agree.

I quit FB long ago.
If people would vote for what is good for them, the outcomes would look quote different. My father says he votes one party because of the financial aspect and laughs at me for voting a different party. The most recent election's plans showed, when vetted by an independent buro (I think it's a government agency), that this party's plans would be much better for basically every income group, and equally good for the top 10%, compared to the party my dad votes for. Do you think that sways him in the slightest? He's a well-educated high-income individual that reads a lot and stays current, who I'd have expected to have rational voting behavior if anyone has that.

Most people vote for parties whose plans don't match what they say they'll accomplish, such as lower taxes or whatever else they believe will be good for them. A greater percentage of naturalised immigrants than those with local heritage voting for the one party wanting to stop immigration and abolish religious freedoms, that sort of thing.

If someone has a better study on this, I'd be much interested, but that a court (in applying fundamental rights made up by people whose elected job it is to care for a country) disagrees with the average person on the street is not surprising to me
This finger pointing is absolutely ridiculous!

China has installed more renewables than the rest of the world combined. They will have zero emissions grid before US or even Western European countries like Britain. Most nuclear reactors in the world are being built in China as well.

What will we do when China produces all the world’s batteries, solar panels and electric cars? Will we slide into irrelevance?

Why am I asking, we already know what we will do! EU has moved to introduce tariffs on Chinese electric cars because they are too cheap! Our course of action is economically suicidal

https://www.bloomberg.com/news/articles/2024-03-06/eu-moves-...
Only if you limit yourself to a surface level reading of those two facts and don't think about them.

First of all, "Swiss voters" didn't reject the law, a majority of Swiss voters did. That may sound like semantics but it means the group that brought this case was likely not or not entirely part of the group that rejected the law.

Secondly, this assumes anyone rejecting the law in question disagrees with this case or the ruling. That seems highly questionable.

The law had some flaws but was generally expected to be affirmed by the referendum as it had a majority support in opinion polls before the referendum. It looks like there were some climate activists who opposed it for being insufficient and there were some who argued it did not adequately protect people who had to commute by car (which might explain why it was supported less outside the metropolitan centers). But the biggest factor seems to have been a public campaign backed by industries opposed to it, spreading what HN likes to refer to as "FUD".
Remarkably. the chip isn't an Intel+SiFive chip as it was meant to be.

I wonder what happened.
Because the plaintiffs are Swiss. Who else should they sue? Similar cases have happened elsewhere, e.g. the Urgenda case in the Netherlands.

Pointing to the inaction of other countries as an excuse for one's own inaction is a weak argument. Good luck suing Russia. (They were actually a member of the Council of Europe until 2022, so this decision would have applied to them...)
I agree that the ruling is troubling - if we take the article on face
value.

It bothers me for the same reason that some people are dismayed by
attempts at compelled speech. Because it gets a problem ass backwards.

One cannot claim that inaction is a violation of human rights.

All of us have the right to just look at the world and throw our hands
up in the air, and cry, and say "I just don't know what to
do!". Climate change is a tragedy that makes the greatest people, the
most compassionate, motivated experts freeze in fear an inaction.

What is wrong and is a blatant violation of human rights in the face
of looming catastrophe is inhibiting or sabotaging action. For
example, the UK government has gone out of its way to spitefully
outlaw legitimate peaceful protest by environmentalists.

Complaining about inaction while failing to step up and defend rights
to action is hypocritical and a passive.
Yes, I agree. There will not be arms in arms carousing..

> The order-abiding nature of Germans collides with the people from country that are more used to bend the rules, so everyone is stressed and unhappy.

Ah, there is a bit of a cultural misunderstanding right there indeed. In Germany, what is not allowed is forbidden. You need a certain rigidity of mind to be able to think that way. In many other cultures, what is not forbidden is allowed. Meaning that a badly defined rule leaves lots of leeway for a bit of creative thinking. Those are two different worlds careening towards an inevitable collision course..
> There is an international court of human rights. How often was India found guilty there?

The International Criminal Court is not the European Court of Human Rights.

The ICC appears to be focused on crimes against humanity, and I'm not a lawyer so I'd be even worse than ChatGPT at figuring out if climate change would be under that banner.

India is neither a state party, nor a signatory, to the ICC, so (again, IANAL) I assume that means they can't be taken before it.

> When will India/China act?

They already are, because despite the memes the problem itself is directly relevant to both, and the solution happens to be a cheap export opportunity and soft power projection opportunity for one, and a subsidised cheap economy growth opportunity for the other.
Look into Milk-V Oasis, that has 16x P670 + 8x X280, V extension and overall interesting specs.
Towards the end is a link to a C compiler built for this project. https://github.com/imihajlow/ccpu-cc. Seems to have a linker and a libc as well. I have no real understanding of how complicated the hardware design part is but casually throwing a C compiler together is great.
Is it node that still limits all processes to 2gb or something by default? (I think their rationale was “it’s a v8 flag so we don’t touch it”)
Tried giving it a folder with a bunch of .pdfs, it takes soooo long to index them (and there's no progress bar or status indicator anywhere), and once I ask a question it's just stuck on "Dot is typing" for an hour. Maybe add an option to stream the output, at least I understand if it's doing something or not?
Ask HN: C/C++ developer wanting to learn efficient Python
Hey,

I have been writing python in my everyday work for the last 5 years or so. However, I never took a course on python. I want to prepare for some upcoming job interviews where I will be programming in python. How can I improve my ability to write data structure/algo code in python? I want to gain a similar understanding of what is "fast" in C++ (std::move, copy elison, etc.), but with python. Any suggested resources?