2025/03/12

Newest at the top

2025-03-12 18:10:29 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-12 18:09:47 +0100acidjnk_new(~acidjnk@p200300d6e7283f52dc57c47be76b3f6a.dip0.t-ipconnect.de)
2025-03-12 18:07:50 +0100synchromesh(~john@2406:5a00:24cf:bb00:98ab:59f5:dcb3:c8fc) (Remote host closed the connection)
2025-03-12 18:07:36 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-12 18:06:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-12 18:02:40 +0100tusko(uid478376@user/tusko) tusko
2025-03-12 18:01:41 +0100synchromesh(~john@2406:5a00:24cf:bb00:98ab:59f5:dcb3:c8fc) synchromesh
2025-03-12 18:00:54 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-03-12 18:00:40 +0100synchromesh(~john@2406:5a00:24cf:bb00:98ab:59f5:dcb3:c8fc) (Read error: Connection reset by peer)
2025-03-12 17:57:56 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca)
2025-03-12 17:54:42 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-12 17:52:05 +0100lottaquestions(~nick@2607:fa49:5040:b100:5b52:ac7b:b1b7:f59f) (Quit: Konversation terminated!)
2025-03-12 17:48:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-12 17:47:43 +0100Guest4(~Guest4@2804:14c:3f87:8149:ce7a:9b84:f941:24de) ()
2025-03-12 17:47:10 +0100yegorc(~yegorc@user/yegorc) (Quit: Leaving)
2025-03-12 17:44:26 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-03-12 17:42:03 +0100acidjnk_new(~acidjnk@p200300d6e7283f52210926b325fe4262.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-03-12 17:42:03 +0100Inst(~Inst@user/Inst) (Remote host closed the connection)
2025-03-12 17:41:09 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-12 17:40:30 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-03-12 17:35:57 +0100Guest4(~Guest4@2804:14c:3f87:8149:ce7a:9b84:f941:24de)
2025-03-12 17:34:08 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-12 17:33:52 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-03-12 17:32:14 +0100yegorc(~yegorc@user/yegorc) yegorc
2025-03-12 17:31:18 +0100Inst(~Inst@user/Inst) Inst
2025-03-12 17:30:25 +0100Inst(~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 +0100alfiee(~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 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich