MurphyA/hacker-news huggingface dataset:
by vidarh | 2025-11-21 08:35:24+00:00
> Turing computability is tangential to his claim, as LLMs are obviously not carrying out the breadth of all computable concepts

They don't need to. To be Turing complete a system including an LLM need to be able to simulate a 2-state 3-symbol Turing machine (or the inverse). Any LLM with a loop can satisfy that.

If you think Turing computability is tangential to this claim, you don't understand the implications of Turing computability.

> His claim can be trivially proven by considering the history of humanity.

Then show me a single example where humans demonstrably exceeding the Turing computable.

We don't even know any way for that to be possible.
by spacedcowboy | 2025-11-21 08:35:26+00:00
Yep. Spent Tesla-level cash on a Kia EV6 GT Line S AWD recently. Took my time deciding which car to buy, test drove a few cars and read lots of reviews, whenever Tesla was mentioned by the sales rep “That’s not happening”, and whenever a review had the Tesla car ranked, my eyes just went to the next one.

Having a nazi CEO ought to have consequences.
by ziotom78 | 2025-11-21 08:35:31+00:00
A few months have passed and I might not remember everything correctly, but there was a series of problems:

- I use several symbols as Greek letters (α, β, γ…) and mathematical operators (×, −, ·, ∂…), and after much digging I found that the only way I could make keyd work with them was to choose a US keyboard layout. So, I had to write a configuration file for keyd to remap not only the special characters listed above, but every character of the Italian keyboard (è, é, ò, à, ù…). This extensive remapping required then an exception for Espanso to prevent `keyd` from intercepting its virtual keyboard output.

- However, this forced US-layout setup created a conflict with VirtualBox that I was unable to solve. When I installed Windows and selected the Italian layout inside the VM, the guest OS received the raw key codes corresponding to a US physical keyboard (due to the keyd remapping layer). Since the guest OS expected Italian key codes, all the standard Italian keys (like è, à, ò) stopped working correctly. Without keyd enabled, the standard Italian layout worked perfectly in the VM.

- The attempts to create application-specific exceptions (e.g., to disable keyd for the VM window) using tools like keyd-application-mapper did not function correctly in my KDE environment because of known issues in these tools.

- Finally, introducing new hardware like my Corsair keyboard added another layer of complexity, as its Linux driver (ckb-next) was incompatible with the active keyd remapping layer. This was the point when I decided to revert to X11.

I should definitely collect all these details and write a blog post about it…
by sam_goody | 2025-11-21 08:36:31+00:00
I split my time between Europe and the US, and I am totally not convinced that metric is better.

Some things are ridiculously better in the imperial system - like temperature: In Fahrenheit, 0 is roughly the coldest mean day in densely inhabited areas, and 100 is the hottest. In Metric, 0 is the freezing point of water at sea level in ambient temperatures and with a low barometer reading, 100 is boiling in the same conditions.

Since I measure weather much more frequently than I measure water temps, I am driven cukoo by the silly Centigrade system.

Also, The splitting into 12 used by the foot is more useful, in my experience, than the ten of the metric. In fact, I strongly decry that we teach our kids to use base 10 instead of the much more efficient and easier to divde into fractions of base 12. (You can teach kids to count joints on thier fingers [using the thumb as a pointer] to get to 12x12 on two hands, and give the kids a headstart on fractions, multiplication and division, but I digress..)

On the other hand, having both an Imperial Gallon and a US Gallon, etc, where the same word is used for different amounts, now THAT is insane.
by intended | 2025-11-21 08:36:55+00:00
Come now - you are setting yourself up for an easy rhetorical response with that assertion.

I’m not disagreeing that america gets more migrants.

But are you going to say that migrants are “average” when compared to the average Joe ?

On average immigrants from a country are the people who are capable enough or desperate enough to make the move to an entirely different culture and life. America used to attract some of the best talent out there.

Most people, in most countries, are not that driven.

And besides that, the different in net immigration numbers are not so wide, as to suggest that the EU is unattractive.
by lvncelot | 2025-11-21 08:37:05+00:00
Completely agree. In uni, I (re)-learned about vectors in linear algebra, and for a good chunk of the course, we didn't write anything in "standard vector notation". We learned about vector axioms first, and then vectors were treated as "anything that satisfies the vector axioms". (When doing more practical examples, we just used the reals instead of something like R^3, but the entire time it was clear that for any proof, anything that can be added and multiplied in the way that the vector axioms describe would fit.) I think adopting this structuralist view really helps with a lot of mathematical studies.
by ncruces | 2025-11-21 08:39:18+00:00
I don't think SqliteMultipleCiphers can be built into a runtime loadable extension (and the Turso thing is just a copy of it).

I'm confident that a scheme based on tweakable block cyphers (like Adiantum or AES XTS) could be made into decent runtime loadable extension.

I implemented such schemes for my Go driver, but Go code is not really ideal to make a runtime loadable extension of (it'd have to be ported to C/Rust/zig).

https://news.ycombinator.com/item?id=40208800
by sintax | 2025-11-21 08:39:23+00:00
Denuvo anti-tamper DRM doesn't use kernel level tricks, it's all userspace and works just fine on Linux/Proton. It's the kernel level anti-cheats that don't work on Linux. And some user level anti cheats (like AntiCheat Expert) that only work on the Steam Deck as they check the CPU/GPU of the system and refuse to work if it's not the one in the Steam Deck (which also means those don't work on platforms like the ROG Ally).
by demarq | 2025-11-21 08:39:41+00:00
I made a comment a long time ago explaining this.

Tech enthusiast will judge ai based on what it gets right, we’re interested in what “can” do. Everyone else will judge ai based on where it fails, they are interested in what “problems” it “does” solve.

> a fluent conversation with a super smart AI that can generate any image/video is mindblowing to me.

They see: A computer software generally unreliable and unable to accomplish basic tasks
by arghwhat | 2025-11-21 08:40:15+00:00
No, not at all. Someone even implemented AirDrop in Python before[1]. In fact, nothing ever needs such special hardware. It's a decision of the implementer if they'd like to get fancy and rely on such hardware in their implementation to change its security profile, but the iPhone at the other end or any Apple infrastructure would be none the wiser - they just see that they're getting appropriately signed or encrypted, and neither knows nor cares how that came to be. Use of a hardware security module would just make the process more tamper resistant but would not otherwise change the outcome.

1. https://github.com/seemoo-lab/opendrop
by cycomanic | 2025-11-21 08:40:43+00:00
> > The overwhelming majority of people who worked on Xorg are now developing Wayland.

> I've never seen this documented.

What do you mean you can look at the history of wayland on Wikipedia (it was started by Kristian Høgsberg) the person who wrote the DRI2 implementation for xorg. Other major xorg contributors like Hutterer have also been major wayland contributors.

I think the misconception is that people thought there are lots of xorg developers. That's just false, around the time when wayland was started there were maybe 10. And now there are even less.

> > It is a 400K LOC behemoth of a project and it has a ridiculous amount of technical debt.

> So we have people who want to create features but do not want to pay for technical debt. So.. they create more technical debt? Is there some indication that the wisdom of the crowd is particularly valuable here?

But that's not what they did?

> > I would have to imagine that if the Xorg developers thought they could fix Xorg, they would do that instead of making a new thing.

> It seems like all the paid developers are working on Wayland while many of the volunteers are working hard to continue Xorg despite all the sponsored efforts to artificially shutter the project.

Who? Looking at xorgs git there is essentially 1 developer making changes that are not related to xwayland?

> The article authors main complaint seems to be that distributions forced users to choose between one or the other when, at this point in history, there are zero good reasons to have done that.

> Open source used to be about choice. Now it's about paid interests bullying you out of that choice. And Hacker News readily defends this in the name of modernity for it's own sake. It's truly a bizarre outcome to me.

You mean the choice not to work on xorg? You're welcome to use X, but you can't bully others into keeping it going for you.

The reoccurring theme in these comments is that the people complaining have little knowledge of X internals, have usually not done any work programming a WM, a compositor or X or wayland libraries. Listening to the people who have done that (e.g. Rasterman, deVault...) are widely positive about wayland over xorg. It's also an indication that most recent interesting desktop experiments/projects (niri, sway, hyprland...) have been happening under wayland. And AFAIK none were corporate sponsored.
by spacedcowboy | 2025-11-21 08:42:27+00:00
Reading the headline, I wasn’t sure if Apple had produced hardware that met the guys expectations, or were overstating their performance.

Given that it seems to be the former (at least in the tests run), perhaps “the hyped performance turned out to be real” might be less ambiguous…

Oh, and well done Apple, niwbget the M5 into Macs where this might be more useful…
by cbolton | 2025-11-21 08:42:45+00:00
I don't feel like I'm the one playing semantic games here, I'm just arguing that the term "sideloading" is a useful distinction vs "installing through the main channel" (whatever that is: could be the Play store, or F-Droid, or Huawei App Gallery).

Google's store has malware, but the point is there would be even more if Google was not monitoring the apps there. The store is less risky than getting apks from the wild web, TikTok, etc.

Sure F-Droid is safer (as you would expect from a curated store of a few thousand open source apps compared to a store with literally millions of apps). But I wouldn't call that sideloading either when it's your regular channel to get apps.
by pjmlp | 2025-11-21 08:43:12+00:00
Easy,

> Gosling: For me as a language designer, which I don't really count myself as these days, what "simple" really ended up meaning was could I expect J. Random Developer to hold the spec in his head. That definition says that, for instance, Java isn't -- and in fact a lot of these languages end up with a lot of corner cases, things that nobody really understands. Quiz any C developer about unsigned, and pretty soon you discover that almost no C developers actually understand what goes on with unsigned, what unsigned arithmetic is. Things like that made C complex. The language part of Java is, I think, pretty simple. The libraries you have to look up.

From http://www.gotw.ca/publications/c_family_interview.htm

Note that Java has unsigned support nowadays, only not as primitive types, although this is considered post Valhala.

For example, https://docs.oracle.com/en/java/javase/25/docs/api/java.base...
by thot_experiment | 2025-11-21 08:43:28+00:00
Qwen3-30B-VL is going to be fucking hard to beat as a daily driver, it's so good for the base 80% of tasks I want an AI for, and holy fuck is it fast. 90tok/s on my machine, I pretty much keep it in vram permanently. I think this sort of work is important and I'm really glad it's being done, but in terms of something I want to use every day there's no way a dense model can compete unless it's smart as fuck. Even dumb models like Qwen3-30B get a lot of stuff right and not having to wait is amazing.
by peterfirefly | 2025-11-21 08:44:21+00:00
No, but feminists and white knights maintain that the photo that was actually taken by a man (Gosling) was taken by a woman (Franklin) and that she (Franklin) hadn't given permission for them to steal the photo. They didn't steal it, they saw it briefly and immediately knew what it meant (because they had been preparing hard and already knew most aspects of the structure of DNA) and they were allowed to see it (Wilkins who showed it to them had the right to do so). Neither Franklin nor Gosling understood what the photo meant.

Edit: wrote "Wilkinson" by msitake.
by Scottn1 | 2025-11-21 08:45:37+00:00
Homeschooling is becoming an epidemic and a major reason is --- SPORTS. From my experience, it is growing for all the wrong reasons and I have not come across ONE family doing it properly and in a matter I would consider better for the kid.

I have a 15yo son who plays sports and for the past 5 years, homeschooling has been a way to "red-shirt" kids - hold them back a year or two then re-entering them into public schools into grades behind their age. Literally purposely holding back their kids so they can be older as freshman.

A major problem with boys because of puberty, size etc around this age. The difference between a 14yo and a 16yo, or 16/18yo can be quite large at times. My son had a freshman on his team last year that could drive and had a mustache playing vs these tiny incoming freshman, it was so comical. He was 16 1/2 as a freshman. And the parents were on the sideline acting like their kid was the next coming of Aaron Judge. It REALLY hurts the rest of us playing the rules and taking education seriously when our kids are trying to make a team.

I've known several of these parents and they all are the same. They haphazardly put them into the bare min online courses, still go to work all day and stick them in front of computers to expect them to self teach for a few years. The moms would be stay-home types that didn't seem much educated themselves. The kids are spoiled entitled types who think they are top athletes already and would jokingly be calling my son at 11a telling him they are done already for the day and headed to the gym and playing Fortnite.

Now this is just MY circle, I am not saying there aren't very serious and capable parents out there really homeschooling and giving their kids a better education than public school, but I haven't met any in maybe roughly 10 I know. Most of them seemed to also be MAGA types poo-pooing public education and how they are brainwashing kids. It is really despicable that this is most likely happening ALL across America.

Education and manipulation aside, I would also think this isn't good the kids mental and social health as well. They already are on devices doom-scrolling enough nowadays, do we really want them hermits too now?

I applaud anyone putting in huge effort to home school a kid properly and with true care and teaching. But the image of them at a desk being taught by a real smart/educated parent following a true curriculum all day and on a schedule I imagine is ultra rare. And we are going to pay a price for this in the long run. Or not, GPT will just help them along to properly write that email for them when they are adults in a corporate world.
by thaumasiotes | 2025-11-21 08:46:23+00:00
> This means that gibberish options for the next token have non-zero probabilities of being chosen. The only reason they don't in reality is because of top-k sampling, temperature, and other filtering that's done on the logits before actually choosing a token.

> If you present a s_1, s_2, ... s_N to a Markov Chain when that series was never seen by the chain

No, you're confused.

The chain has never seen anything. The Markov chain is a table of probability distributions. You can create it by any means you see fit. There is no such thing as a "series" of tokens that has been seen by the chain.
by dotancohen | 2025-11-21 08:46:38+00:00
In the 35 minute since you've posted, maybe the interface has changed. Upon scrolling to the bottom of the answer I got a popup asking "Curious about how this response matches the model's training data? Click this to dig deeper."

Clicking it did nothing. When I check the top of the answer I see a speech bubble icon and a downarrow icon. Clicking either opens the thought process.

This is on Firefox running on Android.
by burnt-resistor | 2025-11-21 08:46:39+00:00
Yep. My dad recounted that in 1989, he had to restrain her because she (then age 40) had a psychotic episode described as a "murderous impulse" just after starting a brand new "wonder pill", Prozac. This was quite uncharacteristic for a tiny, docile woman who is often described as "sweet" and "nice" who never had any psychiatric symptoms before or since except a couple of brief times of situational depression. There's a lot of FUD and social ills washing in mass media rather than less biased peer-reviewed research that blames individuals, conflates preexisting conditions with medication side-effects, and clouds the issue of whether SSRIs increase suicide and/or violent psychosis or not.

Check out one of the modern black box warnings of fluoxetine (Prozac) that only addresses a subset of side-effects, suicide in children and young adults: https://dailymed.nlm.nih.gov/dailymed/fda/fdaDrugXsl.cfm?set...

Somehow, I doubt there is much motivation to look for economically inconvenient and unnerving side-effects in some demographics, especially if they're adults who can easily be blamed entirely for all of their own actions because it's "definitely not" due to a (formerly) profitable pill or a pseudoscientific profession that doesn't exactly know how the medications it prescribes work, who would benefit from or be harmed by them, or have any ability to measure the organ or system they're supposed treating.
by impossiblefork | 2025-11-21 08:47:01+00:00
Yes, to get rich in Sweden you have to start a company. Wages are terrible.

But this is, I think, a result of a historical government strategy to favour exports by keeping the Swedish krona weak rather than a result of unions. This whole business with alignment between the Swedish social democrat party and the big industrial export companies are a thing which simultaneously allowed Sweden to develop but which also brought enormous problems. The immigration madness of, 1990 to now is probably also a result of this alignment.
by thaumasiotes | 2025-11-21 08:47:30+00:00
As I just mentioned in the comment you're responding to, the way you convert an LLM into an equivalent Markov chain is by doing nothing, since it already is one.

> You may as well tell that LLM and a hash table is the same thing.

No. You may as well say that a hash table and a function are the same thing. And this is in fact a common thing to say, because they are the same thing.

An LLM is a significantly more restricted object than a function is.
by mathw | 2025-11-21 08:48:28+00:00
I'd dispute this, as I count myself as a tech enthusiast but I'm an enthusiast for tech which works well. I increasingly find myself having to put up with stuff that doesn't work well, and this AI investment instead of fixing the stuff that Windows is routinely doing to make my working day harder is infuriating.

Also, in my experience, it's the non-tech-enthusiasts who are diving into LLMs because they don't understand what is actually going on and it basically looks like a repeat of the whole thing about ELIZA a few decades ago. Just this time it's vastly more expensive and has to run on a datacentre and can write you an essay instead of just rephrasing your question.
Show HN: Free Ask AI Agent for tech products and dev docs
by 0_AkAsH_03 | 2025-11-21 08:48:36+00:00
Hey HN,

we've built Ask AI for complex and technical products that answers your users questions in your documentation, product interface, or Discord/Slack community.

With your own OpenAI API key, you can use it for completely free as long as you want.

It is fully trained on your data, so it directly answers from your sources.
by petesergeant | 2025-11-21 08:48:51+00:00
> or cannot happen to a competent, well equipped force ... their equipment is not only subpar, it is also poorly mantained and crewed by people who were not properly trained for its operation, and commanded by leaders who were almost never promoted for their competence.

I think it's far from clear that this isn't the case for the PLA -- nobody has any idea because they haven't seen any combat other than harassing fishermen or hitting Indians with sticks since they had to do a face-saving retreat from 'nam in the late 70s.

It's possible they've got Western-style NCOs and their rockets aren't full of water, but, who knows? They probably don't even know themselves, and if you're a Chinese general who's gotten fat off their position, are you really going to sound the alarm?

All this is of course also true of Japan and Taiwan, although one would hope that their allies have managed to iron out the kinks there.

EDIT: It's also entirely unclear how well any of these populations is going to deal with troops getting shot, which is important.
by AnthonyMouse | 2025-11-21 08:49:23+00:00
> The claim, even if implicit, is "does not increase emissions beyond particular threshold within particular operational domain".

So the government wants data to validate a claim the company never explicitly made, but the government doesn't want to pay for the data, and the nature of the product is such that data showing higher emissions would be baffling and implausible. We're back to, how does this make any sense?

> Further, the article makes a claim that there are more emissions testing groups to test on than there are individual members, which cannot be true.

Consider the possibility that an "engine family" could be an engine configured in a given way rather than a set of distinct engines.
by Gareth321 | 2025-11-21 08:49:36+00:00
I very much agree. The driver support won't happen until Linux reaches a much larger install base, but that has some hurdles. First, unless Valve creates some kind of kernel-level anti-cheat for SteamOS, we'll never see some of the most popular online FPSs. Frequent cheating is a red line for most players.

Second, Linux needs a standardised *and enforced* application installation method like .exe. One should never, ever, for any reason, ever, need to use the CLI to install an application. Yet there are so many applications out there which require the use of guides/manuals and the CLI to install, configure, or use. This is partly a dev preference, partly to save time, and partly because it's difficult to build and maintain distinct UI for different distros which each have their own quirks. People often ask, "why don't they release this on Linux?" But that's not actually what they're asking. They're really asking, "why don't they release this software on 20 distinct operating systems?" Each distro might have 0.1% of their total addressable market. Unfortunately, even if SteamOS enforces some kind of package manager like flatpak, that's not going to force devs to use it. It would need to be Linux-wide, and that will never happen. So we're left with fragmented install methods across multiple package managers, and a huge headache for people who just want their OS to get out of the way.