MurphyA/hacker-news huggingface dataset:
by d3Xt3r | 2025-11-27 05:18:24+00:00
Unfortunately, some of us are stuck in a country which is a Microsoft shop, which makes it next to impossible to get into a Linux job - especially an entry-level one (these are basically non-existent where I live). I've even considered moving to a place where Linux jobs are a thing (Europe), but that would mean learning the local language first and also already having sufficient professional Linux experience (no one would hire a foreigner for an entry level role when they could just hire a local).

So unless you've got any bright ideas, I'm stuck in this Microsoft job till someone comes up with some magical Linux roles, or I start my own Linux-based company and twiddle my thumbs because there's no customers...
by tpmoney | 2025-11-27 05:18:28+00:00
> I can see why people were tempted to cut corners, especially given past tolerance…

Which is one of the reasons that the pre-trump executive orders that granted leniency and amnesty at times were all terrible terrible things to do. We really have a problem in this country where we've decided that the laws suck, but we don't want to do the hard part of changing the law, so we just decide to ignore it. Until at some point someone comes along and decides to enforce the law and now a whole bunch of people who were acting on the de facto state of the law now have to deal with the consequences of the de jure state of the law.

Immigration is a place we've done this a lot, but things like the status of marijuana across the country is also predicated on this sort of arbitrary non-enforcement of the law. Obviously the states are not obligated to enforce federal law, but the feds absolutely can. The feds could raid every marijuana dispensary in the country and take them all down with barely a hiccup, at least from a legality standpoint. Yet they don't because we have decided to arbitrarily not enforce the law, even if we haven't changed the law.

I had really hoped after Trump's first term, we would have seen a real awakening to the amount of things that are allowed only because we don't actually enforce the laws that are on the books, and a real push to both fix the laws and roll back the abuses of executive power like this. But we didn't seem to learn that lesson, and sadly it doesn't look like that lesson is going to be learned this time either.
by anovikov | 2025-11-27 05:18:50+00:00
I was going to comment that "tirzerpatide study for apnea is bullshit because it's just weight loss which causes apnea so naturally it works just like any other method of weight loss would" but apparently NOT, and it helps, somehow, beyond the effect that a simple weight loss of the same magnitude would have!

>pharmaceutical companies very carefully choose that subclass in an attempt to help ensure the clinical trials are successful

You mean that they mainly choose middle class white males with degrees? It's not some racism, it's just an observation (which one may call a clinical meta-study of a sort), that this is the group that follows doctor's advice best of all thus making results the least noisy. Which in turns makes trials many times cheaper because doing otherwise would have required much larger patient groups to compensate for higher noise.

Going beyond that will be many *-isms at once, but google it up.

This is a major factor impacting quality of drugs. For instance, GLP-1 itself should be probably prescribed to Blacks starting with lower threshold BMI because they appear to benefit more from it in 27-30 BMI range, and are more susceptible to weight-related health issues than whites in these "overweight" ranges, and more likely to develop diabetes from it, and overall. Doing so would have increased overall society's benefits from GLP-1 a lot. But no one knows for sure because clinical trials almost didn't include them.
by ehnto | 2025-11-27 05:20:25+00:00
That's what I built! It's a great case, the only components I didn't already have lying around were the motherboard and PSU.

It's very well made, not as tight on space as I expected either.

The only issue is as you noted, you have to be really careful with your motherboard choice if you want to use all 8 bays for a storage array.

Another gotchas was making sure to get a CPU with integrated graphics, otherwise you will have to waste your pcie slot on a graphics card and have no space for the extra SATA ports.
by tkzed49 | 2025-11-27 05:21:02+00:00
I don't think it's accurate to envision that the average team using the npm ecosystem is upgrading their dependencies daily. Rather, the problem is that modifying your direct deps (e.g. adding a package, upgrading a package) requires modifying transitive deps.

So yeah, ~everyone is using a lockfile with checksums. But even if I think really hard about installing XYZ@1.2.3 package, and check that the lockfile diff is reasonable, I'm not manually auditing the whole supply chain (I'd get fired for getting nothing done). And a single dependency change that I choose to make can affect a substantial number of transitive deps.
Tell HN: Happy Thanksgiving
by prodigycorp | 2025-11-27 05:21:16+00:00
I’ve been a part of this community for fifteen years. Despite the yearly bemoaning of HN’s quality compared to its mythical past, I’ve found that it’s the one community that has remained steadfast as a source of knowledge, cattiness, and good discussion.

Thank you @dang and @tomhow.

Here's to another year.
by kannanvijayan | 2025-11-27 05:22:47+00:00
I really don't understand what any of this has to do with "trust", especially of the project or code. If anything people who want to gain undeserved trust would be incentivized to appear to follow a higher standard of norms publically. The public comments would be nice and polite and gregarious and professional, and the behaviour that didn't meet that standard would be private.

FWIW I've never programmed a line of code in zig and I don't know who this developer is.

All I got from it was "seems like GitHub is starting to deteriorate pretty hard and this guy's fed up and moving his project and leaving some snark behind".
by phil21 | 2025-11-27 05:22:52+00:00
> my guess is that what we'll ultimately find is that the benefits of GLP-1 therapy are primarily due to reduced blood sugar

This is my guess as well. It's been eye opening correlating on/off GLP-1s, wearing a CGM (blood glucose monitor), and seeing how that data changes depending on what I eat and how that further impacts what I eat an hour or three later.

Tightly controlled blood sugar was life changing to me - and I wasn't diabetic or at risk to become so.
by p1necone | 2025-11-27 05:22:55+00:00
It's absolutely possible to use an LLM to generate code, carefully review, iterate and test it and produce something that works and is maintainable.

The vast majority of of LLM generated code that gets submitted in PRs on public GitHub projects is not that - see the examples they gave.

Reviewing all of that code on its merits alone in order to dismiss it would take an inordinate amount of time and effort that would be much better spent improving the project. The alternative is a blanket LLM generated code ban, which is a lot less effort to enforce because it doesn't involve needing to read piles and piles of nonsense.
by tartoran | 2025-11-27 05:23:50+00:00
One way to get hotels to bring back the bathroom doors and other amenities from yesteryear is through cultural warfare of sorts. When all your customers consider and talk off these not as hotel rooms but cheap motel rooms or even brothel rooms:) Hotels aren't going to like it and eventually it'll catch up with them.

With the rise in AIRBNB and other similar competing services I expected hotels to compete back by lowering costs and improving conditions. Was I wrong, oh boy..
by BLKNSLVR | 2025-11-27 05:24:04+00:00
I wonder what danger there is in over-classifying terrorism.

If someone, as a purely theoretical example, feels as if they fall under various 'modern' classifications of terrorist, then it could break down certain walls of reasoning preventing them from participating in activities that would fall under the 'historic' classification of terrorist.

What I'm saying is: Any government that's over-using the term is (potentially) actively participating in the radicalisation of a portion of their constituency.

And that is a dead-fucking-wrong approach; 180 degrees away from the correct heading. Gross negligence.
by phil21 | 2025-11-27 05:24:05+00:00
There is not enough evidence to say this is true.

It could absolutely be a factor in the effectiveness.

Placebo is a highly effective drug.

I say this as an extreme evangelist of GLP-1s. Behavior modification and habit building appears to me to be a large part of it. Friends on it who have used to as a performance enhancing drug to change habits have generally stuck with newly developed habits even coming off the drug. Friends who used it as a magic weight loss drug largely returned to previous weights and poor health, even some maxing out the doses over time.
by klausa | 2025-11-27 05:24:17+00:00
I've had multiple USB-C chargers broken like this.

Now, admittedly, "being yanked by a robot vacuum and falling on the ground" is outside the design parameters for a port; but I absolutely had USB-C ports fail in a way that Lightning would have not.

(Not the person you're replying to, but also a "Lightning was a better physical connector than USB-C" weirdo.)
by paulmooreparks | 2025-11-27 05:24:34+00:00
One of my favourite hotels in SE Asia has this problem. (I won't name and shame, since when we complained they said it's going to be fixed soon in a redesign.)

On the topic, though... I want a desk that isn't made of glass so that I can use a mouse. Optical mice have been the standard for years, and of course I don't carry a mousepad. Who thinks glass desktops are good?
by energy123 | 2025-11-27 05:26:12+00:00
I agree, but there are alternatives that are even worse, like agrarian communism under Pol Pot. I'm not saying there's no scope for improvement with billionaires and their role in society, I just dispute that billionaires are some unique and unitary source of problems. For example, if a tax law was passed that caused an exodus of billionaires (capital flight), I do not believe that the median living standards would rise. I do not believe things would get much better. So this is not so much a disagreement in values but more about the facts of the matter.
by oreally | 2025-11-27 05:26:17+00:00
This is called marketing and pushing a brand. It's nothing new.

It could even be faked. There was a clothing brand who said their stuff was all hand made, artisanal, only to be found out they sent their stuff to China to make. Now the Chinese workers are ranting about getting credit for their quality work.

It's why I think it's a sign of maturity to be able to get past all the narratives and spin to a product, all the while living less materialistically.
by petersellers | 2025-11-27 05:26:28+00:00
> I agree that the writing in the blog post is more colorful than precise, but sanitizing every bit of expression dulls the internet. Humans invented language for a reason.

Where do you draw the line, then? Is a racist screed acceptable to you as long as the following paragraph references technical issues correctly?

The language in the blog post is insulting. Imagine how you would feel if you were the person who wrote this code, and now you are being called a monkey in front of thousands of people on the internet. Certainly you've made mistakes in your code before...or are you saying you've always written flawless code without errors?

These codes of conduct always seemed a bit superfluous to me, but after reading comments like these I can totally see why they are necessary.
by mmaunder | 2025-11-27 05:26:30+00:00
They've abandoned GitHub for Codeberg because GitHub has ICE as a customer. Codeberg uses Paypal which is a member of the ICE "Virtual Global Taskforce".

https://www.ice.gov/news/releases/top-story-industry-partner...

There is a purity spiral that organizations can enter when they start doing this, which ends up with you shoving yourself into a cold dark corner of the internet and still not being completely detached from the badness because Cisco provides infrastructure for nearly every major weapons manufacturer and defense department globally.
by kortilla | 2025-11-27 05:26:45+00:00
Depends on the work? Software salaries in the US are so far beyond anywhere else in the world that it puts you in a significantly different lifestyle.

One year of a kafkaesque process to make $500k/year instead of 70k Euros is a trade worth it to tons of people to make the go at it. And that’s for stable corporate jobs, it gets even more favorable if you want to start a company.
by addaon | 2025-11-27 05:28:12+00:00
Poster here. I re-read this paper about once a year. I continue to think that it may be one of the most important papers I've read. As someone who works on high-reliability safety-critical real-time systems (automotive, avionics), being able to work in an environment where I could prove semantic properties of assembly code is pretty close to my dream -- the cost of demonstrating code correct is already so much higher than the cost of writing the code that the incremental cost of going to assembly seems minor, if there's even a small payback in time to demonstrate correctness. In practice, I think my dream language would be a relatively rich macro assembler plus a (guided, greedy) register allocator, designed entirely to simplify and allow semantic proofs. I don't really have a sense as to whether Coq (Rocq) is the right answer today, vs other options; or if there's a newer literature advancing this approach; but I'd truly love to see a deeper focus of making low level languages more useful in this space, rather than moving towards more constrained, higher level languages.
Show HN: Era – Open-source local sandbox for AI agents
by gregTurri | 2025-11-27 05:28:50+00:00
Just watched this video by ThePrimeagen (https://www.youtube.com/watch?v=efwDZw7l2Nk) about attackers jailbreaking Claude to run cyber attacks. The core issue: AI agents need isolation.

We built ERA to fix this – local microVM-based sandboxing for AI-generated code with hardware-level security. Think containers, but safer. Such attacks wouldn't touch your host if running in ERA.

GitHub: https://github.com/BinSquare/ERA

Quick start: https://github.com/BinSquare/ERA/tree/main/era-agent/tutoria...

Would love your thoughts and feedback!
by skavi | 2025-11-27 05:29:01+00:00
> Well, I genuinely think the word "feminism" means different thing in Korea to the places I've lived at. It has much more inflammatory undertone there whereas in NZ, its just a term. When I see "anti-feminism" for Korean politician, I construe it to be "anti radical feminism". That's what I was trying to get at.

Any active, non-historical example of feminism is likely to be considered radical. I think for us to have a reasonable discussion, you’d need to define what radical feminism means to you.

Otherwise what you’re saying is practically equivalent to “Koreans are fine with good feminism, but draw the line at bad feminism”. Which, besides being tautological, is just a rephrasing of the pendulum thing.

> I think there are still gender inequality in Korea.

It seems we agree the issue that feminism aims to solve still exists in South Korea?

> The reason I'm defending them is that I just don't want people to label fair bit of young Korean men to be misogynist and write them off. Their struggles are real and if we keep marginalising them I don't think it would get any better.

I think it’s very possible to point out actions and beliefs rooted in misogyny while also recognizing that the people expressing those beliefs have real struggles. I think people can change and even if they won’t, you can still be empathetic.

I don’t see any inherent marginalization in noticing misogyny. These men are facing real problems. But a lot of the blame for these problems is likely misdirected.
by Jach | 2025-11-27 05:29:08+00:00
Their "VP of Community" wrote this in 2020: https://kristoff.it/blog/addio-redis/ I didn't come across it until 2022. Still, particularly that and other writing from him and others convinced me the Zig community is full of goobers. That's not so bad, I have my tastes in immature humor and can sometimes be a goober too, but the application in that post's clearly-marked over-the-top skit still is just bizarre and doesn't encourage me to interact with them. To be more fair to the author and the community though, especially with respect to this GitHub migration, his more serious writing is better: https://kristoff.it/blog/the-open-source-game/ (2021). Some nice things said about Rust and the Rust community, even. In that he outlines a core position of "software you can love" being what he wants to create and inspire people to create, and how tents like "big tech" and "open source" don't really cater to that. The migration off of GitHub is predictable in the sense that GitHub stopped being something a lot of people loved a while ago -- of course some still love it, this tent creates obvious tension. (Though I don't know that Codeberg is any better and worthy of love. A few libraries I use have migrated to it and it seems fine at least, though them using Anubis is annoying and I've gotten the fail page of "Internal Server Error: administrator has misconfigured Anubis." a number of times. It does not spark joy in me.)
by protocolture | 2025-11-27 05:29:54+00:00
>but if you overstay a visa you should expect detention.

I really dont get this view.

Like you could substitute detention with a 1 dollar a day fine, or community service. Why does the punishment for this particular crime, have to be detention. Why is it worse than making your local council mad for not taking out the bins. The severity of the punishment is just ludicrous compared to the crime of participating in a community, and the US isnt the only place with this brainrot.

The community isn't harmed by an overstay as it is with say, shooting people or stabbing people. In fact it seems widely recognised that these people contribute in the net positive.

It also seems like there's an overwhelming consensus that its easier to sort out immigration issues from inside the target country, outside of detention with access to legal representation.
by jiggawatts | 2025-11-27 05:30:11+00:00
Large corporations have the reigns of power seized by the political class: MBAs, sales executives, and CEOs that have never stepped foot in a workshop or factory in their entire lives… or even a shopping center, for that matter.

These people care only about each other: power, influence, money, etc.

Actually using or - gasp - improving the product is beneath them.

Or do you seriously think the billionaire CEO of some white goods company knows or cares about the quality of the wash the cheap Chinese-made washing machine does? He’s got staff laundering his clothes!

Similarly it’s very clear nobody with real power at Microsoft uses their own tools. I see their seniour product managers turn up to Microsoft Ignite with Apple Macs, for crying out loud!
by elcritch | 2025-11-27 05:31:20+00:00
> What I like about FreeBSD is the decoupling of packages and OS. You can have a stable OS version but still have rolling packages. Somehow most Linux distros can't manage that.

This! I didn't realize how much I wanted this. FreeBSD release base packages are stable but all the regular packages are super up to date. Plasma looks very updated and stable.

I've tried rolling distros like Opensuse Tumble and Manjaro but eventually if you don't update them regularly you get a huge change and often many things change/break. Had your bluetooth speakers working finally? Now that's gone!

On the other hand stable releases in linux distros also seem to fail. Didn't update your random Ubuntu server in the corner of the office for the last year? Well now the apt links are broken and down for the release so you can't update the current release so you can upgrade.

> I also like that I don't constantly have to learn new stuff like the new ip commands or systemd. It just works. Oh and ZFS on root as a first class citizen is amazing of course.

It's nice, many of the same basics I learned on freebsd 6 years ago all still magically work. ifconfig works even with ipv6. You learn two files and you can do most anything.

I'm definitely gonna consider Freebsd for embedded devices if I can as well. You dint need buildroot or yocto as it's already part of the BSDs.
by quanto | 2025-11-27 05:31:21+00:00
This paper reminds me of a class assignment in grad school where the prof asked the students to write a compiler in Coq for some toy Turning-complete language in a week. Having no background in compiler design or functional programming, I found it daunting at first, but eventually managed it. The Coq language's rigor really helps with something like this.

I wonder if AI's compute graph would benefit from a language-level rigor as of Coq.
by iscoelho | 2025-11-27 05:32:34+00:00
> I'd much prefer they enforce the laws evenly and then fix them where they're broken rather than disadvantaging everyone going through the legal process while those that cheat get to jump ahead.

That is incredibly optimistic to believe that any legislation reforming immigration will be passed in the next decade.

There is a reason ICE was neutralized until now. Life is short. We don't have time for congress to play politics while Americans and their spouses suffer. Let people live their lives.
by ssivark | 2025-11-27 05:32:45+00:00
Would you perhaps have preferred if they referred to it as "unprofessional" or "sloppy" instead alluding of monkeys?

To me all those mean the same thing, except the latter is more flavorful and makes my eyes less likely to glaze over.

> Imagine how you would feel if you were the person who wrote this code, and now you are being called a monkey in front of thousands of people on the internet.

Er.. so? Why should anyone be allowed into a position of responsibility where their code impacts millions of people if they can't handle the tiniest bit of strong feedback? It was, after all, a pretty egregious bug.

> Certainly you've made mistakes in your code before...or are you saying you've always written flawless code without errors?

I've definitely made mistakes, and also accept that my output might have on occasion been "monkey-esque". I don't see what's insulting about that; we are all human/animal.
by protocolture | 2025-11-27 05:33:39+00:00
I remember talking to a britisher about the US border situation on a forum that also included yanks. He had asked for advice, and I relayed a bunch that was evergreen, but was passed around during the first trump admin.

The yanks all got confused, like I was making up a problem. And would not stop pretending like there are no border issues even after I presented multiple instances as evidence. Like if you can drive your car to the store and back there must also not be issues at the airport.

I feel like US media must isolate people severely. Whereas, countries that do business with the US, are kept keenly aware of the dangers.