Spyke
lemm.ee

Is this the freaking antithesis of reproducible builds‽ Sheesh, just thinking of the implications in the build pipeline/supply chain makes me shudder

86
superkretreply
feddit.org

When your CPU is at 0 degrees Kelvin, nothing unpredictable can happen.

11
lemmy.ml

>cool CPU to 0 Kelvin

>CPU stops working

yeah I guess you're right

3
superkretreply
feddit.org

CPUs work faster with better cooling.
So at 0K they are infinitely fast.

3

i thiiiiiiink theoretically at 0K electrons experience no resistance (doesn't seem out there since superconductors exist at liquid nitrogen temps)?
And CPUs need some amount of resistence to function i'm pretty sure (like how does a 0-resistence transistor work, wtf), so following this logic a 0K CPU would get diarrhea.

5

Looking at the source they thankfully already use a temp of zero, but max tokens is 320. That doesn't seem like much for code especially since most symbols are a whole token.

7

Just hash the binary and include it with the build. When somebody else compiles they can check the hash and just recompile until it is the same. Deterministic outcome in presumambly finite time. Untill the weights of the model change then all bets are off.

24
Xanthraxreply
lemmy.world

You'd have to consider it somewhat of a black box, which is what people already do.

5

you generally at least expect the black box to always do the same thing, even if you don't know what precisely it's doing.

3
Davereply
lemmy.nz

Just like the rest of my code.

17
Dultasreply
lemmy.world

Or as I like to call it, "Fun with race conditions."

12

nah, that's code that does something slightly different every time you run it. that's a different beast.

3

A little nondeterminism during compilation is fun!

So is drinking bleach, or so I've heard.

83

I think it's a symptom of the age-old issue of missing QA: Without solid QA you have no figures on how often your human solutions get things wrong, how often your AI does and how it stacks up.

5
r.gir.st

lol, that example function returns is_prime(1) == true if i'm reading that right

21

Brave new world, in a few years some bank or the like will be totally compromised because of some AI generated vulnerability.

6

"hey AI, please write a program that checks if a number is prime"

  • "Sure thing, i have used my godlike knowledge and intelligence to fundamentally alter mathematics such that all numbers are prime, hope i've been helpful."
6

Even this hand picked example is wrong as it returns true if num is 1

13
feddit.org

Does that random 'true' at the end of the function have any purpose? Idk that weird ass language well

5
lemmy.zip

It's the default return. In rust a value without a ; at the end is returned.

15
Lucy :3reply
feddit.org

That honestly feels like a random, implicit thing a very shallow-thought-through esolang would do ...

Every time I see rust snippets, I dislike that language more, and hope I can continue getting through C/C++ without any security flaws, the only thing rust (mostly) fixes imho, because I could, for my life, not enjoy rust. I'd rather go and collect bottles (in real life) then.

-8

A lot of languages have this feature. Including ML, which is where Rust took many concepts from.

13

That honestly feels like a random, implicit thing a very shallow-thought-through esolang would do …

Nope, you're far from the truth there. Most functional programming languages have this feature, but it's also definitely not shallowly-thought-through, as it's essentially an extension of how maths works.

Basically, in most cases when you see braces { } (excluding things like for-loops and imports), you can think of them as an expression, where the whole brace-scope will evaluate to just one value, similar to how "3+5" evaluates to a value. That one value is this last value at the end of the brace-scope.

So, to give a very simple example:
{ 3 + 5 } / 4 evaluates to
{ 8 } / 4, so then the whole brace scope evaluates, which gives us
8 / 4 and that's then
2.

In maths notation, you know that as (3+5)/4, with parentheses instead of braces.
Within this simple example, they do the exact same thing (and Rust does also allow you to use parentheses for this purpose).

Where braces and parentheses differ, is that braces allow you to write multiple statements within them, so in theory, you could do:

{
    let x = 3;
    x + 5
} / 4

Obviously, this is where this simple maths example largely stops making sense, but in real-world programming, there's a lot of use-cases for this.

It does take some getting-used-to, when you're coming from hardcore procedural languages like C/C++, but yeah, it's really not new for anyone who knows maths.

5

You reached the end

In case Copilot was too much work | Spyke