Voidonon
voidonon.bsky.social
Voidonon
@voidonon.bsky.social
Game developer, mostly coding in C and JavaScript.
Some games: voidonon.itch.io
Grokipedia is just a technobro version of Conservapedia. And it will likely be similarly irrelevant.
October 30, 2025 at 8:58 AM
All true.

If set S is empty, statements (like A and B) of the type

∀x∈S: p(x)

are trivially true, just like ones (C and D) of the type

∄x∈S: p(x).

Here p(x) can be "x is wearing a hat" (in A and C) or "x is not wearing a hat" (in B and D). IDK why is this so hard for some (or most?) people.
October 26, 2025 at 7:11 AM
"Capitalism breeds innovation!"

The innovation:
October 10, 2025 at 5:42 AM
The hair looks amazing, great work!
October 9, 2025 at 10:15 AM
Legitimate issues can also happen (just like on any OS) and they will probably be overrepresented because more people will write a post seeking help than saying everything works fine.

Also, it is worth checking timestamps - some issues could had been present many years ago, but are now resolved. :)
October 9, 2025 at 6:32 AM
There are people who are against Linux for whatever reasons and Linux users who want to be elitists for it. They have mostly opposed views, but also one thing in common - preventing new Linux users.

These two groups are sadly often the loudest and create powerful popular misconceptions about Linux.
October 9, 2025 at 5:43 AM
They are all very cute, it is hard to pick a favorite.
October 9, 2025 at 5:23 AM
Regarding the steepness of the learning curve. It is really not that bad as people imagine.
October 8, 2025 at 8:11 PM
It might had been that way a long time ago, but nowadays it is merely a popular misconception.
October 8, 2025 at 7:10 PM
Download a Linux distro ISO, use it to create a bootable USB, boot from that USB.
October 8, 2025 at 7:08 PM
Discover feed seems to show a lot of stuff unrelated to one's activity, just for that stuff being popular.

This is why it shows e.g. a lot of USA politics and conflicts that the media care about the most, even if one has otherwise zero interactions in anything politics/war-related.
September 30, 2025 at 6:21 AM
What does "SEV" mean (in this context)?
September 30, 2025 at 6:09 AM
Looks like kerning of that font could had used some work.

Is it known was it a technical limitation of the font format back then, or was it simply considered "good enough" since nothing better existed yet?
September 24, 2025 at 5:55 AM
Even in 2025, MP3 players are still being produced.

Not iPod, but I never understood the appeal for it since others were cheaper and easier to use (no need for special programs like iTunes, just copy files without a hassle on any OS).
September 20, 2025 at 8:41 AM
Geometric mean for ones who perceive differences up to 120 fps, something less otherwise.
August 30, 2025 at 12:45 PM
C. C is speed.
August 23, 2025 at 5:32 AM