[-] renzhexiangjiao 8 points 2 weeks ago

more time has passed since TES6 announcement than between the release of Skyrim and the announcement

[-] renzhexiangjiao 3 points 1 month ago

Measuring tools started from 0 way before the digital era

that's true, but when you're measuring something the value you get is a cardinal, not an ordinal. I agree that we have been using 0 as a cardinal for a long time. however, we've been using 0 as an ordinal only since 1950s

people think of time as a sequence of events, hence there's 1st (1 o'clock), 2nd (2 o'clock) and so on until the 12th (12 o'clock)

[-] renzhexiangjiao 7 points 1 month ago* (last edited 1 month ago)

this, but also, while the number 0 to denote absence of something has been the norm for some time, counting from zero wasn't much of a thing before the digital era

edit: more to support my theory, before the 1950s (the advent of computing) zero wasn't really used as an ordinal at all

https://books.google.com/ngrams/graph?content=zeroth%2C0th&year_start=1800&year_end=2022&corpus=en&smoothing=0&case_insensitive=true

[-] renzhexiangjiao 4 points 1 month ago

thanks for the caption on the image, I lowkey didn't know what I was looking at

[-] renzhexiangjiao 3 points 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

[-] renzhexiangjiao 7 points 1 month ago

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

[-] renzhexiangjiao 3 points 1 month ago

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

[-] renzhexiangjiao 11 points 1 month ago

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

[-] renzhexiangjiao 3 points 1 month ago

thanks, that's what I needed!

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

[-] renzhexiangjiao 7 points 1 month ago

and scrolling lemmy

[-] renzhexiangjiao 10 points 1 month ago

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

[-] renzhexiangjiao 3 points 1 month ago

no way non non biyori mentioned

view more: ‹ prev next ›

renzhexiangjiao

joined 1 month ago