

renzhexiangjiao
mfw I’m a trained warlock:
thanks for the caption on the image, I lowkey didn’t know what I was looking at
I love this
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
https://en.m.wikipedia.org/wiki/QT_interval
The QT interval is a measurement made on an electrocardiogram used to assess some of the electrical properties of the heart. (…) An abnormally long or abnormally short QT interval is associated with an increased risk of developing abnormal heart rhythms and sudden cardiac death.
QTc stands for QT corrected for heart rate, the medication that increases QTc will increase the risk of certain dangerous heart conditions.
long live luigi