| 2025-08-25 00:00:58 +0200 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-08-25 00:01:55 +0200 | qqe | (~qqq@185.54.20.59) (Quit: leaving) |
| 2025-08-25 00:03:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-08-25 00:04:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-08-25 00:04:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-25 00:06:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 00:07:22 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-08-25 00:07:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-25 00:12:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 00:12:46 +0200 | kqr | (~kqr@user/kqr) (Server closed connection) |
| 2025-08-25 00:13:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 00:13:23 +0200 | kqr | (~kqr@irc-1.xkqr.org) |
| 2025-08-25 00:16:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 00:21:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-25 00:30:15 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-25 00:32:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 00:36:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 00:47:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 00:51:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-25 00:53:12 +0200 | Igloo | (~ian@45.130.105.80) (Ping timeout: 260 seconds) |
| 2025-08-25 00:54:38 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-08-25 00:55:46 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-08-25 01:00:24 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 256 seconds) |
| 2025-08-25 01:00:46 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-08-25 01:02:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-25 01:02:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 01:04:54 +0200 | energizer | (~energizer@user/energizer) (Server closed connection) |
| 2025-08-25 01:07:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 01:08:59 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) (Remote host closed the connection) |
| 2025-08-25 01:09:05 +0200 | <hololeap> | this is what I came up with: https://0x0.st/K-NT.txt |
| 2025-08-25 01:09:26 +0200 | zarakshR | (~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) zarakshR |
| 2025-08-25 01:09:48 +0200 | energizer | (~energizer@user/energizer) energizer |
| 2025-08-25 01:14:08 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-08-25 01:18:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 01:18:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-25 01:23:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-25 01:23:51 +0200 | Igloo | (~ian@81.2.99.210) (Quit: BIAB) |
| 2025-08-25 01:27:49 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2025-08-25 01:28:26 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-25 01:28:28 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-08-25 01:28:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-08-25 01:31:05 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-08-25 01:32:00 +0200 | athan_ | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-25 01:33:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 01:38:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-25 01:43:36 +0200 | sprotte24 | (~sprotte24@p200300d16f111b00b51313ab39ce1871.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-25 01:49:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 01:51:55 +0200 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-08-25 01:52:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-25 01:55:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-25 01:56:40 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 2025-08-25 01:57:12 +0200 | acidjnk | (~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-08-25 02:07:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 02:11:47 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection) |
| 2025-08-25 02:11:58 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) tnks |
| 2025-08-25 02:12:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-25 02:22:18 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-08-25 02:22:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 02:25:05 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-08-25 02:27:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 02:28:53 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-25 02:29:06 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-25 02:32:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-25 02:34:23 +0200 | califax | (~califax@user/califx) califx |
| 2025-08-25 02:37:20 +0200 | trickard_ | trickard |
| 2025-08-25 02:38:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 02:38:11 +0200 | totbwf | (uid402332@user/totbwf) (Server closed connection) |
| 2025-08-25 02:38:21 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2025-08-25 02:41:22 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-25 02:42:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 02:44:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-08-25 02:44:30 +0200 | ljdarj1 | ljdarj |
| 2025-08-25 02:48:09 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-25 02:48:23 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-25 02:48:29 +0200 | c_wraith | (~c_wraith@adjoint.us) (Server closed connection) |
| 2025-08-25 02:48:40 +0200 | c_wraith | (~c_wraith@adjoint.us) c_wraith |
| 2025-08-25 02:53:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 02:55:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 260 seconds) |
| 2025-08-25 02:57:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-25 03:01:36 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-08-25 03:05:42 +0200 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-25 03:09:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 03:12:46 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-25 03:13:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-25 03:20:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-25 03:23:13 +0200 | iphy | (sid67735@user/iphy) (Server closed connection) |
| 2025-08-25 03:23:24 +0200 | iphy | (sid67735@user/iphy) iphy |
| 2025-08-25 03:24:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 03:29:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-25 03:29:52 +0200 | Guest88 | (~Guest94@106.70.108.95) |
| 2025-08-25 03:29:53 +0200 | <Guest88> | @pl skips xs = [[x | (x, i) <- zip xs [1 ..], mod i n == 0] | n <- [1 .. length xs]] |
| 2025-08-25 03:29:54 +0200 | <lambdabot> | skips = return . ap ((<-) . (| n) . (: [mod i n == 0]) . ((x | (x, i)) <-) . flip zip [1..]) (enumFromTo 1 . length) |
| 2025-08-25 03:30:52 +0200 | zlqrvx | (~zlqrvx@101.175.157.55) |
| 2025-08-25 03:31:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-25 03:31:27 +0200 | <Guest88> | @pl skips xs = map (\n -> ([x | (x, i) <- zip xs [1 ..], mod i n == 0])) [1 .. length xs] |
| 2025-08-25 03:31:27 +0200 | <lambdabot> | skips = ap (map . (. (return . (0 ==) . mod i)) . (:) . ((x | (x, i)) <-) . flip zip [1..]) (enumFromTo 1 . length) |
| 2025-08-25 03:32:43 +0200 | Guest88 | (~Guest94@106.70.108.95) (Client Quit) |
| 2025-08-25 03:41:51 +0200 | idnar | (sid12240@debian/mithrandi) (Server closed connection) |
| 2025-08-25 03:42:02 +0200 | idnar | (sid12240@debian/mithrandi) idnar |
| 2025-08-25 03:42:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 03:47:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 03:47:48 +0200 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-08-25 03:48:08 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-08-25 03:51:21 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-25 03:53:04 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-08-25 03:57:07 +0200 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2025-08-25 03:57:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 04:02:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 04:13:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 04:17:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-25 04:25:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-08-25 04:28:12 +0200 | mima | (~mmh@user/mima) (Server closed connection) |
| 2025-08-25 04:28:24 +0200 | mima | (~mmh@user/mima) mima |
| 2025-08-25 04:28:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 04:30:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-25 04:33:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 04:39:53 +0200 | ski | (~ski@remote11.chalmers.se) ski |
| 2025-08-25 04:40:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 04:41:57 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-08-25 04:42:36 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-08-25 04:44:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 04:48:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-25 04:49:25 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-08-25 04:50:17 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-25 04:54:09 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-08-25 04:59:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-25 05:02:52 +0200 | zarakshR | (~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) (Ping timeout: 260 seconds) |
| 2025-08-25 05:06:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 05:07:12 +0200 | hyletic | (~textual@user/hyletic) (Ping timeout: 256 seconds) |
| 2025-08-25 05:11:10 +0200 | <haskellbridge> | <iqubic (she/her)> There's got to be a better way to write this: https://dpaste.org/TmzjK |
| 2025-08-25 05:11:28 +0200 | <haskellbridge> | <iqubic (she/her)> Did I just recreate "replicateM"? |
| 2025-08-25 05:12:04 +0200 | <haskellbridge> | <iqubic (she/her)> Is this just "replicateM 7 [0,1,2]" |
| 2025-08-25 05:13:49 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-25 05:17:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |