For that matter, Python already has a fast hash function. It hashes dictionary keys, for one thing, and dictionaries are essential to Python.
On Monday, August 17, 2020 at 7:29:07 PM UTC-4, k-hen wrote: > > True, but maybe *someday* a GUID/UUID or a Hash of that gnx - something > like: http://cyan4973.github.io/xxHash/ or > https://github.com/google/farmhash > They also have Python libraries, e.g. https://pypi.org/project/xxhash/ & > https://pypi.org/project/pyfarmhash/ > > > > > On Mon, 2020-08-17 at 07:05 -0700, Thomas Passin wrote: > > You could, however, use a new meaningless user name in Leo. That should > have the effect you want. It will still have the date, but the name > wouldn't disclose anything. > > On Monday, August 17, 2020 at 9:59:56 AM UTC-4, Edward K. Ream wrote: > > > > On Mon, Aug 17, 2020 at 7:40 AM k-hen <[email protected]> wrote: > > Hi All, > > This is low priority, just thought I'd ask if perhaps there's a way to > configure the sentinel naming system. I'll probably keep using @clean, but > I'd be much more likely to use @file & sentinels if they were a *hash* or > custom specified instead of my name/date. > > > This is unlikely ever to happen. The name/date is actually a gnx (global > node index), which must be unique and invariant. gnx's make Leo's clones > possible, and reliable. > > Edward > > -- > You received this message because you are subscribed to a topic in the > Google Groups "leo-editor" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/leo-editor/g-Dl-g4S13s/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected] <javascript:>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/leo-editor/948b2edf-ea56-4ec4-9376-ab45c2589127o%40googlegroups.com > > <https://groups.google.com/d/msgid/leo-editor/948b2edf-ea56-4ec4-9376-ab45c2589127o%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/b7486333-5075-4021-b16e-e7c47ee77614o%40googlegroups.com.
