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