carra

4 ms·

1.
AI proves Medvedev logic is undecidable(arxiv.org)
3 points by carra 5d ago|0 comments
2.
by carra 6d ago
I was sure this article would be about how we tell computers to do things now (writing prompts to an AI in plain English). I was wrong. Interesting nonetheless.
3.
Vircon32 Games: 93 free homebrew titles, playable in the browser(vircon32.joyrider3774.xyz)
1 points by carra 26d ago|1 comments
4.
by carra 26d ago
Now you can try out Vircon32 without downloading anything! Note that you will need a keyboard to play (there are no tactile controls), so games will not be playable on a phone.
5.
by carra 26d ago
Absolutely. My point was not to agree with the new name, but to say that USA should not call themselves America (which is not just arrogant, but plainly incorrect)
6.
by carra 27d ago
This is a good moment to remind everyone that the USA is not "America". Not even North America. Just a part of it.
7.
by carra 2mo ago
Are there no versions between MacOS 15 and 26???
8.
by carra 2mo ago
Yes, but are self promotion posts not required to use "Show HN"/"Tell HN"? Or at least a disclosure on the comments...
9.
by carra 2mo ago
While this is certainly impressive, I believe it is not a good answer from a user's perspective. Instead of having Claude automatically spend tokens in an unrelated task, I would have preferred it to first tell me: "I can't v
10.
by carra 2mo ago
I would take it as just rounding 2,435 -> 2,400. No big deal.
11.
by carra 2mo ago
Several comments here talk about "nearly" having a heart attack. But I wonder: since it's happened to so many people, chances are someone had a heart attack for real. Can they legally be made responsible for that?
12.
by carra 2mo ago
> Some ppl don't like to hear it. But I would assume that token costs when using an inference provider are cheaper than electricity of using locally. Maybe, but for how long? Prices keep going up, and every new model eats more and m
13.
by carra 3mo ago
> Premium gaming and premium content of any kind seems unsustainable. That's one of the main problems of current gaming. Games have become just "content". And as such they are disposable. Why replay (and appreciate) someth
14.
by carra 3mo ago
Quite the cryptic tytle. Were they trying to save tokens?
15.
by carra 3mo ago
Yes, reading those in the same sentence I also thought about a spin on 2048, the game.
16.
by carra 3mo ago
People have got too used to Steam doing things well, but don't forget that: 1) that's not the norm, and 2) there's no telling when it will change. Gabe Newell will retire not too long from now. Will the next one in charge be
17.
by carra 3mo ago
> The tension is that digital goods are somewhere between. That's the thing. If they are truly goods, they cannot be in between! Otherwise they are being handled as services and as such they will be terminated at some point. So unle
18.
by carra 3mo ago
If they have no DRM, I would say it does!
19.
by carra 3mo ago
This article is quite right, but there's even more to it than that. Why should we need to hold ANY kind of relationship with the seller/provider of an article we bought? You certainly don't need a bookstore account to buy a p
20.
by carra 3mo ago
So now we need a framework for unit tastes
21.
by carra 3mo ago
Careful! Some of the scenes you would think as CGI are actually using practical effects. Even a couple of scenes with liquid metal on screen were using models.
22.
by carra 3mo ago
And would that really be a bad thing?...
23.
by carra 3mo ago
I see in the front page Pyodide 314.0 and now also Python 3.14. Is it a coincidence or is there some meaning to these "pi versions" in Python?
24.
by carra 4mo ago
I am surprised to hear this. In Spain there are plenty of physical toy stores. I can easily think of a few not too far from my home. Not only that, it's also common here to see entire aisles full of toys in some big supermarket franchi
25.
by carra 4mo ago
Not just AI. Every subscription in general can be a time bomb. You grow more dependent on it, and the provider can disappear or take it away at any moment.
26.
by carra 4mo ago
I always see the same when someone says things like this in any article, video or comment. There will be like 20 replies saying that it's because they chose the wrong linux distro. And of course each of those 20 will recommend a differ
27.
by carra 5mo ago
Unfortunately no, Unicode is not simply a mapping of bytes to characters. It is a mapping of numbers to code points, and in some cases you can even get the same characters with multiple code point sequences (not a very good mapping!). Then
28.
by carra 5mo ago
I read that article long time ago, and for me it's a hard disagree. A system as complex and quirky as Unicode can never be considered "plain", and even today it is common for many apps that something Unicode-related breaks. A
29.
by carra 6mo ago
Indeed it seems I was not well informed. Back in the 90s I did see several pieces of ANSI art, but even then the people and magazines I knew always called all of it ASCII art. In fact I don't think I had heard the term ANSI art before
30.
by carra 6mo ago
It's weird to see this called "ANSI art". Is that an American thing? I don't think I've ever heard that in Europe, everybody calls it ASCII art.

More ›