xmgplays

5 ms·

1. 1.▲
   by xmgplays 1y ago

   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 t
2. 2.▲
   by xmgplays 1y ago

   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.
3. 3.▲
   by xmgplays 2y ago

   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 thing
4. 4.▲
   by xmgplays 2y ago

   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.
5. 5.▲
   by xmgplays 2y ago

   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.
6. 6.▲
   by xmgplays 4y ago

   There is ATS as an example of an imperative language with dependent types.
7. 7.▲
   by xmgplays 4y ago

   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