2025/12/23

Newest at the top

2025-12-23 22:28:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 22:20:25 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2025-12-23 22:20:13 +0100aetepe(~aetepe@188.119.22.59) aetepe
2025-12-23 22:18:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-23 22:17:44 +0100_\____
2025-12-23 22:16:44 +0100tromp(~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6)
2025-12-23 22:12:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 22:08:51 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-12-23 22:01:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-23 22:01:25 +0100lockna_(~lockna@193-81-168-132.hdsl.highway.telekom.at)
2025-12-23 21:59:36 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-12-23 21:58:19 +0100tromp(~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-23 21:54:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 21:46:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-23 21:45:43 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2025-12-23 21:44:58 +0100tromp(~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6)
2025-12-23 21:41:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 21:40:58 +0100tromp(~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-23 21:38:15 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) (Ping timeout: 245 seconds)
2025-12-23 21:33:56 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab)
2025-12-23 21:30:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-12-23 21:27:17 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-23 21:26:40 +0100tromp(~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6)
2025-12-23 21:25:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 21:20:50 +0100tromp(~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-23 21:18:59 +0100trickard_trickard
2025-12-23 21:14:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-23 21:11:31 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-12-23 21:11:18 +0100trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-23 21:09:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 20:59:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-23 20:53:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 20:34:59 +0100Lord_of_Life_Lord_of_Life
2025-12-23 20:34:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2025-12-23 20:33:41 +0100CryptLab(~NSA@2a0d:5600:24:1375::f1e) (Ping timeout: 244 seconds)
2025-12-23 20:33:38 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-23 20:31:29 +0100CipherLab(~NSA@2a0d:5600:24:1375::f1e) CommanderBond007
2025-12-23 20:30:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-23 20:24:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 20:20:11 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-12-23 20:19:14 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-23 20:18:22 +0100shaeto(~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1)
2025-12-23 20:13:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-23 20:12:21 +0100iqubic(~sophia@2601:602:9203:1660:3bd8:1b23:71a3:5898) (Remote host closed the connection)
2025-12-23 20:08:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 20:07:29 +0100 <int-e> "programmer effort" is hard to objectively quantify though because compared to just using lists, it includes both time spent on extraneous conversions and time saved on debugging empty list errors.
2025-12-23 20:05:24 +0100 <int-e> Uh, or not since [] is the first constructor of [a]. So pointer tags would be wrong.
2025-12-23 20:04:25 +0100 <int-e> __monty__: I'm talking about programmer effort. Though replacing the top-level constructory by another one isn't free; I'm pretty sure that GHC won't reuse one for the other because the tags are different for different types. Even though it will, technically, work.
2025-12-23 20:03:01 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-12-23 20:02:13 +0100cyphase(~cyphase@user/cyphase) cyphase