| 22 Oct 2025 |
 tomberek | I suspect this can get better with lazy paths/trees, but that seems to be further in the future. | 15:28:00 |
 Robert Hensing (roberth) | the basic question seems to be: do we want to trust the lock file, and I think usually the answer is yes, final = true; | 15:29:24 |
| Robert Hensing (roberth) | if you can't trust your lock file, you're either editing it by hand, which you shouldn't do, or letting people you don't trust update, which you know, you'd have bigger problems | 15:29:52 |
| Robert Hensing (roberth) | I feel like true should probably be the default in a future version of this primop if we have one | 15:30:55 |
| Robert Hensing (roberth) | anyway, making final part of the public interface seems fine to me | 15:31:52 |
| Robert Hensing (roberth) | iirc a lazier fetchTree would be a mitigation for the performance loss but not a complete fix | 15:32:17 |
| tomberek | Would it make sense for the final to be default if fetchTree has been given enough attributes? (If provided with all the info.) | 15:43:55 |
| 23 Oct 2025 |
 lovesegfault | First batch of small PRs to enable multipart uploads:
cc. John Ericson Sergei Zimmerman (xokdvium)
| 02:29:28 |
| lovesegfault | These are all tiny so it should be easy to review and merge. If you want to see the big picture, look at https://github.com/NixOS/nix/pull/14330 | 02:30:43 |
 fzakaria | I finished the Kaitai spec | 04:21:54 |
| fzakaria | https://github.com/fzakaria/nix-nar-kaitai-spec | 04:21:55 |
| fzakaria | it has test suite also | 04:21:59 |
| lovesegfault | y'all why is Headers not a map | 06:28:04 |
| lovesegfault | seems strange to use a vec of pair and force me to scan | 06:28:21 |
 Mic92 | I did some more work over the last weekend on the installer: https://github.com/NixOS/experimental-nix-installer/pull/51 i hopefully get ci green again this weekend and than i can do some more tests. | 09:56:46 |
| Robert Hensing (roberth) | is it possible to generate streaming parsers too? | 12:55:08 |
| Robert Hensing (roberth) | iirc http does not require unique headers, but that's only a reason to keep an additional vector around, if at all | 13:46:08 |
 Sergei Zimmerman (xokdvium) | In reply to @roberthensing:matrix.org
iirc http does not require unique headers, but that's only a reason to keep an additional vector around, if at all Multi map exists | 15:08:34 |
| fzakaria | I will ask. | 15:47:42 |
| Robert Hensing (roberth) | oh cool, thanks! I guess it could be pull based or visitor-like, or generate both | 15:51:39 |
| fzakaria | i don't see it in the current API but the generator has a few flags.
They call the API 'stream' lol
https://doc.kaitai.io/stream_api.html | 15:53:25 |
| fzakaria | maybe it is streaming and on-demand serialization | 15:53:41 |
| fzakaria | i will test it on the Linux demo. | 15:53:46 |
| fzakaria | * i will test it on the Linux git repo demo. | 15:53:52 |
| Robert Hensing (roberth) | ah, that's their low level I/O thing that is consumed by the generated code, I think? | 15:55:18 |
| Robert Hensing (roberth) | pull and visitor may be good names for modules that do that kind of thing | 15:56:16 |
| fzakaria | I used this cpp library which was nice.
https://github.com/NixOS/nixpkgs/pull/454770
I sponsor @jart on Github. | 16:01:30 |
| Robert Hensing (roberth) | fast? nice | 16:03:41 |
| fzakaria | also small so i can audit it
nlohmann's json.h has 24,766 lines of code. Our json.h has 233 lines of code, and our json.cpp file has 1,303 lines.
| 16:04:32 |
| fzakaria | oh there is an "no-auto-read" option | 16:27:41 |
