2024/12/27

2024-12-27 00:00:09 +0100itscaleb9(~itscaleb@user/itscaleb) itscaleb
2024-12-27 00:00:14 +0100OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2024-12-27 00:00:44 +0100rdcdr_(~rdcdr@75-172-10-53.tukw.qwest.net)
2024-12-27 00:01:35 +0100rdcdr(~rdcdr@user/rdcdr) (Ping timeout: 265 seconds)
2024-12-27 00:01:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-27 00:02:23 +0100itscaleb(~itscaleb@user/itscaleb) (Ping timeout: 272 seconds)
2024-12-27 00:02:23 +0100itscaleb9itscaleb
2024-12-27 00:04:24 +0100__monty__(~toonn@user/toonn) (Quit: Lost terminal)
2024-12-27 00:05:35 +0100itscaleb9(~itscaleb@user/itscaleb) itscaleb
2024-12-27 00:06:19 +0100rdcdr(~rdcdr@user/rdcdr) rdcdr
2024-12-27 00:08:04 +0100rdcdr_(~rdcdr@75-172-10-53.tukw.qwest.net) (Ping timeout: 272 seconds)
2024-12-27 00:08:05 +0100itscaleb(~itscaleb@user/itscaleb) (Ping timeout: 272 seconds)
2024-12-27 00:08:05 +0100itscaleb9itscaleb
2024-12-27 00:14:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 00:18:18 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-12-27 00:19:11 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Remote host closed the connection)
2024-12-27 00:19:50 +0100ubert1(~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) ubert
2024-12-27 00:20:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 00:20:42 +0100ubert(~Thunderbi@p200300ecdf117c724c57cc19647faaba.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-12-27 00:20:42 +0100ubert1ubert
2024-12-27 00:28:12 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-12-27 00:30:35 +0100rekahsoft(~rekahsoft@76.69.85.220) (Remote host closed the connection)
2024-12-27 00:32:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 00:33:09 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-27 00:34:41 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-27 00:37:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 00:39:43 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-12-27 00:45:00 +0100rekahsoft(~rekahsoft@76.69.85.220) rekahsoft
2024-12-27 00:45:16 +0100Everything(~Everythin@195.138.86.118) (Quit: leaving)
2024-12-27 00:46:19 +0100prasad(~Thunderbi@2601:243:c001:3f07::c0)
2024-12-27 00:49:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 00:54:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 00:57:44 +0100rekahsoft(~rekahsoft@76.69.85.220) (Remote host closed the connection)
2024-12-27 01:03:43 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-12-27 01:04:06 +0100euleritian(~euleritia@dynamic-176-006-129-190.176.6.pool.telefonica.de)
2024-12-27 01:08:04 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-12-27 01:08:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 01:10:42 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-12-27 01:10:42 +0100ljdarj1ljdarj
2024-12-27 01:12:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 01:19:19 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-27 01:24:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 01:29:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 01:33:40 +0100 <jackdk> I want to get a sense of how many `infixr 0` functions/operators there are out there, to provide input into https://github.com/tweag/ormolu/issues/1151 . My first instinct is to go to hoogle but https://wiki.haskell.org/Hoogle does not seem to allow search by fixity. Is there a good data source to get what I'm looking for?
2024-12-27 01:42:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 01:43:50 +0100euleritian(~euleritia@dynamic-176-006-129-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 01:44:05 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 01:44:45 +0100sprotte24(~sprotte24@p200300d16f43410098822bbde3019798.dip0.t-ipconnect.de) (Quit: Leaving)
2024-12-27 01:46:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 01:47:32 +0100xmas(~Enviosity@2.219.56.221)
2024-12-27 01:48:14 +0100vanishingideal(~vanishing@user/vanishingideal) (Quit: leaving)
2024-12-27 01:50:05 +0100haver(~Enviosity@2.219.56.221) (Ping timeout: 244 seconds)
2024-12-27 01:55:49 +0100acidjnk_new3(~acidjnk@p200300d6e7283f96d08b963c1d2d2589.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-12-27 01:59:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 02:00:29 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2024-12-27 02:03:29 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-27 02:06:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-27 02:07:49 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-12-27 02:13:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 02:14:03 +0100housemate(~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) housemate
2024-12-27 02:14:54 +0100fp(~Thunderbi@216-165-226-178.championbroadband.com) fp
2024-12-27 02:17:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 02:20:21 +0100 <fp> How do you set up a test suite to import the code from the package you're trying to test?
2024-12-27 02:25:29 +0100xmas(~Enviosity@2.219.56.221) (Read error: Connection reset by peer)
2024-12-27 02:30:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 02:32:45 +0100housemate(~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.)
2024-12-27 02:33:02 +0100housemate(~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) housemate
2024-12-27 02:34:43 +0100ft(~ft@i59F4F00D.versanet.de) (Ping timeout: 252 seconds)
2024-12-27 02:35:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 02:36:36 +0100ft(~ft@i59F4F012.versanet.de) ft
2024-12-27 02:43:56 +0100 <Axman6> fp: you can either include youy package's library as a depenency, or directly include its files as sources for the tests
2024-12-27 02:44:54 +0100 <geekosaur> if you want to access private ("other-modules") modules, you may wish to move those to a provate internal library which the test suite can then depend on
2024-12-27 02:46:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 02:49:14 +0100housemate(~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.)
2024-12-27 02:50:41 +0100sawilagar_(~sawilagar@user/sawilagar) (Ping timeout: 248 seconds)
2024-12-27 02:50:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 03:04:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 03:05:39 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer)
2024-12-27 03:08:44 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-12-27 03:09:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 03:11:18 +0100ljdarj(~Thunderbi@user/ljdarj) (Remote host closed the connection)
2024-12-27 03:11:37 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-27 03:21:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 03:25:11 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-27 03:26:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 03:26:54 +0100OftenFaded(~OftenFade@user/tisktisk) (Quit: Client closed)
2024-12-27 03:30:36 +0100acidjnk_new3(~acidjnk@p200300d6e7283f30903c68c50a52075e.dip0.t-ipconnect.de) acidjnk
2024-12-27 03:37:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 03:40:14 +0100adamCS(~adamCS@68.161.167.240) adamCS
2024-12-27 03:43:19 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Quit: %quit%)
2024-12-27 03:43:39 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2024-12-27 03:44:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 03:55:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 03:59:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-27 04:05:27 +0100Ekho-(~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.)
2024-12-27 04:08:05 +0100acidjnk_new3(~acidjnk@p200300d6e7283f30903c68c50a52075e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-12-27 04:11:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 04:12:35 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-27 04:16:50 +0100Ekho(~Ekho@user/ekho) Ekho
2024-12-27 04:18:12 +0100dragestil(~znc@user/dragestil) dragestil
2024-12-27 04:18:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 04:26:43 +0100dragestil(~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2024-12-27 04:27:59 +0100dragestil(~znc@user/dragestil) dragestil
2024-12-27 04:29:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 04:34:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 04:37:34 +0100td_(~td@i5387092A.versanet.de) (Ping timeout: 265 seconds)
2024-12-27 04:39:12 +0100td_(~td@i53870935.versanet.de) td_
2024-12-27 04:42:24 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2024-12-27 04:45:25 +0100dragestil(~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2024-12-27 04:45:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 04:47:42 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-12-27 04:48:09 +0100dragestil(~znc@user/dragestil) dragestil
2024-12-27 04:50:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 04:52:10 +0100dragestilycp
2024-12-27 04:57:34 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-12-27 05:00:03 +0100haver(~Enviosity@2.219.56.221)
2024-12-27 05:02:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 05:07:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-12-27 05:14:30 +0100billchenchina(~billchenc@103.152.35.21) billchenchina
2024-12-27 05:14:37 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net)
2024-12-27 05:15:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 05:16:30 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit)
2024-12-27 05:16:47 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net)
2024-12-27 05:16:52 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit)
2024-12-27 05:17:07 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net)
2024-12-27 05:17:16 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit)
2024-12-27 05:17:30 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net)
2024-12-27 05:18:10 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit)
2024-12-27 05:18:39 +0100aerphanas(~aerphanas@user/aerphanas) aerphanas
2024-12-27 05:21:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 05:22:50 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr
2024-12-27 05:28:09 +0100ionut_f(~ionut_f@user/ionut-f:27329) ionut_f
2024-12-27 05:32:18 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Quit: leaving)
2024-12-27 05:34:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 05:36:38 +0100aerphanas(~aerphanas@user/aerphanas) (Quit: WeeChat 3.8)
2024-12-27 05:39:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 05:41:40 +0100aerphanas(~aerphanas@user/aerphanas) aerphanas
2024-12-27 05:50:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 05:55:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-27 05:57:28 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-27 06:00:13 +0100ionut_f(~ionut_f@user/ionut-f:27329) (Ping timeout: 265 seconds)
2024-12-27 06:00:36 +0100alp(~alp@2001:861:8ca0:4940:33fb:cddc:5dc0:67dd)
2024-12-27 06:02:11 +0100aerphanas(~aerphanas@user/aerphanas) (Quit: WeeChat 3.8)
2024-12-27 06:02:37 +0100aerphanas(~aerphanas@user/aerphanas) aerphanas
2024-12-27 06:06:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 06:11:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 06:14:09 +0100ionut_f(~ionut_f@user/ionut-f:27329) ionut_f
2024-12-27 06:14:09 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-12-27 06:14:29 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 06:16:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 06:18:45 +0100prasad(~Thunderbi@2601:243:c001:3f07::c0) (Ping timeout: 248 seconds)
2024-12-27 06:18:56 +0100homo(~homo@user/homo) (Quit: Leaving)
2024-12-27 06:21:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-27 06:21:25 +0100homo(~homo@user/homo) homo
2024-12-27 06:29:15 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-12-27 06:29:47 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 06:30:12 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 06:30:24 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 06:32:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 06:37:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 06:42:59 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-27 06:43:54 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-27 06:44:57 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-27 06:49:52 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-12-27 06:50:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 06:50:40 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 06:50:50 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-27 06:54:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-12-27 06:59:57 +0100dobblego(~dibblego@116-255-1-119.ip4.superloop.au)
2024-12-27 06:59:57 +0100dobblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2024-12-27 06:59:57 +0100dobblego(~dibblego@haskell/developer/dibblego) dibblego
2024-12-27 07:00:11 +0100dibblego(~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
2024-12-27 07:00:26 +0100dobblegodibblego
2024-12-27 07:01:32 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-12-27 07:07:15 +0100oxide(~lambda@user/oxide) (Quit: oxide)
2024-12-27 07:08:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 07:12:49 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer)
2024-12-27 07:15:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 07:15:20 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-12-27 07:17:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 07:20:38 +0100homo(~homo@user/homo) (Quit: Leaving)
2024-12-27 07:21:03 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 244 seconds)
2024-12-27 07:21:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 07:27:12 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-12-27 07:27:22 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 07:28:07 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 07:28:35 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 07:29:52 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 07:30:04 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 07:32:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 07:32:25 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-12-27 07:32:32 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 07:33:12 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 07:33:25 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 07:36:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-27 07:41:45 +0100housemate(~housemate@pa49-185-137-16.pa.vic.optusnet.com.au) housemate
2024-12-27 07:49:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 07:54:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 07:58:55 +0100housemate(~housemate@pa49-185-137-16.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.)
2024-12-27 08:05:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 08:09:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-27 08:16:06 +0100madhavanmiui(~madhavanm@152.58.205.237)
2024-12-27 08:16:31 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-12-27 08:16:41 +0100madhavanmiui(~madhavanm@152.58.205.237) (Client Quit)
2024-12-27 08:17:35 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2024-12-27 08:18:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 08:22:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-27 08:27:50 +0100CiaoSen(~Jura@2a05:5800:2d2:8600:ca4b:d6ff:fec1:99da) CiaoSen
2024-12-27 08:30:14 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2024-12-27 08:35:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 08:40:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-27 08:42:45 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2024-12-27 08:43:05 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 08:53:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 08:58:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 08:58:19 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 08:58:31 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 09:00:02 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-12-27 09:00:42 +0100caconym(~caconym@user/caconym) caconym
2024-12-27 09:01:52 +0100aerphanas(~aerphanas@user/aerphanas) (Quit: WeeChat 3.8)
2024-12-27 09:10:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 09:15:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 09:19:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 09:23:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-12-27 09:23:34 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-12-27 09:24:07 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 09:29:11 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-12-27 09:29:42 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-27 09:35:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 09:40:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 09:52:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 09:57:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 10:10:00 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-12-27 10:10:06 +0100CiaoSen(~Jura@2a05:5800:2d2:8600:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds)
2024-12-27 10:10:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 10:15:07 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-12-27 10:15:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 10:16:20 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 10:17:10 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 10:17:23 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 10:20:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 10:24:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 10:28:02 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-27 10:36:30 +0100forell(~forell@user/forell) (Ping timeout: 276 seconds)
2024-12-27 10:38:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 10:39:46 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-12-27 10:40:27 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de)
2024-12-27 10:42:10 +0100billchenchina(~billchenc@103.152.35.21) (Quit: Leaving)
2024-12-27 10:42:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 10:43:43 +0100acidjnk_new3(~acidjnk@p200300d6e7283f3024b97f8e6af9334e.dip0.t-ipconnect.de) acidjnk
2024-12-27 10:49:26 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-12-27 10:51:53 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-27 10:58:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 11:03:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-12-27 11:09:07 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-27 11:12:31 +0100euleritian(~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2024-12-27 11:13:10 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 11:15:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 11:19:33 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-12-27 11:23:56 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2024-12-27 11:24:16 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-27 11:24:26 +0100ionut_f(~ionut_f@user/ionut-f:27329) (Remote host closed the connection)
2024-12-27 11:25:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 11:27:42 +0100 <hellwolf> is there any other use case of "other-modules", other than following the encapsulation doctrine?
2024-12-27 11:29:07 +0100ephilalethes(~noumenon@202.186.200.33) noumenon
2024-12-27 11:33:54 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-12-27 11:35:00 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 276 seconds)
2024-12-27 11:38:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 11:38:37 +0100sawilagar_(~sawilagar@user/sawilagar) sawilagar
2024-12-27 11:43:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 11:44:38 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2024-12-27 11:47:45 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2024-12-27 11:50:00 +0100__monty__(~toonn@user/toonn) toonn
2024-12-27 11:54:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 11:59:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-27 12:01:52 +0100kuribas(~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) kuribas
2024-12-27 12:02:02 +0100Milan(~Milan@88.212.26.18)
2024-12-27 12:02:28 +0100Milan(~Milan@88.212.26.18) (Remote host closed the connection)
2024-12-27 12:04:45 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2024-12-27 12:05:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-27 12:09:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 12:14:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 12:14:18 +0100AlexNoo_(~AlexNoo@178.34.162.242)
2024-12-27 12:14:27 +0100kuribas(~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2024-12-27 12:15:55 +0100AlexZenon(~alzenon@5.139.233.146) (Ping timeout: 260 seconds)
2024-12-27 12:17:43 +0100AlexNoo(~AlexNoo@5.139.233.146) (Ping timeout: 252 seconds)
2024-12-27 12:17:44 +0100Digitteknohippie(~user@user/digit) Digit
2024-12-27 12:18:40 +0100Digit(~user@user/digit) (Ping timeout: 265 seconds)
2024-12-27 12:19:48 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-12-27 12:20:21 +0100AlexZenon(~alzenon@178.34.162.242)
2024-12-27 12:22:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 12:22:29 +0100Milan(~Milan@88.212.26.18)
2024-12-27 12:26:45 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-12-27 12:26:58 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-27 12:27:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-27 12:27:18 +0100AlexNoo_AlexNoo
2024-12-27 12:27:51 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 265 seconds)
2024-12-27 12:30:03 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 252 seconds)
2024-12-27 12:31:36 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-27 12:33:09 +0100rvalue-rvalue
2024-12-27 12:36:25 +0100kuribas(~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) kuribas
2024-12-27 12:39:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 12:43:20 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-12-27 12:43:24 +0100encyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Quit: WeeChat 4.4.4)
2024-12-27 12:44:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 12:46:11 +0100Milan(~Milan@88.212.26.18) (Ping timeout: 252 seconds)
2024-12-27 12:51:43 +0100forell(~forell@user/forell) forell
2024-12-27 12:52:09 +0100sprotte24(~sprotte24@p200300d16f4a7c0031dcae6904c3663c.dip0.t-ipconnect.de)
2024-12-27 12:54:35 +0100mari-estel(~mari-este@user/mari-estel) ()
2024-12-27 12:55:02 +0100son0p(~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) son0p
2024-12-27 12:56:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 12:59:48 +0100AlexNoo_(~AlexNoo@178.34.162.34)
2024-12-27 13:01:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-27 13:02:41 +0100AlexZenon(~alzenon@178.34.162.242) (Ping timeout: 252 seconds)
2024-12-27 13:03:15 +0100aerphanas(~aerphanas@user/aerphanas) aerphanas
2024-12-27 13:04:03 +0100AlexNoo(~AlexNoo@178.34.162.242) (Ping timeout: 276 seconds)
2024-12-27 13:04:05 +0100AlexNoo_AlexNoo
2024-12-27 13:11:01 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-12-27 13:11:56 +0100AlexZenon(~alzenon@178.34.162.34)
2024-12-27 13:12:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 13:16:13 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 13:19:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 13:19:07 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 13:20:56 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2024-12-27 13:21:18 +0100Pixi`(~Pixi@user/pixi) Pixi
2024-12-27 13:22:28 +0100statusbot8(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2024-12-27 13:22:28 +0100Pixi(~Pixi@user/pixi) (Read error: Connection reset by peer)
2024-12-27 13:22:28 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-12-27 13:22:29 +0100rachelambda8(~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: Ping timeout (120 seconds))
2024-12-27 13:22:36 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 13:22:43 +0100rachelambda8(~rachelamb@cust-95-80-25-71.csbnet.se)
2024-12-27 13:23:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 13:27:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 13:28:16 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-12-27 13:30:49 +0100ephilalethes(~noumenon@202.186.200.33) (Quit: Leaving)
2024-12-27 13:33:33 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 13:34:32 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-12-27 13:36:28 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 13:38:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 13:43:16 +0100dyniec(~dyniec@dybiec.info) dyniec
2024-12-27 13:43:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 13:47:45 +0100alp(~alp@2001:861:8ca0:4940:33fb:cddc:5dc0:67dd) (Ping timeout: 248 seconds)
2024-12-27 13:49:37 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 13:50:05 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 13:53:18 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2024-12-27 13:54:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 13:59:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 14:01:20 +0100ubert(~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-12-27 14:01:40 +0100ubert(~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) ubert
2024-12-27 14:04:41 +0100aerphanas(~aerphanas@user/aerphanas) (Quit: WeeChat 3.8)
2024-12-27 14:12:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 14:16:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 14:24:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 14:28:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 14:31:16 +0100terrorjack4(~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat)
2024-12-27 14:33:53 +0100nschoe(~nschoe@2a01:e0a:8e:a190:8cfd:72ac:b95:b12e) (Quit: ZNC 1.8.2 - https://znc.in)
2024-12-27 14:34:11 +0100nschoe(~nschoe@82-65-202-30.subs.proxad.net) nschoe
2024-12-27 14:40:04 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-12-27 14:41:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 14:45:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 14:46:14 +0100alp(~alp@2001:861:8ca0:4940:8d4c:5a22:6b11:16da)
2024-12-27 14:47:18 +0100hueso_(~root@user/hueso) (Quit: hueso_)
2024-12-27 14:48:37 +0100Digit(~user@user/digit) Digit
2024-12-27 14:49:07 +0100iamsleepy(~weechat@2a01:4f9:3070:feff:5051:865c:88f4:3d8) (Read error: Connection reset by peer)
2024-12-27 14:49:37 +0100iamsleepy(~weechat@2a01:4f9:3070:feff:8dba:5fff:72fd:7f7d) iamsleepy
2024-12-27 14:53:38 +0100Digit(~user@user/digit) (Quit: i'm getting off this merry go round! (plexiglass. i'll brb).)
2024-12-27 14:55:46 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-27 14:57:05 +0100Digit(~user@user/digit) Digit
2024-12-27 14:59:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 15:01:06 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-27 15:02:01 +0100hueso(~root@user/hueso) hueso
2024-12-27 15:02:12 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-12-27 15:06:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-27 15:09:24 +0100urdh(~urdh@user/urdh) (Quit: Boom!)
2024-12-27 15:09:47 +0100terrorjack4(~terrorjac@2a01:4f8:c17:a66e::) terrorjack
2024-12-27 15:15:13 +0100sprout(~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 248 seconds)
2024-12-27 15:16:40 +0100ionut_f(~ionut_f@user/ionut-f:27329) ionut_f
2024-12-27 15:17:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 15:22:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-27 15:24:29 +0100ionut_f(~ionut_f@user/ionut-f:27329) (Remote host closed the connection)
2024-12-27 15:25:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 15:25:20 +0100visilii(~visilii@213.24.125.237)
2024-12-27 15:28:14 +0100hueso(~root@user/hueso) (Ping timeout: 260 seconds)
2024-12-27 15:29:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 15:32:25 +0100 <hellwolf> > traverse (pure . Just) [1..4]
2024-12-27 15:32:27 +0100 <lambdabot> error:
2024-12-27 15:32:27 +0100 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M826968458127...
2024-12-27 15:32:27 +0100 <lambdabot> prevents the constraint ‘(Show
2024-12-27 15:32:41 +0100 <hellwolf> > traverse Just [1..4]
2024-12-27 15:32:42 +0100 <lambdabot> Just [1,2,3,4]
2024-12-27 15:36:29 +0100 <hellwolf> > traverse (pure . Just) [1..4] :: IO [Maybe Int]
2024-12-27 15:36:36 +0100 <lambdabot> <IO [Maybe Int]>
2024-12-27 15:37:02 +0100 <hellwolf> > traverse (pure . Just) [1..4] :: Identity [Maybe Int]
2024-12-27 15:37:04 +0100 <lambdabot> Identity [Just 1,Just 2,Just 3,Just 4]
2024-12-27 15:37:08 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-27 15:37:30 +0100 <hellwolf> sorry, I get it. But I won't be able to explain this to beginners.
2024-12-27 15:37:53 +0100 <ncf> traverse (f . g) = traverse f . fmap g
2024-12-27 15:37:56 +0100 <ncf> traverse pure = pure
2024-12-27 15:41:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 15:45:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 15:46:27 +0100 <hellwolf> I am feeling incredibly dumb atm
2024-12-27 15:46:57 +0100 <hellwolf> cg_create_vars = sequence $ fmap (const cg_next_var) [0 .. abi_type_count_vars @a]
2024-12-27 15:46:57 +0100 <hellwolf> -- cg_create_vars = reverse <$> go (abi_type_count_vars @a) []
2024-12-27 15:46:57 +0100 <hellwolf> -- where go 0 vars = pure vars
2024-12-27 15:46:57 +0100 <hellwolf> -- go n vars = cg_next_var >>= \var -> go (n - 1) (var:vars)
2024-12-27 15:47:06 +0100 <hellwolf> I can't seem to make it work
2024-12-27 15:47:27 +0100 <hellwolf> (commented-out stupid code worked)
2024-12-27 15:47:38 +0100 <hellwolf> mapM ,or, sequence $ map, not
2024-12-27 15:50:07 +0100 <ncf> replicateM (abi_type_count_vars @a) cg_next_var
2024-12-27 15:51:28 +0100 <hellwolf> that makes sense. but what was wrong with other code, I still want to understand.
2024-12-27 15:54:13 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 248 seconds)
2024-12-27 15:57:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 16:02:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 16:03:08 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2024-12-27 16:07:05 +0100 <hellwolf> I think I get it.
2024-12-27 16:07:05 +0100 <hellwolf> But I wonder if anyone make similar assumption on IO's side effect behavior when using mapM/sequence would face a similar awakening moment when the implementation of IO requiring foldM interpretation instead.
2024-12-27 16:07:10 +0100jathan(~jathan@69.61.93.38) jathan
2024-12-27 16:07:30 +0100 <hellwolf> (I made an obvious mistake when dealing with the State monad)
2024-12-27 16:08:01 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-27 16:15:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 16:19:08 +0100hueso(~root@user/hueso) hueso
2024-12-27 16:19:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 16:25:08 +0100hueso(~root@user/hueso) (Quit: hueso)
2024-12-27 16:26:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 16:26:38 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2024-12-27 16:26:47 +0100sprout(~sprout@84-80-106-227.fixed.kpn.net) sprout
2024-12-27 16:30:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 16:35:25 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-12-27 16:39:17 +0100alfiee(alfiee@user/alfiee) (Quit: WeeChat 4.5.0)
2024-12-27 16:41:07 +0100sayurc(~sayurc@169.150.203.34) sayurc
2024-12-27 16:41:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 16:42:01 +0100alfiee(alfiee@user/alfiee) alfiee
2024-12-27 16:46:52 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 16:48:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 16:50:37 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-27 16:53:20 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-12-27 16:55:08 +0100l_k(~student@85.172.110.180) (Ping timeout: 265 seconds)
2024-12-27 17:00:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 17:00:46 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-27 17:01:31 +0100weary-traveler(~user@user/user363627) user363627
2024-12-27 17:04:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-27 17:06:29 +0100hueso(~root@user/hueso) hueso
2024-12-27 17:08:24 +0100haver(~Enviosity@2.219.56.221) (Quit: Connection error?!)
2024-12-27 17:09:15 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 17:10:04 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 17:10:39 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-12-27 17:12:10 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 17:15:08 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-12-27 17:15:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 17:19:08 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-27 17:19:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-12-27 17:20:13 +0100l_k(~student@213.24.127.88)
2024-12-27 17:25:39 +0100 <kuribas> hellwolf: what's the error?
2024-12-27 17:26:51 +0100 <haskellbridge> <hellwolf> no errors. compiled, but with unintended behaviour
2024-12-27 17:27:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 17:27:28 +0100haver(~Enviosity@2.219.56.221)
2024-12-27 17:27:33 +0100 <haskellbridge> <hellwolf> not very haskellisk experience
2024-12-27 17:31:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-27 17:34:16 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
2024-12-27 17:34:20 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2024-12-27 17:34:28 +0100 <haskellbridge> <hellwolf> the gist is currently you can do silly things with State monad with mapM, sequence, etc.
2024-12-27 17:35:16 +0100 <kuribas> Why silly?
2024-12-27 17:35:19 +0100 <geekosaur> despite the meme, Haskell has never really been "if it compiles, it works", and I think that state of affairs is impossible. No programming language can ensure that a program acts according to an unstated intent
2024-12-27 17:36:00 +0100 <kuribas> Still, haskell is my favourite for expressing intent.
2024-12-27 17:36:42 +0100 <kuribas> I don't have this experience with Python, even if I write the code and use types etc...
2024-12-27 17:36:59 +0100tv(~tv@user/tv) (Read error: Connection reset by peer)
2024-12-27 17:38:36 +0100 <haskellbridge> <hellwolf> I agree. It only makes me think how it is possible to make such a mistake unrepresentable, without bringing all the bazookas in.
2024-12-27 17:39:18 +0100 <kuribas> I find "unintended behaviour" is often a result of too much Polymorphism.
2024-12-27 17:39:33 +0100 <geekosaur> Agda or Idris2 would get you closer, but still not there
2024-12-27 17:39:50 +0100 <kuribas> For example, the newtype-less reader Monad should not exist IMO.
2024-12-27 17:40:04 +0100 <kuribas> (-> r a)
2024-12-27 17:40:23 +0100 <kuribas> haskellbridge: what was the mistake?
2024-12-27 17:42:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 17:46:24 +0100sawilagar_(~sawilagar@user/sawilagar) (Quit: Leaving)
2024-12-27 17:46:43 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-12-27 17:47:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 17:47:38 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 272 seconds)
2024-12-27 17:48:00 +0100 <haskellbridge> <hellwolf> sequence . mapM state monads is wrong.
2024-12-27 17:48:00 +0100 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/qbFUoFrAFuCPVSQFnYhWTBqZ/WEGsG3OErzA (3 lines)
2024-12-27 17:51:01 +0100sayurc(~sayurc@169.150.203.34) (Ping timeout: 252 seconds)
2024-12-27 17:55:05 +0100ChanServ+o litharge
2024-12-27 17:55:06 +0100litharge-bo *!*@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net litharge
2024-12-27 17:57:25 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-12-27 17:58:02 +0100rvalue(~rvalue@user/rvalue) rvalue
2024-12-27 17:58:14 +0100 <kuribas> What's *wrong* about sequence . traverse ?
2024-12-27 17:59:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 17:59:43 +0100 <kuribas> :t sequence (traverse (\x -> state $ \y -> (x + y, x + y)) [1, 2, 3])
2024-12-27 17:59:53 +0100 <lambdabot> (Traversable t, MonadState a t, Num a) => [t a]
2024-12-27 18:00:07 +0100 <kuribas> > runState $ sequence (traverse (\x -> state $ \y -> (x + y, x + y)) [1, 2, 3])
2024-12-27 18:00:09 +0100 <lambdabot> error:
2024-12-27 18:00:09 +0100 <lambdabot> • Couldn't match type ‘[]’ with ‘StateT s Identity’
2024-12-27 18:00:09 +0100 <lambdabot> Expected type: State s (t a)
2024-12-27 18:03:44 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-12-27 18:07:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-27 18:08:08 +0100 <kuribas> oh, you want sequence . map...
2024-12-27 18:08:17 +0100 <kuribas> well, replicateM better.
2024-12-27 18:08:51 +0100 <kuribas> I bet if you get obscure behaviour, it's because of the (->) r monad.
2024-12-27 18:08:58 +0100 <kuribas> Which should be abolished IMO.
2024-12-27 18:09:18 +0100 <kuribas> There is no need for it, if you want it, better use Reader.
2024-12-27 18:10:04 +0100 <haskellbridge> <hellwolf> no, it's simply not the way you should use State Monad. I don't find the type synonym of reader monad problematic, so far.
2024-12-27 18:11:16 +0100 <kuribas> Guess I am missing the relevant backlog?
2024-12-27 18:11:19 +0100jathan(~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2024-12-27 18:11:34 +0100jathan(~jathan@69.61.93.38) jathan
2024-12-27 18:14:21 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 18:14:39 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 18:15:54 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 18:16:12 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
2024-12-27 18:17:20 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 18:17:42 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 18:18:05 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 18:20:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 18:22:03 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 18:23:18 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 18:23:59 +0100sayurc(~sayurc@169.150.203.34) sayurc
2024-12-27 18:27:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-12-27 18:29:21 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 18:32:42 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-12-27 18:32:45 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2024-12-27 18:33:15 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 18:34:10 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 18:34:39 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 18:35:08 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 18:35:31 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-27 18:37:36 +0100l_k(~student@213.24.127.88) (Ping timeout: 265 seconds)
2024-12-27 18:39:19 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-27 18:39:34 +0100l_k(~student@213.24.127.88)
2024-12-27 18:39:59 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds)
2024-12-27 18:40:03 +0100Digitteknohippie(~user@user/digit) Digit
2024-12-27 18:41:08 +0100Digit(~user@user/digit) (Ping timeout: 252 seconds)
2024-12-27 18:41:23 +0100euphores(~SASL_euph@user/euphores) euphores
2024-12-27 18:42:24 +0100mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2024-12-27 18:43:40 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-12-27 18:43:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 18:45:20 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 265 seconds)
2024-12-27 18:46:00 +0100mceresa(~mceresa@user/mceresa) mceresa
2024-12-27 18:47:37 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de)
2024-12-27 18:48:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 18:56:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 18:58:24 +0100pavonia(~user@user/siracusa) siracusa
2024-12-27 19:00:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-27 19:12:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-27 19:14:56 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-12-27 19:16:21 +0100simplystuart(~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
2024-12-27 19:17:08 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-27 19:17:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-27 19:19:20 +0100euleritian(~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-12-27 19:22:56 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-12-27 19:23:52 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-12-27 19:24:48 +0100mari-estel(~mari-este@user/mari-estel) ()
2024-12-27 19:30:23 +0100ephilalethes(~noumenon@202.186.200.33) noumenon
2024-12-27 19:30:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn