Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!

 



Forgot your password?
typodupeerror

Comment Reflections on Rusting Trust (Score 1) 61

The main reason that people worried about a spec in the past was to avoid vendor lock-in. An implementation which is available under a public license is a good solution to that problem also.

Even apart from costs associated with proprietary software, the other reason to avoid vendor lock-in is to avoid self-propagating backdoors in the compiler. Ken Thompson described how to make such a backdoor with C in his 1983 "Reflections on Trusting Trust" speech. David A. Wheeler described "diverse double-compiling", a defense against compiler backdoors that relies on the existence of independent implementations of a language. Stable Rust doesn't have that because it's such a moving target, with widely used programs relying on language and library features less than half a year old.

See also "Reflections on Rusting Trust" by Manish Goregaokar

Comment Re:"Science" has the same problem, thank you RFKjr (Score 1) 91

LLMs are completely unable to verify.

That's an exaggeration. You can give a LLM access to real things and they can use those real things to verify. I just flatly do not understand why they are not. It wouldn't make them infallible, but it would go a huge way towards improving the situation, and they are clearly not doing it. They could also use non-AI software tools to check up on the AI output. I'd bet that you could even use a plagiarism detection tool for this purpose with little to no modification, but I'd also bet this kind of tool already exists anyway.

Comment Re:Idiotic statement (Score 1) 91

All research shows that increased penalties have no positive effect, but make the problem worse.

It also shows that if the penalty is insufficient then they have no positive effect. A fine that people with a lot of money can easily afford is just a prohibition which only applies to the poor, with a license fee. Look to speeding tickets which scale with income for a fair model.

Comment Re:Debugging LLM (Score 1) 91

Manually research the sources, verify each case cited

Clearly this not even even being done by an automated tool, let alone a human. An LLM which is given access to a database of actual cases could reasonably be successful at checking whether the cased cited even exist which isn't being checked now!

Comment Re: Make it stop quickly (Score 5, Insightful) 91

I mistake is different from glaring lack of professional conduct.

Using non-local AI in any way in court filings which are supposed to be confidential until filed is glaring lack of professional conduct right up front. Allowing AI hallucinations to get in to your court paperwork even once is the same. They should lose their license for one year the first time, five years the second time, and permanently the third.

Comment GCC vs. LLVM (Score 2) 61

GCC has tended to support more historic instruction sets than LLVM. If a device's instruction set is supported by GCC and not by LLVM, it can run programs written in C, C++, Fortran, and other languages supported by GCC. It can also run programs in an interpreted language whose interpreter is implemented in a language supported by GCC, such as Python and PHP last I checked. It cannot build programs written in languages supported only by LLVM and not by GCC, such as latest stable Rust. What keeps gccrs (the Rust front end of GCC) from entering production is that the Rust language is still a rapidly moving target, with popular programs routinely requiring features added to the language or the standard library less than six months ago.

Slashdot Top Deals

"You can't make a program without broken egos."

Working...