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
2025-08-25 07:50:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 07:56:25 +0200 <hololeap> iqubic: you rewrote: replicate 7 [0,1,2]
2025-08-25 08:08:05 +0200 <Axman6> > replicateM 7 [0,1,2]
2025-08-25 08:08:07 +0200 <lambdabot> [[0,0,0,0,0,0,0],[0,0,0,0,0,0,1],[0,0,0,0,0,0,2],[0,0,0,0,0,1,0],[0,0,0,0,0,...
2025-08-25 08:08:12 +0200 <Axman6> > replicateM 3 [0,1,2]
2025-08-25 08:08:13 +0200 <lambdabot> [[0,0,0],[0,0,1],[0,0,2],[0,1,0],[0,1,1],[0,1,2],[0,2,0],[0,2,1],[0,2,2],[1,...
2025-08-25 08:14:26 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-25 08:16:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 08:18:49 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-08-25 08:19:09 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-25 08:20:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 08:24:41 +0200Square2(~Square@user/square) Square
2025-08-25 08:25:59 +0200Square3(~Square4@user/square) Square
2025-08-25 08:26:00 +0200zlqrvx(~zlqrvx@101.175.157.55) (Quit: ZNC 1.10.0 - https://znc.in)
2025-08-25 08:29:30 +0200Square2(~Square@user/square) (Ping timeout: 256 seconds)
2025-08-25 08:31:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 08:36:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 08:47:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 08:48:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-25 08:49:45 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-25 08:50:26 +0200tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-25 08:51:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-25 08:52:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-25 08:58:06 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-25 08:59:07 +0200DigitteknohippieDigit
2025-08-25 08:59:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-25 09:00:00 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-25 09:00:43 +0200caconym747(~caconym@user/caconym) caconym
2025-08-25 09:01:33 +0200trickard_trickard
2025-08-25 09:02:07 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-25 09:02:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 09:05:12 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-25 09:05:40 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-25 09:07:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 09:09:03 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-25 09:10:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-25 09:14:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2025-08-25 09:17:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 09:21:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 09:23:44 +0200tbahne(~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300)
2025-08-25 09:32:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 09:35:29 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-25 09:37:57 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-08-25 09:39:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 09:50:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 09:52:26 +0200dy(sid3438@user/dy) (Server closed connection)
2025-08-25 09:52:37 +0200dy(sid3438@user/dy) \\\\\
2025-08-25 09:52:44 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-25 09:55:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 09:58:52 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection)
2025-08-25 09:59:03 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com) b20n
2025-08-25 09:59:21 +0200chele(~chele@user/chele) chele
2025-08-25 10:00:44 +0200tbahne(~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300) (Quit: tbahne)
2025-08-25 10:04:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 10:09:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 10:09:28 +0200fgarcia(~lei@user/fgarcia) (Ping timeout: 248 seconds)
2025-08-25 10:10:31 +0200tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-25 10:13:49 +0200acidjnk(~acidjnk@p200300d6e71719081443facf871fb4de.dip0.t-ipconnect.de) acidjnk
2025-08-25 10:15:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 10:16:12 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 10:16:24 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-08-25 10:16:49 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-25 10:17:00 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 272 seconds)
2025-08-25 10:19:08 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-25 10:19:38 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-25 10:22:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 10:24:10 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-25 10:28:43 +0200tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-25 10:33:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 10:38:09 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: The Lounge - https://thelounge.github.io)
2025-08-25 10:38:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 10:40:54 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 10:43:09 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2025-08-25 10:43:22 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Client Quit)
2025-08-25 10:44:51 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2025-08-25 10:45:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 10:47:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-25 10:48:05 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 10:49:48 +0200fgarcia(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-08-25 10:50:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 10:54:55 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-25 11:00:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 11:02:37 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2025-08-25 11:05:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 11:09:15 +0200kuribas(~user@2a02-1810-2825-6000-9d64-b409-acec-ff0c.ip6.access.telenet.be) kuribas
2025-08-25 11:09:44 +0200jle`(~jle`@2603:8001:3b00:11:fb65:91e:91c3:a935) (Ping timeout: 248 seconds)
2025-08-25 11:12:31 +0200jle`(~jle`@2603:8001:3b00:11:51d3:c0be:4e33:cdb7) jle`
2025-08-25 11:15:38 +0200sprotte24(~sprotte24@p200300d16f22e40019450a01c26cef49.dip0.t-ipconnect.de)
2025-08-25 11:16:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 11:20:05 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-25 11:22:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 11:24:08 +0200notzmv(~umar@user/notzmv) (Ping timeout: 248 seconds)
2025-08-25 11:25:51 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-25 11:27:42 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-25 11:34:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 11:38:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 11:42:08 +0200moet_(~moet@am167041.f.east.v6connect.net)
2025-08-25 11:45:15 +0200moet_(~moet@am167041.f.east.v6connect.net) (Quit: leaving)
2025-08-25 11:49:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 11:51:27 +0200moet_(~moet@am167041.f.east.v6connect.net)
2025-08-25 11:53:40 +0200 <moet_> question about the `linear` package: is there an easy way to combine two vectors (or a vector and a scalar) to get the appropriately sized result, as if by concatenation? e.g. a V2 and V2 would yield a V4, or a V2 and a scalar would yield a V3
2025-08-25 11:54:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 11:54:31 +0200 <moet_> as of now the only way I know how to do this requires matching out the components and then constructing the desired result
2025-08-25 11:54:40 +0200ent-(entgod@kapsi.fi) (Server closed connection)
2025-08-25 11:54:50 +0200ent-(entgod@kapsi.fi) ent
2025-08-25 12:04:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 12:08:04 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-25 12:09:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 12:10:34 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-25 12:19:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 12:20:47 +0200 <[exa]> moet_: there might be a lensy way where you assign the .xy to .zw or so, but not sure
2025-08-25 12:22:48 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds)
2025-08-25 12:24:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 12:25:26 +0200 <[exa]> like, with a bit of compiler smartness this could compile efficiently `0 & xy .~ v2a & zw .~ v2b` ... ofc assuming the thing can realize the result is V4 and v2a&b are sufficiently specializable
2025-08-25 12:26:09 +0200__monty__(~toonn@user/toonn) toonn
2025-08-25 12:28:04 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-25 12:32:52 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-08-25 12:34:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 12:39:09 +0200sprotte24(~sprotte24@p200300d16f22e40019450a01c26cef49.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-25 12:39:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 12:46:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-25 12:50:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 12:51:54 +0200gmc(sid58314@id-58314.ilkley.irccloud.com) (Server closed connection)
2025-08-25 12:51:59 +0200Igloo(~ian@81.2.99.210)
2025-08-25 12:52:08 +0200gmc(sid58314@id-58314.ilkley.irccloud.com) gmc
2025-08-25 12:54:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 12:55:07 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com) (Server closed connection)
2025-08-25 12:55:18 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com) alanz
2025-08-25 12:59:55 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-25 12:59:55 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-08-25 12:59:55 +0200haritz(~hrtz@user/haritz) haritz
2025-08-25 13:02:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 13:15:30 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-25 13:20:01 +0200tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-25 13:21:18 +0200tromp(~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7)
2025-08-25 13:25:39 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-25 13:25:46 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2025-08-25 13:28:25 +0200Lord_of_Life_Lord_of_Life
2025-08-25 13:30:45 +0200moet_(~moet@am167041.f.east.v6connect.net) (Ping timeout: 245 seconds)
2025-08-25 13:32:48 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-25 13:33:01 +0200tromp(~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-25 13:34:00 +0200xff0x(~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c)
2025-08-25 13:35:52 +0200trickard_trickard
2025-08-25 13:36:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 13:38:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 13:39:01 +0200moet_(~moet@am167041.f.east.v6connect.net)
2025-08-25 13:43:47 +0200moet_(~moet@am167041.f.east.v6connect.net) (Ping timeout: 258 seconds)
2025-08-25 13:47:15 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) (Server closed connection)
2025-08-25 13:47:26 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) aspen
2025-08-25 13:48:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 13:55:01 +0200mh_le(~mads@user/mh-le/x-4465771) ()
2025-08-25 13:55:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-25 13:55:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 13:57:16 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 13:57:18 +0200bramh(~bramh@user/bramh) (Quit: Ping timeout (120 seconds))
2025-08-25 13:57:31 +0200bramh(~bramh@user/bramh) bramh
2025-08-25 14:06:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 14:10:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 14:15:20 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-25 14:21:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 14:26:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 14:31:18 +0200karenw(~karenw@user/karenw) karenw
2025-08-25 14:32:04 +0200xff0x(~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c) (Quit: xff0x)
2025-08-25 14:34:50 +0200xff0x(~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c)
2025-08-25 14:35:56 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-25 14:37:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 14:41:46 +0200yinzzz
2025-08-25 14:42:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 14:42:27 +0200karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2025-08-25 14:46:01 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-25 14:46:02 +0200xff0x(~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c) (Ping timeout: 256 seconds)
2025-08-25 14:46:14 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-25 14:50:33 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-08-25 14:51:38 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-08-25 14:52:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 14:53:32 +0200xff0x(~xff0x@2405:6580:b080:900:b9f9:93d3:5baf:528b)
2025-08-25 14:57:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 14:59:27 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-25 15:01:28 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-08-25 15:07:23 +0200trickard_trickard
2025-08-25 15:08:01 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-25 15:08:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 15:12:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 15:15:58 +0200moet_(~moet@am167041.f.east.v6connect.net)
2025-08-25 15:17:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 15:19:55 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-08-25 15:20:10 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-25 15:20:22 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-25 15:23:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 15:28:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-25 15:31:34 +0200sp1ff(~user@c-24-21-190-184.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-08-25 15:33:10 +0200sp1ff(~user@c-24-21-190-184.hsd1.wa.comcast.net) sp1ff
2025-08-25 15:36:32 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-08-25 15:40:03 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-08-25 15:44:32 +0200moet_(~moet@am167041.f.east.v6connect.net) (Ping timeout: 260 seconds)
2025-08-25 15:49:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 15:53:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 15:56:12 +0200poscat(~poscat@user/poscat) poscat
2025-08-25 15:57:44 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 248 seconds)
2025-08-25 16:02:43 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-08-25 16:03:42 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-25 16:04:37 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-25 16:04:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 16:09:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 16:17:46 +0200caasih(sid13241@id-13241.ilkley.irccloud.com) (Server closed connection)
2025-08-25 16:17:57 +0200caasih(sid13241@id-13241.ilkley.irccloud.com) caasih
2025-08-25 16:20:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 16:24:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 16:27:29 +0200urdh_(~urdh@user/urdh) urdh
2025-08-25 16:28:48 +0200urdh(~urdh@user/urdh) (Ping timeout: 252 seconds)
2025-08-25 16:28:48 +0200urdh_urdh
2025-08-25 16:28:59 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-25 16:30:38 +0200Pent(sid313808@id-313808.lymington.irccloud.com) (Server closed connection)
2025-08-25 16:31:02 +0200Pent(sid313808@id-313808.lymington.irccloud.com) Pent____
2025-08-25 16:31:54 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-25 16:33:15 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-25 16:33:39 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-25 16:34:29 +0200 <asivitz> with stackage down, is there any way to build my stackage-based project via cabal? it's kind of odd to me that it fails trying to download the cabal.config, given that it shouldn't change for a given snapshot. why would cabal download that every time it needs to build?
2025-08-25 16:34:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 16:35:57 +0200swistak(~swistak@185.21.216.141) (Ping timeout: 252 seconds)
2025-08-25 16:37:45 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-25 16:38:11 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-08-25 16:41:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 16:41:36 +0200markasoftware(~quassel@2604:180:f2::217) (Server closed connection)
2025-08-25 16:41:47 +0200swistak(~swistak@185.21.216.141)
2025-08-25 16:41:48 +0200markasoftware(~quassel@2604:180:f2::217) markasoftware
2025-08-25 16:45:48 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-25 16:50:15 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-08-25 16:50:20 +0200 <asivitz> never mind- I can just remove the config import and it succeeds
2025-08-25 16:52:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 16:55:47 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-25 16:58:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 17:08:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 17:08:56 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-25 17:10:58 +0200itaipu(~itaipu@168.121.97.28) (Read error: Connection reset by peer)
2025-08-25 17:10:59 +0200 <geekosaur> I've been told it only downloads it once, but keep seeing reports that it at least checks it (presumably `If-Modified-Since`) every run
2025-08-25 17:12:06 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-25 17:13:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 17:15:35 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-25 17:15:57 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 17:16:09 +0200jathan(~jathan@69.61.93.38) jathan
2025-08-25 17:16:48 +0200karenw(~karenw@user/karenw) karenw
2025-08-25 17:18:10 +0200 <asivitz> I wonder if --offline should avoid checking it then?
2025-08-25 17:18:53 +0200mcfrdy(~mcfrdy@user/mcfrdy) (Server closed connection)
2025-08-25 17:19:13 +0200mcfrdy(~mcfrdy@user/mcfrdy) mcfrdy
2025-08-25 17:24:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 17:24:32 +0200Square2(~Square@user/square) Square
2025-08-25 17:25:03 +0200Square3(~Square4@user/square) (Remote host closed the connection)
2025-08-25 17:26:12 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-25 17:28:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 17:34:48 +0200 <geekosaur> what version of cabal? I think we changed that "recently" but ghcup still recommends a version where it's broken?
2025-08-25 17:35:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 17:37:40 +0200 <geekosaur> mm, no, looks like it's intended to only affect package repositories
2025-08-25 17:39:30 +0200mniip_(mniip@libera/staff/mniip) (Server closed connection)
2025-08-25 17:39:42 +0200mniip(mniip@libera/staff/mniip) mniip
2025-08-25 17:40:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 17:43:03 +0200tbahne(~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300)
2025-08-25 17:50:30 +0200 <geekosaur> you could file an issue asking for a fully-offline flag of some variety
2025-08-25 17:51:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 17:51:14 +0200 <asivitz> yea I'll do that. I think that makes sense. thanks
2025-08-25 17:54:04 +0200 <EvanR> warning, you're using haskell in offline mode
2025-08-25 17:54:20 +0200 <EvanR> your saves may not be synchronized with haskell cloud
2025-08-25 17:54:47 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-25 17:55:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 17:59:00 +0200tbahne(~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300) (Changing host)
2025-08-25 17:59:00 +0200tbahne(~tbahne@user/tbahne) tbahne
2025-08-25 18:06:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 18:11:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 18:14:50 +0200tbahne(~tbahne@user/tbahne) (Quit: tbahne)
2025-08-25 18:15:59 +0200tbahne(~tbahne@user/tbahne) tbahne
2025-08-25 18:17:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 18:24:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 18:25:38 +0200tbahne(~tbahne@user/tbahne) (Quit: tbahne)
2025-08-25 18:25:56 +0200tbahne(~tbahne@user/tbahne) tbahne
2025-08-25 18:31:40 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-25 18:34:19 +0200divlamir_(~divlamir@user/divlamir) divlamir
2025-08-25 18:35:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 18:36:00 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 18:36:49 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-08-25 18:37:12 +0200divlamir(~divlamir@user/divlamir) (Ping timeout: 260 seconds)
2025-08-25 18:37:12 +0200divlamir_divlamir
2025-08-25 18:40:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 18:44:11 +0200tbahne(~tbahne@user/tbahne) (Quit: tbahne)
2025-08-25 18:51:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 18:55:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-25 18:58:22 +0200turlando_(~turlando@user/turlando) turlando
2025-08-25 18:58:47 +0200turlando(~turlando@user/turlando) (Ping timeout: 260 seconds)
2025-08-25 19:06:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 19:10:16 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-25 19:11:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 19:13:18 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-08-25 19:13:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-25 19:14:56 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 19:20:36 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-25 19:21:35 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-25 19:21:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 19:22:54 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-25 19:26:10 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2025-08-25 19:26:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-25 19:27:38 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-25 19:30:03 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-08-25 19:35:20 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-08-25 19:35:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 19:36:29 +0200karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2025-08-25 19:36:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 19:38:30 +0200tremon(~tremon@83.80.159.219) tremon
2025-08-25 19:40:14 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-25 19:41:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 19:46:02 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-25 19:48:07 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 19:49:48 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-25 19:52:11 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-08-25 19:52:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 19:52:34 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-25 19:53:50 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-08-25 19:54:05 +0200swistak(~swistak@185.21.216.141) (Ping timeout: 258 seconds)
2025-08-25 19:56:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 19:58:51 +0200swistak(~swistak@185.21.216.141)
2025-08-25 20:01:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-25 20:01:37 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 20:04:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-25 20:07:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 20:09:23 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-25 20:10:58 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 258 seconds)
2025-08-25 20:14:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-25 20:16:56 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-25 20:24:22 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-25 20:25:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 20:26:20 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-08-25 20:26:55 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-25 20:30:07 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-08-25 20:30:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 20:30:46 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-25 20:35:07 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-08-25 20:37:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 20:41:05 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-25 20:41:24 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-25 20:42:22 +0200gmg(~user@user/gehmehgeh) (Client Quit)
2025-08-25 20:42:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 20:43:04 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-08-25 20:45:04 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 258 seconds)
2025-08-25 20:45:57 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-25 20:48:03 +0200mud(~mud@user/kadoban) kadoban
2025-08-25 20:53:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 20:56:36 +0200jackdk(uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity)
2025-08-25 20:58:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 20:58:46 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-25 20:59:46 +0200Guest60(~Guest60@2600:1700:f030:6350:dccf:3655:2e20:a59e)
2025-08-25 21:00:02 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-25 21:00:42 +0200caconym747(~caconym@user/caconym) caconym
2025-08-25 21:01:07 +0200Guest60(~Guest60@2600:1700:f030:6350:dccf:3655:2e20:a59e) (Client Quit)
2025-08-25 21:02:50 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-08-25 21:04:07 +0200jmcantrell_jmcantrell
2025-08-25 21:04:38 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-25 21:06:32 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-08-25 21:08:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 21:13:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 21:15:21 +0200hakutaku(~textual@chen.yukari.eu.org) (Ping timeout: 258 seconds)
2025-08-25 21:17:48 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-25 21:20:36 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-25 21:22:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-25 21:24:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 21:27:16 +0200kuribas(~user@2a02-1810-2825-6000-9d64-b409-acec-ff0c.ip6.access.telenet.be) (Remote host closed the connection)
2025-08-25 21:28:40 +0200manwithluck(~manwithlu@2a09:bac5:5083:2432::39b:8d) (Ping timeout: 256 seconds)
2025-08-25 21:28:41 +0200tromp(~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7)
2025-08-25 21:29:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 21:29:23 +0200tromp(~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) (Client Quit)
2025-08-25 21:30:32 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-25 21:31:40 +0200tromp(~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7)
2025-08-25 21:34:54 +0200hakutaku(~textual@chen.yukari.eu.org) (Ping timeout: 258 seconds)
2025-08-25 21:36:35 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-25 21:38:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 21:45:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 21:48:30 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-25 21:54:55 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2025-08-25 21:55:00 +0200hakutaku(~textual@chen.yukari.eu.org) (Ping timeout: 256 seconds)
2025-08-25 21:55:08 +0200hakutaku_(~textual@chen.yukari.eu.org)
2025-08-25 21:56:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 21:57:16 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-08-25 22:01:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-25 22:12:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 22:17:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 22:23:14 +0200itaipu(~itaipu@168.121.97.28) (Read error: Connection reset by peer)
2025-08-25 22:27:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 22:30:48 +0200Square2(~Square@user/square) (Ping timeout: 248 seconds)
2025-08-25 22:32:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-25 22:38:32 +0200zarakshR(~Thunderbi@0542a05a.skybroadband.com) zarakshR
2025-08-25 22:38:52 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-25 22:39:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 22:40:47 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2025-08-25 22:41:13 +0200Fletter(~halloy841@user/Fletter) Fletter
2025-08-25 22:41:52 +0200hook54321(sid149355@user/hook54321) (Server closed connection)
2025-08-25 22:43:08 +0200hook54321(sid149355@user/hook54321) hook54321
2025-08-25 22:43:52 +0200Fletter(~halloy841@user/Fletter) (Quit: Fletter)
2025-08-25 22:44:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-25 22:45:10 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-25 22:45:24 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-25 22:47:33 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-08-25 22:50:04 +0200 <haskellbridge> <magic_rb> Can i use TH functions, to generate haskell code at runtime and then compile at runtime with ghc?
2025-08-25 22:50:55 +0200 <haskellbridge> <magic_rb> I want to do transpiling from individual nix files into haskell using TH and then compile the resulting AST into bytecode/machine code. Stitch it together and run the whole tree of nix/haskell modules
2025-08-25 22:55:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-25 22:59:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)