Newest at the top
2025-03-12 18:47:22 +0100 | <EvanR> | that's a lot of assuming |
2025-03-12 18:37:36 +0100 | <Inst> | (ironically, when I take out the par / pseq notation, the program runs slower by a factor of 3) |
2025-03-12 18:37:01 +0100 | <Inst> | (because I'm assuming this means that GHC generated a tight inner loop from foldr, and they were all unboxed, meaning WHNF, and inability to parallelize) |
2025-03-12 18:35:20 +0100 | <Inst> | i should celebrate |
2025-03-12 18:35:18 +0100 | <Inst> | i just generated 1_999_999_998 sparks, and they all dudded |
2025-03-12 18:34:59 +0100 | <Inst> | well, this is new |
2025-03-12 18:34:56 +0100 | Inst | (~Inst@user/Inst) Inst |
2025-03-12 18:33:38 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer) |
2025-03-12 18:33:37 +0100 | Pablo58 | (~Pablo@200.40.229.150) () |
2025-03-12 18:33:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3504-140e-55c2-d7c2-899b-0789.rev.sfr.net) (Remote host closed the connection) |
2025-03-12 18:32:37 +0100 | <juri_> | I just completed building a single head attention mechanism, in haskell. |
2025-03-12 18:31:02 +0100 | Pablo58 | (~Pablo@200.40.229.150) |
2025-03-12 18:11:36 +0100 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) |
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] |