MurphyA/hacker-news huggingface dataset:
by ijustlovemath | 2025-06-23 12:55:36+00:00
Hm, not sure how much math you've had, so let's start with fairly basic stuff.

A and B are statements within a given set of axioms whose truth value is knowable within those axioms. A could be something like "Some number k that we pick is prime", and B could be something like "k is even"

When you see in math people saying "some statement is true iff some other statement is true", that "iff" stands for "if and only if", which really just means two things hold:

1. Starting with statement A, we can prove statement B.

2. Starting with statement B, we can prove statement A.

In math shorthand, we'd write this as

1. A implies B, or just A => B

2. B => A

You need to prove both directions for you to be able to say "A iff B"

Let's try it with our example statements. Does it hold? Your intuition should be saying "absolutely not", and let's see why:

1. k prime implies k is either 2, or odd. So the statement A => B only holds when k is 2. We choose k, so this could be true in a trivial case, but does not hold in the generic case

2. k even implies k is divisible by 2, so again, the statement "k even => k prime" only holds for one trivial case and not in the generic one.

Now for the original comment. I was pointing out that just because you have some proof of A iff B, does not mean there couldn't be another, completely separate statement C, for which you can prove A iff C. These relationships have equivalence, but are nonetheless not the same (outside of a categorical sense of sameness).

Some of the most compelling math of the 20th century was showing the sameness of many different fields by finding new iff relationships.
by Pxtl | 2025-06-23 12:55:38+00:00
My problem is that so many of git's features feel like they just aren't designed to accommodate history rewriting.

Like if I have branch X and branch Y, and X is 1 commit ahead of Y, but I alter the comment of a commit in Y, now X is one or more commits behind Y and will not recognize identical code-changes as identical.

It gets worse if you squash a commit, where you start getting conflicts during merges and rebases even though the code-changes are the same.

I understand why these problems happen, and the ways to prevent it (don't rebase anything pushed), but it still underscores the fact that git doesn't properly accommodate its own love of rewriting history.

If git had a proper synced graph of history-rewriting actions (commit A was rewritten into commit B) then it would be able to provide better responses when doing a merge or reflist across rewritten branches.
by bboygravity | 2025-06-23 12:55:59+00:00
That's all fine and dandy, but also IMO it's entirely possible that the US cannot deliver their gold if these countries (and/or others) wanted it back.

Just look at what happened when Venezuela wanted their gold back. It took ages and that was a relatively tiny amount.

It's extremely naive for many EU countries to still believe that they "have" "their" gold stored in the US. And even more naive to not try and get it back.

The entire US banking and financial system relies on NOT delivering or owning the underlying (fractional reserve banking, federal reserve printing money out of thin air, failures to deliver every single day on everything from stocks to government bonds, failing CDS'es and so on).
by mindjiver | 2025-06-23 12:57:38+00:00
We are talking about a splinter party (BSW) from the main left party (Die Linke) which is a kind of anti-woke- and anti-immigration-party that spouts basically the normal Kremlin propaganda lines about Ukraine. There is of course anti-US sentiment there since is secondary to their main issue, peace at any cost so that Germany can get cheaper energy again.

Note that I'm not a German national but I live in Germany (former DDR / East) since 9 years.
by ecocentrik | 2025-06-23 12:57:44+00:00
It's probably too late now. Tbag's financial philosophy has been that everything in his pocket is his. This has historically included all unpaid contracts, all campaign contributions and large segments of the US budget. I don't think it's a stretch to suggest that if he lives long enough it will also include the Putinesque concept that everything deposited in his country's banks is also his to take when needed. I'm willing to bet he's already looking that far ahead and won't allow European wealth to be repatriated under any circumstances.
by BoxFour | 2025-06-23 12:58:05+00:00
What was said:

> we are seeing a lot of young men optimising purely for physical attractiveness at the cost of success in fields we might traditionally identify with male success (career, wealth, sporting excellence, etc)

That doesn’t reflect reality. Those fields (wealth, competitive sport) aren’t in decline among young men. Interest in them has grown considerably compared to previous generations, as evidenced by those counterexamples.
by myrmidon | 2025-06-23 12:58:09+00:00
This is not as much as it looks like at first glance. "Revenue" for the german state is something around $2000B, while their ~3000 tons of gold are worth ~300B.

It is plausible to me that building up a gold reserve might be worth it, longterm, purely because the gained trust/perceived stability nets you slightly better conditions when financing megaprojects alone (like the Fehmarn tunnel): Over a few centuries you might save tax dollars thanks to investing into bigger gold reserves earlier.

And gold is objectively useful if things go to shit-- just look at Russia for a recent example-- gold is nice for mitigating sanctions and stabilizing your currency under bad conditions.
by b112 | 2025-06-23 12:58:38+00:00
There's also full sudo session logging and a logging server now, along with binaries to replay all those logs. Whether those LOC reflect the logging server, I don't know.

It literally replays in the terminal like a movie. It's nice, but I worry too much about the security implications (passwords captured, etc) to roll it out.

edit:

Ah yes, sudoreplay. You can see this video a playback via it. That's not the guy typing, that's sudoreplay time-accurately replaying what happens.

https://www.youtube.com/watch?v=8XHlowCiLaM
by mrtksn | 2025-06-23 12:58:50+00:00
Where’s is the oppression in that? It’s pretty normal to have health procedures to the best understanding of the threat at the time. It’s pretty straightforward, all kind of professions have all kinds of rules. Can be argued that the understanding or the precautions weren’t right but I don’t see the personal or political aspect of this. Maybe hi-vis vest are also problematic, so what?

Are you upset with the bureaucratic process? On how exactly was implemented? Like the interaction between the officials? Like on lawyer level stuff?
by Pxtl | 2025-06-23 12:59:08+00:00
Not only that. Git doesn't appear to have any internal link between the hidden pre-rebase commits and the post-rebase commits, which hurts its ability to copy later commits across that rebase.

Yes, you're supposed to avoid moving later commits across a rebase... but the reason you're supposed to avoid that is because git is so bad at it.
by nforgerit | 2025-06-23 12:59:51+00:00
This is a very superficial perspective. Disclaimer: I disdain both BSW and Afd.

You're basically falling into "the populist trap" in which they take a fact or something true and wrap it with a lot of BS and conspiracy theories. If you disregard the true core "just because it's from the wrong party" you give them political lever. We've seen that playbook working out for 10+ years.

De Masi did a great job as a financial expert in a parliamentary group, highly regarded by people over the whole political spectrum. I don't understand why he joined BSW but that doesn't weaken his point here.

And since we're already publicly discussing Trump blackmailing us with decommissioning US IT-Services without further notice, it is exactly right to talk about assets like gold being stored on US soil.
by bluGill | 2025-06-23 12:59:52+00:00
Now that I'm on a real computer (keyboard) maybe I can elaborate a bit.

It isn't hard to create a basic build system. However there are a lot more rare corner cases than anyone who sets out to create one as a side project realizes and so in almost all cases their build systems work for the easy/common situations, but in lots of weird cases it doesn't work. Often those corner cases will happen on setups that make sense for one exactly person in the world but for everyone else is stupid. (think cross compiling on haiku-os for a vax running netbsd)

Which is to say if you want to create a build system that needs to be your only goal. You can maybe make the goal create the build system that some project needs (Chromium in this case) needs, but you won't be doing any hacking on the project (Chromium) itself because all your time will be spent on the build system.

Since everyone I know thinks of build systems as a side project they should just choose one that works. I use cmake, which works well despite the warts. I've heard good things about build2 and bazel, but I have no experience with either. I have used ninja as well (that is handwritten ninja files), but it isn't intended for that purpose and so in general I wouldn't recommend it.
by brulard | 2025-06-23 13:00:02+00:00
I'm writing TS and I was not very happy with Cursor - I expected more coming from using Cline + Sonnet in VS Code. I tried the composer or how do they call it, and the results were mediocre. After few hours of struggling I gave up and returned to Cline. Now with Claude Code I got much more value right from the start. I don't know, maybe I was "holding it wrong".
by jonathanstrange | 2025-06-23 13:00:40+00:00
This is my pet peeve topic because this alleged need for "trust" has become so ubiquitous. It's like a meme that is parroted blindly. At a closer look, it's in my opinion not so clear whether trust should play any substantial role in dealing with potential knowledge and insight, especially since the term "expert" is interpreted ranging from "a guy who wrote an M.A. thesis about some related topic" to "internationally renowned researcher with 100+ publications in a specific, narrow subtopic of a field who is highly estimated by their peers and has served in various panels to inform decision makers."

Generally, science is not built on trusting others, it's built on being skeptical.

What people miss is not trust in alleged or real experts, what they lack is intellectual humility and the ability to determine when someone else likely knows more about a topic than you. That doesn't mean that they have to trust that person's opinion about the matter, it just means that they should have a tendency to believe that person's informed opinions more easily than their own uninformed preconceptions.

For example, people shouldn't trust authorities and the experts these rely on. It's perfectly fine if they constantly scrutinize these authorities. However, they should be able to recognize when they clearly know less then these and act accordingly. Whether that means remaining agnostic or acting upon the expert's knowledge (even if it is taken with a pinch of salt) depends on the decision situation, how much need for action there is.

By the same token, you should also not trust text books. You should be aware of your own limitations while trying to check the information in the book. When you know you don't have enough knowledge to check it, you're going to have to trust some of the content. The more you build up knowledge, the more you can check the book, and at some point you will find errors in it.
by IAmBroom | 2025-06-23 13:01:33+00:00
I read an interview with "Famous Amos", who was asked about his fascination with cookies. He replied, "IRDGAF about cookies. If it hadn't been cookies, I would have sold something else."

I was offended. I couldn't grasp that he was so nakedly honest about his desire to make a fortune by hawking /something/.
Show HN: DevOps eBook Bundle – Learn Terraform, Kubernetes, and Helm
by kirshiyin | 2025-06-23 13:03:00+00:00
Hey Everyone, I’ve written a beginner-friendly DevOps bundle on Leanpub that teaches Terraform, Kubernetes, and Helm from scratch. The books are structured, short, have diagrams and hands-on exercises, and updated often. I just got featured on Leanpub,so I figured I’d share it here too. Feedback welcome!
by iamthepieman | 2025-06-23 13:03:14+00:00
My brother passed away from AML (acute myeloid leukemia) almost two years ago. His quality of life was dismal on treatment, he was constantly vomiting, mouth sores, unable to sleep but very tired, couldn't see his two young children and locked away in a hospital ward. His wife had to make a huge effort to see him consistently because she couldn't bring the kids and had to find babysitters. He made the decision to stop treatment because of that. His chances were low anyways and he pursued 'alternatives' because it was better than nothing. Even if the main benefit was to make him and his family feel like he wasn't completely giving up.
by thijson | 2025-06-23 13:03:15+00:00
In theory that would be ideal, I feel like FPGA's haven't kept up compared to GPU's. The latest GPU's will be at 4nm, while FPGA's will be still at 28nm. The pipelines are huge, it would take many FPGA's to fit one LLM if everything is kept on-die. Cerebras is attempting this, but has to use a whole silicon wafer:

https://www.cerebras.ai/

We need FPGA's at the latest process node, with many GB's of HBM in the package. Fast reconfigurability would also be a nice have.

I feel like the FPGA has stagnated over the last decade as the two largest companies in this space were acquired by Intel and AMD. Those companies haven't kept up the pace of innovation in this space, as it isn't their core business.
by tiagod | 2025-06-23 13:03:32+00:00
I checked the math and it is correct! So assuming this is a representative sample, there would be 800000/0.000013 ~= 61 billion galaxies in the celestial sphere.

According to Wikipedia, "It is estimated that there are between 200 billion to 2 trillion galaxies in the observable universe."

Edited: Off by some orders of magnitude.
by potato3732842 | 2025-06-23 13:03:44+00:00
>What problems are you talking about? Be specific.

The one where these people don't have work papers, so they can't work the kind of above the table jobs you need to work to fully support yourself so they wind up being a drain on our social safety nets.

The average working American in my state can't even afford "good" healthcare but we're happy to let these people in sign these people up for state healthcare and benefits (at least in my blue state, perhaps the red states have stringent criteria that makes them ineligible) and doll out millions of dollars of contracts to all sorts of entities that facilitate this process. It's absolutely nonsensical policy. And this is without even examining the effects on supply and demand of labor, cheap housing, etc, which I'm sure aren't great.

I don't hate the immigrants. They're mostly fine people. But I would enact the most unspeakable horrors upon the people who actively created this situation were I given the opportunity.

And the people who really ought to be pissed are the people who are in favor of adjacent political policy (broad safety nets, permissive legal immigration policies, etc) because the peddlers of the illegal immigration situation cast shade upon all them.

Edit: Some of you really need to re-read that second to last sentence.
by da_chicken | 2025-06-23 13:03:48+00:00
I still dislike the idea that my document formatting and layout system really needs a build environment. Because let's be real, almost nobody actually needs it for genuine typesetting. I think the problem with LaTeX is that it's too flexible.

It reminds me a little bit of the problem of Linux distributions. Linux is supposed to be a system with the bazaar model instead of the cathedral model. Except what you actually end up with is that each distribution becomes it's own cathedral, because building a whole system now requires major decisions to be made. LaTeX class files feel like the same thing.
by the_af | 2025-06-23 13:04:15+00:00
Whatever else you may think of communism, this particular criticism seems misguided: there are as many bitterly opposed branches of communism as there are self-professed communists.

Officially, communists often engage in self-critique (whether this is heartfelt or not is another matter). So they do criticize their own ideology and practices.

A running joke among lefties is that the worst enemy of a communist is another communist with a slightly different ideology.

Also see: Monty Python's Life of Brian and their hilarious "The People's Front of Judea" skit (not to be confused with Judea People's Front -- splitters!).
by larrled | 2025-06-23 13:04:52+00:00
It is interesting we now call this stuff “conspiracy theories.” We used to talk of “snake oil” or people would make jokes about yoga and health food in the 70s. Currently it’s taken on a newspeaky sort of political flavor with the phrase “conspiracy theory.” In the 90s it was “alternative health” or “eastern medicine.” Interesting how views changed on ways of knowing/cultural relativism in such a short period of time.
by seviu | 2025-06-23 13:05:59+00:00
Settling a transaction might be in this case the ship with the gold sinking in the ocean.

This is one of the primary reasons Bitcoin exists. As long as I can remember the seed phrase it’s always with me. And main reason why I would rather have bitcoin than gold.

Transporting all that gold will be a tad more difficult though. I wish they luck though.
by bilekas | 2025-06-23 13:06:22+00:00
> The children absorbed outlandish ideas, including that the Royal Family were shape-shifting lizards, says Gabriel. "As a young child, you trust your parents. So you see that as a truth," he says.

At what point does someone step in and call this child abuse, at the very least these parents are not capable of raising their children in a safe manner.

> Kate Shemirani styles herself as "the Natural Nurse" on social media

And therein lies our main issue. People on social media who are amplified and given confirmation biases from the algorithm with basically zero moderation now.

Maybe it's callous to say but seems like Darwins law should settle these things.
by regularization | 2025-06-23 13:06:37+00:00
You're correct this does not matter this year. But in the 2013 German election, AFD got no seats, and now it has the second most seats. BSW was not around in the 2021 election, they got about 5% of the vote but Die Linke managed not to lose their vote to BSW. BSW probably picked up voters who would have gone to either AFD or Die Linke (kind of like voters in the early 1930s who switched between the KPD and NSDAP).

This is the future of European, and US elections. Undermining Russia is important to the rulers of Europe and the US, but not as much to workers and voters. You can see the sea change with Trump in office and socialist candidates like Bernie, who is getting huge crowds in Idaho and Oklahoma, or AOC and Zohran in New York. Young people can't afford houses, even programmers are having trouble since the 2022 layoffs - can you imagine the Amazin RTO in Seattle mandate would be possible in 2021? Wealth inequality leads to disruption, and political parties are made to appeal to the masses - either fascist or socialist. The political tendencies arising are no anomaly.
by salawat | 2025-06-23 13:07:06+00:00
Jungian symbolism. Royalty is an institution composed of humans (faces change over time, shape shifter) that think, act, and are treated differently than anyone else; generally making decisions that can severely change the trajectory of human lives around them (reptiloid, cold blooded).

It's only hard to make the leap if you're too biased toward rational faculties. Your irrational faculties can make the leap fairly trivially.
by quickthrowman | 2025-06-23 13:07:15+00:00
Your EVSE’s ground fault protection will trip at 20mA of leakage current to protect the equipment, not a person. That is not good enough to qualify as protection to personnel, you need a GFCI breaker that will trip at 5 mA of leakage current.

Similarly, electrical switchgear can come with ground fault protection relays that trip at around 30mA of leakage current, which is enough to protect the equipment but not a person.

Anyways, a 250V 50A 2P GFCI plug-in breaker is only about $120, that’s the cost of two 15A 1P GFCI/AFCI combo breakers.
by GolfPopper | 2025-06-23 13:07:38+00:00
The A Collection of Unusual Pedantry blog which the author references is an amazing introduction to this work of thinking (the challenges of military operations, and the forces that shape warfare and civilization). [1] If you're already familiar with ACoUP, or find Cataphracts fascinating, you might also enjoy Edward N. Luttwak's The Grand Strategy of the Byzantine Empire of which one review says (and which I find a quality summary):

"The Grand Strategy of the Byzantine Empire is written with a profound knowledge of the field, a thorough mastery of the sources and secondary literature, and a lively and engaging style that both specialists and general readers will appreciate." —Peter B. Golden, Rutgers University

1. https://acoup.blog/
by techpineapple | 2025-06-23 13:08:35+00:00
A big part of the problem is the whole a lie gets halfway around the world, before the truth has a chance to get its pants on thing.

Generally speaking, between your average conspiracy theorist, and the average university scientist, rhetorically speaking, the conspiracy theorist will probably run circles around the scientist.

To a lay persons understanding of argument and rhetoric, unless you have a good bullshit detector(and bullshit detector’s are imperfect, you’ll get it wrong a certain percentage of of the time) the conspiracy theorist is more convincing and usually has “better” arguments.
by bilekas | 2025-06-23 13:08:44+00:00
> Is it premature to blame RFK?

Nobody was blaming RFK for this particular case, reading it you can see the reason RFK was called out is because he's the main health 'professional' representative who, himself, spout debunked lies. Again giving confirming biases to other people who believe this nonsense.

Where he should know better with the access to the best professionals in the world, he still spreads misinformation, of course people will call him out.
by wiether | 2025-06-23 13:08:44+00:00
As the article shows how to do it, with AWS Backup you can do things like cross-account and cross-region backups.

Moreover, AWS Backup is the _Terraform_ of backup in AWS. You can control all your backups through a single interface, with various policies (scheduling, retention, access...)

For instance, by default, you are limited to 100 Manual RDS Snapshots per account. With AWS Backup, you can do what you want. You can define dozens of different rules for the same services/resources.

So you can let teams manage their resources as they want, and have a backup team manage backuping everything from AWS Backup without having to interact with the services/resources themselves.
by throw0101b | 2025-06-23 13:08:54+00:00
> Some functionality is not supported, such as […] storing config in LDAP using sudoers.ldap, and cvtsudoers.

* https://github.com/trifectatechfoundation/sudo-rs?tab=readme...

Well that makes it useless for $WORK (for now), as we use LDAP as our central policy repo (and more generally our user account store). Will have to wait until (at least) that's implemented before we can even consider it.

> It's permissively licensed, unfortunately. Wonder why.

So it can be used distributed with fewer legal hassles.