Juanpe Bolívar
Juanpe Bolívar
This seems to be failking all the time now...
I think it was just some downtime of ghcr returning 503. It's working now. Sorry for the noise!
The build failed because it needs to be updated here, so `nix-build` works: https://github.com/arximboldi/ewig/blob/master/nix/deps.nix Now that we are at it we could also update Immer, which has had a few...
For the `zug` addition to really work, it needs to be mentioned in `default.nix` and `shell.nix`. Thank you a lot for taking care of this!
Sorry @cyrilRomain for the long silence, those issues were non trivial so I needed to take a deeper look. I've fixed the issues in #22. Thank you so much for...
Wow, that's cool! I wanted to add this eventually so it's nice that someone is thinking about it too. I am still on a road-trip so I can't do a...
I suspect it is a false positive, because that is the kind of issue that would have been found with AddressSanitizer ages ago. But maybe worth investigating...
Sadly nope, I am quite busy with client work lately and this is not trivial work (might take one or two full-time weeks in total, since it needs improving how...
Yes short maps tend to be faster as vectors, even with `std::vector` vs `std::unordered_map`. I must admit that is really top priority for my next focused time on Immer, I...