Newest at the top
2025-03-12 18:10:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-12 18:09:47 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52dc57c47be76b3f6a.dip0.t-ipconnect.de) |
2025-03-12 18:07:50 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:98ab:59f5:dcb3:c8fc) (Remote host closed the connection) |
2025-03-12 18:07:36 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-12 18:06:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-12 18:02:40 +0100 | tusko | (uid478376@user/tusko) tusko |
2025-03-12 18:01:41 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:98ab:59f5:dcb3:c8fc) synchromesh |
2025-03-12 18:00:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-03-12 18:00:40 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:98ab:59f5:dcb3:c8fc) (Read error: Connection reset by peer) |
2025-03-12 17:57:56 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
2025-03-12 17:54:42 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-12 17:52:05 +0100 | lottaquestions | (~nick@2607:fa49:5040:b100:5b52:ac7b:b1b7:f59f) (Quit: Konversation terminated!) |
2025-03-12 17:48:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-03-12 17:47:43 +0100 | Guest4 | (~Guest4@2804:14c:3f87:8149:ce7a:9b84:f941:24de) () |
2025-03-12 17:47:10 +0100 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
2025-03-12 17:44:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-12 17:42:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52210926b325fe4262.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-03-12 17:42:03 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-03-12 17:41:09 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-12 17:40:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-03-12 17:35:57 +0100 | Guest4 | (~Guest4@2804:14c:3f87:8149:ce7a:9b84:f941:24de) |
2025-03-12 17:34:08 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-03-12 17:33:52 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-03-12 17:32:14 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
2025-03-12 17:31:18 +0100 | Inst | (~Inst@user/Inst) Inst |
2025-03-12 17:30:25 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-03-12 17:28:15 +0100 | <Inst> | chunking function is generating mempty to fill out if it's an odd length list |
2025-03-12 17:27:53 +0100 | <Inst> | yeah it's keyed to monoid |
2025-03-12 17:27:38 +0100 | <ski> | presumably your combining function is associative |
2025-03-12 17:27:18 +0100 | <ski> | mm (as i initially was supposing) |
2025-03-12 17:26:32 +0100 | <Inst> | second |
2025-03-12 17:26:14 +0100 | <ski> | (unclear which of these two options you're doing, in a pass) |
2025-03-12 17:25:47 +0100 | <lambdabot> | [0 + 1,2 + 3,4 + 5,6 + 7] |
2025-03-12 17:25:45 +0100 | <ski> | > map (\[x,y] -> x + y) (chunk 2 [0 .. 7]) :: [Expr] |
2025-03-12 17:25:41 +0100 | <lambdabot> | [0 + 1,1 + 2,2 + 3,3 + 4,4 + 5,5 + 6,6 + 7] |
2025-03-12 17:25:40 +0100 | <ski> | > (zipWith (+) `ap` tail) [0 .. 7] :: [Expr] |
2025-03-12 17:25:24 +0100 | <lambdabot> | [1,5,9,13] |
2025-03-12 17:25:23 +0100 | <ski> | > map (\[x,y] -> x + y) (chunk 2 [0 .. 7]) |
2025-03-12 17:25:20 +0100 | <lambdabot> | [1,3,5,7,9,11,13] |
2025-03-12 17:25:19 +0100 | <ski> | > (zipWith (+) `ap` tail) [0 .. 7] |
2025-03-12 17:24:26 +0100 | <c_wraith> | because that's the part that's leading to so many of these issues |
2025-03-12 17:24:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-12 17:23:46 +0100 | <c_wraith> | Be sure to use linked lists in the other language, too. |
2025-03-12 17:23:31 +0100 | <Inst> | well tbh i probably should try implementing it imperatively in some other language |
2025-03-12 17:23:05 +0100 | <ski> | (or maybe you're combining each element with its next element, as opposed to ones at even indices with the following adjacent ones at odd indices) |
2025-03-12 17:22:42 +0100 | <Inst> | sorry, it's a dumb exercise, but i find it fun to think through and try to test |
2025-03-12 17:21:49 +0100 | <ski> | sounds similar to a merge sort, in that tree aspect |
2025-03-12 17:21:12 +0100 | <Inst> | so it's called recursively on itself until it matches [x] |
2025-03-12 17:20:56 +0100 | <Inst> | the actual goal here is to fold every element in the list with the adjacent element, producing a new list, then fold the resulting list until it reduces to one level |
2025-03-12 17:19:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |