Por que um HD de 500 GB mostra 465 GB

Não falta nada, e ninguém te enganou. O fabricante do disco e o seu sistema operacional estão contando em unidades diferentes, e os dois estão tecnicamente certos.

Dois tipos de "kilo"

• Decimal (SI): 1 KB = 1000 bytes, 1 MB = 1000 KB, 1 GB = 1000 MB. É assim que o armazenamento é vendido, é o que as velocidades de rede usam, e é o que a palavra "kilo" significa no resto da vida.
• Binário (IEC): 1 KiB = 1024 bytes, 1 MiB = 1024 KiB, 1 GiB = 1024 MiB. Computadores endereçam memória em potências de dois, e é isso que o Windows e muitos programas de fato exibem — normalmente escrevendo como "GB".

Faça a conta: 500.000.000.000 bytes ÷ 1024³ = 465,7 GiB. A diferença cresce com o tamanho: cerca de 2,4% em kilobytes, 7,4% em gigabytes, 10% em terabytes.

Onde isso pega no dia a dia

• Limites de upload. "Máximo 25 MB" quase sempre significa 25 megabytes decimais. Um arquivo que seu computador mostra como 24 MiB tem 25,2 MB e é recusado — exatamente o momento em que as pessoas concluem que o site está quebrado.
• Vídeo. Um limite de "100 MB" num mensageiro é decimal. Comprima para cerca de 95 MB na contagem do seu computador e você fica com folga.
• Anexos de e-mail. Um limite de 25 MB se aplica depois da codificação base64, que infla um arquivo em cerca de 33%. Seu teto prático fica mais perto de 18 MB.

O resumo honesto

O macOS mudou para decimal há anos, e é por isso que o mesmo arquivo parece maior num Mac do que num Windows. As ferramentas do Linux variam caso a caso. Ninguém vai consertar isso, então o hábito útil é olhar a contagem real de bytes quando um limite estiver apertado, e deixar 10% de folga sempre que um serviço informar um máximo.