| 18 Oct 2021 |
 @gytis-ivaskevicius:matrix.org | In reply to @blaggacao:matrix.org
I have to pick which kettle to put on the stove. Out of principle, I'm agnostic to whatever formatting as long as it's canonical. Hence, I'd have to leave that discussion to others. 😆 what a polically correct answer | 12:57:32 |
 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 |
