Newest at the top
2025-03-20 13:33:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-03-20 13:33:04 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
2025-03-20 13:30:09 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
2025-03-20 13:23:52 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-03-20 13:21:47 +0100 | jespada | (~jespada@179.26.248.34) jespada |
2025-03-20 13:18:38 +0100 | euleritian | (~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) |
2025-03-20 13:18:21 +0100 | euleritian | (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-03-20 13:12:38 +0100 | jespada | (~jespada@2800:a4:22b6:4600:c042:9a9f:aa72:a246) (Ping timeout: 268 seconds) |
2025-03-20 13:10:38 +0100 | <lambdabot> | array (0,9) [(0,[0]),(1,[1,1]),(2,[]),(3,[]),(4,[8,8]),(5,[]),(6,[]),(7,[]),... |
2025-03-20 13:10:37 +0100 | <ski> | > (ximap (0,9) (^ 2) . L.tabulate (-3,3)) (\i -> [abs (i^3)]) |
2025-03-20 13:10:31 +0100 | <lambdabot> | array (0,9) [(0,0),(1,2),(2,0),(3,0),(4,16),(5,0),(6,0),(7,0),(8,0),(9,54)] |
2025-03-20 13:10:29 +0100 | <ski> | > (fmap getSum . ximap (0,9) (^ 2) . L.tabulate (-3,3)) (\i -> Sum (abs (i^3))) |
2025-03-20 13:10:22 +0100 | <lambdabot> | Defined. |
2025-03-20 13:10:21 +0100 | <ski> | @let ximap :: (Ix i,Ix j,Monoid e) => (j,j) -> (i -> j) -> (Array i e -> Array j e); ximap ix f ar = accumArray mappend mempty ix [(f i,ar ! i) | i <- indices ar] |
2025-03-20 13:10:15 +0100 | <lambdabot> | Defined. |
2025-03-20 13:10:14 +0100 | <ski> | @let tabulate :: Ix i => (i,i) -> (i -> e) -> Array i e; tabulate ix f = listArray ix [f i | i <- range ix] |
2025-03-20 13:06:35 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-20 13:03:22 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
2025-03-20 13:02:56 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-20 13:02:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-20 13:02:31 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
2025-03-20 12:58:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-20 12:54:49 +0100 | ChanServ | +v haskellbridge |
2025-03-20 12:54:48 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2025-03-20 12:54:18 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-03-20 12:53:16 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2025-03-20 12:51:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-20 12:47:50 +0100 | jespada | (~jespada@2800:a4:22b6:4600:c042:9a9f:aa72:a246) jespada |
2025-03-20 12:45:50 +0100 | ash3en | (~Thunderbi@149.222.145.35) ash3en |
2025-03-20 12:41:32 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2025-03-20 12:29:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-20 12:27:50 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:9747:dd6c:23c:6105) ubert |
2025-03-20 12:27:37 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:8edc:7567:8376:630e) (Remote host closed the connection) |
2025-03-20 12:26:41 +0100 | alp | (~alp@2001:861:8ca0:4940:17be:23b1:68c0:522c) (Ping timeout: 248 seconds) |
2025-03-20 12:22:53 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2025-03-20 12:16:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-03-20 12:16:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-03-20 12:12:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-20 12:08:34 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-03-20 12:07:45 +0100 | ash3en | (~Thunderbi@2a01:780:8000:115:27a0:cdec:aee3:14b8) (Ping timeout: 252 seconds) |
2025-03-20 12:02:16 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-20 12:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-20 11:58:29 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-03-20 11:54:34 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-03-20 11:54:23 +0100 | euleritian | (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) |
2025-03-20 11:53:43 +0100 | euleritian | (~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2025-03-20 11:46:01 +0100 | ash3en | (~Thunderbi@2a01:780:8000:115:27a0:cdec:aee3:14b8) ash3en |
2025-03-20 11:38:16 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-20 11:33:43 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
2025-03-20 11:32:39 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |