• 0 Posts
  • 108 Comments
Joined 3 months ago
cake
Cake day: March 28th, 2024

help-circle
  • Easy or not depends vary wildly. But the usual task is

    • partition the drive
    • format the drive
    • mount the drive
    • install the base system

    That is the bare minimum, but we need to do more configuration to be able to boot. Hence the next task is configuring the following

    • fstab
    • timezone, hostname, and networking
    • boot loader (I just use the EFI directly nowadays)

    That is it. Everything else is usually work specific. Like, if you wanted arch to be a server, you usually didn’t install a GUI. For workstation and gaming, you need more steps but it will vary depending on hardware. The archwiki covers a good deal of hardware from laptop to desktop and their quirks.




  • So modern math is proven to be incomplete and we cannot prove that it is consistent either. Those 2 words, incomplete and consistent have a very technical meaning here.

    The first is that there is a statement in modern mathematics, which is true, but cannot be proven. And even if we expand it, there will always be such a statement. Hence, incomplete.

    And the second, we cannot have a system that proves everything as that system will be inconsistent. Basically if a system can prove everything, then we can easily prove 1=1 AND 1 ≠ 1. If both are proven, then we lose meaning since there is no “truth”. But a consistent system cannot prove its self consistency. Ergo, with modern math, we cannot know if math is consistent.

    Now, the problem lies in that we use math to model our perceived reality. It means there is a limit to human knowledge, or put simply, there will be something in the universe that we may never know the answer to.

    My favorite is the busy beaver function. There exist, at a certain number, that our modern math cannot make any meaningful statement about the function. Here is a great video about it. (youtube link warning). But you can also look at veritasium video for more in depth explanations.














  • Meanwhile someone somewhere is having issues with steam taking too much profit. Do note that even if a game is DELISTED from steam, you still can download the game on steam. Of course it is a different story with license revocation and that is a whole different can of worms. I don’t even know if steam allows the publisher to revoke a license for a game that the player already paid for just because the game is not supported anymore (a different case with breaking ToS/EULA).