2025/06/30

2025-06-30 00:02:48 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-06-30 00:02:57 +0000jespada(~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds)
2025-06-30 00:03:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 00:03:36 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 00:04:58 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-06-30 00:08:05 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 00:08:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 00:08:52 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-06-30 00:11:11 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 00:12:43 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds)
2025-06-30 00:13:01 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 00:13:34 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-30 00:13:36 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 00:14:35 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 00:19:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 00:19:54 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 00:19:55 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-06-30 00:19:58 +0000Jeanne-Kamikaze(~jeannekam@static-23-234-92-147.cust.tzulo.com) Jeanne-Kamikaze
2025-06-30 00:20:01 +0000benkardmulk
2025-06-30 00:20:33 +0000mud(~mud@user/kadoban) kadoban
2025-06-30 00:21:18 +0000kadobanana(~mud@user/kadoban) (Ping timeout: 276 seconds)
2025-06-30 00:23:35 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 00:24:23 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 00:25:04 +0000jetchisel(~jetchisel@user/jetchisel) (Quit: Unfortunately time is always against us -- [Morpheus])
2025-06-30 00:26:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 00:27:24 +0000xff0x(~xff0x@2405:6580:b080:900:6c6f:d601:8f7b:365d) (Ping timeout: 244 seconds)
2025-06-30 00:27:52 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 00:29:06 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 00:32:55 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-06-30 00:33:11 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 00:33:23 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-06-30 00:34:39 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 00:35:41 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 00:38:19 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-06-30 00:40:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 00:41:08 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 00:41:30 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 00:42:02 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-30 00:42:20 +0000poscat(~poscat@user/poscat) poscat
2025-06-30 00:42:43 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-06-30 00:43:21 +0000jmorris(uid604645@id-604645.hampstead.irccloud.com) jmorris
2025-06-30 00:45:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-30 00:45:41 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-30 00:46:22 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 00:48:36 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 00:50:40 +0000inline(~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-06-30 00:50:57 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-06-30 00:52:46 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 00:54:50 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-30 00:55:46 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-30 00:55:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 00:56:51 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:00:49 +0000wbooze(~user@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline
2025-06-30 01:01:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 01:01:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-30 01:02:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-30 01:03:18 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-06-30 01:03:43 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:05:04 +0000ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-06-30 01:05:57 +0000wbooze_(~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline
2025-06-30 01:07:14 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:08:18 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-06-30 01:11:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 01:12:03 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 01:13:55 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 01:14:07 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 01:16:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 01:16:58 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:17:56 +0000inline__(~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline
2025-06-30 01:20:48 +0000wbooze_(~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2025-06-30 01:21:35 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 01:22:59 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 01:23:04 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:25:32 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-30 01:27:00 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:27:30 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-06-30 01:27:30 +0000benkardmulk
2025-06-30 01:27:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 01:28:07 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-06-30 01:29:43 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 01:31:52 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 01:32:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-30 01:35:04 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:37:16 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 01:39:44 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-06-30 01:40:22 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 01:40:24 +0000ski(~ski@remote11.chalmers.se) (Remote host closed the connection)
2025-06-30 01:42:10 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 01:42:37 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:43:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 01:45:48 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 01:49:35 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-06-30 01:49:37 +0000ski(~ski@remote11.chalmers.se) ski
2025-06-30 01:49:57 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:50:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-30 01:50:23 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds)
2025-06-30 01:51:11 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-30 01:54:52 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 01:54:54 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-06-30 01:54:58 +0000benkardmulk
2025-06-30 02:00:01 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-06-30 02:00:49 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:01:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 02:02:25 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 02:03:40 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 02:04:01 +0000Jeanne-Kamikaze(~jeannekam@static-23-234-92-147.cust.tzulo.com) (Remote host closed the connection)
2025-06-30 02:05:26 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:05:52 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-06-30 02:05:52 +0000benkardmulk
2025-06-30 02:06:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 02:08:27 +0000caubert(~caubert@user/caubert) (Ping timeout: 244 seconds)
2025-06-30 02:09:38 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-30 02:10:22 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 02:11:26 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:11:59 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 02:15:46 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 02:15:49 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-30 02:17:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 02:18:25 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:19:53 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 02:21:31 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-30 02:22:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-30 02:22:45 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-30 02:23:07 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 02:23:27 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-30 02:24:23 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 02:25:29 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:27:36 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 02:28:29 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 02:29:01 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:29:54 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 02:30:20 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 02:32:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 02:33:17 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 02:33:27 +0000td_(~td@i53870934.versanet.de) (Ping timeout: 252 seconds)
2025-06-30 02:33:45 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 02:34:12 +0000MaybeMonad(~MaybeMona@user/MaybeMonad) (Ping timeout: 252 seconds)
2025-06-30 02:35:19 +0000td_(~td@i53870930.versanet.de) td_
2025-06-30 02:36:50 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 02:37:38 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:38:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 02:38:55 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: Leaving)
2025-06-30 02:42:12 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:42:55 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-06-30 02:42:55 +0000benkardmulk
2025-06-30 02:43:09 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-30 02:46:12 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds)
2025-06-30 02:46:34 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-30 02:47:24 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 02:47:30 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-30 02:48:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 02:49:20 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:53:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 02:54:00 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 02:54:54 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 02:55:24 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 02:56:57 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 02:59:52 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:00:10 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 03:00:14 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-06-30 03:00:14 +0000benkardmulk
2025-06-30 03:02:22 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 03:02:45 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 03:04:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 03:04:49 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:04:52 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 03:04:59 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-06-30 03:04:59 +0000benkardmulk
2025-06-30 03:05:06 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-30 03:06:10 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 03:09:18 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 03:09:25 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-06-30 03:09:29 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 03:09:31 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:09:43 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 03:09:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-30 03:09:55 +0000benkardmulk
2025-06-30 03:09:59 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-30 03:10:43 +0000aforemny(~aforemny@2001:9e8:6cf9:b500:8f3f:3813:bdc7:284b) aforemny
2025-06-30 03:12:14 +0000aforemny_(~aforemny@2001:9e8:6cdb:9800:69b2:84ea:7158:964e) (Ping timeout: 265 seconds)
2025-06-30 03:14:04 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-06-30 03:14:54 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:18:58 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:19:58 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-06-30 03:20:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 03:23:05 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:23:07 +0000jmorris(uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-06-30 03:23:42 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 03:27:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 03:27:39 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-06-30 03:28:10 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:28:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: Ping timeout (120 seconds))
2025-06-30 03:28:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-30 03:32:30 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 03:33:07 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:33:42 +0000a_fantom(~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
2025-06-30 03:37:30 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 03:37:38 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 03:38:03 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:38:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 03:41:10 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 03:42:29 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-06-30 03:43:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-30 03:43:39 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:45:20 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 03:47:55 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:48:39 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-06-30 03:48:39 +0000benkardmulk
2025-06-30 03:49:04 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 03:53:16 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 03:53:19 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-06-30 03:53:31 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:53:55 +0000benkardmulk
2025-06-30 03:54:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 03:55:36 +0000arahael(~arahael@user/arahael) arahael
2025-06-30 03:58:26 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 03:58:34 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-06-30 03:58:35 +0000benkardmulk
2025-06-30 03:59:35 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 03:59:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 04:01:14 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 04:02:42 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:02:55 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 04:02:55 +0000benkardmulk
2025-06-30 04:03:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-30 04:04:24 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-06-30 04:05:02 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 04:05:39 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 04:06:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-30 04:06:59 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 04:07:27 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-06-30 04:07:41 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:09:42 +0000trickard_trickard
2025-06-30 04:09:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 04:09:56 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 04:10:16 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-30 04:11:22 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:11:56 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-06-30 04:11:56 +0000benkardmulk
2025-06-30 04:12:58 +0000caubert(~caubert@user/caubert) (Ping timeout: 272 seconds)
2025-06-30 04:15:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 04:15:50 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:16:04 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-06-30 04:16:04 +0000benkardmulk
2025-06-30 04:17:19 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 04:19:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-30 04:19:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-30 04:20:34 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 04:20:37 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-30 04:20:42 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:21:06 +0000benkardmulk
2025-06-30 04:25:11 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:25:25 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-30 04:25:25 +0000benkardmulk
2025-06-30 04:25:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 04:29:48 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 04:30:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 04:31:11 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:35:17 +0000benkard(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:35:34 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 04:35:34 +0000benkardmulk
2025-06-30 04:39:08 +0000Square(~Square@user/square) (Ping timeout: 245 seconds)
2025-06-30 04:40:12 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-06-30 04:40:38 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:41:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 04:45:12 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 04:45:33 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-06-30 04:46:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-30 04:46:40 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-06-30 04:50:10 +0000mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-06-30 04:57:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 05:00:30 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 05:03:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-06-30 05:04:38 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 05:06:43 +0000shawwwn(sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 252 seconds)
2025-06-30 05:09:20 +0000hook54321(sid149355@user/hook54321) (Ping timeout: 272 seconds)
2025-06-30 05:09:24 +0000michalz(~michalz@185.246.207.203)
2025-06-30 05:11:02 +0000shawwwn(sid6132@id-6132.helmsley.irccloud.com) shawwwn
2025-06-30 05:13:59 +0000michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2025-06-30 05:14:56 +0000hook54321(sid149355@user/hook54321) hook54321
2025-06-30 05:15:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 05:16:29 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 05:17:15 +0000michalz(~michalz@185.246.207.205)
2025-06-30 05:19:58 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 05:20:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 05:28:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 05:33:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 05:45:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 05:49:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-30 05:56:03 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-06-30 06:00:35 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 06:00:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 06:03:37 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 06:05:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 06:08:23 +0000GdeVolpi1GdeVolpiano
2025-06-30 06:09:01 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 06:09:39 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 06:09:44 +0000ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde
2025-06-30 06:12:22 +0000Nosrep(~jimothy@user/nosrep) (Ping timeout: 252 seconds)
2025-06-30 06:12:42 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 06:14:29 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-30 06:15:40 +0000mulk(~mulk@p5b112e4e.dip0.t-ipconnect.de) mulk
2025-06-30 06:16:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 06:17:04 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 06:17:14 +0000rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.9.1 - https://znc.in)
2025-06-30 06:18:46 +0000rembo10(~rembo10@main.remulis.com) rembo10
2025-06-30 06:20:29 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 06:21:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 06:22:08 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 06:24:30 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-06-30 06:25:24 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 06:30:53 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 06:31:38 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 06:32:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 06:32:35 +0000Nosrep(~jimothy@user/nosrep) Nosrep
2025-06-30 06:36:11 +0000kadobanana(~mud@user/kadoban) kadoban
2025-06-30 06:37:00 +0000mud(~mud@user/kadoban) (Ping timeout: 276 seconds)
2025-06-30 06:39:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 06:39:58 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-06-30 06:40:37 +0000 <haskellbridge> <Axman6> @unmtl StateT Claims (LogicT IO)
2025-06-30 06:41:02 +0000 <haskellbridge> <Axman6> D: am I too matrix for lambdabot?
2025-06-30 06:41:15 +0000 <Axman6> @unmtl StateT Claims (LogicT IO)
2025-06-30 06:41:15 +0000 <lambdabot> err: `StateT Claims (LogicT IO)' is not applied to enough arguments, giving `/\A. Claims -> LogicT IO (A, Claims)'
2025-06-30 06:41:20 +0000 <Axman6> @unmtl StateT Claims (LogicT IO) a
2025-06-30 06:41:20 +0000 <lambdabot> Claims -> LogicT IO (a, Claims)
2025-06-30 06:46:42 +0000Nosrep(~jimothy@user/nosrep) (Ping timeout: 248 seconds)
2025-06-30 06:46:44 +0000FANTOM(~fantom@33be818f.skybroadband.com)
2025-06-30 06:50:13 +0000ft(~ft@p3e9bc0bf.dip0.t-ipconnect.de) (Quit: leaving)
2025-06-30 06:50:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 06:51:09 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-30 06:52:06 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 06:55:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-30 06:59:11 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 07:00:02 +0000caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-30 07:00:42 +0000caconym7(~caconym@user/caconym) caconym
2025-06-30 07:00:52 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
2025-06-30 07:03:58 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 07:06:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 07:07:04 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 07:11:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 07:13:17 +0000__monty__(~toonn@user/toonn) toonn
2025-06-30 07:18:25 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 07:24:08 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 07:25:04 +0000acidjnk(~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) acidjnk
2025-06-30 07:34:12 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 07:34:36 +0000chele(~chele@user/chele) chele
2025-06-30 07:35:53 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds)
2025-06-30 07:36:39 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 07:36:50 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-30 07:37:05 +0000 <probie> Axman6: If you want to do it from Matrix, precede it with a newline
2025-06-30 07:41:22 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2025-06-30 07:41:42 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-06-30 07:42:41 +0000kadobanana(~mud@user/kadoban) (Ping timeout: 248 seconds)
2025-06-30 07:45:35 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 07:45:55 +0000kadobanana(~mud@user/kadoban) kadoban
2025-06-30 07:48:43 +0000caubert(~caubert@user/caubert) (Ping timeout: 245 seconds)
2025-06-30 07:49:16 +0000 <tomsmeding> Axman6: and put a . on the first line otherwise the newline will get swallowed
2025-06-30 07:49:33 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 07:49:39 +0000 <haskellbridge> <Axman6> D:
2025-06-30 07:50:22 +0000mud(~mud@user/kadoban) kadoban
2025-06-30 07:50:44 +0000kadobanana(~mud@user/kadoban) (Ping timeout: 260 seconds)
2025-06-30 07:55:13 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 07:57:02 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 07:57:02 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 08:00:08 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 08:00:22 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 08:02:00 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-30 08:03:07 +0000merijn(~merijn@77.242.116.146) merijn
2025-06-30 08:07:09 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-06-30 08:16:36 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-06-30 08:16:48 +0000Fischmie-(~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in)
2025-06-30 08:18:27 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 08:19:40 +0000Fischmiep(~Fischmiep@user/Fischmiep) Fischmiep
2025-06-30 08:20:39 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 08:20:40 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 08:20:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-30 08:24:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-30 08:25:12 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 08:25:23 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-06-30 08:28:43 +0000arahael(~arahael@user/arahael) (Ping timeout: 276 seconds)
2025-06-30 08:29:30 +0000fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-06-30 08:31:19 +0000caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-06-30 08:35:46 +0000dhil(~dhil@5.151.29.137) dhil
2025-06-30 08:37:14 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 08:38:22 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 08:39:23 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-06-30 08:39:53 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
2025-06-30 08:40:49 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 08:41:08 +0000merijn(~merijn@77.242.116.146) merijn
2025-06-30 08:49:44 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-06-30 08:49:54 +0000trickard_trickard
2025-06-30 08:51:49 +0000merijn(~merijn@77.242.116.146) merijn
2025-06-30 08:52:17 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 08:55:43 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 08:57:30 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 09:00:45 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 09:02:24 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-06-30 09:02:50 +0000kadobanana(~mud@user/kadoban) kadoban
2025-06-30 09:02:52 +0000mud(~mud@user/kadoban) (Ping timeout: 252 seconds)
2025-06-30 09:03:18 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 09:05:12 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2025-06-30 09:06:10 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 09:07:37 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 09:11:17 +0000merijn(~merijn@77.242.116.146) merijn
2025-06-30 09:14:45 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 09:18:50 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-30 09:20:26 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
2025-06-30 09:31:39 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-30 09:31:50 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-30 09:32:11 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 09:33:07 +0000kaskal-(~kaskal@2a02:8388:15bf:c200:6b44:aaf4:76f8:8b1) (Quit: ZNC - https://znc.in)
2025-06-30 09:33:28 +0000kaskal(~kaskal@2a02:8388:15bf:c200:2968:f867:8a66:34b3) kaskal
2025-06-30 09:35:04 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 09:36:08 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 09:38:21 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 09:45:28 +0000werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 272 seconds)
2025-06-30 09:47:07 +0000Digitteknohippie(~user@user/digit) Digit
2025-06-30 09:48:48 +0000Digit(~user@user/digit) (Ping timeout: 244 seconds)
2025-06-30 09:51:14 +0000trickard_trickard
2025-06-30 09:57:40 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 10:03:17 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 10:05:50 +0000MaybeMonad(~MaybeMona@user/MaybeMonad) MaybeMonad
2025-06-30 10:08:53 +0000fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds)
2025-06-30 10:17:34 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-06-30 10:22:18 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 10:22:32 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 10:23:57 +0000inline__inline
2025-06-30 10:24:26 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 10:24:58 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-06-30 10:25:12 +0000arahael(~arahael@user/arahael) arahael
2025-06-30 10:27:10 +0000jahkosha(~jahkosha@user/jahkosha) jahkosha
2025-06-30 10:27:36 +0000jahkosha(~jahkosha@user/jahkosha) (Remote host closed the connection)
2025-06-30 10:28:35 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 10:29:00 +0000merijn(~merijn@77.242.116.146) merijn
2025-06-30 10:30:41 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 10:33:07 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-06-30 10:34:10 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-06-30 10:34:26 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-06-30 10:34:29 +0000Lord_of_Life_Lord_of_Life
2025-06-30 10:35:30 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds)
2025-06-30 10:35:33 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-06-30 10:36:24 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 10:36:29 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 10:38:34 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-30 10:38:40 +0000DigitteknohippieDigit
2025-06-30 10:39:57 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-30 10:40:16 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 10:41:48 +0000califax(~califax@user/califx) califx
2025-06-30 10:45:33 +0000merijn(~merijn@77.242.116.146) merijn
2025-06-30 10:48:39 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 10:51:31 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 10:51:56 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 10:52:12 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 10:54:19 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-06-30 10:55:30 +0000merijn(~merijn@77.242.116.146) merijn
2025-06-30 10:56:14 +0000rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-06-30 10:56:47 +0000rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-06-30 10:59:01 +0000MaybeMonad(~MaybeMona@user/MaybeMonad) (Ping timeout: 248 seconds)
2025-06-30 11:00:05 +0000fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-06-30 11:01:40 +0000jespada(~jespada@r186-48-26-10.dialup.adsl.anteldata.net.uy) jespada
2025-06-30 11:02:38 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-06-30 11:03:50 +0000comerijn(~merijn@77.242.116.146) merijn
2025-06-30 11:05:42 +0000ftzm8(~ftzm@085080227187.dynamic.telenor.dk) ftzm
2025-06-30 11:06:00 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2025-06-30 11:06:32 +0000ftzm(~ftzm@085080234104.dynamic.telenor.dk) (Ping timeout: 272 seconds)
2025-06-30 11:06:33 +0000ftzm8ftzm
2025-06-30 11:06:45 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2025-06-30 11:11:10 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 11:11:38 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-06-30 11:13:58 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 11:17:09 +0000ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 248 seconds)
2025-06-30 11:21:40 +0000xff0x(~xff0x@2405:6580:b080:900:eeca:2e63:9b20:a17f)
2025-06-30 11:23:17 +0000Digitteknohippie(~user@user/digit) Digit
2025-06-30 11:23:22 +0000swistak(~swistak@185.21.216.141) (Quit: bye bye)
2025-06-30 11:23:40 +0000swistak(~swistak@185.21.216.141)
2025-06-30 11:24:16 +0000Digit(~user@user/digit) (Ping timeout: 265 seconds)
2025-06-30 11:27:23 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-06-30 11:28:53 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 11:32:26 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 11:34:24 +0000acidjnk(~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-06-30 11:36:03 +0000DigitteknohippieDigit
2025-06-30 11:40:10 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-30 11:41:28 +0000img(~img@user/img) img
2025-06-30 11:45:17 +0000comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-06-30 11:47:59 +0000merijn(~merijn@77.242.116.146) merijn
2025-06-30 11:50:51 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-06-30 11:51:36 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-30 11:51:55 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 244 seconds)
2025-06-30 11:51:56 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 11:53:26 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-30 11:54:57 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 11:56:03 +0000trickard_trickard
2025-06-30 11:59:28 +0000fp1(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-06-30 12:00:36 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
2025-06-30 12:01:03 +0000fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-06-30 12:01:03 +0000fp1fp
2025-06-30 12:01:31 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 12:07:36 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 12:09:51 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 12:16:02 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 12:19:08 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-30 12:20:00 +0000acidjnk(~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) acidjnk
2025-06-30 12:22:46 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 12:23:34 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 12:24:45 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-06-30 12:27:08 +0000haritz(~hrtz@152.37.64.162)
2025-06-30 12:27:08 +0000haritz(~hrtz@152.37.64.162) (Changing host)
2025-06-30 12:27:08 +0000haritz(~hrtz@user/haritz) haritz
2025-06-30 12:28:08 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 12:28:49 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-06-30 12:31:17 +0000fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds)
2025-06-30 12:33:53 +0000fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-06-30 12:34:33 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 12:39:12 +0000ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde
2025-06-30 12:41:22 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 12:46:35 +0000trickard_trickard
2025-06-30 12:48:21 +0000rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-06-30 12:49:27 +0000rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 276 seconds)
2025-06-30 12:49:31 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 12:50:48 +0000__monty__(~toonn@user/toonn) toonn
2025-06-30 12:52:38 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-06-30 12:52:47 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-06-30 12:55:12 +0000rvalue-rvalue
2025-06-30 13:05:27 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 13:05:53 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-06-30 13:08:30 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 13:09:15 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 13:11:15 +0000trickard_trickard
2025-06-30 13:13:04 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-06-30 13:14:25 +0000ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 248 seconds)
2025-06-30 13:14:48 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-06-30 13:19:21 +0000jespada(~jespada@r186-48-26-10.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
2025-06-30 13:22:27 +0000jespada(~jespada@179.26.248.242) jespada
2025-06-30 13:24:08 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 13:24:28 +0000myme(~myme@2a01:799:d5e:5f00:33d5:753e:da5c:fb23) (Ping timeout: 276 seconds)
2025-06-30 13:25:01 +0000myme(~myme@2a01:799:d5e:5f00:b35a:74:d167:4c1e) myme
2025-06-30 13:25:04 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-06-30 13:25:41 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 13:25:46 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-06-30 13:26:34 +0000j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-30 13:30:18 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 13:33:32 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 13:34:44 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-06-30 13:41:09 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 13:41:22 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 13:44:31 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 13:46:59 +0000oxapentane(~oxapentan@user/oxapentane) (Remote host closed the connection)
2025-06-30 13:47:34 +0000oxapentane(~oxapentan@user/oxapentane) oxapentane
2025-06-30 13:48:27 +0000 <yin> hls fails with the diagnostic error "Locading the module XXX failed. It may not be listed in your .cabal file!"
2025-06-30 13:48:54 +0000 <yin> this is the cabal file https://paste.jrvieira.com/1751291328014
2025-06-30 13:49:27 +0000ystael(~ystael@user/ystael) ystael
2025-06-30 13:49:37 +0000 <yin> i get this error on all Verse.XXX modules
2025-06-30 13:51:37 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 13:55:08 +0000 <tomsmeding> yin: not sure if this is it, but exposed-modules takes a list without commas
2025-06-30 13:55:16 +0000 <tomsmeding> just whitespace-separated
2025-06-30 13:55:44 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-06-30 13:56:38 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-30 14:00:19 +0000 <yin> what? first time I'm hearing about this
2025-06-30 14:01:08 +0000 <tomsmeding> apparently cabal supports both? TIL
2025-06-30 14:01:20 +0000 <tomsmeding> do you have a hie.yaml?
2025-06-30 14:01:44 +0000 <tomsmeding> have you tried closing your editor, running `rm -rf ~/.cache/ghcide`, running `cabal build`, and then reopening your editor?
2025-06-30 14:02:08 +0000 <tomsmeding> (the HLS equivalent of "have you tried to turn it off and on again")
2025-06-30 14:02:19 +0000 <yin> https://paste.jrvieira.com/1751292105319
2025-06-30 14:02:35 +0000 <yin> good idea. trying that
2025-06-30 14:02:40 +0000 <tomsmeding> yin: if you have a hie.yaml then HLS trusts that blindly
2025-06-30 14:02:40 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 14:02:46 +0000 <tomsmeding> you only have ./app in there so only ./app is known
2025-06-30 14:03:11 +0000 <tomsmeding> yin: try removing line 3 and 4 of hie.yaml, leaving just "cradle: cabal:" with a newline in between
2025-06-30 14:03:28 +0000 <tomsmeding> you can also try removing hie.yaml entirely
2025-06-30 14:03:52 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-30 14:05:05 +0000 <yin> that worked
2025-06-30 14:05:11 +0000 <yin> ty
2025-06-30 14:06:53 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
2025-06-30 14:07:54 +0000MaybeMonad(~MaybeMona@user/MaybeMonad) MaybeMonad
2025-06-30 14:09:23 +0000 <yin> i can't remember why i generated hie.yml in the first place
2025-06-30 14:10:42 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 276 seconds)
2025-06-30 14:13:59 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 14:14:44 +0000ZLima12(~zlima12@user/meow/ZLima12) (Remote host closed the connection)
2025-06-30 14:15:53 +0000ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-06-30 14:17:18 +0000j1n37(~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen)
2025-06-30 14:18:07 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 14:18:57 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-06-30 14:19:33 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 14:26:46 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-06-30 14:33:25 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 14:34:01 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-06-30 14:35:36 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 14:35:45 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 14:38:44 +0000trickard_trickard
2025-06-30 14:43:29 +0000fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds)
2025-06-30 14:43:51 +0000MaybeMonad(~MaybeMona@user/MaybeMonad) (Ping timeout: 268 seconds)
2025-06-30 14:44:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-30 14:44:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-30 14:45:13 +0000Square(~Square@user/square) Square
2025-06-30 14:45:49 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 265 seconds)
2025-06-30 14:45:56 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 14:50:19 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 14:51:40 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 14:53:03 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-30 14:57:17 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 14:59:49 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 15:02:18 +0000arahael(~arahael@user/arahael) (Ping timeout: 252 seconds)
2025-06-30 15:03:04 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-30 15:04:55 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
2025-06-30 15:09:16 +0000Ranhir(~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
2025-06-30 15:10:02 +0000Guest59(~Guest59@pool-100-36-178-27.washdc.fios.verizon.net)
2025-06-30 15:11:17 +0000Guest59(~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit)
2025-06-30 15:11:33 +0000patri(~patri@pool-100-36-178-27.washdc.fios.verizon.net)
2025-06-30 15:14:21 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-06-30 15:15:14 +0000pat67(~pat67@pool-100-36-178-27.washdc.fios.verizon.net) pat67
2025-06-30 15:15:30 +0000acidjnk(~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 15:15:36 +0000pat67(~pat67@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit)
2025-06-30 15:16:00 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 15:16:33 +0000pat67(~pat67@pool-100-36-178-27.washdc.fios.verizon.net) pat67
2025-06-30 15:16:44 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 15:18:49 +0000pat67(~pat67@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit)
2025-06-30 15:18:57 +0000patri(~patri@pool-100-36-178-27.washdc.fios.verizon.net) (Quit: Client closed)
2025-06-30 15:19:52 +0000AlexNoo(~AlexNoo@5.139.232.110) (Quit: Leaving)
2025-06-30 15:20:14 +0000AlexZenon(~alzenon@5.139.232.110) (Quit: ;-)
2025-06-30 15:26:05 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-06-30 15:28:37 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-06-30 15:29:22 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 272 seconds)
2025-06-30 15:29:47 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-06-30 15:31:39 +0000hiredman(~hiredman@frontier1.downey.family) hiredman
2025-06-30 15:33:54 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-30 15:34:56 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 15:37:07 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-06-30 15:40:57 +0000Pixi__(~Pixi@user/pixi) Pixi
2025-06-30 15:41:25 +0000ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-06-30 15:44:24 +0000Pixi`(~Pixi@user/pixi) (Ping timeout: 260 seconds)
2025-06-30 15:44:46 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 15:49:45 +0000acidjnk(~acidjnk@p200300d6e70b66275d7f857c8192c0ec.dip0.t-ipconnect.de) acidjnk
2025-06-30 15:50:53 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 15:52:49 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 15:53:07 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 15:55:16 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-30 15:55:46 +0000Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-06-30 15:55:54 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-06-30 15:58:42 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-06-30 16:02:53 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-30 16:03:32 +0000patri(~patri@pool-100-36-178-27.washdc.fios.verizon.net)
2025-06-30 16:04:51 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-06-30 16:07:17 +0000AlexNoo(~AlexNoo@5.139.232.110)
2025-06-30 16:10:02 +0000nacation(~m-3l4s76@user/nacation) nacation
2025-06-30 16:10:47 +0000patri(~patri@pool-100-36-178-27.washdc.fios.verizon.net) (Changing host)
2025-06-30 16:10:47 +0000patri(~patri@user/patri) patri
2025-06-30 16:14:10 +0000patri_(~patri@user/patri) patri
2025-06-30 16:14:12 +0000patri(~patri@user/patri) (Quit: Client closed)
2025-06-30 16:14:17 +0000Nosrep(~jimothy@user/nosrep) Nosrep
2025-06-30 16:14:19 +0000patri_patri
2025-06-30 16:14:36 +0000patri(~patri@user/patri) (Read error: Connection reset by peer)
2025-06-30 16:15:02 +0000patri(~patri@user/patri) patri
2025-06-30 16:21:52 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-06-30 16:22:02 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 16:24:54 +0000ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde
2025-06-30 16:28:02 +0000trickard_trickard
2025-06-30 16:29:44 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-06-30 16:31:18 +0000ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 252 seconds)
2025-06-30 16:33:41 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
2025-06-30 16:33:54 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 16:34:41 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 16:35:00 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 16:38:18 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 16:38:28 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 16:45:07 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-30 16:48:05 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 16:51:45 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 16:53:12 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 16:56:18 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 16:58:48 +0000AlexNoo(~AlexNoo@5.139.232.110) (Quit: Leaving)
2025-06-30 17:03:31 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-06-30 17:08:20 +0000nacation(~m-3l4s76@user/nacation) (Remote host closed the connection)
2025-06-30 17:09:13 +0000wbrawner(~wbrawner@static.205.41.78.5.clients.your-server.de) (Read error: Connection reset by peer)
2025-06-30 17:09:23 +0000nacation(~m-3l4s76@user/nacation) nacation
2025-06-30 17:09:33 +0000wbrawner(~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner
2025-06-30 17:09:48 +0000Pixi__Pixi
2025-06-30 17:14:49 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 17:19:31 +0000hseg(~gesh@46.120.20.122)
2025-06-30 17:19:45 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 17:24:45 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-30 17:25:16 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
2025-06-30 17:26:08 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-06-30 17:28:04 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-30 17:28:34 +0000AlexNoo(~AlexNoo@5.139.232.110)
2025-06-30 17:28:39 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
2025-06-30 17:30:10 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 17:31:09 +0000jespada(~jespada@179.26.248.242) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-06-30 17:32:55 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 17:34:25 +0000poscat0x04(~poscat@user/poscat) poscat
2025-06-30 17:36:24 +0000poscat(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-06-30 17:37:18 +0000jespada(~jespada@179.26.248.242) jespada
2025-06-30 17:38:23 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 17:39:31 +0000AlexZenon(~alzenon@5.139.232.110)
2025-06-30 17:41:08 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 17:41:09 +0000ft(~ft@p3e9bc301.dip0.t-ipconnect.de) ft
2025-06-30 17:41:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 17:43:39 +0000trickard_trickard
2025-06-30 17:46:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-30 17:46:28 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-06-30 17:47:33 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-06-30 17:50:58 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-06-30 17:51:43 +0000euphores(~SASL_euph@user/euphores) euphores
2025-06-30 17:57:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 17:58:33 +0000j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-06-30 17:58:54 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 18:03:03 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-30 18:03:16 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-06-30 18:03:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-30 18:09:25 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 18:12:42 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 18:14:14 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 18:15:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 18:16:28 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 18:18:14 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-06-30 18:18:59 +0000 <haskellbridge> <Kyle Butt> Trying to reach as wide an audience as possible: I am seeking to take over maintainership of the cql and cql-io packages: https://discourse.haskell.org/t/taking-over-cql-and-cql-io/12397
2025-06-30 18:20:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 18:22:27 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 18:25:56 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 18:26:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 18:26:40 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-30 18:26:46 +0000eron(~eron@177.95.127.170) lidenbrock
2025-06-30 18:27:38 +0000sprotte24(~sprotte24@p200300d16f383100e04d61c54c10fc45.dip0.t-ipconnect.de)
2025-06-30 18:27:51 +0000califax(~califax@user/califx) califx
2025-06-30 18:28:47 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-06-30 18:29:25 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 18:30:54 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 18:31:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-30 18:31:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 18:36:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-30 18:39:27 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 18:41:11 +0000 <[exa]> Kyle Butt: good luck there
2025-06-30 18:42:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 18:44:54 +0000 <[exa]> Kyle Butt: btw it's super useful to link everything you claim in the post (important additions); and also great to have some kind of a proof that you tried to contact and waited for a while (open an issue in the repository or so, so that it can be seen as hanging, AND link it to discourse)
2025-06-30 18:46:00 +0000rat-with-hat(~rat-with-@24-113-114-97.wavecable.com)
2025-06-30 18:46:01 +0000eron(~eron@177.95.127.170) (Quit: Client closed)
2025-06-30 18:47:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 18:50:13 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 18:50:29 +0000mulk(~mulk@p5b112e4e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-30 18:51:15 +0000 <[exa]> Kyle Butt: I see the link there, perfect :)
2025-06-30 18:51:40 +0000chele(~chele@user/chele) (Remote host closed the connection)
2025-06-30 18:51:51 +0000mulk(~mulk@p5b2dcd60.dip0.t-ipconnect.de) mulk
2025-06-30 18:53:24 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 18:55:01 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 18:55:21 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 18:57:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 19:00:02 +0000caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-30 19:00:45 +0000caconym7(~caconym@user/caconym) caconym
2025-06-30 19:01:43 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 19:02:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-30 19:03:45 +0000hseg(~gesh@46.120.20.122) (Ping timeout: 252 seconds)
2025-06-30 19:07:38 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-06-30 19:13:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 19:16:51 +0000Everything(~Everythin@46.211.149.82) Everything
2025-06-30 19:18:19 +0000ft(~ft@p3e9bc301.dip0.t-ipconnect.de) (Quit: leaving)
2025-06-30 19:19:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 19:20:22 +0000ft(~ft@p3e9bc301.dip0.t-ipconnect.de) ft
2025-06-30 19:21:57 +0000machinedgod(~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod
2025-06-30 19:22:58 +0000machinedgod(~machinedg@d162-157-250-39.abhsia.telus.net) (Client Quit)
2025-06-30 19:24:32 +0000Digitteknohippie(~user@user/digit) Digit
2025-06-30 19:24:53 +0000Digit(~user@user/digit) (Ping timeout: 244 seconds)
2025-06-30 19:26:00 +0000trickard_trickard
2025-06-30 19:26:08 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-30 19:26:31 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-06-30 19:27:01 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 19:27:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 19:28:51 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 19:28:56 +0000machinedgod(~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod
2025-06-30 19:29:25 +0000 <[exa]> hm so I see there's Unfoldable class https://hackage.haskell.org/package/unfoldable-1.0.1/docs/Data-Unfoldable.html . Are there any cases of stuff that are Unfoldable but not Traversable ?
2025-06-30 19:29:57 +0000caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-06-30 19:32:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-30 19:32:58 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 19:37:30 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-06-30 19:37:51 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-06-30 19:43:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 19:49:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-30 19:50:45 +0000d34db33f(~d34db33f@user/d34db33f) d34db33f
2025-06-30 19:55:15 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 19:56:36 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Disconnected: closed)
2025-06-30 19:58:35 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 19:59:44 +0000j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-30 20:00:19 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 20:01:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 20:04:13 +0000michalz(~michalz@185.246.207.205) (Ping timeout: 276 seconds)
2025-06-30 20:04:46 +0000michalz(~michalz@185.246.207.205)
2025-06-30 20:05:06 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 20:06:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 20:11:46 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-06-30 20:12:25 +0000machinedgod(~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-06-30 20:15:34 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 20:15:54 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-06-30 20:16:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 20:21:10 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-06-30 20:22:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 20:22:50 +0000machinedgod(~machinedg@d172-219-249-147.abhsia.telus.net) machinedgod
2025-06-30 20:22:55 +0000machinedgod(~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer)
2025-06-30 20:23:20 +0000Everything(~Everythin@46.211.149.82) (Quit: leaving)
2025-06-30 20:24:15 +0000j1n37-(~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen)
2025-06-30 20:25:32 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 20:36:59 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 20:39:57 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-30 20:43:32 +0000machinedgod(~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod
2025-06-30 20:44:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 20:46:12 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 20:49:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-30 20:51:12 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 20:54:04 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 20:54:26 +0000 <tomsmeding> [exa]: Endo?
2025-06-30 20:55:06 +0000 <tomsmeding> I feel like if Unfoldable has any laws, the only possible 'instance Unfoldable Endo' is liable to break them, but not sure
2025-06-30 20:55:28 +0000 <tomsmeding> but I'm quite sure Endo is not Traversable, in any case
2025-06-30 20:56:36 +0000tomsmedingis not even sure how to intuitively think about that Unfoldable class
2025-06-30 20:57:02 +0000 <[exa]> yeah to me it looks like "could just run traverse over state", not really sure where that could break
2025-06-30 20:57:16 +0000 <[exa]> infinite trees would break it operationally but that's all I could come up with
2025-06-30 20:57:32 +0000 <tomsmeding> but infinite trees would also break Traversable
2025-06-30 20:58:53 +0000 <tomsmeding> (the Endo instance is 'unfold = fmap (Endo . const)')
2025-06-30 20:59:02 +0000 <tomsmeding> (fairly sure there is no other total instance)
2025-06-30 20:59:11 +0000 <tomsmeding> (stuff's too polymorphic)
2025-06-30 20:59:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 21:00:44 +0000 <tomsmeding> okay I thought about it a bit more, and my Endo instance does kind of work with the intent of the class: given a way to generate an 'a', it describes how you can generate an 'Endo a'
2025-06-30 21:01:00 +0000 <tomsmeding> it's just that there's (for most 'a') a boatload of values of 'Endo a' that this will not generate
2025-06-30 21:01:16 +0000 <tomsmeding> so it's not a very _good_ generator, but it is technically a generator
2025-06-30 21:01:54 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-30 21:03:36 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 21:04:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 21:06:54 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 21:07:16 +0000 <tomsmeding> [exa]: but I don't really understand what you mean with "could just run traverse over state"; what would you traverse over? 'unfold' does not get a t as input, it has to produce one
2025-06-30 21:07:56 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-06-30 21:10:14 +0000 <[exa]> yeah I somehow pre-assumed that
2025-06-30 21:11:09 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 21:11:17 +0000 <[exa]> (as in, I completely neglected the ability to actually create the structure, and that's the point.)
2025-06-30 21:11:22 +0000 <[exa]> ok good, answered. thanks. :D
2025-06-30 21:12:37 +0000notzmv(~umar@user/notzmv) notzmv
2025-06-30 21:15:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 21:19:28 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 21:19:51 +0000 <EvanR> actually creating values or structures? overrated
2025-06-30 21:20:00 +0000 <EvanR> type level is all you need
2025-06-30 21:20:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 21:26:42 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 21:28:34 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-06-30 21:28:55 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-06-30 21:29:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 21:30:05 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 21:31:50 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-06-30 21:32:20 +0000machinedgod(~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-06-30 21:34:27 +0000machinedgod(~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod
2025-06-30 21:35:46 +0000notzmv(~umar@user/notzmv) (Ping timeout: 248 seconds)
2025-06-30 21:36:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 21:37:58 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds)
2025-06-30 21:43:02 +0000dhil(~dhil@5.151.29.137) (Ping timeout: 272 seconds)
2025-06-30 21:45:41 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-06-30 21:46:40 +0000tromp(~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-30 21:46:46 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-30 21:47:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 21:47:31 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-06-30 21:48:39 +0000sprotte24(~sprotte24@p200300d16f383100e04d61c54c10fc45.dip0.t-ipconnect.de) (Quit: Leaving)
2025-06-30 21:50:04 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-06-30 21:52:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-30 21:53:10 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 21:56:05 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 21:57:23 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-06-30 22:03:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 22:03:30 +0000machinedgod(~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-06-30 22:07:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-06-30 22:09:46 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 22:12:12 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 22:12:40 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-30 22:13:14 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 22:16:38 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 22:18:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 22:22:06 +0000DigitteknohippieDigit
2025-06-30 22:23:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-30 22:26:09 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-30 22:26:27 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-06-30 22:34:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 22:36:47 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-30 22:39:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-30 22:41:03 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-06-30 22:45:24 +0000perro(~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 260 seconds)
2025-06-30 22:47:17 +0000perro(~aaron@syn-072-191-245-069.res.spectrum.com)
2025-06-30 22:50:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 22:55:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-30 23:01:16 +0000j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 23:05:11 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 23:05:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 23:12:50 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 23:13:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-30 23:16:41 +0000tekmelt(~meltek___@user/Discordian93) Discordian93
2025-06-30 23:16:46 +0000biberu\(~biberu@user/biberu) biberu
2025-06-30 23:17:59 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 23:18:13 +0000caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-06-30 23:19:49 +0000biberu(~biberu@user/biberu) (Ping timeout: 248 seconds)
2025-06-30 23:19:49 +0000biberu\biberu
2025-06-30 23:23:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 23:24:41 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-06-30 23:24:53 +0000acidjnk(~acidjnk@p200300d6e70b66275d7f857c8192c0ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-30 23:26:53 +0000tabaqui(~tabaqui@167.71.80.236) (Client Quit)
2025-06-30 23:27:19 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-06-30 23:28:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-30 23:32:24 +0000caubert(~caubert@user/caubert) caubert
2025-06-30 23:36:28 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 23:39:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 23:40:33 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 23:43:42 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: "Até amanhã")
2025-06-30 23:44:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-30 23:44:41 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-30 23:48:45 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-30 23:55:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-30 23:59:14 +0000FANTOM(~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)