Newest at the top
| 2025-02-03 23:01:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 23:01:46 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 23:00:58 +0100 | mange | (~user@user/mange) mange |
| 2025-02-03 22:59:06 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2025-02-03 22:55:49 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3608:a9f8:25ac:5469) (Ping timeout: 260 seconds) |
| 2025-02-03 22:55:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-03 22:52:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-03 22:52:06 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 22:51:35 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 22:51:10 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-02-03 22:51:03 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-02-03 22:50:08 +0100 | <dminuoso> | Oh well, I got nerdsniped. |
| 2025-02-03 22:48:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 22:47:42 +0100 | <Athas> | It would be lovely if so. |
| 2025-02-03 22:47:29 +0100 | <dminuoso> | Judging from the default.nix and futhark.cabal I see, it should be trivial. |
| 2025-02-03 22:47:25 +0100 | Googulator47 | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-03 22:46:53 +0100 | <dminuoso> | Fair enough. Ill give it a try with haskell.nix another day, but not now - I must sleep. |
| 2025-02-03 22:46:19 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-03 22:46:01 +0100 | <Athas> | And not "trying". It works! |
| 2025-02-03 22:45:41 +0100 | <Athas> | dminuoso: yes. |
| 2025-02-03 22:45:35 +0100 | <dminuoso> | Athas: Is the thing you are trying to statically link futhark itself? |
| 2025-02-03 22:42:15 +0100 | <Athas> | I sort of understand why Nixpkgs' Haskell setup was built the way it is, but I think it might not be the best way to do it. |
| 2025-02-03 22:41:55 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 22:41:24 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 22:39:31 +0100 | <Athas> | That is indeed a thing I miss in Nixpkgs. |
| 2025-02-03 22:38:15 +0100 | <dminuoso> | So there's no differece between nix and out-of-nix builds in terms of versions. |
| 2025-02-03 22:37:54 +0100 | <dminuoso> | The big thing I like about haskell.nix is that it uses the same build plans that cabal-install does. |
| 2025-02-03 22:37:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-03 22:37:03 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-02-03 22:36:58 +0100 | <dminuoso> | But it also introduces trust issues, and availability issues like you pointed out. |
| 2025-02-03 22:36:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-03 22:36:34 +0100 | <dminuoso> | Dont get me wrong, the IOG cache is fine *if* you follow their update cadence. That is, you will have the past few months on cache. |
| 2025-02-03 22:35:19 +0100 | <dminuoso> | Its not large, just a matter of whether you dont mind building a bunch of GHCs every now and then. |
| 2025-02-03 22:35:03 +0100 | <Athas> | I do use cachix however, so at long as the needed cache isn't too large, maybe I can cope. |
| 2025-02-03 22:34:35 +0100 | <Athas> | My least favourite thing is having to change something because of what goes on in a computer somewhere else in the world. |
| 2025-02-03 22:34:11 +0100 | <Athas> | Oh, right. Ugh. |
| 2025-02-03 22:33:58 +0100 | <dminuoso> | While IOG provides a cache, they evict it regularly |
| 2025-02-03 22:33:51 +0100 | <dminuoso> | Athas: So the way everything works, they naturally have their own GHC closure, which of course requires some 3 or 4 other GHCs to bootstrap (I think its one additional from what pure GHC needs outside of nix) |
| 2025-02-03 22:33:50 +0100 | tnt2 | tnt1 |
| 2025-02-03 22:33:50 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-03 22:33:21 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-03 22:32:58 +0100 | <Athas> | "own CI"? What do you mean? |
| 2025-02-03 22:32:51 +0100 | <lxsameer> | Athas: Space is like workspace in matrix |
| 2025-02-03 22:32:36 +0100 | <dminuoso> | Disclaimer: Be ready to have your own CI or follow the update cadence of IOG. |
| 2025-02-03 22:31:56 +0100 | <dminuoso> | (I mean the hackage versions of course) |
| 2025-02-03 22:31:44 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 22:31:40 +0100 | <Athas> | I can probably live without that if necessary. That's more nice-to-have than need-to-have. |
| 2025-02-03 22:31:17 +0100 | <dminuoso> | Unsure whether there are tools for getting nixpkgs pins, though. |
| 2025-02-03 22:31:13 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 22:30:55 +0100 | <Athas> | dminuoso: I will have to try that out one day. |