| 18 Oct 2021 |
 David Arnold (blaggacao) | So that PR will ultimately allow to just json-schema type-validate your data. | 12:58:05 |
 @gytis-ivaskevicius:matrix.org | oh nice | 12:58:27 |
| David Arnold (blaggacao) | * Otoh, https://discourse.nixos.org/t/introducing-peerix-share-your-nix-store-between-your-computers/15544 is an interesting project for DevOs. And if it will be using the purpoted IANA registered nix-cache specific multicast ipv6, it might even be rock solid. | 12:59:01 |
| @gytis-ivaskevicius:matrix.org | this is not compatible with existing modules system by the looks of things? | 12:59:23 |
| David Arnold (blaggacao) | No, it is purely a compatibility layer to the json schema (industry) standard. | 12:59:59 |
| David Arnold (blaggacao) | ("standing on the shoulders of giants", and such) | 13:00:31 |
| @gytis-ivaskevicius:matrix.org | would be nice to be able to turn it into module system of sorts | 13:01:05 |
| @gytis-ivaskevicius:matrix.org | i guess it is already a module system on its own, just without definitions | 13:01:24 |
| @gytis-ivaskevicius:matrix.org | right and there is none overwrites magic | 13:01:57 |
| @gytis-ivaskevicius:matrix.org | the first thought that poped into my mind is light weight modules system for stuff like stdenv.mkDerivation | 13:02:21 |
| David Arnold (blaggacao) | divnix/data-merge attemts to bridge the gap to the module system, by implementing array merge strategies in a mini DSL that only lives on the RHS. (No need for additional spec or a specifically prepared LHS) | 13:02:29 |
| David Arnold (blaggacao) | https://discourse.nixos.org/t/nix-data-merge-mini-dsl-with-array-merge-semantics/15540 | 13:03:30 |
| David Arnold (blaggacao) | (a hastily / badly written anouncement of divnix/data-merge) | 13:03:54 |
| David Arnold (blaggacao) | * Otoh, https://discourse.nixos.org/t/introducing-peerix-share-your-nix-store-between-your-computers/15544 is an interesting project for DevOS. And if it will be using the purpoted IANA registered nix-cache specific multicast ipv6, it might even be rock solid. | 13:10:52 |
|  @meccine:matrix.org joined the room. | 17:36:41 |
 kamadorueda | The simpler the better, I really like that | 22:45:06 |
 @timdeh:matrix.org | I'd be interested to analyze it's formal worst case complexity in comparison to the module system 🤔 | 23:27:45 |
| David Arnold (blaggacao) | In reply to @timdeh:matrix.org
I'd be interested to analyze it's formal worst case complexity in comparison to the module system 🤔 It is monotonistic both, in general, and in the use of a mental "+" operator. | 23:52:00 |
| David Arnold (blaggacao) | It can support branching and merging of branches. | 23:52:21 |
| David Arnold (blaggacao) | My feeling is it should never be more complex than git. | 23:52:42 |
| David Arnold (blaggacao) | (comparing mental models) | 23:53:06 |
| David Arnold (blaggacao) | In practice, though, one would seldomly want to merge branches, since branches almost exclusively represent specializations. | 23:53:48 |
| David Arnold (blaggacao) | (that is: leaves) | 23:54:01 |
| David Arnold (blaggacao) | The module system, in comparison is not monotonistic. You can probably find harmless-looking ways to destroy the data spine. But also there is no clear direction of how a configuration evolves: it's just a single global state, no "checkpointing" on the way. Global values can conflict virtually everywhere on a flat horizon. | 23:56:40 |
| David Arnold (blaggacao) | It's very much like cue 🤕😎😆 | 23:57:17 |
| David Arnold (blaggacao) | To be able to have obviously hinted checkpoints for complex configuration is a very good strategy to reduce complexity of those nasy.global states. | 23:58:48 |
| David Arnold (blaggacao) | * To be able to have obviously hinted checkpoints for complex configuration is a very good strategy to reduce complexity of those nasty wide-spanning states. | 23:59:03 |
| David Arnold (blaggacao) | * To be able to have obviously hinted checkpoints for complex configuration on the other hand is a very good strategy to reduce complexity of those nasty wide-spanning states. | 23:59:25 |
| 19 Oct 2021 |
| @timdeh:matrix.org | I wonder if we could do like a POC of a subset of nixpkgs with it 🤔 | 03:12:10 |
| @timdeh:matrix.org | or maybe hm? | 03:12:19 |
