2025/12/25

Newest at the top

2025-12-25 15:18:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 15:17:22 +0100karenw(~karenw@user/karenw) karenw
2025-12-25 15:16:19 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-25 15:13:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 15:02:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-25 15:00:32 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-25 15:00:01 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-25 14:58:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 14:51:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 14:48:29 +0100wennefer0(~wennefer0@user/wennefer0) (Remote host closed the connection)
2025-12-25 14:48:19 +0100Pozyomka(~pyon@user/pyon) pyon
2025-12-25 14:47:30 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-12-25 14:46:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 14:45:24 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2025-12-25 14:42:57 +0100Digit(~user@user/digit) (Remote host closed the connection)
2025-12-25 14:39:57 +0100somemathguy(~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1)
2025-12-25 14:35:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 14:31:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 14:20:28 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 255 seconds)
2025-12-25 14:19:26 +0100 <yarl> Any suggestion?
2025-12-25 14:19:01 +0100 <yarl> I make again, It goes on.
2025-12-25 14:18:50 +0100 <yarl> I make one time, error
2025-12-25 14:18:42 +0100 <yarl> Ok
2025-12-25 14:17:28 +0100somemathguy(~somemathg@user/somemathguy) somemathguy
2025-12-25 14:13:28 +0100merijn(~merijn@62.45.136.136) merijn
2025-12-25 14:13:13 +0100humasect_(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-25 14:06:01 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-25 14:02:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 13:57:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 13:57:13 +0100 <sshine> gentauro, are you on NixOS?
2025-12-25 13:55:00 +0100 <sshine> gentauro, I think GHCup comes with an option to install HLS matching your GHC.
2025-12-25 13:54:44 +0100 <sshine> gentauro, you could just install HLS another way and still use Stack if you like it.
2025-12-25 13:50:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 13:45:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 13:34:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 13:31:43 +0100otulp(~otulp@ti0036a400-1790.bb.online.no) (Quit: Lost terminal)
2025-12-25 13:29:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 13:21:37 +0100Jackneill(~Jackneill@178-164-234-79.pool.digikabel.hu) (Ping timeout: 264 seconds)
2025-12-25 13:20:11 +0100 <yarl> As I am trying to get ghc into guix for aarch64.
2025-12-25 13:18:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-25 13:18:01 +0100 <yarl> gentauro: That's a personnal hack for guix shell not to try to bring many ghc.
2025-12-25 13:14:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 13:03:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-12-25 12:56:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 12:50:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-25 12:46:51 +0100 <gentauro> yarl: what does `-notghc-` in the path mean?
2025-12-25 12:45:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 12:35:08 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-12-25 12:34:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 12:33:15 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 240 seconds)