MurphyA/hacker-news huggingface dataset:
by aredox | 2025-06-10 12:49:13+00:00
> extremely well informed

Like when he said SARS-COV-2 targets some ethnicities or that Lyme is a bioweapon?

>For example: most people assume vaccines are tested against an inert placebo like water, and will only be approved as safe if it doesn't cause more problems than the placebo does. This isn't what happens. The "placebo" in vaccine trials is usually another vaccine. This leads to the question of what happens if both are unsafe?

That doesn't happen because if you get to how that "another vaccine" was tested, it was against a placebo - or another, even more ancient vaccine, etc... Until you get a test against a placebo.

And because all along the chain, every new treatment was proven to be better than the previous one, the latest can only be better than a placebo.

And no, re-testing against a placebo now isn't going to show anything revolutionary: what you will only manage to do is denying children any standard of care and expose them to death and injury. All because "most people assume vaccines are tested against an inert placebo" instead of educating themselves on statistics and the history of medical testing.
by nyc111 | 2025-06-10 12:49:18+00:00
"If the axioms are true, and the subsequent reasoning is sound, then the conclusion is irrefutable. What we now have is a proof: something we can know for sure."

... if the axioms are true. We still don't know for sure absolutely.

"The idea of self-evident truths goes all the way back to Euclid’s “Elements” (ca. 300 B.C.), which depends on a handful of axioms—things that must be granted true at the outset, such as that one can draw a straight line between any two points on a plane."

Strictly speaking, Euclid does not state axioms. He starts with 23 Definitions, 5 Postulates and 5 Common Notions. Drawing a straight line from any point to any point is stated as Postulate 1.

I realize this is a newspaper article.
by pelagic_sky | 2025-06-10 12:50:09+00:00
About 15 years ago I set a constraint that I would design and publish sets of free vector assets on my website. I wanted a reason to practice vector art, I wanted to give back to the design community. What came from it was recognition and job offers. Last year I tried to set a constraint to write one blog article a month on my experiences in the design world. I failed at that because I wanted to add all the supporting images and just ended up putting too much constraints on myself.
by 9rx | 2025-06-10 12:50:20+00:00
Funny enough, manually defining the discriminant disables the enumerator:

enum Discriminant1 { Disc0, Disc1, } #[repr(u8)] enum Discriminant2 { Disc0 = 10, Disc1 = 20 } fn main() { let d1 = Discriminant1::Disc1; let d2 = Discriminant2::Disc1; println!("{:?}", std::mem::discriminant(&d1)); // Value by enumerator. println!("{:?}", std::mem::discriminant(&d2)); // Value by constant. }

Which makes the use of the enum keyword particularly bizarre given that there is no longer even an enumerator involved, but I suppose bizarre inconsistencies are par for the course in Rust.
by infecto | 2025-06-10 12:50:33+00:00
“Stupidly easy” is bad copy imo. I honestly did not want to scroll through the front page after seeing it. In a sentence it does not have nice flow and from a business perspective it feels immature. I would tighten up that copy a lot but that is just my opinion. Also, might be in the minority but I avoid any products that put ProductHunt flags on the page, especially prominently at the top.
by sayil | 2025-06-10 12:52:07+00:00
I built this after realizing there's no structured way to improve workplace communication skills. Technical skills get tons of reps, but soft skills are seen as innate and expected to develop naturally.

Launched with interview practice and impromptu speaking scenarios that provide custom, structured feedback. The goal is deliberate practice for soft skills the same way we train technical skills.

I'm looking to add more modules, so I'd love to hear what soft skills challenges you've faced and what you'd want to work on.
by lukan | 2025-06-10 12:52:14+00:00
Are you aware of that old concept and why it doesn't work?

https://de.wikipedia.org/wiki/Perpetuum_mobile

Same principle.

Basically, what you propose negates the nature of reality. There is always friction/energy loss into heat (increased chaotic movement). Only way to deal with it, if you want permanent cycles, is constantly add energy in the same amount that is lost.
by NAHWheatCracker | 2025-06-10 12:52:42+00:00
The first job I had as a software engineer was at a trucking company that had a desktop Swing application. If an exception happened, the user would get a pop-up with buttons to email support the stack trace or cancel. The email went to all the IT staff and someone would usually reply within an hour, often with a fix.

The engineering work was atrocious looking back. I probably fixed 50 random NullPointerExceptions in my 3 years there this way. But, it was one of the most productive places I've worked at because everything was done simple and there were no barriers between users and developers.
by BLKNSLVR | 2025-06-10 12:52:46+00:00
The vibrations of the hype train of AI feel like a similar frequency to those of the cloud hype train.

Once hype train vibrations reach a certain frequency, the topic they represent become inevitable.

Purely subjective of course, my vibration frequency sensitivity is not your vibration frequency sensitivity.

I would say that it feels as if AI is being 'pushed' far more than cloud was. Cloud services were made available, and companies took them up. AI uptake has a pressure behind it from the big players. Refer anecdote: https://news.ycombinator.com/item?id=44234139

It's a bit VHS vs Betamax, except it's VHS vs No-VHS. Playing on FOMO.
by SkyBelow | 2025-06-10 12:53:17+00:00
>Continue to practice pair-programming with your editor, but throttle down from the semi-autonomous "Agent" mode to the turn-based "Edit" or "Ask" modes.

This can be done while staying in agent mode. I never used edit mode and only use ask mode when my question has nothing to do with the project I have open. Any other time, I tell it to either make no changes at all as I'm only asking a question to research something, or to limit changes to a much smaller scope and style. It doesn't work perfectly, but it works well enough that it is worth the tradeoff given the extra capabilities agent mode seems to provide (this likely depends upon the specific AI/LLM system you are using, so given another tool I might not arrive at the same conclusion).
by eru | 2025-06-10 12:53:37+00:00
Well, in modern mathematics we don't presume that the axioms are 'true' in any meaningful sense. All of modern mathematics is conditional.

So _if_ you find a system where the axioms of eg group theory hold, you can apply the findings of group theory. That doesn't make any statement about whether the axioms of group theory are 'true' in any absolute sense.

They hold well enough for eg the Rubik's cube, that you can use them there. But that's just a statement about a particular mental model we have of the Rubik's cube, and it only captures certain aspects of that toy, but not others. (Eg the model doesn't tell you what happens when you take the cube apart or hit it with a hammer or drop it from a height. It only tells you some properties of chaining together 'normal' moves.)
by alpaca128 | 2025-06-10 12:53:39+00:00
On Mac OS the first significant thing on screen after turning it on for the first time are the accessibility settings with screenshots and animations to explain every option. You can also access those options with the Spotlight search, typing "tran" will give you the "reduce transparency" toggle directly in the search results without having to open settings first (though to be fair the search indexing is a bit lacking, like on iOS - the animation toggle is called "reduce motion" and so it can't be found via typing in "animation").
by IAmBroom | 2025-06-10 12:54:35+00:00
Whole lotta "shoulds" there.

Who is the worldwide authority that has the power to declare Firefox a web standard?

Google being "fined for introducing de facto "standards" into mainline Chrome without going thru the W3C" is... wow, a leap of legal imagination. That is not how anything works.

None of this is realistic. We need attainable goals, using concrete steps. Getting Google declared a monopoly: one step. Keeping that ruling intact through the following years: another step (Hello, Microsoft in the 1990's). Establish web standards, beyond the current skeletal concepts: a BIG step.
by bheadmaster | 2025-06-10 12:54:43+00:00
> We still don't know for sure absolutely.

If we go down the skeptics' route, we can't know anything absolutely (except that we exist yada yada). But we still have to function in the real world, so we assume the most consistent observations will never change. From those observations, we extract the axioms, on which we build the tower of conclusions.
by kazinator | 2025-06-10 12:55:17+00:00
This whole article is a very verbose way to reach the conclusion that std::is_copy_constructible_v is a poorly chosen name, not reflecting the actual truth that the construct provides.

If it were called std::has_copy_constructor, there would be no need to write even the title of this article, let alone the body.

Also, maybe this should require a diagnostic due to it being statically obvious that it is calling a deleted constructor:

Derived(Derived const& d) : Base<T>(d) {}

... and if we use regular non-template classes, it does!

Clang:

#include <type_traits> struct Base { // Default-constructible Base() = default; // Not copy-constructible Base(Base const &) = delete; }; struct Derived : Base { Derived() = default; Derived(Derived const& d) : Base(d) { } };

Clang:

copy-constructor.cc:15:33: error: call to deleted constructor of 'Base' 15 | Derived(Derived const& d) : Base(d) { } | ^ ~ copy-constructor.cc:9:5: note: 'Base' has been explicitly marked deleted here 9 | Base(Base const &) = delete; | ^ 1 error generated.

If the program requires a diagnostic which allows it to be rejected entirely, it then doesn't matter what is_copy_constructible returned.

The only reason we don't get a diagnostic is that the language plays it loose with templates, in many cases deferring type checks until instantiation.

It is possible to argue that is_copy_constructible isn't necessarily badly named, but rather foiled by templates.
by ednite | 2025-06-10 12:55:38+00:00
For me, goals define the what and when, they give direction and timeline.

Constraints define the how and why, they shape focus, discipline, and intention.

Together, they form a system that keeps progress going.

I don’t see them as opposing ideas.

Constraints and goals work best together for most of my real-world projects.

Still a great read and interesting point of discussion.
by nyeah | 2025-06-10 12:55:48+00:00
I think I disagree with nkmnz' specifics. But I'm not sure! It's possible I might agree with nkmnz across the board.

This might be a case where someone familiar with the subject could follow what you're saying just fine, but most of us HN commenters don't know enough about the subject to get it. That can happen here (e.g. on physics topics). In any case I can't really follow your arguments closely.
by Sweepi | 2025-06-10 12:57:18+00:00
I am not deep enough to critique the article, but I have comment:

"If the wealth equality assumption does not hold, QF is anything but optimal. Consider these two examples:

Ten wealthy art patrons each contribute €1,000,000 to the local public art museum. Total Contributions: 10×€1,000,000=€10,000,000 QF allocates: (10×sqrt(1,000,000))2=€100,000,000 Subsidy: €90,000,000

One hundred lower‑income individuals each contribute €100 to replace lead pipes in their neighborhood

Total Contributions: 100×€100=€10,000 QF allocates: (100×sqrt(100 ))2=€1,000,000 Subsidy: €990,000.

Intuitively, this seems very wrong:[..]"

Intuitively, I thought: Well, the "hundred lower‑income individuals" got there money 99x, while the "Ten wealthy art patrons" only got 9x. (1/11 for having 1/10 participants). Isn't that working as intended?

Especially if you have a progressive income/wealth tax.
by chrismorgan | 2025-06-10 12:57:24+00:00
Look at each site of the day from the last week, and compare them to your average corporate site.

10th: no resemblance whatsoever, enormous unforced usability problems (e.g. scrolljacking).

9th: grossly unusable, no resemblance whatsoever. Exemplar of the worst excesses of a highly-ranked Awwwards site.

8th: a lot of resemblance, but the “interesting” parts are the bad parts.

7th: see 8th.

6th: superficial resemblance, but with far more problems due to being “interesting”.

5th: no real resemblance, bad scrolljacking problems.

4th: see 5th.

Long-known-to-be-harmful trends like scrolljacking and replacing the cursor (probably with a `backdrop-filter: invert(1)` circle, these days) seem to appear on well more than half of the Awwwards site; but they are fortunately rare on the web at large.

I’m not saying corporate sites are without problems—“yes, things are stupidly bad”—but the persistent stupidity that is scroll-linked entrance animations are a very different kettle of fish from the problems of a typical Awwwards site.
by fsflover | 2025-06-10 12:59:12+00:00
> Your links are a bunch of user comments?

They themselves contain the actual links and also relevant discussions. One more link: https://github.com/signalapp/Signal-Android/issues/13842

> The push notification payloads don't contain message/sender data.

The other metadata may be important too.

> Signal also runs fine without Google services, which avoids any potential problem entirely.

Not everybody is able to avoid Google services on their phone. I can't run it on a desktop (or GNU/Linux phone) without a connection to an Android phone.
by tgv | 2025-06-10 12:59:23+00:00
If only. I worked in cog/neuro sci, and the career builders there produce small variations on the original. Variations on the Stroop task, which dates back to 1935(!), are still being published, despite the fact that there is no explanation for the effect. And when you consider that null results are rarely published, and that many aspects of the methodology are flawed, a new paper cannot be considered a replication: it's just wishful thinking upon wishful thinking.
by treetalker | 2025-06-10 12:59:29+00:00
When lawyers speak of the American Rule, we mean the concept that each party pays for its own legal fees unless that default is changed by statute, contract, or court action (for example, sanctions) — as opposed to the English Rule, under which the losing party generally must pay the prevailing party's fees.

Even in most American jurisdictions, the losing party ends up paying many of the prevailing party's costs (deposition transcripts, expert costs, etc.).
by Larrikin | 2025-06-10 13:00:18+00:00
They seem to actually have nearly all been birds or what birds evolved from. A simple check on your favorite dinosaur to see if it still was probably a reptile is whether it's legs come out of the side like a crocodile or Komodo dragon

Dinosaurs look way less cool covered in feathers, but hopefully we get some new Jurassic Parks where the people start getting victimized in snowy environments too.
by itsluther | 2025-06-10 13:00:32+00:00
In 2017, in order to pay for the tax legislation in Trump's first term, a provision was added that would prevent companies from deducting Research and Development costs immediately (includes but not limited to payroll costs). It required domestic R&D costs to be expensed over 5 years (really 6 years since you only get to deduct one half of your first year expenses in the first year) and foreign expenses over 15 years (really 16 years). This provision was put in place to start January 1, 2022 because they were looking for additional revenue to pay for 2017 individual and corporate tax cuts. At the time, the thinking was it would be eventually fixed (allow for R&D deductions) as they had almost 5 years to fix the provision. Due to the politics at the time, it was not fixed. Bottom line, the political stars haven't aligned until now to actually get this fixed.
by Luker88 | 2025-06-10 13:00:46+00:00
If you want to know only about the type system, nowadays it's mostly the lack of basic enums, a clear divide in basic features of the language and of the libraries (and modern generics support) leading to things like `len(..)` vs `.Len()`. Those actually end up playing a bigger role than it seems imho, but even just the rest is death by a thousand cuts.

You can find many articles on the internet about it, but in my experience I would summarize it in:

It looks like it's made to have a simple compiler, not to simplify the programmer's life.

Initially its simplicity is wonderful. Then you start to notice how verbose things are. Channels are another looks-nice-but-maybe-don't feature. nil vs nil-interface. Lack of proper enums is hurting so much I can't describe it. I personally hate automatic type conversions, and there are so many inconsistencies in the standard and most used libraries that you really start to wonder why some things where even done. validators that validate nothing, half-done tagging systems for structs, tons of similar-but-not-quite interfaces and methods.

It's like the language has learning wheels that you can't shake off or work around. You end up wanting to leave for a better one.

People had to beg for years for basic generics and small features. If google is not interested in it, you'd better not be interested in it and it shows after a while.

Companies started to use it as an alternative to C and C++, while in reality it's an alternative to python. Just like in python a lot of the work and warnings are tied into the linter as a clear workaround. Our linter config has something like 70+ linters classes enabled, and we are a very small team.

C can be described as a relatively simple language (with caveats), C++ has grown to a blob that does and has everything, and while they have lots of footguns I did not find the same level of frustration as with go. You always end up fighting a lot of corner cases everywhere.

Wanted to say even more, but I think I ranted enough.
by 9rx | 2025-06-10 13:01:10+00:00
Then you misunderstand the situation. People didn't start flocking to paper straws because they actually pose a widespread threat to turtles. It was only done so under feeling good about the idea of helping turtles avoid the hypothetical fate shown in said video. In order to achieve that goal in maintaining the idea of helping turtles, it is necessary for the straws to have poor structural integrity.

Granted, I expect the novelty has already started to wear off. There seems to be growing movement towards returning to plastic straws. And fair enough. You can only worry about turtles for so long before the next viral video gives you something new to worry about. And for that reason, plastic straws may no longer need a replacement (from the irrational human emotion point of view).
by andrewlgood | 2025-06-10 13:01:21+00:00
It’s not just software. Software developers are just the most vocal people talking about it. I worked a company that owned nuclear power plants. We did R&D on how to make the power plants work more efficiently and safely. Some of the work we did qualified as R&D and could be capitalized. This mattered as the US government gave tax credits for eligible R&D. The tax credits directly reduced your tax bill.
by throw0101d | 2025-06-10 13:01:21+00:00
Or Wisconsin:

> President Trump spent much of his campaign vowing "mass deportations" of undocumented immigrants, and the first weeks of his term have been marked by public displays of immigration enforcement. It could pose a blow to multiple parts of the country's food supply chain, including the dairy industry, where more than half of the national workforce is undocumented.

* https://www.cbsnews.com/video/how-undocumented-workers-suppo...
by wakamoleguy | 2025-06-10 13:01:36+00:00
Not all taxes are in income or capital. Some are e.g. on consumption (gas, cigarettes, carbon, etc). There’s an argument that in place of corporate income taxes, we should let companies reinvest freely (or pay dividends), and then recoup the taxes elsewhere. The Planet Money podcast has a classic episode about this and other aspects of a presidential platform most economists could agree on.
by rbanffy | 2025-06-10 13:02:04+00:00
I had a lot of success adding links and buttons to report bugs on error pages and messages. Doing that while whatever abnormal state led to the message is still hot allowed me to gather a lot of information about the state of the application to be attached to any bug report. Initially I used the Macintosh bomb icon for it, but some users found that too cryptic compared to a text message.
by bandoti | 2025-06-10 13:02:50+00:00
It’s going to be really interesting to see how this UI paradigm pans out. I think this captures a shift toward the extreme in responsive, fluid, convergent, whatever-you-want-to-call-it, design.

We’ve had books/scrolls for thousands of years, laid out in beautiful proportion, and now it has all melted in the oven!
by cogman10 | 2025-06-10 13:03:03+00:00
You should in that case at least get a second opinion.

Also, just an FYI for anyone in here, there are people that call themselves doctors who will diagnose and cure cancer using magic. Any "clinic" that staffs a number of naturopathic doctors (NDs) and suggests that you can treat cancer with dietary changes is a grift that should be illegal.

I'm dealing with cancer in my family and one such clinic was the first suggestion by family members. This isn't the place, but it what to watch out for [1]. Always be leery when you see clinics downplaying traditional medicine. Notice on their staffing page that they have exactly 1 doctor on staff (not even a nurse practitioner) and that this doctor doesn't have any credentials in oncology. And if you check out the billing section, notice that they instruct you on how to commit insurance fraud. There's a reason they don't take medicare/medicaid and it's because committing fraud there is a jail sentence for them and you. For a large insurance company, it's a lawsuit to you.

Edit: Ah, found the actual place suggested to us [2]. You can see a lot of the same hallmarks on it vs the first link.

[1] https://brio-medical.com/

[2] https://www.envita.com
by abelanger | 2025-06-10 13:03:05+00:00
The primary difference is that Hatchet is an all-purpose platform for async jobs, so while durable execution is a pattern that we support, we have a lot of other features like concurrency and fairness control, event ingestion, custom queues, dynamic rate limiting, streaming from a background job, monitoring, alerting, DAG-based executions, etc. There's a bit more on this/our architecture here: https://news.ycombinator.com/item?id=43572733.

The reason I started working on Hatchet was because I'm a huge advocate of durable execution, but didn't enjoy using Temporal. So we try to make the development experience as good as possible.

On the underlying durable execution layer, it's the exact same core feature set.
by alpaca128 | 2025-06-10 13:03:44+00:00
That explanation makes no sense in this case. The workspace transition animation takes a full second, on extremely performant devices that can keep up their pace up until the OS swaps around 15GB, at which point animations start lagging so they actually make it even worse. Meanwhile a Linux setup will switch workspaces instantly. Same for Windows 11 if you turn off animations, by the way.

This animation slows every transition by one second including entering and leaving fullscreen mode, because on Mac OS fullscreen works by moving the window to a new workspace. There is no justification for this.