!LemuOOvbWqRXodtSsw:nixos.org

NixOS Reproducible Builds

529 Members
Report: https://reproducible.nixos.org Project progress: https://github.com/orgs/NixOS/projects/30116 Servers

You have reached the beginning of time (for this room).


SenderMessageTime
9 Jun 2025
@raboof:matrix.orgraboofoh cool10:15:02
@raboof:matrix.orgraboofthat's the most long-standing issue for the graphical installer (https://github.com/orgs/NixOS/projects/30) and indeed looks like an interesting rabbithole :)10:16:00
@grimmauld:grapevine.grimmauld.deGrimmauld (any/all)

I just tested the naive way:

delegate void SumLambdaType (int a);

void main () {
    SumLambdaType sum0 = (a) => { print("%d\n", a + 0); };
    SumLambdaType sum1 = (a) => { print("%d\n", a + 1); };
    SumLambdaType sum2 = (a) => { print("%d\n", a + 2); };
    SumLambdaType sum3 = (a) => { print("%d\n", a + 3); };
    SumLambdaType sum4 = (a) => { print("%d\n", a + 4); };
    SumLambdaType sum5 = (a) => { print("%d\n", a + 5); };
    SumLambdaType sum6 = (a) => { print("%d\n", a + 6); };
    SumLambdaType sum7 = (a) => { print("%d\n", a + 7); };
    SumLambdaType sum8 = (a) => { print("%d\n", a + 8); };
    SumLambdaType sum9 = (a) => { print("%d\n", a + 9); };

    sum0(42);
    sum1(42);
    sum2(42);
    sum3(42);
    sum4(42);
    sum5(42);
    sum6(42);
    sum7(42);
    sum8(42);
    sum9(42);
}

Sadly that is still fully deterministic.... It might be because multiple files? not sure yet.

10:36:13
@grimmauld:grapevine.grimmauld.deGrimmauld (any/all)it might also be because inline, so names are not clear thus sorting is unreliable? Not sure yet.10:40:45
@raboof:matrix.orgraboofIIRC it was also not super easy to trigger10:50:07
@grimmauld:grapevine.grimmauld.deGrimmauld (any/all)i mean, ibus triggers it10:51:28
@grimmauld:grapevine.grimmauld.deGrimmauld (any/all)the goal is to find something minimal that triggers it10:51:40
@grimmauld:grapevine.grimmauld.deGrimmauld (any/all)and this was just a naive blind guess to see if it was easy, and turns out that no it isn't10:52:00

Show newer messages


Back to Room ListRoom Version: 6