smellf · HackerTrans

smellf

335 karmajoined há 13 anos

http://slicesofcomputer.com

comments

há 13 horasdiscuss

I wonder how they can reconcile the stricter proposals with the LLM usage in kernel development. That seems totally untenable. I mean it all seems untenable, but with the kernel especially.

Also, what about when you inevitably get a situation where a critical vulnerability is discovered, and the only patch available is LLM generated? Do they have to wait to patch until some person who hasn't seen the LLM-generated patch does a clean room implementation?

I understand the objections to LLMs, but rejecting LLM-generated code really doesn't seem realistic.

há 12 mesesdiscuss

You can have my `easy_install` when you pry it from my cold dead fingers.

há 12 mesesdiscuss

The "G" in AGI stands for "general", so talking about "AGI for software development" makes no sense, and worse than that accepts the AI companies' goalpost-shifting at face value. We shouldn't do that.

há 2 anosdiscuss

Isn't that kind of like saying my pressure washer is a non-ambulatory car?

há 2 anosdiscuss

Antichamber: https://store.steampowered.com/app/219890/Antichamber/

Also look at myhouse.wad for actual Doom in actual non-Euclidean spaces.

há 2 anosdiscuss

https://archive.is/ATAkf

há 2 anosdiscuss

Don't know how it compares to other manufacturers, but I've been pretty happy with the minimal BS that comes on my last two Sony phones.

há 2 anosdiscuss

I think the idea is that you'd have two independently-develooed systems, one LLM decompiling the binary and the other LLM formally verifying. If the verifier disagrees with the decompiler you won't know which tool is right and which is wrong, but if they agree then you'll know the decompiled result is correct, since both tools are unlikely to hallucinate the same thing.

há 2 anosdiscuss

> RK3588-based SBC

Anyone know which SBCs use this chip?

há 2 anosdiscuss

Nor even the comment they were replying to, lol.

há 3 anosdiscuss

Examples: https://research.myshell.ai/open-voice

Seems impressive!

há 3 anosdiscuss

24 * 365 times

há 3 anosdiscuss

Even if they were you still wouldn't hyphenate there.

há 4 anosdiscuss

Seconding TVR Exploring! His videos are a breath of fresh air in today's clickbaity youtube landscape. He's easily the best abandoned mine exploration channel - I can hardly even watch any of the others any more.

há 4 anosdiscuss

Actually it turns out that, at least in debian 11, you were right on the money:

    cat `which egrep`
    #!/bin/sh
    exec grep -E "$@"

But I agree that it would be cleaner and trivial to implement this behavior by depending on argv[0], GNU style guide be damned.

há 4 anosdiscuss

From their webpage:

  Chrome: behind a flag since version 91.0.4470.0
  Firefox: behind a flag since version 90.0a1
  Edge: behind a flag since version 91
  Opera: behind a flag since version 77
  ImageMagick: since version 7.0.10-54
  XnView MP: since version 0.97.0
  ImageGlass: since version 8.1.4.18
  ExifTool: since version 12.23
  gThumb: since version 3.11.3
  OpenMandriva Lx: since version 4.3 RC
  GIMP: since version 2.99.8
  qimgv: since version 1.0.0
  PhotoQt: since version 2.4
  jxl-winthumb: with WIC-codec since version 0.1.11
  KImageFormats: since version 5.89.0

há 5 anosdiscuss

They still do, and the quality of discourse on Slashdot is about as bad as it has ever been.

há 5 anosdiscuss

Agreed! I love bash and use it all the time, but if some solution gets to the point of needing actual data structures, that's when you know it's time to move to a real programming language.

há 5 anosdiscuss

I don't understand - every set listed on that page has a nonzero score for "Smart Features".

há 6 anosdiscuss

I looked around a bit and couldn't find Dall-e in there. A higher post in this thread said they don't usually release their models. It's a shame, this would have been fun to play with.