| 2025-09-26 00:02:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-26 00:02:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-26 00:05:29 +0200 | jespada | (~jespada@2800:a4:222a:f100:b144:39f:a5a1:4c07) (Ping timeout: 244 seconds) |
| 2025-09-26 00:05:37 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-26 00:07:02 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2025-09-26 00:07:51 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 00:07:51 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 00:07:51 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 00:08:35 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 244 seconds) |
| 2025-09-26 00:10:49 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-26 00:12:42 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-26 00:13:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 00:20:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 00:21:04 +0200 | jaror3 | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2025-09-26 00:21:52 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 00:21:52 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 00:21:52 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 00:22:04 +0200 | annamalai | (~annamalai@157.33.192.222) (Ping timeout: 256 seconds) |
| 2025-09-26 00:31:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 00:32:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-26 00:36:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-26 00:47:09 +0200 | raoul | (~raoul@95.179.203.88) raoul |
| 2025-09-26 00:47:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 00:49:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) |
| 2025-09-26 00:52:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 00:58:53 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-26 00:59:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-26 01:00:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-26 01:03:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 01:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 01:13:41 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-09-26 01:19:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 01:22:37 +0200 | sprotte24 | (~sprotte24@p200300d16f0e6a00fcc3ca86f5b171e0.dip0.t-ipconnect.de) |
| 2025-09-26 01:22:48 +0200 | sprotte24 | (~sprotte24@p200300d16f0e6a00fcc3ca86f5b171e0.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-09-26 01:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-26 01:24:57 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 01:25:02 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-26 01:27:07 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-26 01:32:05 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-26 01:36:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 01:41:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-26 01:41:32 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 01:43:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-09-26 01:44:09 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 01:48:06 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 01:48:06 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 01:48:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 01:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 01:54:04 +0200 | st_aldini | (~Thunderbi@136.48.46.187) (Remote host closed the connection) |
| 2025-09-26 01:58:06 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-26 01:58:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-26 02:04:32 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-26 02:09:23 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-09-26 02:09:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 02:11:06 +0200 | acidjnk | (~acidjnk@p200300d6e7171936b1379f225ef04baa.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-26 02:11:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
| 2025-09-26 02:15:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 02:19:13 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 02:20:10 +0200 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
| 2025-09-26 02:25:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 02:29:01 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-09-26 02:30:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-26 02:33:37 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-09-26 02:39:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 02:41:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 02:42:07 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 02:44:25 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-09-26 02:46:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-26 02:53:53 +0200 | Square | (~Square4@user/square) Square |
| 2025-09-26 02:57:01 +0200 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-09-26 02:57:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 03:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-26 03:08:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-26 03:12:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 03:14:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 03:19:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 03:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 03:20:15 +0200 | trickard_ | trickard |
| 2025-09-26 03:25:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-26 03:30:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 03:32:27 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-09-26 03:33:35 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-09-26 03:33:35 +0200 | ChanServ | +v haskellbridge |
| 2025-09-26 03:35:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 03:41:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 03:56:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-26 03:57:33 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-26 03:59:23 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 03:59:23 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 03:59:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 04:02:31 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-26 04:03:40 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-26 04:13:15 +0200 | <dcpagan> | I want to define a prism that matches a list with a single element, and then get that element. |
| 2025-09-26 04:13:31 +0200 | <dcpagan> | _single :: (Cons s s a a, AsEmpty s) => Traversal' s a |
| 2025-09-26 04:13:33 +0200 | <dcpagan> | _single = _Cons . aside _Empty . _1 |
| 2025-09-26 04:13:56 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 04:14:48 +0200 | <dcpagan> | It works on my code: It works on my code: https://github.com/DCPagan/Exercism-Haskell/blob/master/go-counting/src/Counting.hs#L57-L58 |
| 2025-09-26 04:14:57 +0200 | <dcpagan> | However, I cannot review on it. |
| 2025-09-26 04:15:22 +0200 | <dcpagan> | `_single # 1` does not work. |
| 2025-09-26 04:15:46 +0200 | <dcpagan> | How does review work with prisms? |
| 2025-09-26 04:16:39 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-26 04:18:56 +0200 | annamalai | (~annamalai@2409:4042:d8e:423e::9e8a:bb11) annamalai |
| 2025-09-26 04:19:23 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2025-09-26 04:19:41 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 04:19:42 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 04:19:42 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 04:21:01 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-09-26 04:21:12 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Ping timeout: 256 seconds) |
| 2025-09-26 04:22:49 +0200 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-09-26 04:23:48 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-09-26 04:24:04 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-09-26 04:26:27 +0200 | <dibblego> | you could use preview, but it will always return Nothing, by single element do you mean the head of the list? You cannot have that Prism, but you can have the Traversal |
| 2025-09-26 04:28:46 +0200 | <dcpagan> | This works: |
| 2025-09-26 04:28:48 +0200 | <dcpagan> | _singular :: Prism' [a] a |
| 2025-09-26 04:28:50 +0200 | <dcpagan> | _singular = prism (:[]) $ \case |
| 2025-09-26 04:28:52 +0200 | <dcpagan> | [] -> Left [] |
| 2025-09-26 04:28:54 +0200 | <dcpagan> | h:t -> if null t then Right h else Left (h:t) |
| 2025-09-26 04:29:18 +0200 | <dcpagan> | So I can't review Traversals? |
| 2025-09-26 04:30:49 +0200 | <dibblego> | ok yes that works on the head of a single-element list |
| 2025-09-26 04:32:02 +0200 | <dibblego> | no, you cannot review a traversal, which can be seen in this diagram: https://hackage.haskell.org/package/lens |
| 2025-09-26 04:32:22 +0200 | <dibblego> | i.e. Traversal is not Review |
| 2025-09-26 04:32:50 +0200 | <dibblego> | you can review [Review, Prism, Iso, Equality] |
| 2025-09-26 04:35:06 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-26 04:36:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-26 04:38:09 +0200 | <dcpagan> | Would have been nice to generically compose my prism with _Cons and _Empty; I thought I was clever with that one-liner. |
| 2025-09-26 04:44:43 +0200 | <Leary> | It can still be a fine one-liner: `_singular = prism pure \case{ [x] -> Right x; xs -> Left xs }` |
| 2025-09-26 04:49:43 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-09-26 04:51:49 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-26 04:55:21 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-09-26 05:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:05:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 05:10:43 +0200 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-09-26 05:14:06 +0200 | a_fantom | (~fantom@90.244.165.186) (Quit: Connection error?!) |
| 2025-09-26 05:15:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:17:29 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-09-26 05:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 05:21:18 +0200 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-09-26 05:22:30 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 05:22:46 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 05:24:10 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-26 05:24:28 +0200 | Jackneill | (~Jackneill@91-83-15-174.pool.digikabel.hu) |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 05:29:57 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-26 05:30:25 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-09-26 05:31:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:32:42 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-09-26 05:36:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 05:38:26 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-26 05:41:49 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 05:43:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:48:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 05:56:37 +0200 | aforemny_ | (~aforemny@i577B1314.versanet.de) aforemny |
| 2025-09-26 05:57:20 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:cc00:f470:f628:9e0c:882f) (Ping timeout: 244 seconds) |
| 2025-09-26 05:59:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 06:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 06:15:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 06:21:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-26 06:23:25 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-26 06:28:07 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-09-26 06:33:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 06:38:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 06:41:26 +0200 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-09-26 06:46:19 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-26 06:46:19 +0200 | michalz_ | (~michalz@185.246.207.197) |
| 2025-09-26 06:48:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 06:49:47 +0200 | Dykam_ | (Dykam@dykam.nl) Dykam |
| 2025-09-26 06:54:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-26 06:54:47 +0200 | michalz | (~michalz@185.246.207.203) (*.net *.split) |
| 2025-09-26 06:54:48 +0200 | mange | (~mange@user/mange) (*.net *.split) |
| 2025-09-26 06:54:48 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-09-26 06:54:48 +0200 | jreicher | (~user@user/jreicher) (*.net *.split) |
| 2025-09-26 06:54:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2025-09-26 06:54:48 +0200 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
| 2025-09-26 06:54:48 +0200 | AlexZenon | (~alzenon@5.139.232.123) (*.net *.split) |
| 2025-09-26 06:54:49 +0200 | Eoco | (~ian@128.101.131.218) (*.net *.split) |
| 2025-09-26 06:55:48 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-26 06:55:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-26 06:55:48 +0200 | AlexZenon | (~alzenon@5.139.232.123) |
| 2025-09-26 06:55:48 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-09-26 06:56:10 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-26 06:56:58 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-26 07:00:03 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-26 07:04:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 07:09:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-26 07:10:05 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-26 07:11:15 +0200 | Guest31 | (~Guest31@laubervilliers-657-1-12-199.w80-12.abo.wanadoo.fr) (Quit: Client closed) |
| 2025-09-26 07:13:23 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-26 07:19:22 +0200 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-09-26 07:20:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 07:25:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 07:26:32 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-09-26 07:32:20 +0200 | FANTOM | (~fantom@90.244.165.186) |
| 2025-09-26 07:34:38 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-09-26 07:36:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 07:36:42 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-26 07:42:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 07:44:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 07:46:57 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-09-26 07:48:26 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-26 07:48:33 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 07:55:15 +0200 | Digit | (~user@user/digit) Digit |
| 2025-09-26 08:00:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 08:01:15 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-09-26 08:07:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 08:08:29 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-09-26 08:10:54 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 08:12:53 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 08:17:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-26 08:18:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 08:21:13 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-26 08:23:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 08:26:25 +0200 | pyrex | (~pyrex@user/pyrex) (Quit: skreek!!) |
| 2025-09-26 08:26:46 +0200 | pyrex | (~pyrex@user/pyrex) pyrex |
| 2025-09-26 08:27:46 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-26 08:29:19 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 08:29:20 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 08:29:20 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 08:31:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-26 08:34:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 08:39:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 08:39:37 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 08:41:57 +0200 | Googulator89 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-09-26 08:45:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 08:50:08 +0200 | qqe | (~qqq@185.54.23.100) (Ping timeout: 240 seconds) |
| 2025-09-26 08:51:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 08:52:13 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-26 08:52:27 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-26 08:52:57 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-09-26 08:54:12 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-09-26 08:55:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) |
| 2025-09-26 09:00:01 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-26 09:00:40 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-26 09:01:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 09:06:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-26 09:09:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-09-26 09:14:55 +0200 | qqe | (~qqq@185.54.23.100) (Ping timeout: 240 seconds) |
| 2025-09-26 09:17:07 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-26 09:17:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 09:21:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 09:24:37 +0200 | acidjnk | (~acidjnk@p200300d6e7171948b1379f225ef04baa.dip0.t-ipconnect.de) acidjnk |
| 2025-09-26 09:25:47 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 09:27:35 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit) |
| 2025-09-26 09:32:08 +0200 | ft | (~ft@p4fc2a225.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-26 09:32:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 09:33:46 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-26 09:35:31 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.7.0) |
| 2025-09-26 09:36:01 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-09-26 09:37:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 09:43:27 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-26 09:44:09 +0200 | annamalai | (~annamalai@2409:4042:d8e:423e::9e8a:bb11) (Ping timeout: 244 seconds) |
| 2025-09-26 09:45:33 +0200 | annamalai | (~annamalai@157.32.130.254) annamalai |
| 2025-09-26 09:46:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 09:49:43 +0200 | annamalai | (~annamalai@157.32.130.254) (Ping timeout: 240 seconds) |
| 2025-09-26 09:50:03 +0200 | trickard_ | trickard |
| 2025-09-26 09:51:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 09:53:15 +0200 | annamalai | (~annamalai@157.32.118.51) annamalai |
| 2025-09-26 09:53:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 09:56:28 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.7.1) |
| 2025-09-26 09:57:25 +0200 | annamalai | (~annamalai@157.32.118.51) (Ping timeout: 245 seconds) |
| 2025-09-26 09:57:54 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-09-26 10:02:59 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 10:04:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 10:05:37 +0200 | Googulator89 | (~Googulato@81.183.235.203) |
| 2025-09-26 10:07:18 +0200 | chele | (~chele@user/chele) chele |
| 2025-09-26 10:09:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 10:09:24 +0200 | Googulator89 | Googulator |
| 2025-09-26 10:12:50 +0200 | dhil | (~dhil@5.151.29.138) dhil |
| 2025-09-26 10:13:46 +0200 | Googulator75 | (~Googulato@81.183.235.203) |
| 2025-09-26 10:14:23 +0200 | Googulator13 | (~Googulato@81.183.235.203) |
| 2025-09-26 10:14:49 +0200 | ridcully | (~ridcully@p57b5234b.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0) |
| 2025-09-26 10:15:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 10:17:17 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 10:18:09 +0200 | Googulator75 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 10:18:13 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-09-26 10:20:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-26 10:20:50 +0200 | Googulator13 | Googulator |
| 2025-09-26 10:20:59 +0200 | annamalai | (~annamalai@157.32.127.99) annamalai |
| 2025-09-26 10:22:19 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 10:24:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-26 10:26:08 +0200 | Googulator25 | (~Googulato@81.183.235.203) |
| 2025-09-26 10:26:22 +0200 | Googulator | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-09-26 10:26:51 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 10:27:12 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-26 10:28:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 10:34:45 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-26 10:35:45 +0200 | ridcully | (~ridcully@p57b5234b.dip0.t-ipconnect.de) ridcully |
| 2025-09-26 10:40:47 +0200 | Googulator70 | (~Googulato@81.183.235.203) |
| 2025-09-26 10:41:21 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-09-26 10:43:03 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-09-26 10:43:43 +0200 | Googulator25 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 10:46:51 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
| 2025-09-26 10:47:33 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 2025-09-26 10:50:28 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 10:53:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-09-26 10:56:55 +0200 | fp | (~Thunderbi@wireless-86-50-141-96.open.aalto.fi) fp |
| 2025-09-26 10:57:24 +0200 | fp | (~Thunderbi@wireless-86-50-141-96.open.aalto.fi) (Client Quit) |
| 2025-09-26 10:58:08 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-26 10:59:36 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-09-26 11:01:28 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-09-26 11:04:25 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 11:11:35 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-26 11:12:44 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 11:15:12 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-26 11:15:21 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-26 11:17:34 +0200 | michals | (~michals@ip-109-42-117-69.web.vodafone.de) laxmik |
| 2025-09-26 11:17:40 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-26 11:33:36 +0200 | michals | (~michals@ip-109-42-117-69.web.vodafone.de) (Quit: michals) |
| 2025-09-26 11:34:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-09-26 11:41:41 +0200 | Jackneill_ | (~Jackneill@94-21-95-86.pool.digikabel.hu) |
| 2025-09-26 11:44:07 +0200 | Jackneill | (~Jackneill@91-83-15-174.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-09-26 11:49:16 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-09-26 11:49:20 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 11:50:06 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-09-26 11:52:10 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 11:52:10 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 11:52:10 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 11:56:39 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-09-26 12:00:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-26 12:06:25 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-09-26 12:12:23 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-26 12:14:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-09-26 12:18:03 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 12:26:12 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-26 12:48:58 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-26 12:48:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-26 12:53:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-09-26 12:58:15 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 13:00:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 13:02:55 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-09-26 13:04:05 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 13:05:50 +0200 | <[exa]> | is there some good way/approach/systematization to "combine" errors? E.g. I have 2 parts of a program, one fails in a way that looks like a retry would help, another fails in a way that suggests reconfiguration is needed. I want them to somehow automagically combine so that other parts of the program may derive e.g. if they should retry or contact admins instead |
| 2025-09-26 13:05:57 +0200 | <[exa]> | maybe s/errors/recommendations/ at this point |
| 2025-09-26 13:06:37 +0200 | <[exa]> | and well ofc if there was a good functional way to model that, it would be <3 :) |
| 2025-09-26 13:08:31 +0200 | <tomsmeding> | [exa]: Validation? |
| 2025-09-26 13:08:53 +0200 | <tomsmeding> | @hackage validation |
| 2025-09-26 13:08:53 +0200 | <lambdabot> | https://hackage.haskell.org/package/validation |
| 2025-09-26 13:09:20 +0200 | <tomsmeding> | i.e. just Either but with no Monad instance, and an Applicative instance that proceeds and collects all errors instead of stopping |
| 2025-09-26 13:09:43 +0200 | <[exa]> | yeah well validation collects the errors into a semigroup (that's good) but I was kinda asking more about how to structure (and interpret) that semigroup |
| 2025-09-26 13:09:49 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-26 13:10:13 +0200 | <tomsmeding> | data Error = RetryNeeded | ReconfigNeeded; type Errors = [Error] |
| 2025-09-26 13:10:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 13:10:34 +0200 | <tomsmeding> | perhaps instead data Error = RetryNeeded | ReconfigNeeded deriving (Eq, Ord); type Errors = Set Error |
| 2025-09-26 13:10:55 +0200 | <[exa]> | yeah that way I could do a maximum on that and just go with what's worst |
| 2025-09-26 13:10:56 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-09-26 13:11:07 +0200 | <haskellbridge> | <sm> [exa] I think that gets pretty complicated and a more sequential / prioritised handling of single errors can be more practical |
| 2025-09-26 13:11:39 +0200 | <tomsmeding> | if you just want the maximum, type Errors = Data.Monoid.Max Error |
| 2025-09-26 13:11:41 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 13:11:46 +0200 | <[exa]> | yeah I got to a situation where handing the error combinations by one is a bit to much |
| 2025-09-26 13:11:54 +0200 | <[exa]> | so kinda scanning for possibilities |
| 2025-09-26 13:12:54 +0200 | <haskellbridge> | <sm> if you can meaningfully collect and list them all, that could be another approach |
| 2025-09-26 13:13:39 +0200 | <tomsmeding> | if your errors are not linearly ordered then I wonder if there's some clever kind of lattice-based deduplication algorithm you could run on the Set Error :p |
| 2025-09-26 13:13:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-26 13:15:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-26 13:15:12 +0200 | <[exa]> | hm lattice |
| 2025-09-26 13:15:12 +0200 | <tomsmeding> | if you want more detail you can either add fields to the RetryNeeded/ReconfigNeeded constructors, or instead transpose the thing and have `data Error` be the long sum type of actual fine-grained errors, and have `isRetryNeeded :: Error -> Bool` and `isReconfigNeeded :: Error -> Bool` |
| 2025-09-26 13:15:22 +0200 | <tomsmeding> | lattice ~ partial order in my mind |
| 2025-09-26 13:15:53 +0200 | <[exa]> | yeah you know what, I thought I can live with the ordering of the errors but I was hitting a problem where I didn't know what the useful maxima would be |
| 2025-09-26 13:16:09 +0200 | <[exa]> | now if I could have more maxima, I guess interpretation is gonna be harder but it solves the issue |
| 2025-09-26 13:17:12 +0200 | <tomsmeding> | perhaps a stupid slow but working version of that lattice approach is: type Errors = Set Error; then have `reduce :: Errors -> Errors` that loops over all pairs (e1, e2) in the set (i.e. it's O(n^2)) and if e1 < e2 in your partial order, then e1 is removed from the set |
| 2025-09-26 13:17:38 +0200 | <tomsmeding> | then you could choose to run `reduce` in the (<>) on Errors (if you make it a newtype), or you could run `reduce` at the end once only |
| 2025-09-26 13:17:59 +0200 | <tomsmeding> | you can probably do better than O(n^2) somehow, but this may well be "good enough" |
| 2025-09-26 13:18:07 +0200 | <tomsmeding> | you still have to define your partial order of course |
| 2025-09-26 13:18:09 +0200 | <[exa]> | I have one error where there's timeout in one service and auth failure in another, and both need to be handled (someone needs to tell admins to check credentials, and someone else needs to delay the retry), and they both occlude a few other errors/warnings |
| 2025-09-26 13:18:13 +0200 | <[exa]> | so yeah partial order it is |
| 2025-09-26 13:18:26 +0200 | <tomsmeding> | neat |
| 2025-09-26 13:18:32 +0200 | <tomsmeding> | math! |
| 2025-09-26 13:19:15 +0200 | <[exa]> | I might really want to reword the whole problem to recommendations instead of the error/exception wording, it makes interpretation much easier |
| 2025-09-26 13:19:34 +0200 | [exa] | goes back to the cave to rethink again |
| 2025-09-26 13:19:49 +0200 | <tomsmeding> | I don't think s/Error/Recommendation/g changes anything in the above |
| 2025-09-26 13:20:01 +0200 | <tomsmeding> | just makes all the names longer |
| 2025-09-26 13:20:37 +0200 | <tomsmeding> | also there's plenty precedent for errors not being fatal, see compiler errors |
| 2025-09-26 13:21:07 +0200 | <tomsmeding> | (that's not to say you should not do the rename in your case, I dunno the context and don't need to know it :P) |
| 2025-09-26 13:22:56 +0200 | <tomsmeding> | I wonder if there's a neat way to implement (<) on a partial order by only specifying the pairs that generate the order, i.e. without having to manually deal with transitivity |
| 2025-09-26 13:23:06 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-26 13:23:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 13:23:20 +0200 | <tomsmeding> | I guess that's called directed graph reachability |
| 2025-09-26 13:25:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-26 13:25:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-26 13:28:09 +0200 | <tomsmeding> | if you do my `reduce` in (<>), then you can reduce the O(n^2) to O(n * m) because you can assume that no redundancies exist within one argument to (<>) |
| 2025-09-26 13:28:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-09-26 13:29:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2025-09-26 13:29:38 +0200 | <merijn> | [exa]: I mean, the exception system lets you create hierarchical inheritance like behaviour for exceptions, so maybe try something along those lines? |
| 2025-09-26 13:32:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2025-09-26 13:32:35 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-26 13:32:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-26 13:33:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-09-26 13:33:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-26 13:34:19 +0200 | <tomsmeding> | merijn: if I'm understanding [exa]'s use case correctly, the idea is that an auth error in some component is useful to report (credentials should be fixed), and a timeout is also useful (retry may help), but if later we find out that something in the config of that component is just broken, the error "config should be fixed" overrides the other ones because a changed config changes everything |
| 2025-09-26 13:34:21 +0200 | <tomsmeding> | anyway |
| 2025-09-26 13:34:47 +0200 | <tomsmeding> | hence the partial-order-of-errors idea where you store only the maxima |
| 2025-09-26 13:35:41 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-26 13:36:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2025-09-26 13:37:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-09-26 13:38:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2025-09-26 13:40:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-26 13:40:52 +0200 | Googulator71 | (~Googulato@81.183.235.203) |
| 2025-09-26 13:41:36 +0200 | Googulator71 | Googulator |
| 2025-09-26 13:43:59 +0200 | Googulator70 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 13:44:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-09-26 13:45:55 +0200 | <merijn> | tomsmeding: Right, but you can do that using hierarchical exceptions |
| 2025-09-26 13:46:12 +0200 | <merijn> | Since it just relies on a bunch of Typeable based projections |
| 2025-09-26 13:46:56 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 13:47:10 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 13:50:50 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2025-09-26 14:00:44 +0200 | Googulator26 | (~Googulato@81.183.235.203) |
| 2025-09-26 14:02:56 +0200 | trickard_ | trickard |
| 2025-09-26 14:03:31 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-09-26 14:04:21 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 14:05:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-26 14:05:45 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 14:08:29 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 14:09:29 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-26 14:14:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-26 14:16:41 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 14:20:38 +0200 | Googulator1 | (~Googulato@81.183.235.203) |
| 2025-09-26 14:20:46 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-26 14:23:51 +0200 | Googulator26 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 14:26:25 +0200 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-09-26 14:36:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-26 14:40:42 +0200 | Googulator5 | (~Googulato@81.183.235.203) |
| 2025-09-26 14:43:47 +0200 | Googulator1 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 14:44:36 +0200 | lortabac | (~lorenzo@mx1.fracta.dev) lortabac |
| 2025-09-26 14:51:02 +0200 | Googulator84 | (~Googulato@81.183.235.203) |
| 2025-09-26 14:51:28 +0200 | trickard_ | trickard |
| 2025-09-26 14:54:11 +0200 | Googulator5 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 14:55:41 +0200 | Googulator86 | (~Googulato@81.183.235.203) |
| 2025-09-26 14:55:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-26 14:58:57 +0200 | Googulator84 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:04:31 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-26 15:04:52 +0200 | Googulator40 | (~Googulato@81.183.235.203) |
| 2025-09-26 15:08:03 +0200 | Googulator86 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:08:08 +0200 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-09-26 15:11:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) |
| 2025-09-26 15:12:37 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 15:13:55 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 15:15:15 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 15:20:03 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 15:20:41 +0200 | Googulator46 | (~Googulato@81.183.235.203) |
| 2025-09-26 15:23:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-26 15:24:05 +0200 | Googulator40 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:25:13 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-09-26 15:25:25 +0200 | trickard_ | trickard |
| 2025-09-26 15:27:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 15:28:24 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-09-26 15:31:14 +0200 | lortabac_ | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-09-26 15:31:24 +0200 | lortabac_ | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2025-09-26 15:32:11 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-26 15:36:21 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-26 15:39:32 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 15:44:01 +0200 | ft_ | (~ft@p4fc2a225.dip0.t-ipconnect.de) ft |
| 2025-09-26 15:44:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 15:45:59 +0200 | Googulator29 | (~Googulato@81.183.235.203) |
| 2025-09-26 15:49:13 +0200 | Googulator46 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:50:35 +0200 | Googulator90 | (~Googulato@81.183.235.203) |
| 2025-09-26 15:53:59 +0200 | Googulator29 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:55:42 +0200 | Googulator75 | (~Googulato@81.183.235.203) |
| 2025-09-26 15:58:32 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-26 15:59:11 +0200 | Googulator90 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 16:00:37 +0200 | ft_ | ft |
| 2025-09-26 16:01:04 +0200 | mari99968 | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-26 16:01:53 +0200 | <[exa]> | merijn: oh wow is there any example code for that |
| 2025-09-26 16:03:07 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-26 16:03:12 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-26 16:03:21 +0200 | <[exa]> | oh you meant this https://hackage.haskell.org/package/exception-hierarchy ? |
| 2025-09-26 16:03:37 +0200 | <merijn> | [exa]: No, that uses TH |
| 2025-09-26 16:03:45 +0200 | <[exa]> | ah |
| 2025-09-26 16:04:05 +0200 | <[exa]> | exceptions-via ? |
| 2025-09-26 16:04:17 +0200 | <merijn> | [exa]: I mean the Simon Marlow paper: https://dl.acm.org/doi/abs/10.1145/1159842.1159854 |
| 2025-09-26 16:04:31 +0200 | <merijn> | This requires nothing not in base/GHC |
| 2025-09-26 16:05:03 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 265 seconds) |
| 2025-09-26 16:05:32 +0200 | <merijn> | I have an example somewhere |
| 2025-09-26 16:06:27 +0200 | <merijn> | https://github.com/merijn/Belewitte/blob/ed95965077ee0a55c9a206b75445ddf93723916b/benchmark-analys… |
| 2025-09-26 16:06:30 +0200 | <merijn> | https://github.com/merijn/Belewitte/blob/ed95965077ee0a55c9a206b75445ddf93723916b/benchmark-analys… |
| 2025-09-26 16:06:38 +0200 | <merijn> | See the Simon paper on how it works |
| 2025-09-26 16:06:59 +0200 | <merijn> | I think you can actually do more powerful things than just tree style hierarchies with it |
| 2025-09-26 16:08:01 +0200 | <[exa]> | that's suuuuuuuuuper interesting |
| 2025-09-26 16:08:03 +0200 | <[exa]> | thanks a lot |
| 2025-09-26 16:08:29 +0200 | <merijn> | Added bonus that it doesn't use anything that hasn't been in GHC for at least like 1 or 2 decades :p |
| 2025-09-26 16:08:37 +0200 | <merijn> | So you can use it, essentially, everywhere |
| 2025-09-26 16:09:29 +0200 | <merijn> | It's mentioned on the SomeException page with the paper, but no one ever reads it for some reason. It's a super neat trick, though |
| 2025-09-26 16:11:08 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 16:14:29 +0200 | mari99968 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-26 16:14:46 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-26 16:15:27 +0200 | <[exa]> | yeah neither I read it |
| 2025-09-26 16:16:05 +0200 | <[exa]> | I can pass the same thing through validation etc, and have some combinators to actually meld the exceptions together |
| 2025-09-26 16:16:08 +0200 | <[exa]> | good |
| 2025-09-26 16:16:10 +0200 | <[exa]> | thanks! |
| 2025-09-26 16:20:00 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-26 16:23:55 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 16:31:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-26 16:34:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-26 16:36:27 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2025-09-26 16:36:30 +0200 | <EvanR> | yeah Exceptions are dynamically typed |
| 2025-09-26 16:36:38 +0200 | <EvanR> | haskell is the best dynamically typed language |
| 2025-09-26 16:38:29 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-26 16:42:01 +0200 | <c_wraith> | well, now that it's illegal to manually declare an instance of Typeable, anyway |
| 2025-09-26 16:46:01 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 16:46:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 16:49:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-26 16:52:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) |
| 2025-09-26 16:53:15 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-26 16:53:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 16:55:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-26 16:56:25 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 264 seconds) |
| 2025-09-26 16:56:35 +0200 | Googulator75 | Googulator |
| 2025-09-26 16:56:35 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 16:56:49 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 16:58:29 +0200 | cawfee | (root@2401:c080:3800:3460::babe) |
| 2025-09-26 17:04:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 17:06:46 +0200 | sp1ff | (~user@2601:1c2:4c00:6820::1528) sp1ff |
| 2025-09-26 17:09:17 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2025-09-26 17:09:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 17:13:38 +0200 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-09-26 17:15:42 +0200 | Googulator29 | (~Googulato@81.183.235.203) |
| 2025-09-26 17:16:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-26 17:18:55 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 17:20:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 17:20:53 +0200 | Googulator38 | (~Googulato@81.183.235.203) |
| 2025-09-26 17:22:45 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 250 seconds) |
| 2025-09-26 17:24:07 +0200 | Googulator29 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 17:24:37 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-26 17:25:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-26 17:25:43 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 17:26:41 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 17:26:54 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 17:27:30 +0200 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-09-26 17:31:12 +0200 | FragByte_ | (~christian@user/fragbyte) FragByte |
| 2025-09-26 17:32:39 +0200 | Googulator38 | Googulator |
| 2025-09-26 17:32:43 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 250 seconds) |
| 2025-09-26 17:32:43 +0200 | FragByte_ | FragByte |
| 2025-09-26 17:35:40 +0200 | Googulator36 | (~Googulato@81.183.235.203) |
| 2025-09-26 17:36:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 17:37:10 +0200 | st_aldini | (~Thunderbi@136.48.46.187) st_aldini |
| 2025-09-26 17:38:51 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 17:39:13 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 250 seconds) |
| 2025-09-26 17:39:37 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-26 17:40:12 +0200 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-09-26 17:40:25 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-09-26 17:41:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-26 17:41:04 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-09-26 17:41:46 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 17:48:23 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-26 17:50:12 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-09-26 17:52:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 17:52:54 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-09-26 17:55:13 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
| 2025-09-26 17:55:38 +0200 | Googulator72 | (~Googulato@81.183.235.203) |
| 2025-09-26 17:56:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-26 17:57:43 +0200 | sabino | (~sabino@user/sabino) sabino |
| 2025-09-26 17:58:47 +0200 | Googulator36 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 18:02:32 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-09-26 18:03:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-26 18:07:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 18:10:35 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 18:12:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 18:14:36 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-09-26 18:15:39 +0200 | Googulator29 | (~Googulato@81.183.235.203) |
| 2025-09-26 18:19:09 +0200 | Googulator72 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 18:20:10 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 18:21:07 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-26 18:21:36 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 18:22:17 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-26 18:22:25 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-26 18:23:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 18:27:26 +0200 | trickard_ | trickard |
| 2025-09-26 18:29:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 18:32:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 18:36:37 +0200 | dhil | (~dhil@5.151.29.138) (Ping timeout: 264 seconds) |
| 2025-09-26 18:37:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 18:37:26 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-26 18:38:58 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-26 18:39:15 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 18:43:20 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-26 18:44:25 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-26 18:45:44 +0200 | Googulator11 | (~Googulato@81.183.235.203) |
| 2025-09-26 18:47:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 18:48:33 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 18:49:03 +0200 | Googulator29 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 18:52:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 19:00:01 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-26 19:00:27 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-26 19:03:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 19:04:51 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-26 19:06:17 +0200 | Googulator11 | Googulator |
| 2025-09-26 19:07:25 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2025-09-26 19:07:55 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-09-26 19:08:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-26 19:10:38 +0200 | Googulator86 | (~Googulato@81.183.235.203) |
| 2025-09-26 19:11:03 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-26 19:13:45 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 19:15:20 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Ping timeout: 240 seconds) |
| 2025-09-26 19:15:41 +0200 | Googulator86 | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-09-26 19:15:49 +0200 | Googulator86 | (~Googulato@81.183.235.203) |
| 2025-09-26 19:18:47 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-09-26 19:19:04 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 19:19:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 19:19:48 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-09-26 19:20:59 +0200 | Googulator69 | (~Googulato@81.183.235.203) |
| 2025-09-26 19:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 19:24:09 +0200 | Googulator86 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 19:24:46 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-09-26 19:25:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-09-26 19:25:37 +0200 | Googulator99 | (~Googulato@81.183.235.203) |
| 2025-09-26 19:25:53 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-09-26 19:28:55 +0200 | Googulator69 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 19:30:36 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-26 19:30:48 +0200 | Googulator99 | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-09-26 19:31:05 +0200 | Googulator99 | (~Googulato@81.183.235.203) |
| 2025-09-26 19:32:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 19:35:45 +0200 | Googulator46 | (~Googulato@81.183.235.203) |
| 2025-09-26 19:37:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 19:38:53 +0200 | Googulator99 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 19:39:16 +0200 | Googulator46 | Googulator |
| 2025-09-26 19:41:25 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2025-09-26 19:46:21 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Ping timeout: 252 seconds) |
| 2025-09-26 19:48:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 19:54:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 19:56:12 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-26 20:00:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-26 20:00:33 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-26 20:02:57 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-09-26 20:04:13 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-26 20:04:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 20:05:31 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-09-26 20:08:10 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 20:08:12 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-09-26 20:10:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-26 20:10:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 20:13:13 +0200 | <monochrom> | Haskell is the best Typeable language. >:) |
| 2025-09-26 20:16:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) |
| 2025-09-26 20:17:54 +0200 | Square | (~Square@user/square) Square |
| 2025-09-26 20:18:01 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-09-26 20:18:03 +0200 | Square2 | (~Square@user/square) (Quit: Leaving) |
| 2025-09-26 20:20:34 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-26 20:21:34 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-09-26 20:22:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 20:23:56 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-09-26 20:24:36 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-26 20:24:52 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-26 20:25:10 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-26 20:27:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 20:30:46 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-09-26 20:32:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-09-26 20:33:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 20:37:38 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-26 20:38:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-26 20:40:51 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 20:41:59 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 20:48:56 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds) |
| 2025-09-26 20:49:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 20:52:47 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-26 20:54:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-26 20:55:43 +0200 | FANTOM | (~fantom@90.244.165.186) (Ping timeout: 240 seconds) |
| 2025-09-26 20:56:02 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 20:56:02 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 20:56:02 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 20:58:33 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-26 21:00:05 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-26 21:00:45 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-26 21:05:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 21:05:30 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-26 21:06:01 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp) |
| 2025-09-26 21:10:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-26 21:12:18 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 21:12:45 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-26 21:13:51 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 21:17:30 +0200 | FANTOM | (~fantom@90.244.165.186) |
| 2025-09-26 21:19:16 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 21:21:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 21:21:32 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-09-26 21:26:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 21:28:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-26 21:28:40 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-26 21:28:52 +0200 | Digit | (~user@user/digit) Digit |
| 2025-09-26 21:28:55 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2025-09-26 21:30:35 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 21:36:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 21:37:17 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 2025-09-26 21:37:29 +0200 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-26 21:39:47 +0200 | fp1 | fp |
| 2025-09-26 21:41:10 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-26 21:43:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-26 21:47:11 +0200 | anderson | (anderson@user/anderson) anderson |
| 2025-09-26 21:50:21 +0200 | Guest60 | (~Guest60@syn-072-184-111-022.res.spectrum.com) |
| 2025-09-26 21:53:07 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-26 21:54:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 21:57:05 +0200 | Guest60 | noodle__ |
| 2025-09-26 21:59:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 22:02:34 +0200 | noodle__ | (~Guest60@syn-072-184-111-022.res.spectrum.com) () |
| 2025-09-26 22:04:32 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2025-09-26 22:05:20 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-26 22:07:49 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-09-26 22:08:31 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-09-26 22:08:31 +0200 | ljdarj1 | ljdarj |
| 2025-09-26 22:10:02 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-26 22:10:30 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-09-26 22:10:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 22:10:45 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-26 22:15:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 22:25:39 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-26 22:25:47 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-26 22:26:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 22:27:24 +0200 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-09-26 22:28:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-26 22:29:13 +0200 | sprotte24 | (~sprotte24@p200300d16f168900ec9eab571e6d05ac.dip0.t-ipconnect.de) |
| 2025-09-26 22:30:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-26 22:33:01 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-26 22:34:41 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-09-26 22:37:05 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 22:41:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 22:45:40 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-26 22:45:42 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-26 22:46:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 22:56:14 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-09-26 22:57:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 23:02:50 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2025-09-26 23:03:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 23:03:24 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-26 23:03:37 +0200 | AlexZenon | (~alzenon@5.139.232.123) (Ping timeout: 264 seconds) |
| 2025-09-26 23:04:49 +0200 | AlexZenon | (~alzenon@5.139.232.123) |
| 2025-09-26 23:06:50 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-09-26 23:07:42 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-26 23:13:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 23:14:42 +0200 | OftenFaded91 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-26 23:18:09 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-26 23:20:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 23:20:42 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-26 23:20:46 +0200 | Googulator37 | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-26 23:21:48 +0200 | Googulator37 | Googulator |
| 2025-09-26 23:26:31 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-26 23:28:14 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-26 23:28:44 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-26 23:28:54 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 23:29:30 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-09-26 23:31:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 23:33:01 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-09-26 23:36:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 23:39:59 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-26 23:40:30 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-26 23:40:37 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-0744-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-26 23:45:15 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 23:45:29 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 23:47:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 23:51:09 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-09-26 23:52:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-26 23:54:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |