Viewing profile — 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 c…

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 th…

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…

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 …

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…