!LemuOOvbWqRXodtSsw:nixos.org

NixOS Reproducible Builds

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

Load older messages


SenderMessageTime
29 Sep 2022
@fzakaria:one.ems.hostfzakaria joined the room.18:22:07
@fzakaria:one.ems.hostfzakariaWorkshop on reproducibility https://ucsc.zoom.us/j/92228537801?pwd=SGNmTHRaNjE3UURsRjNHQzZGektRZz09 Title: Reproducibility in HPCThere is a reproducibility crisis across the scientific research world — studies have shown that the results of many scientific papers cannot be reproduced. In HPC the problem is exacerbated, as each machine is essentially unique. Performance results depend on the CPU, GPU, and system software and hardware configuration. It is seldom the case that we run the exact same configuration of some program twice.Are there solutions that can enable better reproducibility for HPC, or are we looking at the problem the wrong way? Do we care about reproducing a particular build, or a particular conclusion? This panel will explore issues of software and hardware reproducibility in HPC.Our 4 panelists will present some different angles on reproducibility, and we’ll follow this up with some questions and discussion: 18:22:25
@tpw_rules:matrix.orgtpw_rulesis there some sort of talk announcement for this? i joined but just want some context19:25:35
@fzakaria:one.ems.hostfzakarialast minute -- sorry19:26:42
@fzakaria:one.ems.hostfzakariait was : https://ospo.ucsc.edu/post/20220823/19:26:47
@fzakaria:one.ems.hostfzakariaor https://docs.google.com/document/u/1/d/e/2PACX-1vQin8rKcMZhWwi31e2Djbbvgo8uAWexyRixqQHUgEpmeXGn5As465yKhZl8IEpvuBmDfzly9ybxo5w8/pub19:27:15
@fzakaria:one.ems.hostfzakariawe are on the tail end now19:27:33
@tpw_rules:matrix.orgtpw_rulesah, you are presenting?19:27:51
@tpw_rules:matrix.orgtpw_rulesi have used nix on hpc before but more just as a curiosity19:28:53
@tpw_rules:matrix.orgtpw_rulesbut demonstrating that it's practical to use without administrator collaboration19:31:56
@tpw_rules:matrix.orgtpw_rulesoh that's what you meant by tail end19:34:26
@tpw_rules:matrix.orgtpw_ruleshow did it go? is there a recording?19:34:33
@tpw_rules:matrix.orgtpw_rules * oh that's what you meant by tail end. i misread your message's time.19:34:56
@rimuru:gentoo.chat@rimuru:gentoo.chat changed their profile picture.21:30:33
30 Sep 2022
@b:chreekat.netbryan changed their profile picture.12:16:42
@louib:matrix.orglouib joined the room.13:04:32
@fzakaria:one.ems.hostfzakariai think there will be a recording published + slides16:04:46
@fzakaria:one.ems.hostfzakariathe part by Todd Gamblin on their use of sat solving for version picking is very cool16:05:01
@fzakaria:one.ems.hostfzakariain Spack they allow different versions of the dag, and they use sat solving to come up with correct builds or even minimal rebuilds according to what's in the cache already16:05:24
@fzakaria:one.ems.hostfzakariahttps://spack.io16:05:31
@tpw_rules:matrix.orgtpw_ruleshow does it constrain things? version numbers?16:55:30
@tpw_rules:matrix.orgtpw_rules * how does it constrain things? version numbers? i assume that's what "version picking" means16:58:55
@tnias:stratum0.orgtnias

you can provide constrains like what packages you are interested in and (optionally) their version numbers, compiler flags, etc.

then there is a sat solver (they call it concretizer) that provides a solution to the constrains. This solution is saved as a *.lock file. From a lock file you can reproduce the environment.

packages can also provide their own constraints. as in: "version x of this package needs gcc >= 9"

17:29:27
@tnias:stratum0.orgtnias(at least that is my understanding of the talk)17:30:56
@0b11:matrix.org@0b11:matrix.org removed their display name 0x53.17:33:15
@0b11:matrix.org@0b11:matrix.org left the room.17:33:26
@afontain:gnugen.chafontainhow is that different from what debian does ?17:38:18
@afontain:gnugen.chafontainsomeone had fun solving sudoku puzzle with debian packages constraints17:38:51
@0xmrtt:envs.net0xMRTT [envs.net] joined the room.18:43:32
@fzakaria:one.ems.hostfzakarialet me share his slide deck22:00:13

Show newer messages


Back to Room ListRoom Version: 6