449
If I give you the entire real line except the point at zero, what will you pick? Whatever you decide on, there will always be a number closer to zero then that.
It might sound trivial but it is not! Imagine there is a lever at every point on the real number line; easy enough right? you might pick the lever at 0 as your “first” lever. Now imagine in another cluster I remove all the integer levers. You might say, pick the lever at 0.5. Now I remove all rational levers. You say, pick sqrt(2). Now I remove all algebraic numbers. On and on…
If we keep playing this game, can you keep coming up with which lever to pick indefinitely (as long as I haven’t removed all the levers)? If you think you can, that means you believe in the Axiom of Countable Choice.
Believing the axiom of countable choice is still not sufficient for this meme. Because now there are uncountably many clusters, meaning we can’t simply play the pick-a-lever game step-by-step; you have to pick levers continuously at every instant in time.
It’s an old copypasta from reddit haha. I modified it to add the Fediverse stuff and my complaints with LaTex and improper rotation.
I didn't actually downvoted your comment but apprently someone did and now I look like an asshole 😢.
I just downvoted your comment.
FAQ
What does this mean?
The amount of points on your comment will be decreased by one. The deduction will be federated across thousands of Lemmy instances, bringing you shame from across the Fediverse.
Why did you do this?
There are several reasons I may deem a comment to be unworthy of positive or neutral points. These include, but are not limited to:
- Rudeness towards other users,
- Spreading incorrect information,
- Sarcasm not correctly flagged with a /s.
As this is your first time receiving my downvote, I will provide reasons (listed below) to help you avoid making these mistakes again. Note that this will not be the case with future downvotes.
- Writing variables next to each other to form words. "Y o u" is not an English word. If you want the English word "You" in LaTeX math mode, write \text{You}.
- Your "rotation matrix" has determinant of -1, meaning it is not a rotation matrix. Propaganda promoting improper rotations will not be tolerated on mander.xyz.
Am I banned from the Lemmy?
No - not yet. But you should refrain from making comments like this in the future. Otherwise I will be forced to issue an additional downvote, which may put your commenting and posting privileges in jeopardy.
I don't believe my comment deserved a downvote. Can you un-downvote it?
Sure, mistakes happen. But only in exceedingly rare circumstances will I undo a downvote. If you would like to issue an appeal, shoot me a private message explaining what I got wrong. I tend to respond to PMs within several minutes. Do note, however, that over 99.9% of downvote appeals are rejected, and yours is likely no exception.
How can I prevent this from happening in the future?
Accept the downvote and move on. But learn from this mistake: your behavior will not be tolerated on mander.xyz or the Fediverse as a whole. I will continue to issue downvotes until you improve your conduct. Remember: Posting is privilege, not a right.
The grandparent comment is correct. There is no such thing as engine-specific “maximum speed”. If you add more fuel, you can always go faster (until the speed of light).
We could take this further and let developers specify exactly the dependencies they need! No more bloated runtimes! App A could specify libfoo>=1.23.45 while app B specify libfoo<1.24 and Flatpak could resolve the compatible version automatically!
Serious answer: If space saving is the goal, traditional packaging is the way to go. Allowing multiple runtimes is a slippery slope away from the core idea of Flatpak (simplest dependency management possible so developers don’t have to test many configurations).
(Not that there’s anything wrong with traditional packaging with more complicated dependency management - it’s just not Flatpak’s thing).
Never heard of this “Papers” PDF reader before and it’s not on Flathub either. Apparently it is a fork of Evince with lots of big changes planned. Exciting stuff! But does anyone know what’s going to happen to Evince?
Are you aware that Firefox Translate uses AI models[1] to translate text and it’s already included in current versions of Firefox?
[1]: not a completion/instruction LLM, but still very much a “language” model
A more locked-down theming API could help. For example Firefox themes are always 100% safe to install. That said, Firefox themes are almost useless (they’re more like color schemes lol), and no one wants to lose KDE’s powerful customizability so 🤷🤷
Hetzner storage box is 3.81€/month for 1TB.
view more: next ›
wisha
joined 3 years ago
According to the Librem people: this is Android kernel (& other low level stuff) with Debian userspace, not a true Debian phone. https://social.librem.one/@dos/112686932765355105