Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches


AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

  • 0 Posts
  • 13 Comments
Joined 1 year ago
cake
Cake day: June 11th, 2023

help-circle










  • demesisx@lemmy.worldtoProgrammer Humor@lemmy.mlworks on my machine
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    1 year ago

    I know it’s a strange place for this conversation but the facts remain: docker images don’t do this and nix flakes actually do. As the video I linked demonstrates and you allude to, Docker files aren’t 100% hermetic (which means they’re not reproducible) while Nix flakes actually do achieve this. Watch the video I linked for more explanation which directly talks about how nix works with the goals of Docker that you mentioned in the head of your last comment. I hope my non-confrontational tone comes across somehow. This is all said with respect and in the spirit of science.


  • demesisx@lemmy.worldtoProgrammer Humor@lemmy.mlworks on my machine
    link
    fedilink
    English
    arrow-up
    1
    arrow-down
    1
    ·
    1 year ago

    No offense but it sounds like you don’t actually understand nix flakes if you think they’re 1:1 equivalent to Docker.

    They simply are not containers. They allow the declarative BUILD of any derivation at any time in the future. They hermetically lock all dependencies and build instructions which allows you to archive and reproduce the EXACT content-addressed dependency graph of the software. You can rebuild using a flake while Docker doesn’t actually allow that same hermetic reproducible guarantee whatsoever.

    See here for a much better explanation of the glaring differences between the two: https://youtu.be/0uixRE8xlbY

    You could even build a container with a flake though I’d recommend OCI instead because they’re an open standard…



  • demesisx@lemmy.worldtoSelfhosted@lemmy.worldDietpi as a hosting OS
    link
    fedilink
    English
    arrow-up
    0
    arrow-down
    1
    ·
    1 year ago

    The best OS to host on will someday be NixOS, bar none IMO. However, that BEST title will depend heavily on someone sharing a config that leverages the power of NixOS to make it as foolproof and rock-solid as other projects that leverage Nix’s power and reliability.

    I’d host an instance if we could would move from the world of Docker being the only game in town toward a more reproducible standard config that uses Nix.