[DiscordArchive] <@456226577798135808> still here?
[DiscordArchive] <@456226577798135808> still here?
Archived author: Skarn • Posted: 2018-11-07T21:42:55.093000+00:00
Original source
but that sounds like quite some overhead, polling the dict on every ID
Archived author: Skarn • Posted: 2018-11-07T21:43:00.507000+00:00
Original source
that's why I am questioning this
Archived author: Quantam • Posted: 2018-11-07T21:48:09.603000+00:00
Original source
❤ map
Archived author: Quantam • Posted: 2018-11-07T21:48:14.234000+00:00
Original source
I molest it every night
Archived author: Skarn • Posted: 2018-11-07T21:51:19.841000+00:00
Original source
yeah, it seems record size from header should actually be called n_real_records
Archived author: Skarn • Posted: 2018-11-07T21:51:26.761000+00:00
Original source
the duplicates are irrelevant to this
Archived author: Deleted User • Posted: 2018-11-07T21:58:31.519000+00:00
Original source
I think something like that yea
Archived author: Deleted User • Posted: 2018-11-07T21:58:40.335000+00:00
Original source
I use it as copy on write
Archived author: Deleted User • Posted: 2018-11-07T22:01:09.610000+00:00
Original source
Just copy the pointer for all entries in the copy table and create a new row once you write to it
Archived author: Skarn • Posted: 2018-11-07T22:03:58.953000+00:00
Original source
yeah, that is easy to handle