20,188 karma · joined August 23, 2014
What is the Typst of formal modeling?
Another issue is that you end up with a formal model that passes, but then you have still have to convert that to a real language by hand and not make any mistakes.
The fact is when LLMs get good enough you WILL be able to build software without reading/understanding the code.
Whether or not you think we are already at that point is kind of an unimportant detail.
I would say we are quite close, depending on the type of software you are building.
He could have said "... not written in Python" - would that have been acceptable?
That said I don't know what's wrong with using a Rust AI framework like Candle.
I dunno what you're not getting but a GPU to run games is like 200-500W. A GPU cluster to run Astra is probably more like 10kW.
Also gamers tend not to spin up dozens of other machines to also game for them.
They're definitely missing a good unifying name like Claude though. (RIP anyone called Claude - when are companies going to stop fucking people over by giving popular products existing human names?)
Ah yeah in that case I agree. We're not quite at the point where completely hands-off vibe coding gives good results. But it seems very unlikely that that will still be true in a few years.
I mean I really hope that isn't true and AI stops improving or has some fundamental weakness that means it can never make long term maintainable code. Then I get to have a job! But I'm not going to believe something just because my job depends on it...
Even then people do care about the power consumption of non-AI things. Look at the energy label on your TV or tumble drier for example.
Laptops use very minimal power - you don't need to worry about them. If they didn't their battery life would suck.
You didn't seem to have a reputable point to address there. Just an assertion.
> I don't think humans and LLMs are actually non-deterministic in the same way?
Perhaps, but the author didn't make that argument. It's definitely easier to quickly vary skill in a model (by switching models) than it is to vary it in humans (by hiring/firing).
I don't see why that's bad. If anything it's better for AI - way easier to say "always use at least Astra/Opus 5.5" than it is to fire your crap employees.
I think some people have had the fortune to never actually work with poor programmers. They exist!
OP there isn't a word length requirement on blog posts. You put all the information you learned into your instructions for the LLM. Just post that.
The fact is there's no way of coding in a deterministic way, so it's irrelevant that LLMs are non-deterministic.
Doesn't matter what you think about AI, "it isn't perfect" is clearly a nonsense reason not to object to it.
But yeah to be fair if you are at that point, you probably want to go fully non-portable anyway. Especially with AI.
Has anyone even figured out how to do vector stuff (SVE/RVV) without assembly?
Also I think you're vastly underestimating the weird incoherent shit that the average stupid person is capable of typing into computers. With no further information, I don't think it's unreasonable that that search was from a stupid/bored person moaning about Dario not coming over. Yeah kinda weird response but people like this exist:
Yes, I think people do experiment with continuously running AI, e.g.
https://www.reddit.com/r/LLMDevs/comments/1sblzbe/what_i_lea...
It's not a common thing to want though. Much nicer if we control the prompts.
> To me, it’s beyond odd we call these thing agents without acknowledging the clear differences in the dynamics of their behavior.
They're called agents because they can act on our behalf. Which they do.
Does that mean it isn't a rogue dog? Obviously not.
OP just needs to look up "rogue" in a dictionary.
Huh is it still 2023? This article is just quibbling over what "rogue" means exactly. Only HN pedants would have any issue with describing them as rogue AI agents.
Nobody is saying that absolves OpenAI of responsibility.
Of course you aren't going to use Jev where you can easily make a decision deterministically with old-school programming. It's going to be used for stuff that might have previously been done by a person, e.g. reviewing app updates in app stores, reviewing CVs, labelling bugs, etc. Obviously that can already have inexplicable failures.