2025/03/20

Newest at the top

2025-03-20 14:17:17 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-03-20 14:09:47 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-03-20 14:04:05 +0100euleritian(~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de)
2025-03-20 14:03:50 +0100euleritian(~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-03-20 13:55:24 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2025-03-20 13:55:04 +0100Leary(~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer)
2025-03-20 13:52:41 +0100k_hachig(~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) (Ping timeout: 252 seconds)
2025-03-20 13:47:55 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-20 13:47:12 +0100k_hachig(~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) k_hachig
2025-03-20 13:43:31 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-20 13:43:29 +0100dsrt^(elomin@c-71-199-187-173.hsd1.ga.comcast.net)
2025-03-20 13:42:53 +0100dsrt^(~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 265 seconds)
2025-03-20 13:42:51 +0100Googulator88(~Googulato@80-95-93-233.pool.digikabel.hu)
2025-03-20 13:42:34 +0100Googulator88(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed)
2025-03-20 13:33:31 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-03-20 13:33:04 +0100wildsalander(~wildsalan@81-175-155-97.bb.dnainternet.fi)
2025-03-20 13:30:09 +0100wildsalander(~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 260 seconds)
2025-03-20 13:23:52 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-03-20 13:21:47 +0100jespada(~jespada@179.26.248.34) jespada
2025-03-20 13:18:38 +0100euleritian(~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de)
2025-03-20 13:18:21 +0100euleritian(~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-20 13:12:38 +0100jespada(~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 +0100sabathan(~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 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-20 13:02:46 +0100alfiee(~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 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-20 12:54:49 +0100ChanServ+v haskellbridge
2025-03-20 12:54:48 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2025-03-20 12:54:18 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-03-20 12:53:16 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2025-03-20 12:51:03 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-20 12:47:50 +0100jespada(~jespada@2800:a4:22b6:4600:c042:9a9f:aa72:a246) jespada
2025-03-20 12:45:50 +0100ash3en(~Thunderbi@149.222.145.35) ash3en
2025-03-20 12:41:32 +0100__monty__(~toonn@user/toonn) toonn
2025-03-20 12:29:22 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-20 12:27:50 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:9747:dd6c:23c:6105) ubert
2025-03-20 12:27:37 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:8edc:7567:8376:630e) (Remote host closed the connection)
2025-03-20 12:26:41 +0100alp(~alp@2001:861:8ca0:4940:17be:23b1:68c0:522c) (Ping timeout: 248 seconds)
2025-03-20 12:22:53 +0100vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2025-03-20 12:16:37 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)