siriusmart@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 20 days agothe linux file system satisfies the zf axiomslemmy.worldimagemessage-square14fedilinkarrow-up156arrow-down13
arrow-up153arrow-down1imagethe linux file system satisfies the zf axiomslemmy.worldsiriusmart@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 20 days agomessage-square14fedilink
minus-squarenovember@piefed.blahaj.zonelinkfedilinkEnglisharrow-up25·20 days agoNot sure about number 2. You can have two folders that have identical contents but aren’t the same folder. I don’t think anyone would reasonably use the word “equal” to describe that situation.
minus-squareNot a newt@piefed.calinkfedilinkEnglisharrow-up11·20 days agoThe two folders’ . would be different.
minus-squarelastunusedusername2@sh.itjust.workslinkfedilinkEnglisharrow-up5·20 days agoBut is it the “same” file or just an identical one?
minus-squareSlotos@feddit.nllinkfedilinkEnglisharrow-up2·20 days agoIf you tar the contents of the two, you’d be unable to attribute the archives to any specific one.
minus-squarewhimsy@lemmy.ziplinkfedilinkEnglisharrow-up14·20 days agoYep, they’d have different inodes. But one could argue about the definition of equality… Nonetheless, a very interesting post!
minus-squarepixeltree@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up2·20 days agoJava coming in with the == vs .equals()
Not sure about number 2. You can have two folders that have identical contents but aren’t the same folder. I don’t think anyone would reasonably use the word “equal” to describe that situation.
The two folders’
.would be different.But is it the “same” file or just an identical one?
If you tar the contents of the two, you’d be unable to attribute the archives to any specific one.
Yep, they’d have different inodes. But one could argue about the definition of equality…
Nonetheless, a very interesting post!
Java coming in with the == vs .equals()