MurphyA/hacker-news huggingface dataset:
by dghlsakjg | 2025-09-20 19:24:17+00:00
The data you provided contrasts Teslas (exclusively touch screens) against all other cars (many of which also have touch screens).

It doesn’t even pretend to control for other relevant variables, and makes precisely no assertions about touch screens vs. non touch screens.

All it “proves” is that riding a mile in a random Tesla is safer than riding a mile in a randomly chosen non-Tesla.

Why yes, any Tesla is likely safer than my 1998 Lexus ES300 in a variety of ways. No, that doesn’t mean that the touchscreen is what makes it safe.
by WarOnPrivacy | 2025-09-20 19:24:25+00:00
Growing up in the 90s, television was a different experience. You turned on the TV, and whatever was playing at that moment would become your entertainment. Strangely enough, I miss that feeling of having something selected for me, something I cannot influence.

I grew up a few decades before and I lack the author's nostalgia. I think some of that is because my exposure to OTA TV was much longer. Some was because I missed TV's first Golden Age and TV trended toward awful afterward - with some exceptions (Taxi & 1980s NBC Thru night are 2). I never had cable so I can't factor that in.

Between having control over what I watch and some of the absolutely stellar content that's come out in the last generation, I've no nostalgia for OTA TV of yore. I really like what I have.
by rcxdude | 2025-09-20 19:24:34+00:00
I suspect the majority of developers never even learnt as such. Cross-compilation is almost always a second-class citizen and I never expect it to work correctly on an external project. Linux distros have given up, with fedora even insisting on running compilation on the real target hardware for platforms like the raspberry pi, which is kind of insane, and as a result basically no-one puts in the effort to make it work.
by mulmen | 2025-09-20 19:24:55+00:00
Capitalism is an economic system. It’s not a system of government. The government exists to solve the problems the economic system can’t. I think it’s dangerous to apply corporate management practices to the system that literally governs such systems.

How do you know what can be rebuilt better? If you can identify these systems why can’t you modify them? If destruction is constructive don’t you have to concede that whatever you build next also deserves destruction? And if so why build it at all?

If you can’t articulate specific failures and propose solutions now then why would you be able to post-destruction?

What properties make a post-Soviet system worthy of keeping? Why shouldn’t those systems also be constructively destroyed? Why should we apply constructive destruction to non-Soviet systems?

If your entire plan is to break things how do you ever build? What philosophy guides your rebuilding process?
by wooptoo | 2025-09-20 19:25:02+00:00
Systemd hardening is great, but each service needs its own bespoke config and that takes a bit of time and trial & error. Here's the override I've been using for Jellyfin: https://gist.github.com/radupotop/61d59052ff0a81cc5a32c92b3b...

Some references:

- https://docs.arbitrary.ch/security/systemd.html

- https://gist.github.com/ageis/f5595e59b1cddb1513d1b425a323db...
by leshokunin | 2025-09-20 19:25:02+00:00
I don’t know that I’ve seen any product due quite the same thing yet. Like you said the space is pretty new and most of the other LLMs that I’ve seen tend to be about doing research. This seems to be the only one that’s really focused on just researching current documents you upload and giving you an interface to explore that. I don’t think you will take too long for new tools to come, but it’s too early.
by seadan83 | 2025-09-20 19:25:23+00:00
It's worse than that. Demanding that the job creators and company growers be taxed or stay out. If a team is half H1Bs, it is not because there were Americans waiting for those jobs. These are irreplaceable people (if they could be replaced to not deal with H1B nightmares, companies would readily do so). So, the big irony is these people are job creators.
by pessimizer | 2025-09-20 19:25:54+00:00
You don't understand. Everybody who doesn't like the things I like is the same: bad and stupid. Or maybe you do understand, because suddenly Wayland came up, and since you personally are annoyed by it, now this style of argument is "gaslighting."

It's not "gaslighting" it's just name-calling and argument through insinuation about other people's characters, rather than substance. It's not even ad hominem, because you assume people are arguing in bad faith because of the positions they've taken, not because you know a thing about them.
by throwaway74354 | 2025-09-20 19:26:17+00:00
Phone UI paradigm isn't as easy as "Let's just scale down the Desktop/Tablet applications". In case of Sailfish OS development history, migration from clunky, but closer to Desktop, Hildon framework of Maemo 5 to purpose-built Qt applications of Maemo/MeeGo Harmattan was obvious quality boost. Same with webOS and UBports: app ecosystem starting from scratch within their corresponding "DE"s. If convergence-style cross-device applications were somewhat easily achievable, that would've happened in the early 2010s (Windows Phone / Windows RT? Ubuntu Touch getting more attention from investors?). It's the same story why Android Tablets suck and iPadOS doesn't, but in other direction.

And/or, it's a simple matter of time/money being spent on streamlining the experience. It's not like Sailfish OS is perfect (Qt6 migration is way overdue), but Jolla has already figured out lots of integration details which will become teething problems for Droidian and such. Including, but not limited to VoLTE support.
by yibg | 2025-09-20 19:28:56+00:00
I understand. I'm not doing a good job communicating my position. I'm in the camp you're describing: I've historically been complaining about the H1B program and how it's run, I'm also pro H1B now after this announcement like you say.

To elaborate, I'm not pro or anti H1B per se. I'm for bringing in skilled immigrates with a reasonable qualification criteria. I agree that H1B has been abused in the past and should be reformed. I'm ALSO against just outright killing the H1B program without a replacement, which is what this EO seems to be trying to do. It's not because it's trump did it, it's because the of the chaos and confusion of this rollout (which I think is likely intentional) and because if this holds it'll cripple the H1B program which in turn will cripple the inflow of skilled immigrants.

Basically I'm against the H1B program as it was, but I'm in favor of keeping it as it was over what is being done here.
by jstanley | 2025-09-20 19:29:06+00:00
I thought I recognised the name - Bourbon Moth is the guy who faked a video of oily rags self-igniting to make a video to advertise fireproof bins for woodworking.

This one: https://m.youtube.com/watch?v=3Gqi2cNCKQY

Debunking: https://m.youtube.com/watch?v=GEtU3bYyCtA
by spwa4 | 2025-09-20 19:29:06+00:00
But that is not a property of private industry ... or I should say, it is, but it is not a difference with public industry.

In public industry the name of the game is to maximize subsidy for minimal actual work done. Lots of people, but nothing happens.

If you were alive in the 80s you would have seen this in action. People who "work" ... but not much at all. Many people, but zero activity. I'm told it was much worse in the 60s.
by MarsIronPI | 2025-09-20 19:30:30+00:00
And the reason this is a problem is because of the me-first attitude of language developers these days. It feels like every language nowadays feels the need to implement its own package manager. These package managers then encourage pinning dependencies, which encourages library authors to be a less careful about API stability (though obviously this varies from library to library) and makes it hard on distro maintainers to make all the packages work together. It also encourages program authors to use more libraries, as we see in the Javascript world with NPM, but also in the Rust world.

Now, Rust in Git and Linux probably won't head in these directions, so Debian might actually be able to support these two in particular, but the general attitude of Rustacians toward libraries is really off-putting to me.
by ManBeardPc | 2025-09-20 19:30:52+00:00
You can ofc use the *alloc from libc if you want. Otherwise there are different ones in the standard library, ArenaAllocator wraps another allocator, FixedBufferAllocator uses a given byte slice. I recommend to take a look at https://ziglang.org/documentation/master/std/#std.heap to get an overview.
by gf000 | 2025-09-20 19:30:58+00:00
> With Wayland, even if I start with an existing compositor, the barrier is far larger, and everything changes.

I mean, no one puts a gun against your head to use Wayland, X will be on life support for decades and will likely work without any issue.

But with this stance, no evolution could ever happen and every change would be automatically "bad". Sure, changes have a downside of course, but that shouldn't deter us in every case.
by mattmaroon | 2025-09-20 19:31:09+00:00
I actually still thought that was the official name, but I never call it that.

But really, what does it matter? Is Oracle suing people over the term JavaScript? Even if so, can’t they just use the correct term and the rest of us can call it JavaScript?

I guess I just really don’t understand why this is a good use of my donations rather than, say, feeding the hungry, and I don’t mean that to disparage any tech related not for profits or issues.
by timr | 2025-09-20 19:31:23+00:00
In the plain text manner. To me the more relevant portion is this:

> ...except for those aliens whose petitions are accompanied or supplemented by a payment of $100,000

Again, just doing a plain text reading, this seems to be intended to apply to new applicants, but they didn't explicitly spell it out. It's the sort of thing that would be debated endlessly in the rounds of legal review that accompany a...more traditional...change to law, but when done quickly via EO tends to get overlooked.
by scuff3d | 2025-09-20 19:32:02+00:00
Right, I get that. I was just making a joke because I really dislike the micro-dependency approach. Honestly bothers me more in Rust then JavaScript, but that's probably just because I'm not a web dev.

From my buddies who have worked in JS my understanding is that a lot of it is rooted in JavaScript having a really shitty standard library for a long time. So that lead to a culture of code sharing early on since everyone was rewriting the same utilities and what not. Which evolved into the package management ecosystem over time.

Why that came about in something like JavaScript but not C, which also obviously has a really small std is super interesting. My only guess is that JavaScript came up in the internet when package managers started to take on a new meaning, and web dev is more relavent to a broader range of (nontech) companies and they're more likely to put a huge focus on quality over quantity.
by WaitWaitWha | 2025-09-20 19:32:28+00:00
anecdotal experience: I rent cars quite often and most of them are now touch screen to some extent.

Touchscreens are extremely distracting for me. I have to look at the screen to make sure I am touching it at the right spot. Often I have to select the "page" the necessary buttons is on, even for very simple things like adjusting the temperature or turning the fan up or down. In some cars this takes several touches.

Android Auto and Apple CarPlay are just as bad. for some reason the interface is inconsistent enough across vehicles that requires me to look at the screen. I no longer connect my phones to the vehicle. This of course creates another problem. Most "smart" cars no longer have radios; the expectation is that a paired phone will stream the audio. On pre-"smart" vehicles, I could turn on and off the radio, select stations, without looking even in unfamiliar vehicles after a few initial glances. Not so with "smart" cars. Either I will have to fiddle with the phone, or with the "touch" screen, which triggers the multiple taps to find the place where the "radio"/audio is located.

Some big auto manufacturers plan to drop Android Auto and Apple CarPlay because they want that sweet, sweet personal data juices flowing to them.

I have also noticed that some of my senior friends struggle reading the screen, be it glare or text site, or icons that they do not understand.

I think voice recognition is a viable path for people who can speak clearly (my voice sounds like a '46 Cletrac Crawler on full power, should see the AI driven transcription!)
by AlecSchueler | 2025-09-20 19:33:09+00:00
> You have better things to do in life than to be offended so easily.

I laughed along with you until this...

But don't now tell me what I do and don't have time for. Do you have time to be so patronising in your life? What an ass

I've been on this site daily for more than a decade and a half and this is the first time I've ever felt it necessary to call someone an ass. I hope you have a bad night of sleep.
by tptacek | 2025-09-20 19:34:16+00:00
But that's exactly what your source doesn't show. There are more Polish people living in Chicago than in Krakow; it's the largest population of ethnic Poles in the world anywhere outside of the largest metros in Poland itself. And they don't effectively exert power as a bloc. Your source shows one bloc, of Irish; today, the most effective wielders of power in Chicago are Black. There's no coherent immigration story to tell here.

It comes off a little bit like it would if you claimed that immigration brings with it organized crime, because La Cosa Nostra was dominated by Italians. But LCN is not in fact the story of Italians in America, and wasn't replicated by other ethnic blocs.

People share affinities and affinities structure interactions, and naturally some of those structural affinities are going to be ethnic. But if they weren't ethnic, they'd be religious, or political, or economic, which is what US history actually demonstrates.

If you're going to make the case that any of this matters in Chicago politics, though: cite the immigrant bloc that controls and distorts Chicago politics. Which ones are the illegitimate aldermen? I don't like most Chicago alderpeople, so you're not going to hurt my feelings.
by ericmay | 2025-09-20 19:34:17+00:00
Yea yea I get it - but you’re also drumming up a hypothetical scenario about Microsoft suggesting they have no way to pay the fee - I’m just suggesting a solution, not suggesting the path forward or that the abruptness of this policy change is a good idea. Satya has a direct line to the president’s office and can utilize that to help solve this acute concern if there is, as you are very confidently asserting, “no way to pay” the appropriate federal agency.
by nis0s | 2025-09-20 19:34:48+00:00
A lot of aggrieved comments blaming US leadership, but nary a word about the leadership of countries which create conditions that people have to emigrate from.

Populations of most countries offshore the blame for the lack of economic opportunity or social conditions where they live. I don’t blame the common folk, it’s the leaders and elite of such places who are responsible for their countries relative success or failure.
by godelski | 2025-09-20 19:36:27+00:00
What about

>>>> A Utopia is unobtainable, but it serves as a direction to pursue

and

>>>> but the direction appears to hold constant for millennia.

implies

> that's just around the corner.

or

> the impossibility of your suggestion

Honestly, you okay? I quite literally said it is an unobtainable dream that serves as a direction to strive for.

Did you intend to respond to someone else? Because your criticism is acknowledged in the premise. Or are you trying that hard to not have dreams?
by CSMastermind | 2025-09-20 19:36:45+00:00
Congress gave the president broad authority to regulate the immigration process. Trump's executive order cites two statutes cited below.

I'm not a lawyer so it's possible, even likely that there's something I'm missing but to my laymans reading of the law it would seem to me he has the authority to put basically whatever process he wants into place.

Section 215(a) of the Immigration and Nationality Act (INA), codified at 8 U.S.C. § 1185(a), states exactly:

Unless otherwise ordered by the President, it shall be unlawful—(1) for any alien to depart from or enter or attempt to depart from or enter the United States except under such reasonable rules, regulations, and orders, and subject to such limitations and exceptions as the President may prescribe;

Section 212(f) of the Immigration and Nationality Act (INA), codified at 8 U.S.C. § 1182(f), states exactly:

Whenever the President finds that the entry of any aliens or of any class of aliens into the United States would be detrimental to the interests of the United States, he may by proclamation, and for such period as he shall deem necessary, suspend the entry of all aliens or any class of aliens as immigrants or nonimmigrants, or impose on the entry of aliens any restrictions he may deem to be appropriate.
by pinkmuffinere | 2025-09-20 19:36:50+00:00
I see, you're saying the stupidity here is that they didn't clarify whether it applies to existing holders. Given that possible explanation-via-stupidity, it's unlikely that it was pure malice. I actually think you make a good point. I think the proposed method-via-stupidity is important for understanding your initial claim, I doubt many people have read the EO (indeed many will not even read the linked article)
by ericmay | 2025-09-20 19:36:54+00:00
Yea why wouldn’t Satya or Microsoft be able to call the president’s office and figure out how to pay the fee?

Set aside this “nudge nudge wink wink” stuff - I’m providing a solution to the acute issue, not a moral judgement.

Looks like it was sorted https://www.politico.com/news/2025/09/20/donald-trump-h1b-vi...
by cm2187 | 2025-09-20 19:37:30+00:00
In the french news (https://www.lefigaro.fr/international/les-frais-du-visa-a-10...) it seems the white house clarified it is only for new visa and one time only.

[edit] also: https://www.theweek.in/wire-updates/international/2025/09/21...
by cole-k | 2025-09-20 19:37:30+00:00
I don't really see there being much of a difference between the modeling surprises and last-minute surprises only uncovered when the program runs. If the gist of what you're saying is that an experienced proof engineer should have fewer modeling surprises than an experience software engineer has last-minute code execution surprises, then I can sort of agree. But the "contours" of a proof you're describing are basically analogous to decomposing an application into individual components (modules/functions) --- and if you do this and test your components you should expect your software to not have any "last minute surprises" except for modeling failures as well.

I guess the point I mostly disagree with is the feasibility of what you describe here:

> In particular, if you get definitions right and if your plan actually makes sense mathematically (i.e. the proof is possible using your planned breakdown), you have a much more linear sense of progress.

This presupposes that you know how the proof should be written, which means that you not only have an understanding of the proof mathematically (whatever your definition of "mathematically" is), but you ALSO know how to warp that understanding into a machine proof. The author notes that the "getting the definitions right" part is slower than them writing out the definitions themselves for a variety of reasons which ultimately mean they had to carefully comb through the definitions to make sure there were no logic errors.

So I don't really disagree with your overall point (which is that the author can probably be trusted to say they are actually at 50%), but I think you oversell the assurances granted by formal verification when compared to software engineering.
by djohnston | 2025-09-20 19:37:41+00:00
Indians would rather import more Indians than hire anybody else (including Indian Americans) domestically. This is well understood by looking at lawsuits against WITCH companies, and by speaking with anyone who has seen what happens when an Indian attains a leadership role in a tech company. That’s why you get downvoted and suspect it’s controversial. It’s not controversial to anyone but Indians.
by drysine | 2025-09-20 19:37:54+00:00
"he’s almost perfectly modelled by every other expansionist dictator"

Only if you are willing to ignore the facts that don't fit into your model. Namely specific triggers for Putin's actions like 2008's NATO declaration of imminent NATO membership for Georgia and Ukraine and American involvement in 2014 coup. [0] Or many years of Putin's warnings accompanying NATO expansion.

"A war machine benefits him domestically"

No, it doesn't. Otherwise there would'be been no need for all the restrictions on the access to information, freedom of speech and assembly in Russia.

"Also: Turkey. Chechnya. Putin responds to force by backing off. "

Chechnya? You are confusing Putin with "democratic" Eltsin, West's drunken darling. Putin started and won the second Chechen war.

As for Turkey, there was no fundamental reason to start a war with Turkey. It wasn't expanding its military infrastructure towards Russian borders and supporting anti-Russian coups in Russia's neighbours.

[0] https://www.bbc.com/news/world-europe-26079957
by thisisit | 2025-09-20 19:38:44+00:00
To add lot of people don't seem to have read the full announcement. It says Secretary of Homeland Security can grant exception. That means companies like Tesla are more likely to get a pass - because manufacturing jobs and what not.

Also, HN is hyper focused on tech consulting. H1Bs are used by doctors too especially in rural America. Doctors apply for J1 waiver and then get H1B for work. From what I have heard some places the only available doctor is an immigrant on H1B. This is going to devastate medical teams.
by nobodyandproud | 2025-09-20 19:39:33+00:00
As much as I think Trump and crew is dangerous to the nation, I’m not hating this and I believe it’s long overdue.

I was about to wistfully wish Biden or Obama pushed for this, but it’s clear they were too deep in the tech industry’s pockets.

Not sure how this administration intends on addressing the off-shore response though.
by afpx | 2025-09-20 19:39:41+00:00
Immigration is great when it's done at the right pace. The pace of the last 10 years has been jarring. It's counterproductive at this point just because of the extra cognitive load alone. Can we take a 20 year break then start it back up slowly?

And, economically, I think it'll be fine. Won't it be great for the rest of the world to share in the economic success of the US? I'm looking forward to a day when most nations have their own bay area.
by sharikous | 2025-09-20 19:40:00+00:00
> If that's the case, then you should be able to provide tons of evidence. It's difficult to "hide" or "manipulate" data in a country the size of china that is tied to the global trading system.

not very tied, actually, precisely because of heavy government interventions

> "Democratic countries". Like russia? Or venezuela? Oh, let me guess, democratic countries you don't like are not "democratic countries". Right.

I think that we can agree that democratic countries are countries where there is a choice and you see changes of government caused by free elections. That's not the case for Russia or Venezuela but it is (still) the case for most of the Western world

> You are just repeating the standard anti-china propaganda. It's the same of nonsense over and over again. > "None of china's data can be trusted. They are lying and they are about to collapse". Followed by, "Oh my god china is an existential threat. They are going to overtake us. Deep seek, rare earth minerals blah blah blah". > Make up your mind.

Who said that? Only you