[OT] Move semantics in a nutshell

[Timon Gehr]

On 11/8/25 17:38, monkyyy wrote:
> On Saturday, 8 November 2025 at 11:00:25 UTC, Timon Gehr wrote:
>>
>> You don't have to share takes this nonsensical every time someone 
>> overuses a word not defined on simple wikipedia. It's a choice.
>>
>> Programs simply don't degrade gracefully under random bit flips in CPU 
>> registers, even if they use only `int`s
>>
>> Unsafe C code, such as the linux kernel, is full of invariants.
> 
> Whats the (very important) invariants on int?

In terms of the restricted definition shown in the video, it depends on 
the program.

Let's say you have something like the following piece of C code:

static int i;
// ...
i *= 2;
// ...

Now your program immediately has a joint invariant involving `i` and the 
program counter.

> How does my bag of ints 
> prevent cosmic rays using these lovely c++ concepts of xvalues, chvalues?

The video is a critique of C++ and it barely shows any Rust. The way you 
are conceptualizing this makes no sense to me.