I'm not sure adding a separate "Sanity check" would help though. If the sanity check is that the reported file sizes shouldn't exceed the disk size, that's still a lie.
If you have 1000 duplicate 10GB files that are sharing storage blocks in the file system, that's either 10TB or 10GB of stored files depending on how you count it. Reporting 2TB because that's the size of the disk is a less accurate answer than either of those.
A sanity check would at least have the Finder report nothing instead of incorrect information.
You're saying to just not show any size at all if the filesystem contains more data than its capacity, which is basically going to be 100% of the time after enough backups are made? WTF. That makes even less sense.
I'm not one to trust AI much at all, but I bet even an LLM these days would know and tell you why the total size of all the files on a filesystem can appear to exceed the capacity of the storage device.
No, that would be a different type of mistake.
> you'd only take some effort to learn instead of complaining because they don't fit your incorrect assumptions
I know exactly why it reports it like this. That wasn't the point of the article, and not the point of my reply.
> You're saying to just not show any size at all if the filesystem contains more data than its capacity, which is basically going to be 100% of the time after enough backups are made? WTF. That makes even less sense.
No, not 100% of the time. But it would be a significant portion of time, yes. The Finder should probably not even try to report the information like this if it's going to be misleading such a high percentage of the time, if Apple is not going to add a better way for users to account for where all of the space on their drives is going.
> I'm not one to trust AI much at all, but I bet even an LLM these days would know and tell you why the total size of all the files on a filesystem can appear to exceed the capacity of the storage device.
I tried to find a way to interpret this other than, "you should just use ChatGPT as a person to talk to, because ChatGPT is smarter than you and could explain to you how filesystems work," but I wasn't able to.
> because ChatGPT is smarter than you
? It's really weird framing.
> … but I bet even an LLM these days would know and tell you …
The "even" here says that knowledge of the filesystem is basic.
> I'm not one to trust AI much at all …
This part shows that the person replying does not think highly of AIs.
Together: AIs aren't very smart, but they at least know about filesystems and could explain it to you.
This idea where "the user is wrong when their understanding of the software/computer doesn't match the particular mental model the software developer had in mind" is one of the reasons why software is so bad. This particular author probably knows why the numbers look weird, but he is writing from the point of view of a layman user (99% of users out there) who would have the exact questions. If my elderly parents had a 2TB drive and their computer said it was doing something with 60TB of files, they would be right to question that number.
What does it matter if there is one backup of a 1GB file or 100 deduped backups of the same file? Telling me that the backup of that file takes up 100GB is not useful information in any way that I can think of, it's just a convoluted way of telling me how many backups I've made.
It is not actually taking up 100GB of space nor do I need 100GB available to restore the backup.
Of course you can write a more complicated calculation algorithm, but it'll require tons of syscalls to determine the type of the file handle you're interacting with and will be probably very slow.
This is what rustup did inadvertently back in the day, and it caused NTFS to melt down to a halt because of stat() overhead [0].
Our disagreements stem from the assumption that the reported space is incorrect to begin with, but there's already "disk on space" note on every file, which provides physical size of something.
We can argue that the progress may be calculated over that number, but I still think it has its own limitations with performance.
There are some use cases that are computationally expensive to figure out and don't have a simple/easy answer to solve.
Hard links are a pathological case.