2025/12/03

Newest at the top

2025-12-03 12:44:07 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-03 12:43:07 +0100weary-traveler(~user@user/user363627) user363627
2025-12-03 12:35:29 +0100trickard__trickard
2025-12-03 12:32:58 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-12-03 12:27:57 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-03 12:24:15 +0100Inline(~inlinE@2001-4dd3-7fc8-0-f57-6413-8f27-9a87.ipv6dyn.netcologne.de) Inline
2025-12-03 12:21:16 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-12-03 12:20:51 +0100trickard__(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-03 12:16:31 +0100gawen(~gawen@user/gawen) gawen
2025-12-03 12:15:20 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-12-03 12:11:30 +0100gawen(~gawen@user/gawen) (Client Quit)
2025-12-03 12:09:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-12-03 12:09:05 +0100gawen(~gawen@user/gawen) gawen
2025-12-03 12:08:20 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-03 12:04:10 +0100gawen(~gawen@user/gawen) (Quit: cya)
2025-12-03 12:04:05 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-03 12:01:21 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2025-12-03 12:01:07 +0100xff0x(~xff0x@2405:6580:b080:900:9a8d:d213:9a6f:7468)
2025-12-03 11:56:59 +0100gawen(~gawen@user/gawen) gawen
2025-12-03 11:56:55 +0100trickard_trickard
2025-12-03 11:52:20 +0100gawen(~gawen@user/gawen) (Quit: cya)
2025-12-03 11:43:40 +0100tromp(~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-03 11:40:59 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-03 11:40:44 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-03 11:36:42 +0100califax(~califax@user/califx) califx
2025-12-03 11:36:29 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-12-03 11:31:20 +0100tromp(~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e)
2025-12-03 11:30:34 +0100dhil(~dhil@5.151.29.137) dhil
2025-12-03 11:28:48 +0100kuribas(~user@2a02:1808:c7:cecf:a041:fccb:9242:86e9) (Ping timeout: 260 seconds)
2025-12-03 11:27:03 +0100gawen(~gawen@user/gawen) gawen
2025-12-03 11:26:56 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-12-03 11:22:50 +0100gawen(~gawen@user/gawen) (Quit: cya)
2025-12-03 11:21:30 +0100Googulator93Googulator
2025-12-03 11:19:27 +0100hsw(~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) hsw
2025-12-03 11:19:03 +0100hsw(~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Remote host closed the connection)
2025-12-03 11:18:32 +0100 <lucabtz> i think Leary's way with foldr should be lazy too
2025-12-03 11:13:16 +0100Square2(~Square4@user/square) (Ping timeout: 255 seconds)
2025-12-03 11:11:32 +0100 <lucabtz> thank you Axman6
2025-12-03 11:09:59 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-03 11:09:45 +0100__monty__(~toonn@user/toonn) toonn
2025-12-03 11:08:39 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-12-03 11:08:20 +0100 <lambdabot> [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2...
2025-12-03 11:08:16 +0100 <Axman6> > let dropEnd n xs = zipWith const xs (drop n xs) in dropEnd 3 [0..]
2025-12-03 11:07:56 +0100 <Axman6> zipWith const is an incredibly useful thing to know about
2025-12-03 11:07:38 +0100 <Axman6> This has the benefit of being lazy too, it only eevaluates n elements ahead of the the output. lucabtz ^
2025-12-03 11:07:28 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-03 11:07:13 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-12-03 11:06:59 +0100 <lambdabot> "ABCD"
2025-12-03 11:06:55 +0100 <Axman6> > let dropEnd n xs = zipWith const xs (drop n xs) in dropEnd 3 "ABCDEFG"
2025-12-03 11:06:16 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds)