renzhexiangjiao

@renzhexiangjiao@lemmy.blahaj.zone

• ⁨Comment⁩ on ⁨We don't need AI⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  I think you’re referring to LLMs which are just one tiny facet of what we can do with AI. But there are so many other use cases (disease diagnosis, weather prediction, spam or fraud detection, just to name a few), so we shouldn’t disregard it as a whole. I agree that generative AI is being overhyped these days though and it’s also making me mad that it causes people to think that’s all there is to AI.

• ⁨Comment⁩ on ⁨我喜欢你让我兴奋的样子⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  啊?

• ⁨Comment⁩ on ⁨A "Sign in with fediverse" button?⁩ ⁨⁨1⁩ ⁨month⁩ ago⁩:

  why can’t we use passkeys instead of passwords though? is it just a matter of convenience? if so, maybe there is a way to determine a passkey from a password?

• ⁨Comment⁩ on ⁨A "Sign in with fediverse" button?⁩ ⁨⁨1⁩ ⁨month⁩ ago⁩:

  please correct me if i’m wrong on this. lots of people here saying that it’s not practical because we would have to trust tiny instances that may be malicious. however, what if we make user’s identity provable to anyone, simply by the use of logic? suppose we have a way of generating random proof-theorem pairs (for example, the theorems could be something like “the largest proper factor of n is greater than some m, where m and n are some huuuuuge numbers and n is semiprime”, the proofs could be constructive). we let the identity be the theorem and the password be the proof. hence, anyone is able to verify the indentity by the use of a theorem prover like Agda