maybe I stay in bed today

the set of ships is nonempty and finite

(any reasonable notion of) size induces a total order on the set of equivalence classes of ships of the same size

every nonempty finite total order has a maximum

there exists a ship that is no smaller than any other ship

WHY HAVE I SEEN NO ONE TALK ABOUT HOW THE GRACE SCULPTURE LOOKS LIKE THE LITTLE DUDE FROM THIS MEME

She has not had a donation in days. By sharing and donating, you can continue the help these donations have brought. They have provided foods and essentials for her. Please help her, please. You have to share this, even if you have not a dollar. And if all of you have a dollar each, that would add up

To my transfem sisters that worry for their safety on this platform, I'm begging you to turn this feature off as it shows your blogs entire comment history, and knowing how unsafe this platform can be for us, features such as this can be used against us to further segregate, and vilify us under entirely false pretences.

i have a file or folder on my pc that i want to share with other people. let's call it gayshit.mp3

unfortunately gayshit.mp3 is 750mb and im not paying for discord nitro so i need another way to send it

i put it into qbittorrent and it makes a torrent file. this is essentially a very small file that points to gayshit.mp3 so other computers can find it. kinda like a treasure map

i send this tiny file to my friend, who loads it into qbittorrent. their computer takes a moment to find mine over the vast expanse of cyberspace and then (as long as my pc is running and the file is still where it should be), it gets copied from my hard drive to theirs

this is the cool part: if somebody else loads that tiny file, they can download it from both of us. if i'm offline but my friend is on, the third person can still get it. this also means that if two people have separate halves of the file, they can download the other half from each other. as long as some combination of people have the pieces between them, they can all have the whole thing.

crucially this does not require a server!!! you can just upload the file to a few people and as long as they keep it, it's still accessible. as long as somebody, somewhere is still connected, it's available forever. the only way it goes away is if everybody disconnects from it.