MurphyA/hacker-news huggingface dataset:
by nickdrozd | 2025-09-17 14:52:28+00:00
Turing machine program states are conventionally represented with letters: A, B, C, etc. The starting state is A.

Now suppose you are running a Turing machine program from the beginning. The only state it has visited so far is state A. It runs until it reaches a state that has not been visited yet. What state is it? B? C? D? According to "tree normal form", the name for that next state just is the earliest unused state name, which in this case is B.

Visited states so far are A and B. Run until an unvisited state is reached again. What is its name? C? D? E? Tree normal form says that the state will be called C. And the next newly visited state will be D, etc. In general, the canonical form for a Turing machine program will be the one that puts initial state visits in alphabetical order. (This concept also applies to the multi-color case.)

It's not possible to tell of an arbitrary TM program whether or not that program is in tree normal form. But this proof doesn't look at arbitrary programs. It generates candidate programs by tracing out the normal tree starting from the root, thereby bypassing non-normal programs altogether.

That is what "essentially different" means here.
by kasey_junk | 2025-09-17 14:52:34+00:00
You made a more specific claim than it being captured by a monopoly or duopoly. You claimed that the leaders definitively will cause dramatic price increases implying that the current pricing are just for capturing market share (ala uber/lyft).

Yet for every example you just delivered that _did not happen_. OSes have wide choice including a free option that is widely used, phones got cheaper, Amazon does not have a monopoly for online shopping, Netflix and Spotify compete in extremely cut throat markets with very low margin. Then there are the other players that tried that exact model and are failing (eg doordash and Grubhub).

The “bait and switch” approach requires there to be no viable alternative. Where we’ve seen that is in products with very strong network effects. To date the ai market doesn’t display that, if you don’t like cursor go to vs code, if Claude is better than Gemini it is trivial to switch, etc.
by vunderba | 2025-09-17 14:53:39+00:00
Seedream 4 is very impressive. On the image editing side, Seedream 4 scores extraordinarily highly placing 2 points higher even above Google's recently released NanoBanana on my GenAI Image Editor Comparison leaderboard.

https://genai-showdown.specr.net/image-editing

An important callout is that it is able to handle significantly larger native resolutions without having to downscale before making edits. Unlike many other image-to-image GenAI models, which cap out around 1 MP, Seedream can handle images up to 4K resolution, and this means less overall image degradation.

It also has pretty decent text-to-image ability as well though gpt-image-1 is still the heavyweight in that category when strictly considering prompt adherence.
by jordanb | 2025-09-17 14:53:57+00:00
I understand that they've massively reduced the compensation creators receive from monetization. This is why the creators all do sponsorships now. But they force creators to monetize to get reach (if the video isn't monetized it won't be recommended, even to subscribers).

My guess is that yeah, now they're going after people's sponsorship revenue by under-reporting views if their monetized content is being viewed by people with adblockers.
by ptero | 2025-09-17 14:53:58+00:00
Using another pretext to target someone for their views is definitely a thing. This is not new (e.g., the Assange case) but its frequency is increasing.

I am going to offend both sides with what comes next (and curious how many downvotes it will attract), but I put only a small fraction of the blame for the increase in the above on the government which always wants to do this unless they feel a strong, popular pushback.

The real blame goes to the population that is happy to tolerate the government abuse of the laws as long as they think the blows are landing on their opponents. Silencing covid restriction protesters and BLM riots critics? Well, we are not defending antivaxxers and racists. Throwing out any idea of a due process in ICE raids? Well, we need to do something about the crime. And so on... Whereas 50 years ago, at least in the US, any jury would have thrown an attempt to break laws for a good cause out of court so the government would not even try to prosecute any of it.

In order to roll back government overreach we need to fight government overreach, even in cases where we strongly dislike the current target of that overreach. My 2c.
by willahmad | 2025-09-17 14:54:23+00:00
Here's my experience with these tools:

Good: I can prototype things very quickly thanks to these tools

Bad: After couple of vibe coding iterations, I don't have a mental model of the project.

Good: When I open my past projects where I have very good mental models, I can come up with a nice prompt and build anything quickly again.

Bad: After couple of iterations I become lazy, and eventually my mental models break.

There's definitely a use for these tools. But be careful, job of engineers are not only coding but also training their memory to build solutions and bridge real world problem with software solution. If you lose this skill of thinking, you will be obsolete quickly
by sib | 2025-09-17 14:54:35+00:00
I use Lightroom, but always with this workflow (copy files from memory card to disk, then use LR to do the import / move / build previews).

If nothing else, it lets you get your card back much more quickly, as a file-system copy runs at ~1500MBps, which makes a difference when importing 50-100GB of photos.

I also don't delete the images off the memory card until they've been backed up from the disk to some additional medium.
by Denatonium | 2025-09-17 14:54:36+00:00
In the case of PureVPN, the only way of preventing leaks is by switching to a different provider. There is definitive proof that they keep logs despite their claims to the contrary. I have linked to a federal criminal complaint where the FBI requested logs after the offense and was given them by PureVPN. The relevant portion is on page 22.

https://www.justice.gov/archives/opa/press-release/file/1001...
by supermatt | 2025-09-17 14:54:43+00:00
I haven’t used it much (I am in the EU) so I can’t give an extensive list. But a few I noticed when I was in UK:

- You can initiate from the MacBook. - you don’t need to wake and unlock the phone manually - the phone itself stays physically locked - drag/drop

Basically you can keep it in your pocket/bag instead of physically holding and unlocking it.

Mirroring aside there’s things like remote copy/paste, continuity with desktop apps, etc.

Edit: Wow, downvotes for what exactly? Because I own an iPhone and MacBook or because I dislike Apples shitty business practices?
by s1mplicissimus | 2025-09-17 14:54:52+00:00
My current theory is that this whole "mystery around viewcounts" thing is fabricated by google. From a PR viewpoint it's much better to just imply that adblockers are bad, so in case of backlash they can go "Idk why the community is going ham about this, we didn't even say directly you shouldn't adblock, you people are kwuaazy"
by tracker1 | 2025-09-17 14:54:52+00:00
My 3 of the first SATA SSDs are still in use from over a decade ago... I first had them in my home server as OS and Cache drives respectively, they later went into desktop use for a couple years when the server crashed and I replaced it with a mini pc that was smaller, faster and quieter. Then they eventually wound up in a few desk-pi cases with RPi 4 8GB units, and I handed them off to a friend a couple months ago. They're all still working and only 1 error between the 3 of them. IIRC, all 240gb crucial drives from early 2010's.

I've never had any spinning drives come close to that level of reliability. I've only actually had one SSD or NVME fail, and that's the first gen Intel drive in my desktop that had a firmware bug and one day showed up as an 8mb empty drive. It was a 64gb unit and I was so impressed by the speed, but tired of symlinking directories to the HDD for storage needs I just bumped to 240gb+ models and never looked back.

Currently using a Corsair MP700 Pro drive (gen 5 nvme) in my desktop. Couldn't be happier... Rust and JS projects build crazy fast.
by ozgune | 2025-09-17 14:55:39+00:00
(Disclaimer: Ozgun from Ubicloud)

I agree with you. I feel the challenge is that using AI coding tools is still an art, and not a science. That's why we see many qualitative studies that sometimes conflict with each other.

In this case, we found the following interesting. That's why we nudged Shikhar to blog about his experience and put a disclaimer at the top.

* Our codebase is in Ruby and follows a design pattern uncommon industry * We don't have a horse in this game * I haven't seen an evaluation that evaluates coding tools in (a) coding, (b) testing, and (c) debugging dimension
by jdiff | 2025-09-17 14:55:56+00:00
If this is what they're doing, then it would seem to be negligible. The channels I've heard talking about this don't seem to be taking home any less money despite tanking viewcounts. Earnings are constant, but the numbers supporting those earnings have shuffled around unpredictably. When it's your income, you really don't like things to be shuffling around without warning.
by motrm | 2025-09-17 14:56:20+00:00
Jeff Geerling has been sleuthing into this lately too - my biggest takeaway is that it's only viewer counts that are suffering, he's not seen revenue drop which is key. Viewer counts are vanity, revenue is sanity :)

https://www.jeffgeerling.com/blog/2025/digging-deeper-youtub...
by nerdponx | 2025-09-17 14:56:40+00:00
What's stopping supply chain attacks like this from happening in other languages like Python, or even in source repos via compromised forge accounts like Github? Artifact/commit signing is optional, so while 2FA fortunately is becoming mandatory, if the maintainer never used signing then this could happen to PyPI just as well as NPM, no? Or is NPM uniquely vulnerable for some reason?
by ericdotlee | 2025-09-17 14:56:40+00:00
I think this is going to change really fast - not in favor of ai companies or investors.

Initially, ChatGPT was kind of a cool toy that felt like something new but not really a threat. Now, even people who aren't engineers see the threat this has to destroy the dignity and financial stability of millions of people.

I like Ai - but at the same time I hope our country picks people over corporate profits... unfortunately I don't see that being likely.
by throw7 | 2025-09-17 14:56:52+00:00
Does anyone know how to force disable DoH on a network?

In https://support.mozilla.org/en-US/kb/canary-domain-use-appli... it says that the canary domain does not apply for users who have made the choice to turn on DoH by themselves.

I want to avoid running an sslproxy, and it seems an application level proxy on the firewalls is necessary.
by just_human | 2025-09-17 14:57:01+00:00
This seems like a premature reaction. The Trump administration has been known to anchor to extreme positions as a negotiation tactic.

Given the complexity of forced platform migrations (user data transfer, algorithm preservation, creator monetization continuity), and the technical/legal hurdles involved, I suspect we're seeing opening moves in a broader negotiation rather than a final outcome.

Let's all be patient and wait to see how this plays out before assuming users will actually have to migrate to a completely new app with new ownership.
by jcgl | 2025-09-17 14:57:24+00:00
If anyone is interested, I've added this BWRAP_BUILD variable to a makefile in my project that builds a Go and SvelteKit project. I then preface individual commands that I want sandboxed within a make target (e.g. mybin below).

PATH_ELEMENTS := $(subst :, ,$(PATH)) BIND_COMMANDS := $(foreach element, $(PATH_ELEMENTS), --ro-bind-try $(element) $(element)) define BWRAP_BUILD bwrap \ --unshare-all \ --unshare-user \ --die-with-parent \ --disable-userns \ --ro-bind /usr/ /usr \ --ro-bind /lib64 /lib64/ \ --ro-bind /lib /lib \ --ro-bind /etc/alternatives/ /etc/alternatives/ \ --ro-bind $(CURDIR) $(CURDIR) \ --proc /proc \ --clearenv \ --setenv PATH $(PATH) \ $(BIND_COMMANDS) \ --setenv GOPATH $(GOPATH) \ --ro-bind $(GOPATH) $(GOPATH) \ --setenv TMPDIR $(XDG_CACHE_HOME)/go-build \ --bind $(XDG_CACHE_HOME)/go-build $(XDG_CACHE_HOME)/go-build \ --setenv XDG_CACHE_HOME $(XDG_CACHE_HOME) \ --dev-bind /dev/null /dev/null \ --setenv PNPM_HOME $(PNPM_HOME) \ --bind-try $(PNPM_HOME) $(PNPM_HOME) \ --setenv HOME $(HOME) \ --bind-try $(CURDIR)/ui/.svelte-kit $(CURDIR)/ui/.svelte-kit \ --bind-try $(CURDIR)/ui/build $(CURDIR)/ui/build \ endef mybin: $(deps) $(BWRAP_BUILD) go build -trimpath -ldflags $(ldflags) ./cmd/mybin/

Notes: most of the lines after --setenv GOPATH... are specific to my project and tooling. Some of the lines prior are specifically to accommodate my tooling, but I think that stuff should be reasonably general. Lmk if anyone has any suggestions.
by jerf | 2025-09-17 14:57:24+00:00
"Algebraic types, by themselves, don't do anything to make things "scary" or Turing-complete."

That's what "offer enough degrees-of-freedom to become scary" is getting at.

The types themselves are no more complicated than non-algebraic types in the end. However it so happens that for historical reasons they have appealed to certain personality types who proceed to build glorious castles on top of them, and indeed per the "degrees of freedom" point, multiple different overlapping-yet-often-conflicting castles. It is easy to mistake those castles as being "algebraic types", which is not helped by the name, rather than being simple things which can be explained to children and could easily be used in an introduction to programming curriculum rather than conventional types.

Conventional types are also not necessarily that complicated, or don't have to be. For instance, the complexity of C++'s towers of subclasses and templates should be accounted to C++ itself, rather than as a fundamental aspect of conventional type systems. There's things like Go that use a much simpler type system that is not generally amenable to such towers of complexity, which is a rephrasing of the most common complaints against it.
by scarecrowbob | 2025-09-17 14:57:57+00:00
Reason is a great tool, but it only functions if a) it operates from solid premises and b) admits that it's at best only an incomplete understanding of the larger material world.

Confusing rationality for truth is like confusing a map for a territory.

Unfortunately I have encountered a lot of people like Kirk (especially during my philosophy education) who felt that simply declaring a consistent map should allow them to enforce whatever laws or social norms that they have derived from that set of propositions. While the rationality that they have created may be consistent and not care about our feelings, it can really lead to some dark places:

absent ethos and pathos, logic serves as an excellent hiding place for vicious and biased assumptions.

I have been paying attention to Kirk and TPUSA for many years because I find that kind of radically idealistic (as opposed to philosophically materialist) kind of propaganda to be fascinating: once you've detached your premises from the material world, you can justify all kinds of fantastic propaganda.

And my experience of Kirk is that he was a vicious propagandist- likely because he was attempting to marginalize the existence of queer folks like myself.

And I mean "existence" in a very literal sense: his position is that queerness is a mental defect and those doesn't "really" exist except under a layer of blue hair.

If you haven't had that propaganda used against you and your people, you probably don't understand why those of us who have find folks like that to be vicious, even if they weren't part of a larger edifice of state power that would enforce violence against people.

So, just as logical premises often are used to hide biases, folks like Kirk may well have struck an aesthetic position favoring debate while at the same time convincing the folks who have the power to do the actual oppressing.

The response from his fans of getting people fired is explicitly the stakes of the arguments he was making: what do you think the stakes of his arguments were, if not to encourage or guide other peoples' actions?
by graemep | 2025-09-17 14:58:33+00:00
It happened at all because the UK was the most Eurosceptic big EU country so it could still have an impact on the numbers.

Also, negative and positive feelings are not the same thing as a vote. For example, some people who felt negative about the EU voted remain because they were worried about economic disruption (the government was predicting a severe recession in the event of a leave vote - not after leaving, merely as a result of a vote). I am sure people can think of other examples and both ways, but the point is that "feel negative/positive" and "would vote to leave/remain) are not the same number).
by gchadwick | 2025-09-17 14:58:37+00:00
To me at least "not good after all" means their current latest hardware has issues which means it cannot replace Nvidia GPUs yet. This is a hard problem so not getting there yet doesn't imply bad engineering just a reflection of the scale of the challenge! It also doesn't imply that if this generation is a miss following generations couldn't be large win. Indeed I think it would be very foolish to assume that Alibaba or other Chinese firms cannot build devices that can challenge Nvidia here on the basis of current generation not being up to it yet. As you say they have a large market that's willing to wait for them to become good.

Plus it may not be true, this new Alibaba chip could turn out to be brilliant.
by CodingJeebus | 2025-09-17 14:58:47+00:00
This is why I just can't fully get behind the idea that AI is going to be the panacea the hype merchants keep claiming, at least in this era: making stuff up incentivizes users to prompt again, while returning "I don't know" tends to be a conversation ender. They're not incentivized to be accurate, they're incentivized to give the appearance of competence to the point that it keeps users coming back.

Tufte said it best: There are only two industries that call their customers 'users': illegal drugs and software.
by bubblyworld | 2025-09-17 14:58:55+00:00
Wild, I found it hard to believe that a 4b model could beat sonnet-3.5 at anything, but at least on the vision arena (https://lmarena.ai/leaderboard/vision) it seems like sonnet-3.5 is at the same ELO as a 27b gemma (~1150), so it's plausible. I guess that just says more about how bad vision LLMs are right now that anything else.
by xbar | 2025-09-17 14:59:35+00:00
Noctua was founded and operates in accordance with my values. I valued what they offer before they were in the market and was overjoyed to buy their products as soon as they were available.

Raspberry Pis, repurposed HP DL380s, personal art projects... anything that ever needed a fan--if it didn't use Noctua fans before I started and there was an application for a Noctua fan, a Noctua fan was applied.

Fan quality is one of the metrics I evaluate when I purchase products. Great fan solutions in products are good indicators of great design.
by jauntywundrkind | 2025-09-17 14:59:46+00:00
You might be interested in this read from the procedural generation wiki: teleological vs ontogenic. This style here is ontogenic, teleological involves simulating more of the processes. http://pcg.wikidot.com/pcg-algorithm:teleological-vs-ontogen...

It'd be neat to see a game world where the simulation remains ongoing, where the world is actively changing.
by Thiez | 2025-09-17 14:59:46+00:00
That is not an accurate estimate, that is the number of bodies that they have managed to count. If people are stuck under rubble or are otherwise "lost" without leaving an identifiable body then they don't go into the official count. And as you can imagine the ability of Palestinian authorities to count bodies is significantly diminished since Israel has destroyed so much infrastructure. We'll only learn of the true number when this genocide finally ends. And then we'll all be shocked and surprised and can join the German civilians after WO2 in saying "Wir haben es nicht gewusst".
by bell-cot | 2025-09-17 14:59:47+00:00
From the Fortune article you linked:

> According to a deposition from 2022, when asked who the CEO of the company was, CFO Steve Kourelakos, a two-decade Boar’s Head veteran, answered, “I’m not sure.”

Based on the Ars article (grim problems discovered at 3 other Boar's Head plants, long after the revelations about their Jarratt facility) your "some unclear structure of family personalities above him" has no real interest in food safety. Which was my point. I did not accuse them of being Bond villains, nor selling Soylent Green.

(FWIW, "some slapdash plants and a whole bunch of stuff that needs correcting" seems a rather misleading summary of the grim details of the inspections of their facilities. Ditto of their demonstrated disinterest in correcting anything. And rather insensitive to all the people hospitalized or killed by Boar's Head's food safety failings last year.)
by raw_anon_1111 | 2025-09-17 15:00:31+00:00
I would agree with you when you had to have bespoke Apple dongles to work with lighting. But with USB-C and the iPhones support for all of the standard USB C protocols, I don’t really have any sympathy for you.

The number of people who care about an analog headphone jack in 2025 is minimal. The other argument use to be that you can’t charge and use the USB C jack at the same time. Bud you can use a MagSafe cord for charging.
by jjk166 | 2025-09-17 15:00:41+00:00
> Now do down ballot.

As I stated before, changing a political party from the bottom up takes time. While a good endeavor, it doesn't affect who is currently in the drivers seat. Either Harris or Trump were going to be making the decisions about the current Gaza situation regardless of what the electorate did.

> Pro-Palestinian voters who swung for Trump explicitly endorsed the war.

Pro-palestinian voters didn't swing to trump. Virtually no one swang to Trump; his election results in 2024 were basically the same as in 2020 plus the increase in population of areas that voted for him in 2020. Exit polls indicate that Trump voters were overwhelmingly pro-israel. I'm sure some individuals did, but not enough to make any difference one way or the other. Trump won because 6 million democrats who showed up in 2020 stayed home in 2024. If they had gone out and voted for Harris, and then Harris supported Israel's efforts, as she publicly said she would, you would still be saying they endorsed the war.
by mvx64 | 2025-09-17 15:00:47+00:00
Actually yes! I use it when passing a texture into a draw function. I have a TexOrColor enum, and when calling the function you either provide an &Image or a &Color. Before that, if I wanted a colored textureless model, I passed a dummy 1x1 texture to sample from.

And of course, Options and pattern matching are easily the best part of the language and very powerful. I am obsessed with things like "let x = if {...}".
by xvdAZh | 2025-09-17 15:01:02+00:00
Outside of IP-blocking known popular DoH hosts (e.g. https://github.com/jameshas/Public-DoH-Lists, and even then it's not the best since there's overlap with popular DNS hosts like Cloudflare), there's no good way to do it without break-and-inspect. That's because DoH is TLS traffic over 443, just with DNS inside instead of HTTP.