2025/12/03

Newest at the top

2025-12-03 22:09:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-03 22:04:55 +0100euphores(~SASL_euph@user/euphores) (Ping timeout: 240 seconds)
2025-12-03 22:04:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-03 21:56:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-03 21:55:23 +0100sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer)
2025-12-03 21:54:43 +0100jreicher(~user@user/jreicher) (Quit: In transit)
2025-12-03 21:53:40 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-03 21:53:21 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-03 21:51:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-03 21:48:31 +0100euphores(~SASL_euph@user/euphores) euphores
2025-12-03 21:40:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-03 21:40:12 +0100AlexNoo(~AlexNoo@85.174.183.177)
2025-12-03 21:39:45 +0100AlexNoo(~AlexNoo@85.174.183.177) (Read error: Connection reset by peer)
2025-12-03 21:37:07 +0100collide2954(~collide29@user/collide2954) (Quit: The Lounge - https://thelounge.chat)
2025-12-03 21:36:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-03 21:35:55 +0100Googulator33Googulator
2025-12-03 21:35:47 +0100Googulator33(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-03 21:35:46 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-03 21:32:31 +0100trickard_trickard
2025-12-03 21:31:21 +0100pavonia(~user@user/siracusa) siracusa
2025-12-03 21:25:43 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-03 21:25:29 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-03 21:25:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-03 21:24:22 +0100sp1ff(~user@2601:1c2:4c00:6820::e122) (Read error: Connection reset by peer)
2025-12-03 21:20:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-03 21:12:15 +0100lambda_gibbon(~lambda_gi@208.83.175.39) (Ping timeout: 240 seconds)
2025-12-03 21:08:15 +0100 <tomsmeding> I don't know
2025-12-03 21:08:13 +0100 <tomsmeding> perhaps if GHC inlines the whole thing in one go it fuses the two lambdas before it realises something can be lifted?
2025-12-03 21:08:03 +0100lambda_gibbon(~lambda_gi@208.83.175.39)
2025-12-03 21:07:21 +0100 <Leary> tomsmeding: Weird. Any idea why?
2025-12-03 20:58:24 +0100 <tomsmeding> (credit doesn't go to me though)
2025-12-03 20:58:12 +0100 <tomsmeding> Leary: it turns out `NOINLINE [0]` yields the desired behaviour, at least on 9.8, 9.10, 9.12 and the 9.14 RC
2025-12-03 20:55:48 +0100spew(~spew@user/spew) (Quit: WeeChat 4.7.2)
2025-12-03 20:47:17 +0100trickard_trickard
2025-12-03 20:44:57 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-03 20:44:09 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-03 20:35:47 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-03 20:35:40 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-03 20:34:58 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-03 20:31:12 +0100 <haskellbridge> <Zemyla> I'm not sure, but I think it'd even mean that liftA2 coerce = coerce (<*>).
2025-12-03 20:29:15 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-12-03 20:29:11 +0100 <yin> grinds my gears
2025-12-03 20:28:20 +0100 <EvanR> yes
2025-12-03 20:28:07 +0100 <yin> the inner ones
2025-12-03 20:27:54 +0100 <yin> aren't those parenthesis redundant?
2025-12-03 20:27:43 +0100 <lambdabot> Monad ((->) w) => (w -> (w -> a)) -> w -> a
2025-12-03 20:27:39 +0100 <yin> @type join @((->) _)
2025-12-03 20:26:10 +0100 <haskellbridge> <Zemyla> Okay, so it is true.
2025-12-03 20:23:24 +0100ft(~ft@p508db844.dip0.t-ipconnect.de) ft
2025-12-03 20:16:41 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)