Newest at the top
2024-05-14 11:44:05 +0200 | <ski> | (can't reaally provide them, out of order, without labelling them) |
2024-05-14 11:43:49 +0200 | <cheater> | yes. not what i'm talking about |
2024-05-14 11:43:41 +0200 | <ski> | it's labelled arguments, which you can provide out of order |
2024-05-14 11:43:16 +0200 | <cheater> | yeah that's not really what i'm talking about |
2024-05-14 11:40:46 +0200 | <ski> | cheater : <https://ocaml.org/manual/5.2/lablexamples.html> |
2024-05-14 11:38:23 +0200 | deriamis | (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) |
2024-05-14 11:38:08 +0200 | deriamis | (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) (Quit: ZNC - https://znc.in) |
2024-05-14 11:36:04 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-14 11:32:55 +0200 | danse-nr3 | (~danse-nr3@151.43.144.199) |
2024-05-14 11:31:50 +0200 | danse-nr3 | (~danse-nr3@151.57.194.120) (Read error: Connection reset by peer) |
2024-05-14 11:28:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-14 11:28:33 +0200 | euleritian | (~euleritia@dynamic-176-004-151-001.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-14 11:22:01 +0200 | euleritian | (~euleritia@dynamic-176-004-151-001.176.4.pool.telefonica.de) |
2024-05-14 11:21:45 +0200 | <hseg> | ah, I assume you mean https://sbuild.org |
2024-05-14 11:21:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-14 11:20:16 +0200 | <hseg> | btw, checking cabal-built ghcid shows such references to build dir |
2024-05-14 11:17:57 +0200 | <hseg> | sbuild? |
2024-05-14 11:17:33 +0200 | <hseg> | wasn't expecting to get fully reproducible builds in one shot, more trying to get closer to reproducibility |
2024-05-14 11:16:39 +0200 | <[exa]> | actually `sbuild` can build haskelly stacky stuff already so might be the case that reuse is easy there |
2024-05-14 11:16:18 +0200 | <hseg> | oh, definitely |
2024-05-14 11:16:03 +0200 | <[exa]> | hseg: anyway for replroducible builds you might want to have a complete separate clean environment for them, like what debians do with sbuild or so |
2024-05-14 11:15:37 +0200 | <[exa]> | hseg: not sure with stack, but I checked a few executables from cabal here and there doesn't seem to be any reference to any local directories |
2024-05-14 11:13:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-14 11:13:23 +0200 | euleritian | (~euleritia@dynamic-176-000-145-069.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-14 11:11:53 +0200 | <hseg> | (i.e. strings $executable shows references to /home/gesh/.local/share/stack/snapshots/x86_64-linux) |
2024-05-14 11:11:26 +0200 | <hseg> | (i'm building with stack) |
2024-05-14 11:10:46 +0200 | <hseg> | Checking for the sake of reproducible builds, is there some way to avoid infecting the executable with the build directory? |
2024-05-14 11:09:52 +0200 | hseg | (~gesh@46.120.21.14) |
2024-05-14 11:05:48 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-14 11:05:33 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-14 11:01:16 +0200 | euleritian | (~euleritia@dynamic-176-000-145-069.176.0.pool.telefonica.de) |
2024-05-14 11:00:37 +0200 | euleritian | (~euleritia@dynamic-176-006-177-053.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
2024-05-14 10:57:03 +0200 | danza | (~francesco@151.57.194.120) (Ping timeout: 268 seconds) |
2024-05-14 10:54:12 +0200 | danse-nr3 | (~danse-nr3@151.57.194.120) |
2024-05-14 10:53:34 +0200 | euleritian | (~euleritia@dynamic-176-006-177-053.176.6.pool.telefonica.de) |
2024-05-14 10:53:25 +0200 | euleritian | (~euleritia@dynamic-176-004-196-081.176.4.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-05-14 10:50:53 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-14 10:50:53 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
2024-05-14 10:50:48 +0200 | danza | (~francesco@151.57.194.120) |
2024-05-14 10:47:11 +0200 | danse-nr3 | (~danse-nr3@151.57.194.120) (Ping timeout: 268 seconds) |
2024-05-14 10:34:54 +0200 | chele | (~chele@user/chele) |
2024-05-14 10:28:30 +0200 | euleritian | (~euleritia@dynamic-176-004-196-081.176.4.pool.telefonica.de) |
2024-05-14 10:27:08 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-14 10:24:01 +0200 | euleritian | (~euleritia@dynamic-176-006-192-246.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
2024-05-14 10:23:23 +0200 | son0p | (~ff@152.203.77.121) (Ping timeout: 252 seconds) |
2024-05-14 10:12:47 +0200 | kadir | (~kadir@85.103.183.96) |
2024-05-14 10:11:49 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-14 10:03:05 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-14 10:02:41 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
2024-05-14 09:58:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |