MurphyA/hacker-news huggingface dataset:
by mingus88 | 2025-09-17 13:51:21+00:00
“ I have a foreboding of an America in my children’s or grandchildren’s time—when the United States is a service and information economy; when nearly all the key manufacturing industries have slipped away to other countries; when awesome technological powers are in the hands of a very few, and no one representing the public interest can even grasp the issues; when the people have lost the ability to set their own agendas or knowledgeably question those in authority; when, clutching our crystals and nervously consulting our horoscopes, our critical faculties in decline, unable to distinguish between what feels good and what’s true, we slide, almost without noticing, back into superstition and darkness.”

Carl Sagan - 1995
by user34283 | 2025-09-17 13:51:39+00:00
Adding a single dependency on one popular package - such as Jest - can add 300 packages.

I am not convinced you ever checked how many packages were actually present in your projects, as you shared no specifics.

I assume you just did not check, and may have had hundreds of packages installed despite avoiding adding dependencies willy-nilly. This invalidates your suggestion.
by bbatha | 2025-09-17 13:51:55+00:00
It’s several factors and all of your alternatives are true to some degree:

1. An h20 is about 1.5 generations behind Blackwell. This chip looks closer to about 2 generations behind top end Blackwell chips. So ~5ish years behind is not as impressive especially since EUV is likely going to be a major obstacle to catching up which China has no capacity for

2. Nvidia continues to dominate on the software side. Amd chips have been competitive on paper for a while and have had limited uptake. Now Chinese government mandates could obviously correct this after substantial investment in the software stack — but this is probably several years behind.

3. China has poured trillions of dollars into its academic system and graduates more than 3x the number of electrical engineers the US does. The US immigration system has also been training Chinese students but having a much more limited work visa program has transferred a lot of knowledge back without even touching IP issues

4. Of course ip theft covers some of it
by mvx64 | 2025-09-17 13:52:26+00:00
Right, it's a spectrum, you can't avoid some things (and rightly so).

Another soft rule: no member functions (except for the Scenes); structs are only data, all functions are free functions.

Also no operator overloading, so yes, lots of Vec3::add(&v1, &v2). I was hesitant at first but this makes for more transparent ops (* is dot or cross?) and does not hide the complexity.

The whole thing is around 6-7kloc and I think it would be possible to rewrite in C++ in a day or two.
by schoen | 2025-09-17 13:52:29+00:00
In this perspective, couldn't you equally say that all formalized mathematics has been brute forced, because you found working programs that prove your desired results and that are short enough that a human being could actually discover and use them?

... even though your actual method of discovering the programs in question was usually not purely exhaustive search (though it may have included some significant computer search components).

More precisely, we could say that if mathematicians are working in a formal system, they can't find any results that a computer with "sufficiently large" memory and runtime couldn't also find. Yet currently, human mathematicians are often more computationally efficient in practice than computer mathematicians, and the human mathematicians often find results that bounded computer mathematicians can't. This could very well change in the future!

Like it was somewhat clear in principle that a naive tree search algorithm in chess should be able to beat any human player, given "sufficiently large" memory and runtime (e.g. to exhaustively check 30 or 40 moves ahead or something). However, real humans were at least occasionally able to beat top computer programs at chess until about 2005. (This analogy isn't perfect because proof correctness or incorrectness within a formal system is clear, while relative strength in chess is hard to be absolutely sure of.)
by senordevnyc | 2025-09-17 13:53:25+00:00
Why is a 34x improvement in the rate of interventions not as impressive as it sounds?

I’m not even sure that Waymo number is still correct. They’re doing hundreds of thousands of paid rides per week, with no one in the front seat, so not sure what an “intervention” even means at that point. Maybe where the passenger needed help and called support? That’s 1000x better than needing to grab the wheel because your Tesla was about to drive into oncoming traffic or run over a kid in a wheelchair.
by rtkwe | 2025-09-17 13:53:36+00:00
Did you also stat out the static pressure? It's an important factor I don't see you mention and a lot of people over look it. It's especially important on some of those fans because the ducting and cooling they're pushing has restrictions and need a fair amount of static pressure to maintain the rated CF/M. Quieter fans generally have a lower static pressure rating too so you might not be getting the CFM you think for fans like the part cooling fan that has to push the air through the ducting around the head.
by mcflubbins | 2025-09-17 13:53:38+00:00
What are some good Open Source / Self Hosted alternatives to Apple Photos (Desktop)? I pretty much keep my Mac Mini around solely to import photos from our phones, free up space on the phone, and backup the Photos DB. We like to go back and look at old photos from time to time too, and the feature that shows them on a map is a big one for us.

Last time I looked (pre-COVID) there wasn't a lot of promising options, and some didn't support HEIF images
by alephnerd | 2025-09-17 13:54:13+00:00
> it means that there’s still room for productive growth

The median Chinese in 2025 is also much older than the median Japanese was in 1990 when their bubble burst. Without welfare expansion and a broad project to increase the prosperity of the median Chinese household, growth will sputter - as it already is [0]

Xi's admin remains avowedly opposed to what he termed "Welfarism" ("福利主义典范国家，中产塌陷、贫富分化、社会撕裂、民粹喧嚣，这不乏警示— 防止落入“福利主义”养懒汉陷阱") [1], and almost all stimulus provided is supply-side.

Chinese households need to either earn enough so they can save for a rainy day and consume, or the state needs to dramatically increase the scope of it's social safety net to incentivize spending.

China needs a "New Deal" style welfare reform if it wants to escape Japanification at this stage.

> The also means that the price of labor will still continue to be competitive.

It's isn't anymore. China's costs have caught up with those of Mexico and Malaysia's, so cost sensitive manufacturing began leaving over a decade ago to Vietnam, Mexico, and India.

High value manufacturing has taken off in China, but generates very few jobs, because a heavily automated factory requires much fewer and much more educated employees, which locks out a large number of Chinese as the average age of schooling amongst working age Chinese is around 8-9 years [2]

[0] - https://www.reuters.com/world/china/chinas-economy-slumps-au...

[1] - http://theory.people.com.cn/n1/2021/1116/c40531-32283350.htm...

[2] - https://ourworldindata.org/grapher/average-years-of-schoolin...
by moi2388 | 2025-09-17 13:54:42+00:00
Nothing, except the perception of what was said and what was actually said. (The same happend to Bells inequality actually)

“ (…) you can just mimic the behavior of complex numbers using pairs of real numbers (and appropriately tweaked definitions of operations). (…) What Renou et al are actually claiming is that if you start with quantum mechanics, and then remove all operations and states involving non-real numbers, and then try to emulate what was lost using what remains, you will fail in an experimentally detectable way”

Meaning it’s actually totally possible to only use reals to encode the complex Numbers, but not to also remove all operators which do the same things as the complex numbers would.
by traceroute66 | 2025-09-17 13:55:11+00:00
Mullvad DoH is great, and things like ad-blocking seems to be more effective on Mullvad.

But, and its a BIG BUT ....

Mullvad don't have the geo-coverage that Quad9 has. They are predominantly Northern Europe with very limited server coverage outside (6x Northern Europe, 2xUSA, 1xSingapore)

Which is fine if you spend most of your time in those three places.

But if you are a road-warrior or you live elsewhere, then Quad9 is the better choice as they have global coverage (200 locations, 90 countries).

Avoid Cloudflare. They log traffic. Sure for a short-time period ($n days) but Quad9 still has the better privacy policy.

Quad9 is also Swiss, not US, so they can't be compelled to do anything under PATRIOT or whatever.
by AnimalMuppet | 2025-09-17 13:55:35+00:00
In particular, move is important if there is something like a unique_ptr. To make a copy, I have to make a deep copy of whatever the unique_ptr points to, which could be very expensive. To do a move, I just copy the bits of the unique_ptr, but now the original object can't be the one that owns what's pointed to.
by WJW | 2025-09-17 13:55:43+00:00
There are, and if you really have the workload that you need to cook stuff 24/7 (what in gods name is OP cooking btw?) then you should definitely get one of those. Maybe not even secondhand but just a new one. The cheap consumer grade ones are meant for people who use them once or twice a year.

This is a fine example of what I meant about people complaining when they use products beyond their design parameters.
by izacus | 2025-09-17 13:56:01+00:00
Yes, that's exactly my point - it's important to understand the issue and the messaging about it.

Government "spies" on you for many many things and I think HN "all government is evil" panic isn't really reflected in outlook of EU citizens and won't be looked upon positively by public at large. So again, be careful what you're calling "undemocratic" because that's not the same as "different from my opinion".
by schoen | 2025-09-17 13:56:21+00:00
The Busy Beaver problem is one of the most theoretical, one of the most purely mathematical, of all theoretical computer science questions. It is really about what is possible in a very abstract sense.

Working on it did make people cleverer at analyzing the behavior of software, but it's not obvious that those skills or associated techniques will directly transfer to analyzing the behavior of much more complex software that does practical stuff. The programs that were being analyzed here are extraordinarily small by typical software developer standards.

To be more specific, it seems conceivable to me that some of these methods could inspire deductive techniques that can be used in some way in proof assistants or optimizing compilers, in order to help ensure correctness of more complicated programs, but again that application isn't obvious or guaranteed. The people working on this collaboration would definitely have described themselves as doing theoretical computer science rather than applied computer science.
by bikenaga | 2025-09-17 13:56:27+00:00
Original article: "Shocked quartz at the Younger Dryas onset (12.8 ka) supports cosmic airbursts/impacts contributing to North American megafaunal extinctions and collapse of the Clovis technocomplex" - https://journals.plos.org/plosone/article?id=10.1371/journal...
by hellojesus | 2025-09-17 13:56:34+00:00
Don't other countries border Gaza? Why can't food flow through Egypt?

I see lots of blame on Isreal, but to me it seems Isreal was provoked into this fight, and the other countries bordering Gaza are unwilling to take refugees or help in any meaningful way. It is odd to me that Isreal is taking the blame for actions clearly endorsed by anyone that has to deal with Gazans. Is it because they are the ones taking action?
by dash2 | 2025-09-17 13:56:38+00:00
> The cope is American Exceptionalism, we're doing just fine even though we're fighting a unprofitable proxy-war and missed all those b2c investments to leech off humanity.

We are not doing just fine. We have low economic growth. We are unable to beat off Russia's attack on Ukraine without American help. Germany has crumbling infrastructure just as much or more than America. We have not contributed seriously to any important innovation wave since before... 2000? The invention of the PC?
by rollcat | 2025-09-17 13:56:45+00:00
> It is illegal to fail to disclose a password for any data for any reason [...].

So it's also illegal to not know the password?

I've forgotten my own debit card PIN or phone unlock code on a couple occasions.

> (including random data)

Encrypted data is indistinguishable from random data. The only hint is the presence of metadata (GPG armor, bootloader password prompt, etc).

This law is catch-all BS designed to persecute people for no other reason.
by lxgr | 2025-09-17 13:56:59+00:00
I'm not surprised, given that I received 140% cashback(!) on their 2 year plan a while ago. Unless the hope is that most users forget to cancel before it renews, I'm assuming that I'm paying with my personal information.

It still does the trick for accessing bank and other websites from abroad (that somehow consider a VPN IP more trustworthy than a residential ISP in a Western European country, but that's a different story), but I wouldn't use it for anything sensitive.

I also definitely wouldn't run their client locally, and their Wireguard configurations are annoyingly only valid for 15 minutes after creation. (Weirdly, there doesn't seem to be any limitation on IKEv2.)
by potato3732842 | 2025-09-17 13:57:40+00:00
>CFO testified that he was not sure who the company's CEO was. Even though he had worked there for 2 decades

Your statement is actively misleading (i.e. lying).

After a little digging. That statement was made in 2022 when the CFO, who reports to the company president, who does some of the job of CEO but who reports to some unclear structure of family personalities above him who do a lot of the more strategic bits, was being deposed in a lawsuit (and this would make him very careful about what he says) among members of that family who owned the company. So it's not like he doesn't know who's calling the shots. He doesn't know who the CEO is in the most strict legal technicality sense.

https://fortune.com/2024/10/14/boars-head-deli-company-ceo-o...

I'm sure they've got some slapdash plants and a whole bunch of stuff that needs correcting, but taking something that's tangential to that and acting like it matters is a great illustration of one of the many things wrong with modern discourse.
by sschueller | 2025-09-17 13:57:51+00:00
This is literally like posting a rebuttal to the Holocaust and in a few years will be seen as that by everyone.

Second word is antisemitism, again conflating what the Israeli government is doing with all Jews. A deliberate conflation to justify the unjustifiable, absolutely abhorrent. This is what is making the world less safe for Jews and it's being done on purpose but Zionists.
by royskee | 2025-09-17 13:58:02+00:00
I couldn't find anything regarding their Alto system, widely regarding as the first computer graphical operating system when it was developed in the late 1970s https://en.wikipedia.org/wiki/Xerox_Alto , from their Palo Alto Research Center (PARC). Aaand I think I just figured out why the modern Xerox multi-function Xerox copier/scanner/printers we have at work are called AltaLink
by qwertfisch | 2025-09-17 13:58:32+00:00
But if I had the possibility of being updated in someone’s life, or even just having a contact option, would help me evaluating if this relation is worth being kept or refreshed or terminated.

Example: I was an employee with my first fulltime job for nearly ten years. After I quit the job I instantly lost contact to all people. I would have needed to actually go the company building to chat with them (or calling at work), which I didn’t because it was Covid time. But on XING (LinkedIn-like platform for Germany) one former colleague left his private phone number for me, and I messaged him (after some years, because I was in a depressive phase), and now we meet every two or three months.

So it’s not about voyerism for me but keeping contact or at least give me some hints if any relation might be worth pursuing. I don’t want (or need) people in my list just for being a watcher of their life.
by toss1 | 2025-09-17 13:58:44+00:00
I do not revile him; it is not worth the energy.

I am merely deeply disappointed to discover he was not even close to the person I thought he was, either in technological skill or wanting to actually improve humanity.

His tech skills turn out to be largely taking credit for work of others and marketing himself as a tech 'genius', and it turns out he is more interested in implementing autocracy than in actually creating an abundant future for humanity. Even with all that wealth, he takes the easy way out. Sad, really
by jmclnx | 2025-09-17 13:58:56+00:00
Same here, back then I found a little known file manager called DM.COM. That was my # 1 goto in DOS for files. IMO, it is the best.

You can do this to get information on how to download it:

curl 'gopher://sdf.org/0/users/jmccue/repository/dm220.txt' > dm220.txt
by lenkite | 2025-09-17 13:58:57+00:00
Businesses often deal with old databases, message queues, SOAP services, legacy systems. Java has a truckload of well-established connectors (Even more than Python!), well-supported JDBC drivers, and vendor-supported SDKs.

Also features like transaction management, dependency injection, validation frameworks, AOP-style cross-cutting concerns are better addressed in Java.

Java has collection streams with great customizability (filter/map/reduce/etc). Far better writing your 10,000th for-loop in Go. You can also get automatic parallel streams without writing any extra code.

Go's profiling tools (esp memory) are very primitive, sorry. JVM profiling tools beat Go's by orders of magnitude. So does the other tooling - GC tuning, monitoring, etc. Java flight recorder and VisualVM are gorgeous.

That said, Go is still better at memory efficient, tight network software like lean k8s controllers. Though frankly, Rust is encroaching into this space.
by grepfru_it | 2025-09-17 13:59:18+00:00
For those wanting a bit of privacy, you can run your own DOH server[0]. Be aware that the upstream requests can still be tracked, but additional safety steps can be taken such as hosting your own dns resolver (bind/powerdns), sending dns/doh queries over a vpn or tor connection, or spanning queries over multiple sources. Each has its own security and privacy implications, which is beyond the scope of this comment :)

[0] https://github.com/DNSCrypt/doh-server
by hnuser123456 | 2025-09-17 13:59:59+00:00
This happens on a 2019 MSI gaming laptop (GS65 Stealth) I have too. Latencymon shows >10ms stutters within a minute of being open. Found out disabling all ACPI devices fixes the stutter. Also found out disabling all ACPI drivers disables the dedicated GPU. It's possible this affects a large portion of gaming laptops with dGPUs.

Here's a link to MSI forums also discovering the ACPI hiccups with Latencymon: https://forum-en.msi.com/index.php?threads/constant-micro-st...

Just google "nvidia gaming laptop stutter latencymon acpi"
by lxgr | 2025-09-17 14:00:04+00:00
That's not true anymore.

IPv6 allows for more direct connections for services like VoIP or Tailscale, since UDP hole punching between two firewalled public IPv6 addresses usually just works, but doesn't between two clients both behind a "port-restricted cone" or "symmetric" NAT.

As a result, connections have to be relayed, which increases latency and is just outright infeasible for some non-profit services that don't have a budget for relaying everyone's traffic.

Anecdotally, I've also heard that you can get better routing via IPv6 on IPv4-via-NAT-only providers these days, as the provider's CG-NAT might be topologically farther away than the IPv6 server you're connecting to.
by tromp | 2025-09-17 14:00:15+00:00
> In OCaml for instance, unit corresponds to void.

It makes more sense that Void should be void of values, i.e correspond to the empty set, as it does in Haskell [1]. Does OCaml have no empty type?

[1] https://hackage.haskell.org/package/void-0.6.1/docs/Data-Voi...
by vlovich123 | 2025-09-17 14:00:25+00:00
I could be mistaken but generally LLMs cannot tackle out-of-domain problems whereas humans do seem to have that capability. Relatedly, the energy costs are wildly different suggesting that LLMs are imitating some kind of thought but not simulating it. They’re doing a remarkable job of passing the Turing test but that says more about the limitations of the Turing test than it does about the capabilities of the LLMs.
by octopoc | 2025-09-17 14:00:41+00:00
Israel interfered in Gaza politics to ensure they had no option but Hamas[1] [2] [3] [4]. If you screw yourself, you shouldn't blame anyone else when you get fucked.

[1] https://www.timesofisrael.com/for-years-netanyahu-propped-up...

[2] https://www.nytimes.com/2023/12/10/world/middleeast/israel-q...

[3] https://www.thenation.com/article/world/why-netanyahu-bolste...

[4] https://theintercept.com/2023/10/14/hamas-israel-palestinian...
by mostertoaster | 2025-09-17 14:01:11+00:00
I think what happens is things come from people with certain views, who seem to be part of some specific tribe, and so the presumption is they’re just spinning a thing for their own angle.

This happened all the time during COVID. Facts about its transmission and impact, would be immediately dismissed depending on if it went with the story we already accepted.

Everyone has already accepted a story of “Israel good”, or “Israel bad”, and online forums hardly change anyone’s mind.
by ajross | 2025-09-17 14:01:15+00:00
But... that's an email that would be sent to a non-gmail address, the one on file that you originally registered your account with. And while I don't have copies of the transactions in front of me, these things are not unclear as to their purpose or intent. They tell you straight up that they're resetting the authentication for the account and to be sure you are doing it intentionally. They're also accompanied by warnings that would be simultaneously sent to your active gmail address and to the Authenticator app.

I really think you're reaching here trying to ascribe blame. You... just got phished.
by non_aligned | 2025-09-17 14:01:22+00:00
The research into BB numbers is purely academic and unlikely to be more than that, unless some other part of mathematics turns out to be wrong. Our current understanding is that the numbers are essentially guaranteed to be useless.

This particular proof is doubly-academic in the sense that the value was already known, this is just a way to make it easier to independently verify the result.

It's a part of a broader movement to provide machine proofs for other stuff (e.g., Fermat's last theorem), which may be beneficial in some ways (e.g., identifying issues, making parts of proofs more "reusable").
by jari_mustonen | 2025-09-17 14:01:44+00:00
Here is the summary of key improvements made:

1. Structure & Flow

- Decision Trees: Clear branching logic with ├── and └── notation - Sequential Steps: Numbered, ordered procedures instead of scattered explanations - Prerequisites: Explicit dependency checks before proceeding

2. AI Agent Optimizations

- Tool Call Clarity: Exact function names and parameters - Binary Decisions: Clear yes/no conditions instead of ambiguous language - Error Handling: Specific failure conditions and next steps - Verification Steps: "Recheck" instructions after each fix

3. Cognitive Load Reduction

- Reference Tables: Quick lookup for tools and purposes - Pattern Recognition: Common issue combinations and their solutions - Critical Reminders: Common AI mistakes section to prevent errors

4. Actionable Language

- Removed verbose explanations mixed with instructions - Consolidated multiple documents' logic into single workflows - Used imperative commands: "Check X", "If Y then Z" - Added immediate verification steps