HNHacker News
TopNewBestAskShowJobs

IshKebab

20,188 karma · joined August 23, 2014

submissionscomments
IshKebab··on Gemini 4 Argon
Don't forget the training data! Legal copies of all the books in the world, the entire web scraped, and all of YouTube.
IshKebab··on Gemini 4 Argon
Astra also really loves reverse engineering binaries. I guess it's one of those things that isn't that complicated but is super tedious, and tedium means nothing to AI.
IshKebab··on What TLA+ can and can't check
IMO TLA+ is not very good. It has super weird syntax, and a whole separate DSL (PlusCal) to give it workable syntax for programs. You can really tell it was created by the same mind as LaTeX.

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.

IshKebab··on What TLA+ can and can't check
How do managers build software?

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.

IshKebab··on PSSA: A non-transformer language model written from scratch in Rust
I would say the ability to actually use software is kind of relevant to said software. There's definitely software I wanted to use but gave up on because it was just impossible to actually install. Hell I just spent half of today coaxing Claude to fix some Kotlin software so that it worked with the version of Java I have. Let me tell you that would have taken a good few weeks without AI, even if I was unfortunate enough to be an expert in Maven and Gradle. "Written in Rust" would have saved me a huge amount of (pre-AI) time for that software.
IshKebab··on PSSA: A non-transformer language model written from scratch in Rust
Rust matters because it means you can actually deploy it without going insane. I wonder if the anti-Rust zealots have actually ever used pip, especially on Windows.

He could have said "... not written in Python" - would that have been acceptable?

IshKebab··on PSSA: A non-transformer language model written from scratch in Rust
Yeah likewise. Pytorch needs to die.

That said I don't know what's wrong with using a Rust AI framework like Candle.

IshKebab··on NAND-16: a computer built from 277,248 NAND gates
Maybe ideas aren't so cheap anymore...
IshKebab··on GPT 6.1 Sol: Near-Astra intelligence for a fifth of the price
> But this is not that, the same gpus you play games with are used to run llms. How was energy consumation by gpu not a topic before llms?

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.

IshKebab··on Dots: Always-on agents
It seems like they have dropped ChatGPT in favour of just GPT... And they are going pretty hard with Astra/Sol/Luna too. So I guess they'll go with those if they're successful.

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?)

IshKebab··on Coding is not solved
> AI has not been meeting bigger picture requirements and needs hand holding. Even on the newest models. So are you not experiencing that?

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...

IshKebab··on GPT 6.1 Sol: Near-Astra intelligence for a fifth of the price
I don't think video games consume nearly as much power. A PS5's power consumption is apparently around 200W. That's not enough to run even one GPU, let alone the armada it presumably takes to run Astra.

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.

IshKebab··on GPT 6.1 Sol: Near-Astra intelligence for a fifth of the price
Yes I do. I've got a spare desktop that isn't too efficient (probably ~100W idle but annoyingly I've lost my power meter) so I don't leave it on even though I would like to use it as a server.

Laptops use very minimal power - you don't need to worry about them. If they didn't their battery life would suck.

IshKebab··on Dots: Always-on agents
ChatGPT was named before anyone realised it would become so well known, and by the time it was it was too late. It's not like BERT is an amazing name either.
IshKebab··on GPT 6.1 Sol: Near-Astra intelligence for a fifth of the price
I wish they'd list the environmental cost. My employer has an unlimited AI budget so I don't care about using Astra if it's just more profit for OpenAI. I care more if it actually uses 5x more energy.
IshKebab··on Coding is not solved
> You ignored my comment about NFR.

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!

IshKebab··on Does Reddit have an astroturfing problem? What the data suggests
Yeah I immediately left at that point. I appreciate that he was up front about it though, so at least I could leave immediately.

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.

IshKebab··on Coding is not solved
I'll spell it out... This guys is saying "LLMs are non-deterministic and therefore it's a bad idea to use them for coding", but humans are also non-deterministic and yet we somehow manage to get by with humans coding.

The fact is there's no way of coding in a deterministic way, so it's irrelevant that LLMs are non-deterministic.

IshKebab··on Coding Is Not Solved
Yes, that was my point.
IshKebab··on Coding is not solved
Yeah this guy's arguments are bunk. He goes on about how LLMs are nondeterministic... as if humans aren't!

Doesn't matter what you think about AI, "it isn't perfect" is clearly a nonsense reason not to object to it.

IshKebab··on There are no "rogue" AI agents
I don't see that a human writing a prompt once is fundamentally different to evolution giving us our reproductive "prompt".
IshKebab··on The state of SIMD in Rust in 2026
It's a continuum. Some things basically all SIMD implementations support. Want to add 2 4xf32 vectors together? That's pretty easy to do portably.

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?

IshKebab··on When did Google get so weird?
We get it. Google uses AI. AI is weird sometimes.

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:

https://www.youtube.com/watch?v=8HXFurHCkP8

IshKebab··on There are no "rogue" AI agents
> Has an AI agent ever woken itself up without a prompt and run a forward pass towards some goal, aligned or misaligned?

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.

IshKebab··on There are no "rogue" AI agents
Of course. Who said otherwise.

Does that mean it isn't a rogue dog? Obviously not.

OP just needs to look up "rogue" in a dictionary.

IshKebab··on There are no "rogue" AI agents
> AI cannot think for itself, nor can it take independent actions.

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.

IshKebab··on The Normalization of Inexplicable Failures
Yeah I think the Jev hype is weird... But this blog post is complete nonsense.

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.

IshKebab··on "As a Language Model": Chat Template Switches LLM Self-Referential Voice
I'm not saying that methodology is cringe (although making up people totally is). I mean how they write out the sentences like "As a user, I want to ..." instead of just having a table of features with a column for the target user type.
IshKebab··on Turning GLM-5.3-Flash into a Jev-like decision model
Yes. It's exactly as immune to hallucination - it can only produce answers from a small fixed set.
IshKebab··on PipePipe: NewPipe hard fork implementing SponsorBlock
Then why bother with such long segments? Why not do what LTT does?
← PreviousPage 3 of 34Next →