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

nah actually cutting grass is a bit cringe. rare scottish L

long live luigi

this implies that woke things can be categorised into nonwoke categories such that no category is empty

switching to bupropion in a few days myself (changing my antidepressants for the 3rd time already), wish me luck!

I’ve seen tankies defending trump so I’ll believe anything

my parents are gen x and they are not based at all

can’t tell if it’s a tankie take or a fascist take… not that any option makes it less terrible

now I want to also see this graph from trump’s first term

thanks, that’s what I needed!

here’s a direct link for the lazy: https://github.com/j0be/PowerDeleteSuite/

and scrolling lemmy

do you know how to download all of my reddit history for personal use? redacting is a good idea, but I want to keep it available to myself in case I need to look up something in there

where on reddit can I find lots of Luigi content? I’m interested in having my 7yr old account banned

i’m new to lemmy, do they mean the grad, the dot ml and the hexbear instances or something? or am I completely missing the context?