2025/08/25

2025-08-25 00:00:58 +0200Square2(~Square@user/square) (Ping timeout: 244 seconds)
2025-08-25 00:01:55 +0200qqe(~qqq@185.54.20.59) (Quit: leaving)
2025-08-25 00:03:51 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-08-25 00:04:31 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-08-25 00:04:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-25 00:06:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 00:07:22 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-08-25 00:07:27 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-25 00:12:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 00:12:46 +0200kqr(~kqr@user/kqr) (Server closed connection)
2025-08-25 00:13:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 00:13:23 +0200kqr(~kqr@irc-1.xkqr.org)
2025-08-25 00:16:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 00:21:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-25 00:30:15 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-25 00:32:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 00:36:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 00:47:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 00:51:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-25 00:53:12 +0200Igloo(~ian@45.130.105.80) (Ping timeout: 260 seconds)
2025-08-25 00:54:38 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-25 00:55:46 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-08-25 01:00:24 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 256 seconds)
2025-08-25 01:00:46 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-25 01:02:58 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-25 01:02:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 01:04:54 +0200energizer(~energizer@user/energizer) (Server closed connection)
2025-08-25 01:07:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 01:08:59 +0200zarakshR(~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 +0200zarakshR(~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) zarakshR
2025-08-25 01:09:48 +0200energizer(~energizer@user/energizer) energizer
2025-08-25 01:14:08 +0200pavonia(~user@user/siracusa) siracusa
2025-08-25 01:18:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 01:18:30 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-25 01:23:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-25 01:23:51 +0200Igloo(~ian@81.2.99.210) (Quit: BIAB)
2025-08-25 01:27:49 +0200Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2025-08-25 01:28:26 +0200weary-traveler(~user@user/user363627) user363627
2025-08-25 01:28:28 +0200todi1(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-08-25 01:28:41 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-08-25 01:31:05 +0200Axman6(~Axman6@user/axman6) Axman6
2025-08-25 01:32:00 +0200athan_(~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!)
2025-08-25 01:33:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 01:38:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-25 01:43:36 +0200sprotte24(~sprotte24@p200300d16f111b00b51313ab39ce1871.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-25 01:49:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 01:51:55 +0200jackdk(uid373013@cssa/life/jackdk) jackdk
2025-08-25 01:52:33 +0200Lord_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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 01:56:40 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 248 seconds)
2025-08-25 01:57:12 +0200acidjnk(~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-25 02:07:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 02:11:47 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) (Server closed connection)
2025-08-25 02:11:58 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) tnks
2025-08-25 02:12:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-25 02:22:18 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-08-25 02:22:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 02:25:05 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-08-25 02:27:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 02:28:53 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-25 02:29:06 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-25 02:32:11 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-08-25 02:34:23 +0200califax(~califax@user/califx) califx
2025-08-25 02:37:20 +0200trickard_trickard
2025-08-25 02:38:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 02:38:11 +0200totbwf(uid402332@user/totbwf) (Server closed connection)
2025-08-25 02:38:21 +0200totbwf(sid402332@id-402332.uxbridge.irccloud.com)
2025-08-25 02:41:22 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-25 02:42:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 02:44:30 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2025-08-25 02:44:30 +0200ljdarj1ljdarj
2025-08-25 02:48:09 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-25 02:48:23 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-25 02:48:29 +0200c_wraith(~c_wraith@adjoint.us) (Server closed connection)
2025-08-25 02:48:40 +0200c_wraith(~c_wraith@adjoint.us) c_wraith
2025-08-25 02:53:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 02:55:42 +0200xff0x(~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 260 seconds)
2025-08-25 02:57:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 03:01:36 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-25 03:05:42 +0200glguy(glguy@libera/staff/glguy) (Read error: Connection reset by peer)
2025-08-25 03:09:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 03:12:46 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-25 03:13:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 03:20:03 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-25 03:23:13 +0200iphy(sid67735@user/iphy) (Server closed connection)
2025-08-25 03:23:24 +0200iphy(sid67735@user/iphy) iphy
2025-08-25 03:24:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 03:29:03 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-25 03:29:52 +0200Guest88(~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 +0200zlqrvx(~zlqrvx@101.175.157.55)
2025-08-25 03:31:17 +0200merijn(~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 +0200Guest88(~Guest94@106.70.108.95) (Client Quit)
2025-08-25 03:41:51 +0200idnar(sid12240@debian/mithrandi) (Server closed connection)
2025-08-25 03:42:02 +0200idnar(sid12240@debian/mithrandi) idnar
2025-08-25 03:42:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 03:47:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 03:47:48 +0200vetkat(~vetkat@user/vetkat) (Read error: Connection reset by peer)
2025-08-25 03:48:08 +0200vetkat(~vetkat@user/vetkat) vetkat
2025-08-25 03:51:21 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-25 03:53:04 +0200glguy(glguy@libera/staff/glguy) glguy
2025-08-25 03:57:07 +0200ski(~ski@remote11.chalmers.se) (Remote host closed the connection)
2025-08-25 03:57:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 04:02:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 04:13:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 04:17:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 04:25:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-08-25 04:28:12 +0200mima(~mmh@user/mima) (Server closed connection)
2025-08-25 04:28:24 +0200mima(~mmh@user/mima) mima
2025-08-25 04:28:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 04:30:31 +0200weary-traveler(~user@user/user363627) user363627
2025-08-25 04:33:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 04:39:53 +0200ski(~ski@remote11.chalmers.se) ski
2025-08-25 04:40:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 04:41:57 +0200user363627(~user@user/user363627) user363627
2025-08-25 04:42:36 +0200weary-traveler(~user@user/user363627) (Ping timeout: 252 seconds)
2025-08-25 04:44:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 04:48:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-25 04:49:25 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-08-25 04:50:17 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-25 04:54:09 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds)
2025-08-25 04:59:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 05:02:52 +0200zarakshR(~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) (Ping timeout: 260 seconds)
2025-08-25 05:06:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 05:07:12 +0200hyletic(~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 +0200user363627(~user@user/user363627) (Remote host closed the connection)
2025-08-25 05:17:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 05:22:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 05:32:00 +0200aforemny(~aforemny@2001:9e8:6cc1:4500:e2a2:a3a1:5209:ec30) aforemny
2025-08-25 05:32:53 +0200aforemny_(~aforemny@2001:9e8:6ce2:be00:e05:cc8b:50c4:6af1) (Ping timeout: 245 seconds)
2025-08-25 05:32:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 05:37:10 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-25 05:37:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-25 05:44:28 +0200asivitz(uid178348@id-178348.tinside.irccloud.com) asivitz
2025-08-25 05:48:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 05:53:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-25 05:53:19 +0200michalz(~michalz@185.246.207.221)
2025-08-25 05:58:07 +0200trickard_trickard
2025-08-25 06:01:49 +0200Nosrep(~jimothy@user/nosrep) Nosrep
2025-08-25 06:03:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 06:08:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 06:14:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 06:19:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 06:21:42 +0200karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2025-08-25 06:29:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 06:33:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-25 06:38:17 +0200acro(~acro@user/acro) (Ping timeout: 258 seconds)
2025-08-25 06:38:18 +0200Moyst(~moyst@user/moyst) (Ping timeout: 258 seconds)
2025-08-25 06:38:18 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 258 seconds)
2025-08-25 06:38:37 +0200haritzondo(~hrtz@209.35.65.79)
2025-08-25 06:38:38 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-08-25 06:38:39 +0200acro(~acro@user/acro) acro
2025-08-25 06:38:41 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 258 seconds)
2025-08-25 06:38:56 +0200pandeyan(~pandeyan@23-93-125-220.fiber.dynamic.sonic.net)
2025-08-25 06:39:03 +0200haritz(~hrtz@user/haritz) (Ping timeout: 258 seconds)
2025-08-25 06:39:04 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 258 seconds)
2025-08-25 06:39:20 +0200Digitteknohippie(~user@user/digit) Digit
2025-08-25 06:39:27 +0200_________(~nobody@user/noodly) (Ping timeout: 258 seconds)
2025-08-25 06:39:27 +0200anpad(~pandeyan@user/anpad) (Ping timeout: 258 seconds)
2025-08-25 06:39:27 +0200Digit(~user@user/digit) (Ping timeout: 258 seconds)
2025-08-25 06:39:27 +0200omnifunctor(~omnifunct@user/semifunctor) (Ping timeout: 258 seconds)
2025-08-25 06:39:30 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 245 seconds)
2025-08-25 06:39:50 +0200mjrosenb(~mjrosenb@70.18.10.118) (Ping timeout: 258 seconds)
2025-08-25 06:40:35 +0200Moyst(~moyst@user/moyst) Moyst
2025-08-25 06:40:48 +0200TMA(tma@twin.jikos.cz) TMA
2025-08-25 06:41:24 +0200mjrosenb(~mjrosenb@70.18.10.118)
2025-08-25 06:41:28 +0200_________(~nobody@user/noodly) _________
2025-08-25 06:43:40 +0200omnifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-08-25 06:45:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 06:48:01 +0200delyan_(sid523379@id-523379.hampstead.irccloud.com) (Quit: Updating details, brb)
2025-08-25 06:48:12 +0200megeve(sid523379@id-523379.hampstead.irccloud.com) megeve
2025-08-25 06:51:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 06:52:18 +0200shachaf(~shachaf@user/shachaf) (Server closed connection)
2025-08-25 06:52:26 +0200shachaf(~shachaf@user/shachaf) shachaf
2025-08-25 06:52:58 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-08-25 06:58:44 +0200systemfault(sid267009@about/typescript/member/systemfault) (Server closed connection)
2025-08-25 06:58:59 +0200systemfault(sid267009@about/typescript/member/systemfault) systemfault
2025-08-25 07:06:59 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-25 07:15:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 07:20:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 07:22:21 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-25 07:26:05 +0200haritzondo(~hrtz@209.35.65.79) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-25 07:30:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 07:31:33 +0200skylord5816(~skylord58@user/skylord5816) (Server closed connection)
2025-08-25 07:31:46 +0200skylord5816(~skylord58@user/skylord5816) skylord5816
2025-08-25 07:35:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 07:46:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn