2025/08/24

Newest at the top

2025-08-24 12:32:25 +0200dibblego(~dibblego@haskell/developer/dibblego) (Server closed connection)
2025-08-24 12:29:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 12:28:40 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds)
2025-08-24 12:18:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 12:17:33 +0200Guest54(~Guest94@203.129.50.252) (Ping timeout: 250 seconds)
2025-08-24 12:16:22 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-24 12:14:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 12:13:14 +0200tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-24 12:12:42 +0200 <lambdabot> enumFromTo 1) (return . (y <-) . enumFromTo 1)))
2025-08-24 12:12:42 +0200 <lambdabot> sieveSundaram = ap ((||) . map ((1 +) . (2 *)) . enumFromTo 1) (ap (filter . flip (<) . (2 *) . (1 +)) (return . ((i + j) +) . ((2 * i) *) . ((j | (i, j)) <-) . ap ((:) . (((x, y) | x) <-) .
2025-08-24 12:12:41 +0200 <Guest54> @pl sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] || filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]]
2025-08-24 12:12:23 +0200 <lambdabot> expecting variable, "(", operator or end of input
2025-08-24 12:12:23 +0200 <lambdabot> unexpected '\\'
2025-08-24 12:12:23 +0200 <lambdabot> (line 1, column 50):
2025-08-24 12:12:22 +0200 <Guest54> @pl sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] \\ filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]]
2025-08-24 12:12:13 +0200 <lambdabot> expecting operator
2025-08-24 12:12:13 +0200 <lambdabot> unexpected '>'
2025-08-24 12:12:13 +0200 <lambdabot> (line 1, column 28):
2025-08-24 12:12:13 +0200 <Guest54> sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] \\ filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]]
2025-08-24 12:12:13 +0200 <Guest54> @pl sieveSundaram :: Integer -> [Integer]
2025-08-24 12:12:13 +0200Guest54(~Guest94@203.129.50.252)
2025-08-24 12:09:18 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 252 seconds)
2025-08-24 12:06:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 11:59:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 11:54:38 +0200Everything(~Everythin@178-133-133-18.mobile.vf-ua.net) (Quit: leaving)
2025-08-24 11:50:51 +0200acro(~acro@user/acro) acro
2025-08-24 11:50:34 +0200acro(~acro@user/acro) (Server closed connection)
2025-08-24 11:49:33 +0200tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-24 11:48:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 11:44:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 11:43:45 +0200Guest32(~Guest32@2001:2d8:708e:9c40:e4f3:3a81:b203:f1a7) (Ping timeout: 250 seconds)
2025-08-24 11:33:52 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-08-24 11:33:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 11:30:00 +0200Dykam(Dykam@dykam.nl) Dykam
2025-08-24 11:29:50 +0200Dykam(Dykam@dykam.nl) (Server closed connection)
2025-08-24 11:28:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 11:26:09 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-08-24 11:22:43 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-08-24 11:17:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 11:13:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 11:12:46 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-24 11:12:28 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp)
2025-08-24 11:02:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-24 10:58:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 10:47:56 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-24 10:47:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 10:46:18 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-24 10:43:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 10:31:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 10:31:08 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot