MurphyA/hacker-news huggingface dataset:
by roenxi | 2025-09-17 07:51:47+00:00
I doubt any foreign policy aid would get pulled from Israel. Israel doesn't need to be taking actions perceived as genocidal. If the US wasn't offering full and unconditional support they'd just have to go about their foreign policy aims in a more palatable way.

Isreal's approach to foreign policy doesn't do them any favours, I've lost count of the number of negotiators they've taken out this year. The US would be helping them by forcing them to conform a bit more to global norms, if they upset less people and try some more cooperative strategies we might see progress on peace in the region. The fact that the Democrats failed to find a frame like that to prevent what appears, superficially, to be a genocide really goes to the heart of what GoatInGrey was pointing at.
by 0x20cowboy | 2025-09-17 07:51:47+00:00
> LLMs are PhD-level reasoners in math and science, yet they fail at children's puzzles. How is this possible?

Because they are not.

Pattern matching questions on a contrived test is not the same thing as understanding or reasoning.

It’s the same reason why most of the people who pass your leetcode tests don’t actually know how to build anything real. They are taught to the test not taught to reality.
by dotancohen | 2025-09-17 07:53:30+00:00
> changed the ethnic composition of the Palestine region from 1-2% in the 1840s up to 30% in the 1940s.

That was the Ottomans who made that change. After losing a war to Prussia, to collect more taxes in 1856 they openly encouraged migration of all peoples - Jews, Christians, Muslims alike - to the Levant area. By the 1870s Jerusalem was Jewish majority, half a century before the British Mandate era began and even before the First Aliyah.

https://en.m.wikipedia.org/wiki/Demographic_history_of_Jerus...
by gambiting | 2025-09-17 07:54:55+00:00
I don't know if anyone cares, is the problem. I used to have a £7000 Dell workstation laptop, specced to the moon - i9, 3080Ti, 128GB of ram.....that kind of thing.

The laptop was absolutely useless at playing games, because it would throttle itself thermally after about 30 seconds. Which was ironic given that I used to work at a games development company and the ability to play games was actually a core feature of the product. I then used to have a Razer Blade 15 which wasn't as bad but would also eventually start throttling hard - just inadequate cooling imho.

Funnily enough I have a much cheaper MSI gaming laptop now with an i7 and a 3070Ti and that never throttles, I can run games without it slowing down. But clearly the cooling system in it is massively overbuilt, which is great.
by MountainTheme12 | 2025-09-17 07:54:58+00:00
A long time ago I did some contract work writing firmware for a major hardware manufacturer in Taipei. I quickly learned to ignore bugs, because reporting them would get me reprimanded for doing things other than the task I was assigned. Even worse, the hardware team saw the firmware/driver/software devs as lowly servants and dismissed any feedback outright.

I am not surprised by this story.
by throwawayqqq11 | 2025-09-17 07:55:47+00:00
> 18 year causality stretch without a single critical remark about israels constant desintegration of palestinian civic life.

Good job. The feat of not blaming the obvious aggressor is something very few accomplish.

Israel has control over water, electricty, gas, road, "law enforcement", etc. and used it for decades to push palestinians out of their homes. The last violent events are a result of long oppression and netanjahu establishing a theocracy. Only focusing on extremes and make conclusions on such a basis is something dumb people do, dont you agree? Israel is clearly to blame, when you know a little more nuanced history and consider its long time dominant position in that conflict.

> international community has given such a morale boost to Hamas

By ignoring israels obvious long running now openly genocidal master plan, you are doing the same.
by esperent | 2025-09-17 07:56:00+00:00
> The original author is not bound by any licence.

Yes, but this is only true if nobody else ever contributes to the software. Once the project has multiple contributors, each of these people are copyright holders of whatever they contributed, and they are the licensor for their parts of the code. So the original author is also held to the terms of the license for all contributed code.
by imiric | 2025-09-17 07:56:10+00:00
Developer motivation is important, but the choice of language shouldn't be a primary factor in that. Being passionate about the domain and solving a problem for users should be the primary motivators. Otherwise it signals that once the developer gets bored of their chosen stack, which might include Rust and Elixir (omg BEAAAMM!!!) a few years from now, they will be compelled to abandon the project unless they're allowed to experiment with some other shiny new tech.

But everyone is ignoring the bigger picture here: this project has been written in 5 different languages over the course of its existence, including reversing to a previously used language. That is an insane and unprecedented statistic. Changing a language even once is rarely done, let alone this many times.

> Just because they don't align with your preferences doesn't make them shoddy.

These are not my preferences. Avoiding total rewrites, especially in another language, is a core principle of software engineering, not unlike, I don't know... using testing and version control. Developers may choose to disregard it, but at the very least they should be challenged for it. The fact this person hasn't for such a long time is another signal that this project is mismanaged.

In any case, I'm done defending what would be an uncontroversial opinion in any other setting.
by testdelacc1 | 2025-09-17 07:56:19+00:00
Yeah it’ll be great when it happens. But work on the SMRs was only approved in June this year. It will take 10+ years of development and construction according to their current estimates. Every nuclear project usually takes twice as long and thrice as costly. So we could see those SMRs start to come online in like 2040.

The chips in these data centres would have been EOL-d by then.
by basisword | 2025-09-17 07:56:30+00:00
I can see how this would be beneficial for you. But I also get the feeling that those people would rather you can’t remember their name than have you doing facial recognition on them. It’s one of those solutions to social problems that is so unsocial it just changes the problem. Instead of “that’s the guy that always forgets my name” it becomes “that’s the creep with the AI glasses!” (No offence). One of those is much more preferable.
by synapse42 | 2025-09-17 07:56:45+00:00
And still we have millions dying for this 100% curable disease. Which is getting even worse since the idiots currently in charge of the US government have decided to axe funding for USAID and other programs that are instrumental. But hey at least millionaires are getting a tax break, AI companies can do whatever the F they want and crypto bro's can keep partying so it's well worth it.
by SiempreViernes | 2025-09-17 07:58:50+00:00
Maybe a plausible argument if Ukraine had stopped Russian gas flowing through it's territory at the start of the war and there where flows through NS at the time.

But actually, by the time of the bombing the Russian gas was only flowing through Ukrainian pipelines. So Ukraine was ensuring "income to the Russian war machine", while Nord Stream was just costing them money; at most it could have been used as collateral in a loan.
by kergonath | 2025-09-17 07:58:52+00:00
That is a straw man. The criterion is deliberate targeting of civilian populations. The US is known for having occasionally bombed a wedding party, but in Gaza, 80% of the victims were civilians. That’s a war crime and closer to WWII extermination campaigns than any modern military conflict involving western militaries. We are not talking about collateral damage from a drone strike, that’s systematic levelling of entire cities. You have to go back to things like Dresden and the Tokyo firebombings to find western equivalents.

Hospitals and journalists were deliberately bombed. That’s a war crime and the closest example of a western military doing it is Russia in Ukraine.

Emergency shelters and food distribution centres were deliberately targeted. That’s a war crime and again, there is no western equivalent.

Then there’s the pogroms on the West Bank.

When your argument is that a country’s behaviour is not as bad as ethnically cleansing in some African countries or WWII, your argument is really desperate.
by ProllyInfamous | 2025-09-17 07:59:35+00:00
Multisignature wallets are the answer to this. Also helps spendthrifts (to require group concensus for bitcoin redemption).

Of course, this doesn't help if you don't have trusted associates — and can be (even more) dangerous with multiple people responsible for crypto custody.

Also helps if you have offline ("cold wallet") storage, which would require hours to importPrivKey and redeem. Slow them down...
by Ekaros | 2025-09-17 08:00:05+00:00
As gamer a poor performance is something I have never felt I need to fill ticket for. And I think I am with majority. The developers should bloody well know if their game runs poorly for most users.

There is little expectations for such tickets to do anything. Unless you have some very specific problem which no one else has. And even then... I would be doubtful of them doing anything.
by jandrewrogers | 2025-09-17 08:00:20+00:00
Database kernels have some of the strictest resource behavior constraints of all software. Every one I have worked on in vaguely recent memory has managed memory. There is no dynamic allocation from the OS. Many invariants important to databases rely on strict control of resource behavior. An enormous amount of optimization is dependent on this, so performance-engineered systems generally don’t have issues with memory safety.

Modern database kernels are memory-bandwidth bound. Micro-managing the memory is a core mechanic as a consequence. It is difficult to micro-manage memory with extreme efficiency if it isn’t implicitly safe. Companies routinely run formal model checkers like TLA+ on these implementations. It isn’t a rando spaffing C++ code.

I’ve used PostgreSQL a lot but no one thinks of it as highly optimized.
by Sammi | 2025-09-17 08:00:37+00:00
Are you trying to argue the difference between keeping something offline vs taking it offline? Cause it's a weak argument.

It's like you're bending over backwards to make arguments in the direction you already decided you want it to go. Like you're trying to force a square peg into a round hole. If you already decided what you want to think then why do you need arguments?
by mike_hearn | 2025-09-17 08:02:24+00:00
Number of objects launched into orbit by country, both cumulative and annual:

1. USA

2. Russia

3. China

4. Britain

https://ourworldindata.org/grapher/cumulative-number-of-obje...

Not bad for a small country that's never been involved in a space race and which stopped trying to be a global Great Power before the space age even started.

I'm from Britain and can't think of anyone I know who has a chip on their shoulder about technology, largely because most of us either went to work for successful American firms the moment we graduated, or in the case of my brother, made a successful tech startup, grew it to be a profitable business and then sold it for a large sum of money (to the Americans again). Many of us have managed to achieve great life success by taking part in the tech industry, and were rewarded with small ownership stakes in those firms as a result. The fact that we didn't found those companies is a pity and a genuine source of relative weakness, but the reality is that the internet makes for global markets in which for any given product category there can only be a few winners. People can't really handle more than about four or five brands vying for attention simultaneously, which means it's just not mentally possible for every country to have a successful tech company in every category. The places that managed to grow competitors to the big US success stories all relied on either language barriers or government interference.

As for the rest, note that the USA is holding onto chip manufacture by its fingernails right now, an obsession with green tech is exactly the reason there aren't many AI datacenters in the UK to begin with, and Britain birthed one of the world's top AI labs. Yes, owned by Google because only great powers can invest the sums required, but that's OK. The collaboration between Britain and America on AI has been superb nonetheless.

Don't get me wrong. The UK is in a terrible state right now, the result of decades of leftward drift after the 1980s that consistently prioritized everything except economic success. Just turning around the Titanic would take years even if the process were to start tomorrow, which it won't, and the cultural gap is real. But there are still some strong foundations there. A whole generation of Brits have learned what great companies look like by working for the Americans. That's not reflected in their politics yet because politics is in both countries dominated by the old, and currently revolves around the issue of mass immigration. Economic success is on the backburner for now. But it'll come back. And when it does, there will be people who are ready to lead.
by okanat | 2025-09-17 08:03:27+00:00
My comment is more of an answer to this

> You're gonna be dealing with issues involving "peaky" memory usage e.g. erroneously persistent references to objects

I use Rust in a company in a team who made the C++ -> Rust switch for many system services we provide on our embedded devices. I use Rust daily. I am aware that leaking is actually safe.
by aDyslecticCrow | 2025-09-17 08:03:29+00:00
I'm a bit skeptical. When used right; operator overloading is an elegant extension of a language. But all too often i feel they are a too powerful abstraction tool that can be abused to make a library utterly incomprehensible and make intuition about language syntax unreliable. I see this in c++ at times.

In particular if you've looked at linear algebra libraries that have two or three different multiplication operators (cross, dot, bitwise), if they commit to use functions from the start they end up faar more readable than any attempt to abuse operator overloading.

I prefer;

- DSL (domain specific language, especially for symbolic solving such as mathematica)

- Strings (That's just a DSL hiding in a parse() function, that can be called from a different language. Write the code as if its a DSL, but without pulling in a new tech stack)

- Functions, but preferable in a chain-able style. sym("a").add(1).eq(sym("b")).solve() is better than solve(eq(add(1,a),b))

I have seen operator overloading done right... but I've also cursed loudly at it done badly.

Rust in particular use up most symbols for other things (borrow checker takes alot of them, and "==" is forced to be consistent) so you end up with only "+ - * /" as overload-able. "+" and "-" being the least abused from my experience perhaps makes that a good compromise.
by zh3 | 2025-09-17 08:03:51+00:00
Similar to the Massive Attack gig that used facial recognition on the crowd - they put the captured faces (with labels against them) up on the big screens. Discussed a day or so ago on here:-

https://www.gadgetreview.com/massive-attack-turns-concert-in...

https://news.ycombinator.com/item?id=45255400
by mananaysiempre | 2025-09-17 08:04:05+00:00
The ACPI.SYS driver itself is not at fault here, it’s just a generic bytecode interpreter that’s the same in every Windows install. The problem lies with the bytecode—the “ACPI tables”—that the firmware of these specific devices feeds it.

There is nothing physically forcing it to run the code that’s stored in the motherboard flash, though; it could, say, use a patched version instead. The equivalent function is well-supported on Linux, because Linux uses a different interpreter (the reference one from Intel, in fact) and in general manages the hardware differently enough to regularly expose bugs in the ACPI code of manufacturers whose QC pass condition is “boots Windows” (all of them) and who can’t be bothered to fix bugs not affecting Windows (almost all of them).
by jbstack | 2025-09-17 08:04:22+00:00
So what? The fact that Hamas or its supporters produce fake anti-Israel propaganda doesn't mean that Israel isn't committing genocide. To suggest so is to engage in the fallacy of composition (https://en.wikipedia.org/wiki/Fallacy_of_composition):

(1) "Hamas produces a lot of fake anti-Israel propaganda" -> (2) "All anti-Israel evidence is fake" -> (3)"Israel is not committing genocide".

You can't reach conclusion (2) from (1).
by nakamoto_damacy | 2025-09-17 08:05:33+00:00
I used to shame PG for his elitist views. Now I celebrate his moral courage.

One man cannot fix everything.

Dear PG (I'm sure you don't read HN, but this is yet another echo),

As I said on X, your own platform (YCombinator) is still full of hateful bigots who would censor/downvote even the mildest form of speaking against the genocide. Proof: this comment being downvoted. Downvoting as a mechanism is akin to censorship. It's being abused.
by rekabis | 2025-09-17 08:05:58+00:00
> You could require people mail in their resume

That is supremely annoying for industries where applicants must average about 500+ submissions per successful job offer.

I ran across two of those last year. Great-looking jobs, too. In a fit of pique, I submitted to one with everything typewritten using an Olympia SG3, and for the other I wrote out everything longhand. With a fountain pen. In cursive. It took me nearly 3 days. I should have scanned it in for posterity, because it looked like a government treaty from the 1890s. Gorgeous, but doubtful that anyone under the age of 45 could even read it, and almost certainly that anyone under the age of 35 couldn’t. I even did a wax seal on the back fold of the envelope.

Obviously, neither produced any sort of a response, because mail-in Resumes are typical of companies that are trying to justify foreign workers. If the barriers to application are stupidly high, then of course they won’t have any domestic applications and will need to find foreign (and much cheaper) applicants.
by ricardobeat | 2025-09-17 08:06:00+00:00
We got lockfiles in 2016 (yarn) and 2017 (npm), before Go, Ruby, and others; I believe python is just getting a lockfile standard approved now.

You could already specify exact versions in your package.json, same as a Gemfile, but reality is that specifying dependencies by major version or “*” was considered best practice, to always have the latest security updates. Separating version ranges from the lock files, and requiring explicit upgrades was a change in that mindset – and mostly driven by containerization rather than security or dev experience.
by mutkach | 2025-09-17 08:06:43+00:00
They seem to be betting on multiple things happening at once - as indicated by recent projections by their CFO, following Oracle's own insane projections. They are betting on demand rising exponentially and somehow keeping up with it using a consistent monetization model - which is not there yet. I am not a finance person, but I wish more people with qualifications - and hopefully unaffiliated with any party - scrutinized all those claims and projections.
by sirwhinesalot | 2025-09-17 08:06:56+00:00
It has to do with the algorithm Z3 uses to do optimization I think (there are different ones).

It works in a "bottom-up" manner, first giving the minimization goal its lowest possible value and then it tries to "work its way up" to something satisfiable.

So in this case there's something like:

goal = c1 + c2 + c3 minimize goal

(even if you write minimize (c1 + c2 + c3), it's still creating that goal variable internally, so to speak)

It now wants to give goal the lowest possible value it can assign it, even if not satisfiable, to start the process. It looks at the bounds of c1, c2 and c3 to determine this, and they're all -infinity.

The lowest possible value of goal is -infinity, which the optimizer has no idea what to do with, and just basically gives up. When used as an application, Z3 will tell you something's wrong by spitting this out in the terminal:

(+ c1 c2 c3) |-> (* (- 1) oo)

A different optimization algorithm, like one that works "top-down" (find the first satisfiable assignment, then make it better) would actually be able to converge. I think OptiMathSAT would be able to handle it because it also does top-down reasoning for this.

CP solvers and MIP solvers all enforce variable bounds so they don't have this issue.
by lloeki | 2025-09-17 08:08:01+00:00
The problem is that baseband or whatever drivers are made in kernel trees that are essentially forks of the kernel at a certain point in time.

This means that any fix needs to be backported to that special tree, irrespective of whether the Broadcom code is impacted, which may prove challenging when you end up having not just one but many trees, each at slightly different levels of outdatedness.

The approach clearly does not scale.

The solution would be for Broadcom to be diligent and forward port their tree to current mainline or current LTS at a minimum but they won't do that.

See how the RPi kernel is generally stuck at a special old version (e.g 6.6 for pi4, which is quite reasonably a LTS but then there's 6.12 as LTS already)
by impossiblefork | 2025-09-17 08:08:02+00:00
The Wikipedia article doesn't really support your view that they emigrate to Israel:

>In 2007, the year Hamas took over Gaza, the Gazan Christian population was at 3,000.[5][33] Israel's subsequent blockade of the territory accelerated the emigration of Christians, with many going to the West Bank, the United States, Canada, or elsewhere in the Arab world.[5]

I think they don't. I think it's as states, that they either emigrate to the West Bank or go far abroad.'

There are extreme efforts in Israel to push Christians out of certain neighbourhoods, for example, in Jerusalem, where people have been going after the Armenians.
by digitalPhonix | 2025-09-17 08:09:04+00:00
> However if I may raise my counter point I like to have a rule that C++ should be written mostly as if you were writing C as much as possible until you need some of it's additional features and complexities.

How do you define “need” for extra features? C and C++ can fundamentally both do the same thing so if you’re going to write C style C++, why not just write C and avoid all of C++’s foot guns?