MurphyA/hacker-news huggingface dataset:
by monerozcash | 2025-12-06 10:56:47+00:00
> Wine wrapped installers for ... which distro?

I don't see why that should matter. It's games, you'd practically have to ship your own libraries anyway.

>If game devs never made any linux binaries, then there won't be any linux binaries. What? You expected GOG to make a linux port of the game?

Personally I couldn't give less of a shit, I'm an adult and have better things to do than play videogames.

I certainly do think it's not an unreasonable wish, and it wouldn't even be particularly hard. If GOG wanted to, they could provide pre-configured wine-wrapped installers for games that just work.

I do not know whether or not this would make financial sense for them, but Valve seems to think so, and I suspect GOG could do with a few cheap European software engineers wrapping games for them. Hell, they could even cut costs further by just open-sourcing their wrappers and largely relying on user-submitted patches for maintenance.

>Games with wine don't require any special installers. Just open the wine desktop and install the windows game from there, like any other windows program you use in Linux.

If you'd ever used Wine you'd know how fiddly it is, there'd obviously be a lot of value in having someone else handle that fiddling for you.

> If you think that's too hard, then get a PS/Xbox and see my original reply, the one with the "we're doomed".

I don't know if GOG shares your poor attitude, but that certainly wouldn't be a good way to run a business. Try coming out of the basement every now and then.

The question for grown-ups with things to do in their lives is usually not whether or not something is too hard, but whether or not it is worth spending their time on. If I ever wanted to play a game, looking up some workaround for a wine-related crash is the last thing I'd want to spend my time on.
by chickensong | 2025-12-06 10:58:47+00:00
Real consequences from higher up... for ads on a fridge? Corporate execs only care about money. Engineers aren't going to get themselves fired every time someone asks for a feature they don't agree with. Government? We don't need more nanny laws.

What we need is for people to think for themselves. The powers that be aren't going to save you from all the bad things. Call out the bad things to educate people, and vote with your wallet.
by tempfile | 2025-12-06 10:59:21+00:00
> "I will give you food, on the condition that you change your immutable characteristics" is incoherent.

This is a very strange failure of reading comprehension. I think you're trying to write "I will only give you food if you're white." Are you trying to say this sentence is incoherent? I admit that if you say this sentence to a black person, it is logically equivalent to "I will give you food if you change your immutable characteristics". But they are not logically equivalent in general, so your gotcha doesn't apply to my argument.

About your actual argument: a) it is obvious they don't have constitutional protections, I am not arguing about the law, this is an ethical point; b) identity-group prejudice is not the only kind of unethical behaviour. Since you mention prejudice, I think you proved my point - if the ethical standard was "nobody is materially worse off" then this kind of prejudice would just be irrelevant. If the US had a "whites only" immigration policy that would be A-OK with you, they have no obligation to let people in. If that's your ethical standard, I have nothing more to say.
by hodgesrm | 2025-12-06 10:59:35+00:00
Hmm, maybe there's a simple legislative fix for this problem. Basically vendors that want to make you "rent" devices would have to allow termination for convenience at any time by customer including repayment of any fees paid by the customer for the device.

Termination for convenience is a standard term in contracts, hence well-understood by corporate lawyers. The repayment could be reduced using a depreciation schedule so the longer the device is in your hands the less that's returned.

I think this would work. The legal machinery is already there. The market would work out the details.
by Yoric | 2025-12-06 10:59:41+00:00
> In Go we just use errors.Is() or errors.As() to check for specific error values or types (respectively). It’s not stringly typed.

errors.Is() works only if the error is a singleton.

errors.As() works only if the developer has defined their own error implementing both `Error() string` (which is part of the `error` interface) and either `Unwrap() error` or `Unwrap() error[]` (neither of which is part of the `error` interface). Implementing `Unwrap()` is annoying and not automatizable, to the point that I've never seen any third-party library doing it correctly.

So, in my experience, very quickly, to catch a specific error, you end up calling `Error()` and comparing strings. In fact, if my memory serves, that's exactly what `assert` does.

> I think the main grievance with Rust’s error handling is that, while I’m sure there is the possibility to use anyhow, thiserror, non_exhaustive, etc in various combinations to build an overall elegant error handling system, that system isn’t (last I checked) canon, and different people give different, sometimes contradictory advice.

Yeah, this is absolutely a problem in Rust. I _think_ it's moving slowly in the right direction, but I'm not holding my breath.
by palata | 2025-12-06 11:00:10+00:00
> Then what's your proposal?

Not the OP, but my proposal is to acknowledge that unsolved hard problems are... unsolved. Instead of inventing bullshit and pretending it's constructive. Some people make a career out of that bullshitting, others complain about it because it actually has a negative impact on them.

"What's your proposal", in my experience, is often used as a defense against someone calling bullshit. My proposal when I'm calling bullshit is that the bullshitter start being professional, but it's not exactly something I can say.
by hulitu | 2025-12-06 11:02:38+00:00
> presents troubling revelations about the surveillance company Intellexa and its signature product Predator, a form of highly invasive spyware that has been linked to human rights abuses in multiple countries.

> Intellexa is one of the most notorious of the so-called “mercenary spyware companies”,

Spyware is good as long as Apple, Microsoft, Google or Meta does it. But “mercenary spyware companies”, bad.

This is like rape in a marriage.
by AllIWantxXisU | 2025-12-06 11:03:20+00:00
This is an interview with Leon Chua (who postulated the memristor in 1971) and Stan Williams (who led the HP Labs team that built it in 2008). The video goes fairly deep into the device physics, and its use in analogue computing. There is also a visit at University of Edinburgh to look at current neuromorphic AI implementations.
by palata | 2025-12-06 11:04:27+00:00
That was my selling point for Nextcloud, and it turns out it doesn't work reliably. It works most of the time, but for backing up photos it's not enough, and when it fails it's super annoying (you have to resync EVERYTHING from scratch).

People seem very happy about Immich, I'm tempted to try. But people seem very about Nextcloud as well, so it's difficult to tell.
by zkldi | 2025-12-06 11:05:07+00:00
It's just not what the word axiom means nor how anyone uses it. An axiom is unprovable by definition - is it a thing we accept to be true because it is useful to do so (e.g. there exists an empty set)

"Provably Correct Axiom" is nonsense. An axiom is unprovable.

Just "provably correct" would've been fine. This chess stuff is hilariously pretentious.
by panick21_ | 2025-12-06 11:05:46+00:00
Why do you think transfer of propellant is so difficult? We do propellant transfer all the time in space. The only real different is that the liquid is colder and Starship is just plane bigger.

But we pipe around cold stuff in space internal to space ships already quite often.

What is the fundamental limitation that you worried about?

I would say the head-shield is far harder an an unsolved problem, specially with re-use. Refurbish is not economically viable, specially not after 1 launch. That would be against every design goal of Starship. It has never been demonstrated in a practical fashion.
by hodgehog11 | 2025-12-06 11:05:49+00:00
I suspect that the "image-based" strategy taken here is unlikely to be appealing to many members of this community.

It could be very effective for bringing in those who are not particularly computer literate under the claimed guarantee that a random update is unlikely to break the machine. But you would also need significant financial backing and marketing with strong brand recognition to inspire that kind of confidence.
by tempfile | 2025-12-06 11:07:44+00:00
It was the whole "Yes! 100%, totally agree" thing. I think you were just doing a rhetorical device, sorry.

> why don't we also have laws criminalizing things like refusing to be friends with $SKIN_COLOR people?

Some combination of "it would be impossible to enforce" and "laws about who can be friends with who sounds kind of crazy".

> There is no right of foreigners without a green card to enter in the first place

There is no right of black people (or any people) to get a job, either. It simply does not follow that "no counteroffer ... could be inappropriate". This is sort of my point - all the law says is "if you would offer this job to person X, only on the condition that they were white rather than black, then you must offer them the job anyway". Please note that I am not arguing about what the law says - I am arguing that the law is unethical.

Now, you say getting a job is somehow more "necessary" than, say, being friends with someone. I would argue also it's more "objective" in the sense that a job is a job, it would be silly for someone to try to argue "well, I can choose not to be friends with black people, so why can't I choose not to hire them?". This would be disingenuous - hiring people is not similar to being friends with them. So, given you agree this kind of law is ok for jobs and not ok for people's friendships, which one do you think is more similar to immigration?
by bartread | 2025-12-06 11:08:04+00:00
Yeah, I spent years in Java and then even longer in .NET and it felt like everything I was getting a bit fed up of in those worlds had invaded JS. 20 years ago I could never have imagined defending JS as a language but, as time wore on, I started to appreciate its more stripped back syntax. And then a lot of what’s been added in later ES standards has been great so it seems even more unnecessary to layer TS on top.
by bborud | 2025-12-06 11:08:18+00:00
I don't understand why Youtube would do this. Both applying these kinds of "enhancements" to video and to do so without consent or even informing people. How is this a smart move?

We need more people experimenting with creating a better platform for content creators. Not least so people like Beato, but not as well known, don't constantly get harassed by fraudulent and incorrect copyright infringement claims.
by palata | 2025-12-06 11:08:35+00:00
Supporting someone who is not TooBigTech is a valid concern, IMO.

The selling point for me is that it is NOT TooBigTech. It doesn't have to be as good as TooBigTech, but it has to be reliable enough. In my case it means that it should be able to sync from iOS/Android, in the background, even if the user never opens the app, and it should never get out of sync and require setting up everything again. Nextcloud fails at that.
by amiga386 | 2025-12-06 11:09:09+00:00
I was already using Tor Browser for sites that UK ISPs are banned from letting me access.

I continue to use Tor Browser for entirely innocuous sites that are collateral damage of the OSA.

For example, the Interactive Fiction Archive. All its game files are voluntarily blocked in the UK by its well-meaning but stupid operators. Even games intended for children. They should stop complying and just serve up all their files to everyone. If a teenager learns what a. z5 file even is, they deserve to be able to play it.

Any reddit thread where someone said naughty words? "Oh we're going to need your phone number and a facial". I don't think so, Mr Data Harvester. Click on URL, Ctrl+c, alt-tab to Tor Browser, Ctrl+v, "Are you over 18?" Yes I am. See how easy that is?

I hate my government.
by coldtea | 2025-12-06 11:10:04+00:00
>The irony is I am pretty sure you believe this because of some kind of heuristic, but I am not sure what that heuristic would be called

Maybe we could call it the "if a book bases it claims by citing a few papers, and those specific papers turn out to be bogus, then its claims are unsubstantiated" heuristic
by panick21_ | 2025-12-06 11:10:08+00:00
> as has Blue origin in the US

Blue Origin is losing many billions every year and has only survived thanks to a hobby project. And even if they continue, to get to SpaceX like cadence is a long way away, and many more billions in investment.

Europe is a decade plus behind and has no way ever to get to the launch cadence. And even then they have 0 chance competing for international launch. And a true Starlink competitor out of Europe is fantasy.

> Also the EU has setup a working Starlink competitor

No it doesn't.

> .. not that Starlink hasn't been tried 10 times before, with the most spectacular crash being Iridium

If you really think Starlink and Iridium are comparable, you should get your head checked.

And just because something hasn't worked before, doesn't mean changing technology doesn't change that.

The question you should ask is "Are there historical example where a 10x drop in cost allowed for a new much larger volume in an industry". And if you look at it that way, its patently obvious.

SpaceX doesn't even need to pay itself margin, if SpaceX had to fully buy SpaceX launches, the economics would be a lot worse.

> TLDR: SpaceX is bankrupt, Starlink is a pets.com

This is analysis where my only conclusion is that you just hate Musk and SpaceX for political reasons.

Did pets.com make like 10 billion in revenue and had many major militaries as costumers? I must have missed that.

> so it has no choice developing a publicly funded rocket program.

It does have a choice the US doesn't need to publicly fund anything. They already have ULA, SpaceX, BlueOrigin, Rocket Lab, Stoke space, Relativity.

> Everyone always makes the point that SpaceX is cheaper than SLS. However ... this fails to correctly compare prices for the only options the US government has:

You act as if SLS is the law of the universe, but it isn't. Anybody with a brain has known for 10+ years that eventually the US will switch to commercial rocket launch. As NASA has already mostly done, and DoD has done 100% already.

SLS is the last vestige of a dying system of cronies from the Shuttle days. It has not future. Only a long political fight to suck up as many resources at can be extract from congress before it inevitably dies.

The future in the US is clear, competitive launch with SpaceX as the leading provider and ULA, Blue and friends competing for contracts.
by qnleigh | 2025-12-06 11:11:13+00:00
LLMs can count other objects, so it's not like they're too dumb to count. So a possible model for what's going on is that the circuitry responsible for low-level image recognition has priors baked in that cause it to report unreliable information to parts that are responding for higher-order reason.

So back to the analogy, it could be as if the LLMs experience the equivalent of a very intense optical illusion in these cases, and then completely fall apart trying to make sense of it.
by MomsAVoxell | 2025-12-06 11:11:25+00:00
I wrote a “multimedia engine” in those days, also a booter which used no MS-DOS calls, BIOS and assembly only, to render vector graphics on both CGA and EGA-based systems .. the engine was used to produce 3 educational titles before the publisher went under.

Definitely fun days, working out how to be a bit faster than the BIOS and not use a single bit of DOS.
by _jzlw | 2025-12-06 11:11:49+00:00
1. What's the purpose of the "random padding"? Remember that an LLM is incapable of thinking logically, so it'll often do things that seem purposeful but aren't.

2. Consider using an actual checksum like CRC-32 rather than a truncated hash if your intent is to detect data corruption (see https://stackoverflow.com/a/72580031)

3. Obfuscation is a fool's errand; as you said, it provides no security, but therefore it also serves no purpose except to give a false sense of security, which is often more dangerous than none at all. Actual private key container formats (like PKCS#8 and #12) allow for encrypting the key with a passphrase, which is something you might consider instead.

4. "AES-GCM keys" are not a thing; they're just AES keys (which are just random bytes of a set length).
by robot-wrangler | 2025-12-06 11:12:00+00:00
Hard to decide use-cases without much discussion about how it works. It converts 2 hours to seconds but not 2 pb to gb. Does this use frink under the hood? If not.. maybe it should. An AI front-end that's fine-tuned to quietly "compile" to frink on the backend feels sorely needed.

My next go-to test for this kind of thing would be converting bananas to petabytes, hoping the backend is smart enough to try and use the bekenstein bound. Wolfram (still) fails this kind of test at the moment.
by testdelacc1 | 2025-12-06 11:12:16+00:00
Yeah so this hypothetical sister doesn’t work, lives by themself, is severely disabled by schizophrenia but at the same time can afford a £2000 fridge. That’s a crazy amount of money to splash for someone who doesn’t work. Especially as amazing fridges are sold for £600-800. Oh, on top of all that, the persons name is Carol. It wouldn’t have worked with any other name.

I don’t think the story is real. But people who want it to be true are easily convinced.
by auxiliarymoose | 2025-12-06 11:13:25+00:00
Yeah, I was one of those schmucks that used sympy / python instead of mathematica in my physics coursework. Policy was "mathematica is recommended and supported, but you can bring your own tools if you want to and can make them work."

In retrospect, doing the work in mathematica would have probably stretched my brain more (in a good way!) since it provides a different and powerful way of solving problems vs other languages...maybe I'll have to revisit it. Perhaps even try advent of code with it?

While python did get the job done, it feels like the ceiling (especially for power users) is so much higher in mathematica.
by latexr | 2025-12-06 11:13:35+00:00
It’s a mistake to think you need to get everyone perfectly all the time to be effective. Stopping businesses from operating legally and having your population afraid of committing a crime does a lot of work by itself.

It’s only techies who think “if I can get around it, it’s not that big of a deal”. As long as you live in a society, how other people behave affects what you can do too.
by hodgehog11 | 2025-12-06 11:14:24+00:00
Surprisingly, many do. When I mention to people (family, friends, etc.) that they should open new chat windows for new topics due to memory corruption, it's pretty clear they never even considered the possibility that the model can go off the rails if the chat is too long. Later I often get a comment like "wow, I kept thinking this AI stuff was rubbish, but it's really good now!".
by dzhiurgis | 2025-12-06 11:14:33+00:00
> I’m sure Elon is familiar with the nuances of slander laws after he baselessly accused a hero rescue worker of a terrible crime and then hid behind his lawyers.

Funny how people remember this.

Hero rescue worker he was not. He just was one of the hundreds divers in the area, while total 10,000 people were involved ("The rescue effort involved as many as 10,000 people, including more than 100 divers, scores of rescue workers, representatives from about 100 governmental agencies, 900 police officers and 2,000 soldiers." [0]). There were teams from 11 countries, Musk included.

No one was asked out as per his made-up story during interview. Essentially he was slandering Musk...

0: https://en.wikipedia.org/wiki/Tham_Luang_cave_rescue
by gucci-on-fleek | 2025-12-06 11:14:42+00:00
Mathematica is awesome for weird, one-off tasks in fields that I'm unfamiliar with, since the documentation is excellent, and the functionality is really broad (so I don't need to figure out how to install a specialty program for every one-off task). But for fields that I'm experienced with or tasks that I'm planning on running frequently, I'll usually just use Python, since most of the Python libraries have more functionality and run quicker than Mathematica.

(Mathematica is of course much better than Python at symbolic math, but this isn't what you are asking about)
by splatter9859 | 2025-12-06 11:15:04+00:00
I need someone to explain to me, at length, at some point in my life the value proposition of Brave and what it brings to the table that other browsers do not.

For example, most of the key differentiators of Brave could be accomplished similarly in Firebox with a litany of extensions -- such as UBlock Origin as just one example -- or Privacy Badger if you'd like to be less 'heavy handed'.

The only other differentiator I see is the use of cryptocurrency as a way of compensating users for watching ads and the use of a crypto wallet; which if your not interested in such functionality is meaningless.

Yet I see very educated, competent, and intellegent people I've known for years be advocates and at some points "zealots" over the browser.

I would love to understand this. I'm honestly open to discussing this in good faith as I would like to understand the benefit here, and if I am somehow missing something will be the first to admit I was ignorant.
Show HN: Tokenization of Real Estate on Blockchain
by oxfpr555 | 2025-12-06 11:15:05+00:00
Hi HN! We’ve been building RealDeed, a system that represents real-estate ownership information as blockchain-based digital twins.

This is created under a DIFC Innovation Licence (DLT Technology Category). It does not offer financial services, trading, fractional sales, or fundraising. Its sole purpose is to demonstrate structured property data mapping into non-custodial digital assets.

What RealDeed does (in one line)

RealDeed converts key property information from title deeds and registry documents into non-custodial on-chain digital twins on the XRP Ledger and BNB ERC-20.

Why we built this

Real-estate data today lives inside:

PDFs, scans, and images

Fragmented registry systems

Offline exchanges between owners, brokers, and lawyers

This makes it difficult to:

Verify or share structured property information

Build automated workflows that depend on property-level attributes

Integrate property data with modern software, CRMs, or compliance tools

Property is valuable — but digitally, it behaves like a static file. There is no programmable or interoperable representation of property information.

Our approach

RealDeed focuses on data integrity and interoperability, not investment or trading.

It works by:

Ingesting property metadata (parcel ID, area, coordinates, ownership info, etc.)

Normalising it into a structured schema

Minting a digital twin token on:

XRP Ledger

BNB Smart Chain (ERC-20 standard)

Linking the token to hashed off-chain documents

Allowing owners or developers to view and verify mappings through a clean interface

Digital twins can reflect:

land area / square meters

possession or occupancy status

a registered security or hypothecation interest

owner-declared metadata

Tokens stay fully non-custodial in the user’s wallet; RealDeed does not hold or manage them.

What RealDeed is NOT

To avoid confusion:

Not a token sale Not fractional ownership Not an investment scheme Not a marketplace

RealDeed is strictly focused on data mapping, digital twin representation, and interoperability workflows.

Try it

Users can:

Enter property metadata

Generate a digital twin on XRP or BNB testnet

View the data-to-token mapping

Download a digital twin certificate for verification