MurphyA/hacker-news huggingface dataset:
by Onavo | 2025-09-24 18:28:13+00:00
Talk to people working in oil and gas at the executive level, or even better, try selling stuff to them. Oil and gas operates on a very different mindset than the nibbling-at-margins product-led-growth models that are so prevalent on HN.

The only metric that matters at the end of the day is how to print more money i.e. drill more oil. Literally nothing else matters, and compliance goes to the lowest bidder to make the problem go away. Right now that means playing nice with the whitehouse and hopefully bypassing the rest of the pesky EPA. I assure you not a single person in oil and gas likes the EPA, nor the infamous Subpart W.
by didibus | 2025-09-24 18:28:14+00:00
> and I'm not sure it matters to the current kerfuffle

I guess I find it a bit strange that it's so fuzzy who owned the GitHub repo.

So it was owned by a GitHub organization, and someone should have owned that organization no? Maybe the person that created it initially?

You can have more than one person with a role that allows to change ownership of repos owned by an organization, was that the situation here? Did multiple people had that permission and one of them re-owned the repo to themselves without any other knowing?

I say that because, I don't normally consider every code contributor to a repo, or even admin the owner of a repo.

If I create an open source lib, and then create a GitHub repo for it, and contributors come in, to help commit code, do PRs and even manage the repo, and later I decide to revoke everyone else's access, as the owner, like it's fine. Sure maybe some of the admins might wonder what's up, why I don't trust them administering the repo anymore, but it's my repo.

Here I'm struggling to identify whose repo is it? And was the repo owner kicked out of their own repo, so this is a takeover? Or did the owner just kick out others ?
by p1mrx | 2025-09-24 18:28:18+00:00
Instead of click-to-copy, you could do click-to-highlight, so that "right-click > Copy" highlights the text on right-click if it's not initially selected. There is some subtlety in the logic, because it shouldn't interfere when the user manually selects a substring.

For a demo of click-to-highlight, install IPvFoo and use your mouse in the popup window. See the 'selectWholeAddress' function in https://github.com/pmarks-net/ipvfoo/blob/master/src/popup.j...
by benmmurphy | 2025-09-24 18:28:43+00:00
Maybe not Aussie bartender but even a lot of typically 'white' Europeans have very different cultures than English and Australian. For example when it comes when it comes to punctuality or queuing. Even stuff like how contracts are treated can be very different depending on the culture. DHH is Dutch and maybe closer to English culture than Italian/Spanish/French.

EDIT: removed unnecessary trailing inflammatory comment
by Workaccount2 | 2025-09-24 18:28:59+00:00
Law enforcement should be able to submit reports that carry real weight.

I don't know why people would report this behavior to the app and not the police. But the apps should be telling people to file a police report and have the police contact them.

There are enough brain damaged people out there (and definitely on dating apps) that would file a baseless rape report for being stood up or lied to, so the bar should at least be with letting the police handle it.
by gdbsjjdn | 2025-09-24 18:29:06+00:00
I can't over-emphasize the role line managers play in decoupling the delusion expectations of leadership and the ground truth of employees' lives. I think a lot of CEOs would burst into flames if they saw an average IC's day, but those ICs can still be high performers and achieve the goals of the business. Having automonomy and flexibility is huge for ICs. The role of the line manager is to provide plausible deniability both ways by tolerating a necessary amount of deviation from the black letter "law".

A great example is my friend, who works in a non-technical office job. She has always gotten great performance reviews and gone above-and-beyond because she's very passionate about her work. She's been doing this for over 10 years. Lately she has experienced some pretty severe burnout, and her immediate manager didn't know how to handle it so they immediately punted her to HR for a disability leave.

Of course because HR is involved now there's paperwork and doctors and insurance implications. A competent manager could have navigated the situation "unofficially" and preserved a valuable employee, instead of sending them on a 6 month odyssey of navigating the healthcare system. Ultimately the business got less value out of the employee because she's stressed and has to take a bunch of time off to deal with administrative BS.
by chermi | 2025-09-24 18:29:06+00:00
"A farmer's market is socialism."

Lolwut? Here https://en.m.wikipedia.org/wiki/Socialism.

Are you thinking of farming collectives?

Also, farmers markets (today, in the West) are basically luxuries for wealthy people. In the real world, we try to feed as many people as possible for as cheaply as possible. But sure, let's grow everything locally and let people starve, because farmers markets give us fuzzy warm feelings of a utopia that never existed. And capitalism bad.
by Karrot_Kream | 2025-09-24 18:29:26+00:00
To add to this, I think a lot of people are reading this post to be some sort of reflection of economic organization when I (and others I suspect) think it's a post on social organization. There's always overlap but, as you say, it's a very dense field.

I do think there's a dearth of scholarship in the decline of social organizing in the US. There's studies that show the decline but other than Bowling Alone every subsequent book I've read or skimmed on the topic uses this decline to rail off against their boogeyman of choice, more set dressing than problem to consider.
by tavavex | 2025-09-24 18:29:42+00:00
This only makes sense in a spherical-cow-in-vacuum world where government and business are somehow barred from communicating with one another. In reality, the "current set of rules" in many countries is a result of companies relentlessly trying to and succeeding in finding ways of influencing government. Political advertisements, campaign funding, lobbying, corruption, underhanded favoritism, countless other methods that are an amazing RoI for any business large enough to engage in it. Large enough corporations are resembling governments more and more in terms of value and power, and they use all of that power to endlessly try to bend the rest of society into serving their profit motive.
by bruce511 | 2025-09-24 18:30:57+00:00
I'll upvote you for at least laying out a coherent argument.

But you're right. A lot of voters weighed the set of policies and decided that mass deportations, suspension of due process, tarifing imports to raise domestic prices, slashing federal agencies like the EPA and CDC, muzzling free speech at universities and on TV, grifting for personal gain at every opportunity, all of which was explicitly spoken about during the campaign, was ok to get their single-issue promoted.

So yeah, lots of people voted for this. For all I know those same people think it's going just fine.

Which brings us back to, "just remember, you voted for this."
by fluoridation | 2025-09-24 18:31:19+00:00
I honestly don't understand what you mean.

>billions go into inflated transfers and club losses that generate little beyond spectacle

"Club losses"? If you pay a football player 100k to play a match, even if the point of the match is nothing but spectacle, that money doesn't evaporate. The player will spend it on the economy. What else could he possibly do with it besides spending it or tossing it in a fire? If a club spends 10M on something entirely frivolous -- say, a giant concrete football -- that money also doesn't simply disappear, it's used to pay the people who will make the raw materials and the people who will design and build the thing. Only individuals and distinct entities lose money. An economy never does.
by dabockster | 2025-09-24 18:31:28+00:00
> If I can hire someone remotely in San Antonio, why can't I hire someone remotely in São Paulo as a result?

Because the person in Brazil would be able to steal your IP and you'd have no financial, legal, or emotional recourse since they're across an international border. Big tech is continuing to find this out the hard way when countries like China and India somehow clone their products in record time.

By hiring in the same country you reside in, you have access to your legal system to protect you and your business interests. And it can also protect your own ego as well (if you have one).

And for the USA specifically, it is also really about the people here. Tech is a surprisingly human industry, and Americans have the humanity and grit to pull it off.

> pay a lower salary

Nothing is stopping tech from doing this right now to American workers. Remember that those higher paying firms do false positive hiring - they reject way more people than they pull in. If you do the reverse and adjust your operations to account for more workers that "aren't good but aren't bad either", you'd probably perform even better than offshoring.
by nostrademons | 2025-09-24 18:32:02+00:00
There's a line in one of my kids' Bluey books that says "Do you want to win, or do you want the game to continue? Because sometimes you can't have both."

I feel like that's sorta where we are in America. In the glory days of the 50s-70s, people wanted the game to continue - they were willing to sacrifice a little bit of winning for the sake of keeping the system intact. Then starting in the 80s, people gradually started sacrificing the game for the win, doing things that they knew would eventually lead to the collapse of everything so that they could come out on top. This is corrosive. Once it starts becoming apparent, everybody will start sacrificing the system as a whole for their own personal gain, because the system is dead anyway.

I think we're right on the brink of everyone realizing that the system is now dead, and bad things will likely come of it.
by raw_anon_1111 | 2025-09-24 18:32:02+00:00
I personally have no problem with the current state of affairs or with the state of affairs that the airlines are proposing. I fly Delta, I don’t buy the cheapest ticket so I can cancel a flight up to the time the flight is scheduled and get a credit.

From the little I do fly other airlines, only the cheapest fares don’t at least give you credits for cancelled flights.

Every airline has a credit card that gives you free luggage where the annual fee is cheaper than the baggage fee for a couple flying round trip.

My wife and I also have status with Delta (Platinum Medallion), lounge access, TSA PreCheck, Clear etc so we can do our best to not deal with families and once a year vacationers. We live in Orlando now.

But if I did have small kids. I would definitely pay for reserve seatings.
by DangitBobby | 2025-09-24 18:32:09+00:00
> Carplay sometimes randomly starts playing music when I get in the car, other times it doesn't.

Android Auto does the same thing for me, despite having auto-play disabled. One possible explanation I've seen online is that some infotainment systems send an unsolicited "play" signal to your device. For Android that seems to mean it will send "play" to the most recently used app that supports audio playback.
by louiskottmann | 2025-09-24 18:32:44+00:00
Gitlab has had that for a while, and it's very useful as in-between through dot targets.

i.e:

.scoped-env: &scoped-env

key1: value1 ...

Dot targets are ignored semantically, only inheritors make them useful.

Then further down you can reuse *scoped-env wherever you need.

You can also have anchors on individual lines and compose them. It's useful.

The author suggests using ad-hoc syntax, or meta-keys. Gitlab supports that [1] and I use them as well.

Different but also combinable uses, for various people. Nothing wrong with it.

1: https://docs.gitlab.com/ci/yaml/#extends
by bonoboTP | 2025-09-24 18:33:27+00:00
I disagree. It's a tandem, and corporations and the government are increasingly welded together.

Also, I'm not too worried about the airport usecase as we're already being tracked and surveilled and inspected there as much as possible.

But it's another step to normalize and mandate phone and app use. The puzzle pieces are falling in place. Soon, AI could screen-capture your phone screen to detect suspicious activity, and track every tap you do, also taking pictures with the front-facing camera without you knowing, listening on the mic, etc. etc., connecting it all to your real identity. Because why not? If it's done step by step, nobody will care at all. Maybe that sounds pessimistic, but it looks like the end game and I see no principled political stance against it, nor any insurmountable technical hurdles.
by griffzhowl | 2025-09-24 18:33:48+00:00
Cool! Until recently I also wouldn't have been that attracted by this title, but since learning more about proof theory and logic on one hand, and computation on the other, and beginning to grasp more the depth of the connection/isomorphism between them via the Curry-Howard correspondence, it turns out this book is pretty much exactly along the right path for me now. Next up will be getting a better grasp of how it all relates to category theory via the so-called Curry-Howard-Lambek correspondence...
by Veserv | 2025-09-24 18:33:53+00:00
A fine introduction, but a few nits.

Similar to how in the "POSIX threads" section you indicate that pthread_create() is UNIX/POSIX-specific, you should probably indicate in the "Creating new Processes" section that fork() and execve() are Unix/POSIX-specific. That, or you could indicate that you are describing generally in that context.

In "Running multiple programs" you state: "After a few seconds, it pauses, saves the state of the RAM, and changes processes." Saying it "saves the state of the RAM" is probably not a good characterization since it is more likely just changing what memory is accessible. It is also, most likely changing the virtual memory mappings to give the illusion of using the same memory addresses (though it does not have to, for instance a system with a MPU still has a concept of distinct programs even though virtual memory mappings are not supported), but you could omit that to the later virtual memory section without being incorrect.
by aw1621107 | 2025-09-24 18:34:22+00:00
> GCed languages aren't (usually) more memory safe than safe Rust because they (usually) lack the equivalent to the Send and Sync traits and thus will not prevent unsynchronized access to the same from multiple threads, including data races.

To be honest that particular aspect of Rust's memory safety story slipped my mind when I wrote that comment. I was thinking of Java's upcoming (?) disabling-by-default of sun.misc.Unsafe which allows you to ensure that you have no unsafe code at all in your program and your dependency tree outside of the JVM itself. To be fair, that's admittedly not quite the same level of memory safety improvement over Rust as Rust/Java/C#/etc. over C/C++/etc., but I felt it's a nice guarantee to have available.

> Guaranteed thread safety is huge.

I totally agree! It's not the only way to get memory safety, but I definitely lean towards that approach over defining data races to be safe.
by dvcoolarun | 2025-09-24 18:34:52+00:00
In their mind, I guess everyone is a strong leader, as they say everyone judges themselves by effort and others by results.

From a employee's perspective. I think you get a good idea, when working for a company, if your leader's vibes are off.

If they have a ego or can have a adult conversation or like to avoid it. Since life is not a 'silver lining'

You will meet some behaviours (which you can call toxic or not ) But times are changing, and people are less patient.
by derefr | 2025-09-24 18:35:13+00:00
I would point out that, regardless of the US federal government's stance on monopolies, any legislation or civil action toward that end would be far less applicable today, because of globalization.

If your country prevents any domestic tech companies from becoming trillion-dollar behemoths, but such things are still permitted in at least one other country with a similarly-sized economy to yours, then that just means that all your smaller domestic tech companies are going to be outcompeted by the foreign trillion-dollar behemoth selling into your domestic market.
by computably | 2025-09-24 18:36:12+00:00
> Without profit as a motive, innovation would be decades behind (if not longer than this). Governments can barely afford crumbling infrastructure maintenance as it is. I seriously doubt they are going to invest in projects for the 'greater good'.

The reason that governments have such a restrictive budget in the first place is people are individually profit-motivated. Governments do invest in projects for the greater good - you yourself note "big pharma" research, and in fact historically the US gov provided more than half the funding of all basic research nationally.

> Yes, for defensive or offensive military purposes. Not much beyond this.

Shinkansen.

Anyways, governments across the world are driven by incentives that do recognize long-term economic/strategic interests. You can see it with AI, with climate change, even with the broad desire to create a "homegrown" Silicon Valley.
by HankStallone | 2025-09-24 18:36:17+00:00
Right, nothing's stopped offshoring for a few decades, especially since the Internet became global. That's why I say what can be offshored pretty much has been. I even know some companies who did it years ago and reversed the policy after it didn't work out as well as they expected.

So higher costs on importing workers might prompt a bit more offshoring, but not much, because if those companies thought those jobs could be done offshore, they'd already be there.
by tredre3 | 2025-09-24 18:36:23+00:00
> In an app, undoing that is pretty much impossible (or at least, above my pay grade).

In my experience it is above the average user's pay grade to work around it in a browser too. Even power users will probably give up if the usual ways don't work out (holding alt, browser extension, reader mode). The power-est of users might glimpse at the inspector, but they'll give up if the nodes are obfuscated.

All this to say that with things like Circle To Search or Apple's built-in screenshot OCR nowadays websites and apps are finally on a level playing field when it comes to anyone being able to circumvent text protection.
by simpaticoder | 2025-09-24 18:36:45+00:00
I associate the Hacker News forum with authentic, reasoned debate and sharing of personal experience and perspective. Your comment wants to engage in a kind of rhetorical pugilism that is very common in other forums, but is uncommon here. It is a style I personally dislike and find counter-productive for every topic, inflaming emotions and driving division rather than synthesizing a variety of perspectives into an interesting whole.
by Karrot_Kream | 2025-09-24 18:37:18+00:00
I'm actually not advocating for a reduction in the size of government bodies and I'm a bit frustrated about it. I'm not advocating anything about the size of government bodies (though naturally I have my feelings.) I'm confused why people seem to be intuiting this. I'm in fact doubly frustrated because I feel that people seem to be injecting modern political points into something that I feel predates many of our modern problems.

My point is: the social problems of disenfranchisement that come from large organizations are a property of their size. They may differ in that they're volunteer based, profit oriented, non-profit in a capitalist system, democratically organized, or several hundred or thousand more distinctions. But I'm going to feel just as disconnected from my national government as I will from the workings of Google as a small shareholder as I will from the NBA as someone that plays pick-up on a basketball court. The experience of going to a minor league baseball game is much more personal than going to a major MLB game.

To me the important issue is: the US specifically and the Anglophone West more broadly is seeing a decrease in its small institutions. This decrease predates the modern internet and social media landscape (see Bowling Alone.) I have many, many questions around this. Why is this happening? What is its effect on society? How can we reverse this? Is this something we can reverse?

It's an important issue to me because this trajectory is very different outside of the Anglophone West. Japan for example is not seeing the same decline in its small organizations as the US is, despite population reduction. If anything Japanese life is dominated much more by huge conglomerates than US life.
by huijzer | 2025-09-24 18:37:44+00:00
> Interestingly, in the past, the US federal government actively made efforts to keep private organizations from becoming too dominant.

They seem to do the opposite now because small businesses can expect little support from the government (and surely no big subsidies like the large players are getting in for example the Stargate joint venture). Especially COVID was seen by many small business owners are extremely tough since larger stores were allowed to stay open while the small businesses were not.
by daxfohl | 2025-09-24 18:38:03+00:00
And actually my bigger takeaway was to be very very careful when adopting higher-level tools. Things that may seem to match requirements on the surface could easily have the same kind of mismatches encountered above.

A recent example of this was using Temporal for state management of multi-page user-driven workflows. In happy path use cases it made the code incredibly simple. But when CS had to get involved for a user, or when there was a bug and we had to patch a bunch of invalid user states in the backend after fixing it, there's often a need for some kind of direct access to that state, to update it in ways that hadn't necessarily been planned for. In Temporal, much of the state is an implicit "function pointer", which is what makes the code so nice in the happy path, but that you can't touch if you need to. Yeah you could rewrite the Temporal logic in terms of a state machine and event loop so that the function pointer always ends up at the same spot, but then you're essentially writing a state machine anyway, except without a good way to do bulk updates, and just paying extra latency, cost, and system overhead.

So it ended up that a database was still the best option. A little more boilerplate in happy path cases, but a lot more flexible in cases where unexpected things happened.
by zelphirkalt | 2025-09-24 18:38:16+00:00
I have a habit of selecting and highlighting text on computer screens, while reading. I have no issues tracking lines usually, but somehow I still select and highlight. Maybe it is just easier to track lines this way. When I see some web page, that prevents this, then that website gets a -50 reputation score out of 100 in my book. So if the site is perfect in every other way (almost no site is) then -50 still makes it pretty terrible. If additionally it would actually be useful in other ways to highlight and copy text on a site, then I get really annoyed by web non-sense like that. Similarly I get annoyed, if every pixel is some clickable action trigger.

This is not what hypertext has been created for. Stop making the web into a cesspit of bad accessibility.
by nathan_compton | 2025-09-24 18:38:54+00:00
Back when I was dating online dating had just started and I went out on a few dates with women I met online and it all seemed to go OK.

But in the end all the successful relationships I ever had were people I met in real life. Is it really that hard to meet people in real life these days? I mean, in fairness, I was on a campus most of that time, and so mingling is sort of built in. But surely there are other contexts where people mingle?