News for hackers. Stuff that matters.

MoonlitKnight

There is some irony in half-assing something to the fullest extent.
If only this company selling 1000€ phones were allowed to make money off those phones somehow.
Re:If buying isn't owning, piracy isn't stealing on Saturday December 09, 2023 @06:10AM (#38580858)
Congratulations, you've realized that copying some data can be immoral while copying other data isn't. Neither of your examples of money or intimate videos has anything to do with copyright, so they're completely irrelevant to what's being discussed.
Re:A slightly longer Lean 4 proof tour on Thursday December 07, 2023 @09:55PM (#38564883)
Euclid's proof is constructive in that it describes a procedure which, given a list of primes, computes a prime not on that list. Or equivalently, given a number n it computes a prime > 1.