MurphyA/hacker-news huggingface dataset:
by kragen | 2025-11-13 11:20:34+00:00
The link to Lindsey Kuper's post https://decomposition.al/blog/2017/07/30/what-do-people-mean... is great!

I think the note about generators may be a good definition for when one language is "more powerful" than another; at least it's a good heuristic:

> The input and output languages have the syntax of JavaScript but the fact that compiling one feature [generators] requires a whole program transformation gives away the fact that these are not the same language. If we’re to get beyond the vagaries of syntax and actually talk about what the expressive power of languages is, we need to talk about semantics.

If a given program change is local in language X but global in language Y, that is a way in which language X has more expressive power.

This is kind of fuzzy because you can virtually always avoid this by implementing an interpreter, or its moral equivalent, for language X in language Y, and writing your system in that DSL (embedded or otherwise), rather than directly in language Y. Then, that anything that would be a local change in language X is still a local change. But this sort of requires knowing ahead of time that you're going to want to make that kind of change.

Sadly https://people.csail.mit.edu/files/pubs/stopify-pldi18.pdf is 403. But possibly https://people.csail.mit.edu/rachit/files/pubs/stopify-pldi1... is the right link.
by globalise83 | 2025-11-13 11:20:49+00:00
"The system was used for internal operational documents and merchant onboarding materials at that time"

To me it seems most likely that this is data collected during the KYC process during onboarding, meaning company documents, director passport or ID card scans, those kind of things. So the risk here for at least a few more years until all identity documents have expired is identity theft possibilities (e.g. fraudsters registering their company with another PSP using the stolen documents and then processing fraudulent payments until they get shut down, or signing up for bank accounts using their info and tax id).
by programjames | 2025-11-13 11:20:56+00:00
"I like to think I'm generally intelligent, but I am not robust to adversarial attacks. I'm trying arc-agi tests now and it's looking bad for me."

One man's modus ponens is another man's modus tollens.

"I'm trying arc-agi tests now and it's looking bad for me. I am not robust to adversarial attacks. I think I'm not generally intelligent."
by tacker2000 | 2025-11-13 11:21:06+00:00
The problem is Whatsapp is now being used more and more in a professional context, even in Europe, and it's just not a pro software by any means. Searching for old messages is a pain, the web version is slow, there is now optimized overview or folders, etc...

And now it seems that there is not even a benefit to installing the native vbersion, they will probably do the same for Mac also now.
by killerstorm | 2025-11-13 11:23:35+00:00
Would be interesting to combine it with Reasoning In the Latent Space: feed the vector from the output layer of transformer back to input.

Obviously, you can't do it in pre-training. But you can add it later as an optional 'extra' vector, I think. E.g. `input_embedding + MLP(prev_output) * alpha`. Alpha is zero during pre-training.
by barrkel | 2025-11-13 11:24:32+00:00
I believe the formalisms can be constructed by something fuzzy. Humans are fuzzy; they create imperefect formalisms that work until they break, and then they're abandoned or adapted.

I don't see how LLMs are significantly different. I don't think the formalisms are an "other". I believe they could be tools, both leveraged and maintained by the LLM, in much the same way as most software engineers, when faced with a tricky problem that is amenable to brute force computation, will write up a quick script to answer it rather than try and work it out by hand.
by mjburgess | 2025-11-13 11:24:36+00:00
Ah well, that's true -- so we can be more specific: discrete, discrete computable, and so on.

But to the overall point, this kind of reply is exactly why I don't think this is a case of L vs. S -- your reply just forces a concession to my definition, because I am just wrong about the property I was purporting to capture.

With all the right joint-carving properties to hand, there is a very clear matrix and hierarchy of definitions:

abstract mathematical hierarchy vs., physical hierarchy

With the physical serving as implementations of partial elements of the mathematical.
by MerriBan | 2025-11-13 11:24:36+00:00
Function calling requires the client to define functions upfront. WAW enables server-side capability description.

Think of it as: - Function calling: Client tells LLM "here are tools you can use" - WAW: Service tells agent "here's what I can do"

You can actually combine them—use WAW manifests to auto-generate function definitions dynamically. We show this in the demo.
by jbb67 | 2025-11-13 11:24:44+00:00
> his will allow you to distribute your creations to a limited number of devices without going through the full verification requirements.

Sorry, *allow*? ALLOW?

I'm sorry. My device. My software. My customer or friend. You don't have the right to insert yourself into the process. Very kind of you to ALLOW me to do something you have no involvement in whatsoever.

Like everything google do the real reason for the plan is to let google insert themselves unwanted into someone elses business so they can extract money from other people's work.

I would bin my android phone now if the alternatives weren't even worse,
by Orygin | 2025-11-13 11:24:46+00:00
HL3 is most likely not a VR game as Valve said they aren't working on a first party VR title (plus data mining seems to confirm). Plus they already have Alyx as the masterpiece, and it was already made with their own VR headset in mind: the Valve Index.

Maybe HLX will have some kind of VR interaction possible, as they want to push technology further with each Half life game.
by vlovich123 | 2025-11-13 11:25:28+00:00
At least when we implemented this in the first version of Oculus Link, the way it worked is that it was distorted (AADT [1]) to a deformed texture before compression and then rectilinear regenerated after compression as a cheap and simple way to emulate fixed foveated rendering. So it’s not that there’s some kind of adaptive bitrate which applies less bits outside the fovea region but achieves a similar result by giving it fewer pixels in the resulting image being compressed; doing adaptive bitrate would work too (and maybe even better) but encoders (especially HW accelerated ones) don’t support that.

Foveated streaming is presumably the next iteration of this where the eye tracking gives you better information about where to apply this distortion, although I’m genuinely curious how they manage to make this work well - eye tracking is generally high latency but the eye moves very very quickly (maybe HW and SW has improved but they allude to this problem so I’m curious if their argument about using this at a low frequency really improves meaningfully vs more static techniques)

[1] https://developers.meta.com/horizon/blog/how-does-oculus-lin...
by bullen | 2025-11-13 11:25:38+00:00
The key takeaway is that you will rebuild the drivers less often:

1) The stack is mature now, we know what features can exist.

2) For me it's about having the same stack as on a 3588 SBC, so I don't need to download many GB of Android software just to build/run the game.

The distance to getting a open-source driver stack will probably be shorter because of these 2 things, meaning OpenVR/SteamVR being closed is less of a long term issue.
by pmontra | 2025-11-13 11:26:03+00:00
I force reloaded it now and it took only a few seconds. It's on CPU from 2014 on a 4G connection. However we are only two data points. Meta probably has a good knowledge of the distribution of the load times.

If your spikes in load time are random it could be the connection, the amount of free RAM on your computer in that very moment, or maybe how well it is syncing with your phone. However I don't know how it handles that. It used to require an online phone but it seems that it can do without it now.
by StopDisinfo910 | 2025-11-13 11:26:19+00:00
> people like you are being obtuse, unwilling to find a solution or a compromise.

How are people being obtuse for refusing to compromise for solutions on a problem which doesn’t exist?

You can’t misrepresent the situation, establish that one American company having absolute control on what people do with their devices is somehow the norm and then complain that people won’t meet you halfway.
by JimDabell | 2025-11-13 11:27:02+00:00
I’m not saying it’s going to be a hot new product that everyone must buy, I’m pointing out that “Apple product ridiculed online” is a completely meaningless non-event that it makes no sense to report on. It’s going to happen for excellent, incredibly successful products; it’s going to happen for bad products; and it’s going to happen to all the products in-between.
by programjames | 2025-11-13 11:27:20+00:00
I think the issue with the irrationality is that it isn't random. If some people made a mistake 20% of the time, completely randomly, when deciding between two products, it doesn't matter too much, and the dollars flow to the person who trembles less. However, humans can be exploited to make more mistakes. Gambling companies are a clear example, but I think run-of-the-mill advertising optimizes to be exploitative more than informative as well. Thus, all the dollars get sucked in by people who are actively anti-social, instead of those that offer a better product or make fewer mistakes.
Ask HN: How to Do a Launch?
by keepamovin | 2025-11-13 11:27:26+00:00
I've been working on something for a while. I have a O(10K) signup emails in a list. Got a few accounts on reddit, YouTube, HN. Distributed across a few channels, like GCP, Azure, Choco. Recently bringing up huge changes and it's legit worth a proper launch. I'm no PH or social media expert, but I figure I should do something. I know there's checklists, or I could ask AI, but I'm asking here, becuase this is real people who do stuff. I'll have a temporary demo, for free, easy to use, to show everything off. The aim is to increase the funnel and exposure. I get so many emails for "magazine" placement, but feel it's all BS. I don't really know the right question to ask, but I appreciate anyone who can sage guide.
by vladms | 2025-11-13 11:27:49+00:00
I'm afraid the solution is to learn from mistakes. Which can be painful, takes effort, and at which some people will fail.

Society must be aware we are balancing "protection" and "responsibility". If you want some freedom you must have some responsibility.

I do not mind offering to some people more "protection" if it is clear they give up some "freedom". Some might accept the risks, some will not.
by kragen | 2025-11-13 11:27:51+00:00
Word definitions are arbitrary social constructs, so they can't really be correct or incorrect, just popular or unpopular. Your suggested definitions do not reflect current popular usage of the word "computer" anywhere I'm familiar with, which is roughly "Turing-complete digital device that isn't a cellphone, tablet, video game console, or pocket calculator". This is a definition with major ontological problems, including things such as automotive engine control units, UNIVAC 1, the Cray-1, a Commodore PET, and my laptop, which have nothing in common that they don't also share with my cellphone or an Xbox. Nevertheless, that seems to be the common usage.
by walletdrainer | 2025-11-13 11:28:27+00:00
We’re talking about criminal organisations that depend on a certain level of trust to make any money at all.

Yes, the data might still leak. It’s absurd to suggest that it’s not less likely to leak if you pay.

There’s a reason why businesses very frequently arrive at the conclusion that it’s better to pay, and it’s not because they’re stupid or malicious. They actually have money on the line too, unlike almost everyone who would criticise them for paying.
by iteria | 2025-11-13 11:28:28+00:00
Not if you are playing the long game. You get console gamers by buying consoles. Steam now has the concept of parental controls and kid accounts. That's the story of why my kid has never played a console. And I have grabbed a lot of her friends as well. In 5 or 6 years when these kids are teens, they will stay with steam and play whatever works on that platform over picking up whatever Nintendo, Sony or Microsoft drop.

PC gaming had been dying because it was losing kids with the rise of tablets and phones. This is a decent solution even if it will not pay off immediately.
by subscribed | 2025-11-13 11:28:38+00:00
No one sane uses baseline webui 'personality'. People use LLMs through specific, custom APIs, and more often than not they use fine tune models, that _assume personality_ defined by someone (be it user or service provider).

Look up Tavern AI character card.

I think you're fundamentally mistaken.

I agree that to some users use of the specific LLMs for the specific use cases might be harmful but saying (default AI 'personality') that web ui is dangerous is laughable.
by victorbjorklund | 2025-11-13 11:28:40+00:00
That you haven’t met any webdevs using prolog probably is because 1) prolog is a very rare language among devs in general not just webdevs (unless you count people that did prolog in a course 20 years ago and remember nothing) 2) prolog just isn’t that focused on webdev (like saying ”not many embedded devs know react so I guess it is because react is too hard for them”)
by jabwd | 2025-11-13 11:29:18+00:00
AMD GPU here, but I had issues connecting my Xbox controller to it and using it with Steam. On Bazzite this all works out of the box. Would love to know what the issue was but could've been my bluetooth chipset or something of the sort -- Don't know what Bazzite does differently from Linux Mint sadly.

Overall barely ever in Windows anymore and a happy Linux gamer.
by davedx | 2025-11-13 11:31:06+00:00
The ORM is great! I usually setup my projects so the Prisma generated types are shared with the front end and build my own types on top of those.

I like the prisma schema first way of specifying my models too. It’s pretty intuitive and readable, it centralizes all my models in one place.

The migration system could be more advanced but does the job. Multiple production projects I worked heavily on use it.

Overall I think it’s very well designed software
by kannanvijayan | 2025-11-13 11:31:08+00:00
In a society where having a job is, for that vast majority not in the non-gilded classes, the only mechanism by which a person can secure their core needs.. losing a job is indeed a pitiable situation for most.

If we've built a society that when it "pivots" leaves swathes of people smeared out as residual waste, I'd argue we should feel bad.

We've certainly reached a point of technological advancement where many of these consequences at the individual level are avoidable. If they're still happening, it's because we've chosen this outcome - perhaps passively. But the clear implication of would be that we're collectively failing ourselves, as a species that tends to put some degree of pride in our intelligence.

And we should feel bad about that failure. It's OK to feel bad about that failure. We tend not to improve things we don't feel bad about.
by tsimionescu | 2025-11-13 11:31:16+00:00
While the old APIs keep working, Microsoft does like to come up with completely new APIs every five years or so.

If you want to do basic UI on Windows today, you can use:

- Win32 UI - MFC - .NET WinForms - WinFX - .NET WPF - WinRT - UWP

And I'm sure there are many others that I'm forgetting.
by terribleperson | 2025-11-13 11:31:35+00:00
I don't think it'll outsell any current console. Not even the anemic and dying Xbox Series X.

I think that appropriately priced and supported, it will put Valve in a strategic position to actually compete in subsequent console generations as a real player. It's a little behind in terms of specs, but with as slow as uptake of this generation has been, I expect that developers will continue to target base PS5 specs for another six years at least (PS6 supposedly landing in 2027). Then they can drop their Steam Machine 2 in 2029 or 2030, hitting base PS6 specs at an affordable price. It's been a winning approach for Nintendo.
by Retric | 2025-11-13 11:31:40+00:00
> It's amazing to me that people consider "saving time while paying money" to be a good thing.

If you’re checking it at a grocery store it’s likely there’s someone in line behind you waiting to pay, it’s a fairly common aspect of physical transactions. Waiting for you to count out your pennies is the kind of thing that evokes rage in people because it’s so rude.
by mathgeek | 2025-11-13 11:32:10+00:00
> It is not right to treat a person who is e.g. elderly, or for some other reason has "fallen" behind the digital divide, as an inferior person with fewer rights and privileges.

While it may not be moral, our entire world and society are set up to treat folks with more resources as superior people with more rights and privileges. Poorer folks fall behind the digital curve just as readily as they fall behind the professional, educational, etc. ones. Who you are born as and where that takes place is still one of the driving factors of your rights and privileges. It's certainly noble to fight that (just to be clear that I'm not arguing for digital IDs as somehow valid because the rest of the system is already unjust).
by saberience | 2025-11-13 11:32:39+00:00
Passport or ID card scans would never be be stored alongside general KYB information, e.g. the standard forms PSPs use.

If you read between the lines of the verbiage here, it looks like a general archived dropbox of stuff like PDF documents which the onboarding team used.

Since GDPR etc, items like passports, driving license data etc, has been kept in far more secure areas that low-level staff (e.g. people doing merchant onboarding) won't have easy access to.

I could be wrong but I would be fairly surprised if JPGs of passports were kept alongside docx files of merchant onboarding questionnaires.
by constantcrying | 2025-11-13 11:32:46+00:00
>And yet here you are, signaling to others your uniqueness by saying how much you hate the way that they signal theirs. It's not that deep, man.

I don't think my opinion is particularly unique and certainly I do it to appear unique.

>This sounds like a really tough way to live

It is much easier, because I do not have to be worried whether people see me as unique.

>I genuinely wish you the best of luck with your vendetta against checks notes people expressing themselves with stickers on their laptops.

Thank you.
by WhyNotHugo | 2025-11-13 11:33:12+00:00
I find it mind boggling that so many VR headsets cannot be used with glasses.

Imagine an engineering team and developers working on the device. There must be a pretty large proportion of folks with glasses. Does the fact that they cannot use their own product not raise a flag in any way!?

Anyway, for this particular model, others indicate that there may be an (optional?) spacer.

“Optional” sounds kinda sucky. Someone buys the headset, has a friend over, and the friend can’t use it because support for glasses is optional? It’s not like glasses are a niche thing.
by 59nadir | 2025-11-13 11:33:33+00:00
The Steam Machine looks to me like it'll become a great optimization target to hit (if it becomes popular enough, which it probably will). Solid, predictable targets are always great, and now we have yet another one that doesn't have the downside of being in some insular, exclusive dev space like PlayStation, Xbox or Nintendo. It's just a PC, in an open eco system, with predictable and decent hardware.
by jack_tripper | 2025-11-13 11:33:51+00:00
>It's not wrong nor misleading at all.

Yeah it totally is and I explained why.

>Who cares if they keep working

A lot of people.

>if the only way to get dark mode is to custom render the whole UI yourself

Most the apps I use support dark mode: Chrome, FF, Notepad++, Jellyfin, Qbittorrent, SumatraPDF, Signal, Wiztree, WinSCP, and others I'm forgetting. Seems like it's not an impossible task for the developers.

And on Github you can find FOSS apps[1] that have implemented light/dark mode switching for their UI, so you can just copy what they're doing if you don't know where to start.

[1] https://github.com/AutoDarkMode/Windows-Auto-Night-Mode
by Orygin | 2025-11-13 11:34:02+00:00
We know, and the game devs know too. But Kernel anti cheat is not a solution but simply a marketing feature to make their users think they try.

Just seeing all the gamers requesting a kernel AC for CS2, saying VAC does not work; but now they have banned a lot of cheaters and seem to have less cheaters than the new Battlefield which has kernel AC.
by mtmail | 2025-11-13 11:34:22+00:00
The rank would be against others on the same platform? Others, who actively spend time wealth tracking? The rank is suddenly lower because more rich folks signed up the service. I don't see the appeal.

> think league of legends for wealth tracking

I heard of league of legend, it's an online game, but I don't know enough to tell how it's related to wealth tracking.
by James_K | 2025-11-13 11:34:26+00:00
You can run media from a potato. This will be at least 5x the cost of a cheap mini-PC. And you can't forget power draw. The Steam Machine has a 30W CPU, and I'd guess about 60W RAM which would add up to something like $120+ annually where a mini PC would cost closer to $7. 5 years later and the Steam Machine has eaten it's cost in power. Assuming it costs $500 like most consoles, you are looking at a total 5-year cost of $1100 where a mini-PC would be $100–200.
by metalman | 2025-11-13 11:35:55+00:00
it is impossible not wonder why there are not very fast uncrewed interceptor boats that would handle these situations,great big hydrofoils that just jam in there and litteraly grab a drug boat, drop a ladder down for the poor bastards to climb up, into there surrender cell for there remote debreef and a mre, if they are part of drug smuggling, it is strait off to some prison/mine and if they are bieng trafficed or other innocent, they get a phone. the main thing is that there is no excuse for ANY drug boats getting through, and the US, trillion dollar+ military/coast guard should be perfecly capable of intecepting and inspecting anything and everything in US waters without it bieng a stretch or any big deal. but then we come full circle, and the fact is that drug demand is driven by peoples lives, sucking so bad, and that is systemic in origin, with a ready domestic industry there to manufacture all the drugs, and more