2024/12/25

Newest at the top

2024-12-25 07:05:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-25 07:05:03 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp)
2024-12-25 07:04:29 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-25 07:01:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 06:59:10 +0100mrmr155334346318(~mrmr@user/mrmr) (Read error: Connection reset by peer)
2024-12-25 06:50:57 +0100 <iqubic> I was looking for something like "zipWith :: Ix i => (a -> b -> c) -> Array i a -> Array i b -> Array i c"
2024-12-25 06:50:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-25 06:49:33 +0100 <iqubic> I do mean Array.
2024-12-25 06:45:10 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 06:43:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 06:41:44 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-25 06:34:07 +0100 <EvanR> if it would work fine, then it's because Array's API is missing a lot of stuff
2024-12-25 06:33:37 +0100 <EvanR> do you mean Array, because how would that work
2024-12-25 06:33:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-25 06:28:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 06:19:22 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2024-12-25 06:17:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-25 06:12:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 06:11:06 +0100encyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net)
2024-12-25 06:07:59 +0100 <iqubic> Why is there no version of zipWith for arrays?
2024-12-25 06:01:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 05:58:00 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 05:57:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 05:57:01 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-25 05:46:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 05:41:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 05:31:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-25 05:31:11 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-25 05:26:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 05:25:13 +0100aforemny(~aforemny@i59F4C4B7.versanet.de) aforemny
2024-12-25 05:24:45 +0100aforemny(~aforemny@i59F4C727.versanet.de) (Ping timeout: 265 seconds)
2024-12-25 05:15:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 05:08:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 05:03:05 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-12-25 04:59:27 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-12-25 04:59:18 +0100 <haskellbridge> <thirdofmay18081814goya> ski: did my explanation convince you at all? I can't seem to find any resources on this so I'm not entirely convinced I am not serving word salad
2024-12-25 04:59:08 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2024-12-25 04:57:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-25 04:53:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 04:48:00 +0100prasad(~Thunderbi@2601:243:c001:3f07::e5) (Ping timeout: 260 seconds)
2024-12-25 04:47:52 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2024-12-25 04:45:01 +0100KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-12-25 04:42:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 04:41:49 +0100td_(~td@i53870916.versanet.de) td_
2024-12-25 04:40:17 +0100td_(~td@i53870930.versanet.de) (Ping timeout: 265 seconds)
2024-12-25 04:34:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 04:28:44 +0100forell(~forell@user/forell) (Ping timeout: 245 seconds)
2024-12-25 04:25:40 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 04:23:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 04:19:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn