diff options
author | edef <edef@edef.eu> | 2024-10-19T13·58+0000 |
---|---|---|
committer | edef <edef@edef.eu> | 2024-10-19T17·01+0000 |
commit | 201d8f0cf2dd3b959bde91012c62ea5d3d714820 (patch) | |
tree | 3584459985d9268bf9ddf020919683efadb9a9df /users/grfn/xanthous/Setup.hs | |
parent | 06d2536eec88bfcfd2388e3ca153ba99815b7e97 (diff) |
feat(users/edef/weave): use FxHashSet and dedupe early r/8846
Deduping early saves a fair bit of memory, but the extra hashing is costly. We switch to FxHash, since we don't need a DoS-proof hash, but we do need it to be *fast*. Change-Id: Ic6b7010874c417862baa9b882593208c8dd1d5e6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12648 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'users/grfn/xanthous/Setup.hs')
0 files changed, 0 insertions, 0 deletions