!lymvtcwDJ7ZA9Npq:lix.systems

Lix Development

402 Members
(Technical) development of Lix, the package manager, a Nix implementation. Please be mindful of ongoing technical conversations in this channel.135 Servers

Load older messages


SenderMessageTime
11 Nov 2025
@raitobezarius:matrix.orgraitobezariusi think nixos-option code is deeply integrated with C++ API18:50:02
@raitobezarius:matrix.orgraitobezariusnix 2.18 seemed a reasonable pin at that time18:50:09
@raitobezarius:matrix.orgraitobezariuslix is not because of nixos-option developers are not striving for lix/nix C++ API compat18:50:29
@raitobezarius:matrix.orgraitobezarius* lix is not because of nixos-option developers are not striving for lix/nix C++ API compat (afaik)18:50:34
@raitobezarius:matrix.orgraitobezariusnot even that, right?18:50:53
@raitobezarius:matrix.orgraitobezariusin the current semantics, people can manipulate Nix to observe very specific details of the impl18:51:04
@raitobezarius:matrix.orgraitobezariusif the same people change the interpreter innards and cause these observations to go wrong18:51:25
@raitobezarius:matrix.orgraitobezariuswhat are the eval stability expectations we should offer here?18:51:35
@raitobezarius:matrix.orgraitobezarius a real == for fns will make more things true, hence, if you rely on false-y values somewhere in your magic code, then we will destroy the stability as well here 18:52:01
@raitobezarius:matrix.orgraitobezariusthe best thing i can muster/do is to take real world examples and analyze how much we are breaking vs. keeping working18:52:15
@winter:catgirl.cloudWinter no it's a shell script now 18:52:21
@raitobezarius:matrix.orgraitobezariusi'm happy to do crater-style runs for that18:52:22
@winter:catgirl.cloudWinterso i guess that was when it was in C++18:52:29
@raitobezarius:matrix.orgraitobezariusaaaaaaaaaaaaaaaaaaaaaah18:52:30
@winter:catgirl.cloudWinterfor god knows what reason18:52:32
@winter:catgirl.cloudWinterlol18:52:32
@winter:catgirl.cloudWinterok thanks18:52:35
@raitobezarius:matrix.orgraitobezarius:D18:52:39
@winter:catgirl.cloudWinteri'll submit some PRs then ^^18:52:41
@raitobezarius:matrix.orgraitobezariusthanks!18:52:45
@shine:proqqul.netTaeer Bar-Yamyeah, checking real-world cases is essential, but there is also something more pernicious about relying on false-y values than true-y values. if we throw out any notion of function equality, we break code that more reasonably relies on true-y values too.19:05:07
@raitobezarius:matrix.orgraitobezariusYeah, this is a tradeoff decision19:28:32
@commentator2.0:elia.gardenRutile (Commentator2.0) feel free to pingLi: am kinda curious: when will lix officially break bug compatibility and finally fix them?19:29:24
@delroth:delroth.netdelrothFYI: git.lix.systems might have some short unavailability in the next hour or so while I push a security update19:32:41
@raitobezarius:matrix.orgraitobezarius
In reply to @commentator2.0:elia.garden
Li: am kinda curious: when will lix officially break bug compatibility and finally fix them?
I don't know
19:45:42
@raitobezarius:matrix.orgraitobezariusAll of this is very langver shaped and we don't have langver 19:45:54
@delroth:delroth.netdelroth(done)19:46:49

There are no newer messages yet.


Back to Room ListRoom Version: 10