xmgplays

The difficulty of exporting them is kinda the point(sorta). The benefit of passkeys is that the average user is less likely to hand them over to a scammer, because they literally can't/don't know how, whereas everyone and their mother knows how to give a scammer their password/username and the funky numbers in the email they just got.

I have recently started seeing this on the website, too. It also shows up after you use the temp 2x speed mode by holding left mouse button on the video/tap-holding the video on the app.

I don't think that "rant" indicates in anyway that he wouldn't want to be paid for his work(even by a corporation). In fact he directly calls it a luxury. He is simply pointing out that people put up with different things based on whether they get paid for it or not. And that given that the current workflow of the kernel may work for people whose job it is to interact with it, but not necessarily for people who aren't being paid.

No it does not require trust. If the RfL people don't do their job, well then Linux releases with the Rust parts marked broken and that's that.

HaltingProgram and MaybeHalting is expressible(or vice versa), if you want to cover all programs in one of two types. If you want specifically HaltingProgram and NotHaltingProgram then you need a third category of MayOrMayNotHaltingProgram.

There is ATS as an example of an imperative language with dependent types.

Pretty much. To simplify a bit: the most stable atom is iron-56 anything lighter can be fused and anything heavier can be split to release energy. Essentially after iron the forces that bind atoms together start to lose out to the repulsion between it's constituents, which makes heavier atoms more and more unstable. This is also why stars that start to fuse iron together will start to cool down.