2025-10-17 00:07:02 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
2025-10-17 00:08:30 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer) |
2025-10-17 00:08:56 +0200 | omnifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
2025-10-17 00:08:56 +0200 | semifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
2025-10-17 00:09:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 00:10:02 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh |
2025-10-17 00:10:24 +0200 | semifunctor | (~omnifunct@user/semifunctor) omnifunctor |
2025-10-17 00:10:53 +0200 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
2025-10-17 00:14:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 00:18:07 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-10-17 00:20:43 +0200 | <dcpagan> | I cannot use a monoid instance of (Ord a) => Max (Maybe a) |
2025-10-17 00:21:07 +0200 | <dcpagan> | The following monoid instances are defined in the standard library: |
2025-10-17 00:21:10 +0200 | <dcpagan> | instance (Ord a, Bounded a) => Monoid (Max a) |
2025-10-17 00:21:35 +0200 | <dcpagan> | instance Semigroup a => Monoid (Maybe a) |
2025-10-17 00:22:03 +0200 | <dcpagan> | instance Ord a => Semigroup (Max a) |
2025-10-17 00:22:48 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
2025-10-17 00:23:41 +0200 | <dcpagan> | This is the type error I'm getting: "Could not deduce (Bounded (Maybe Int))" |
2025-10-17 00:24:35 +0200 | <monochrom> | IIUC that just means you have a Semigroup, you just don't have a Monoid. |
2025-10-17 00:24:57 +0200 | <dcpagan> | Here's the code with the type error: "fromMaybe 0 . getMax . foldMap (Max . Just . length)" |
2025-10-17 00:25:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 00:25:23 +0200 | <dcpagan> | I imported Data.Semigroup and Data.Monoid. |
2025-10-17 00:26:00 +0200 | <dolio> | I think you might want `Maybe (Max a)` |
2025-10-17 00:26:29 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-10-17 00:27:05 +0200 | <dolio> | `Max a` is the semigroup taking the maximum in `a`, and then `Maybe` adds a unit to a semigroup. |
2025-10-17 00:28:14 +0200 | <dcpagan> | Oh, I see it. Transposing Max and Just works. |
2025-10-17 00:28:31 +0200 | <dolio> | Technically the `(Ord a, Bounded a) => Monoid (Max a)` only needs one bound, but the classes aren't that refined. |
2025-10-17 00:28:47 +0200 | <dcpagan> | I saw other monoids in Data.Monoid that wrapped a Maybe, like First and Last. |
2025-10-17 00:29:17 +0200 | <dcpagan> | MinBounded and MaxBounded type classes would be nice. |
2025-10-17 00:29:24 +0200 | <dcpagan> | Natural has a minBound, but no maxBound. |
2025-10-17 00:29:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-17 00:30:13 +0200 | <dolio> | Yeah, First/Last could be reworked to be semigroups without the Maybe, but probably no one cares enough to fix the historical design. |
2025-10-17 00:30:30 +0200 | <dolio> | They were written before Semigroup existed as a class. |
2025-10-17 00:34:56 +0200 | <geekosaur> | weren't some others rewritten, though? |
2025-10-17 00:35:23 +0200 | <dolio> | Dunno. I kind of thought Min/Max were the same way, so maybe they were changed. |
2025-10-17 00:35:27 +0200 | gustrb | (~gustrb@200.132.2.8) |
2025-10-17 00:35:34 +0200 | <dolio> | I don't know why only some would have been fixed, though. |
2025-10-17 00:36:29 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-17 00:37:20 +0200 | AlexZenon_2 | (~alzenon@85.174.180.124) |
2025-10-17 00:37:31 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-10-17 00:38:27 +0200 | mesaoptimizer0 | mesaoptimizer |
2025-10-17 00:38:27 +0200 | AlexZenon | (~alzenon@85.174.180.124) (Read error: Connection reset by peer) |
2025-10-17 00:40:39 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
2025-10-17 00:40:39 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
2025-10-17 00:41:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 00:41:02 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Client Quit) |
2025-10-17 00:41:42 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-10-17 00:43:08 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
2025-10-17 00:44:10 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
2025-10-17 00:45:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-17 00:46:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-10-17 00:48:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-10-17 00:48:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-10-17 00:51:06 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-17 00:55:19 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving) |
2025-10-17 00:55:45 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
2025-10-17 00:56:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 00:59:19 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
2025-10-17 01:01:25 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-17 01:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 01:03:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-17 01:06:31 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-10-17 01:09:55 +0200 | n0um3n4 | (~n0um3n4@104.28.199.133) (Remote host closed the connection) |
2025-10-17 01:12:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 01:17:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 245 seconds) |
2025-10-17 01:17:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 01:21:12 +0200 | n0um3n4 | (~n0um3n4@104.28.199.133) |
2025-10-17 01:28:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 01:31:52 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
2025-10-17 01:32:14 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 01:34:29 +0200 | Zemy | (~Zemy@76.184.41.21) (Ping timeout: 256 seconds) |
2025-10-17 01:35:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 01:35:54 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
2025-10-17 01:35:55 +0200 | yegor_ | yegor |
2025-10-17 01:36:58 +0200 | Googulator42 | Googulator |
2025-10-17 01:40:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) |
2025-10-17 01:40:13 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 01:43:02 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 01:46:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 01:47:37 +0200 | acidjnk | (~acidjnk@p200300d6e71719750129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2025-10-17 01:54:37 +0200 | gustrb | (~gustrb@200.132.2.8) (Ping timeout: 246 seconds) |
2025-10-17 01:55:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 01:58:55 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-17 02:06:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 02:07:02 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-17 02:10:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
2025-10-17 02:11:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 02:11:47 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
2025-10-17 02:14:50 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
2025-10-17 02:15:32 +0200 | zfnmxt | (~m-gkkevi@user/zfnmxt) (Remote host closed the connection) |
2025-10-17 02:16:06 +0200 | Zemy | (~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) |
2025-10-17 02:16:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-10-17 02:18:34 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
2025-10-17 02:18:43 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-17 02:20:14 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) |
2025-10-17 02:20:28 +0200 | divya | (divya@140.238.251.170) divya |
2025-10-17 02:20:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
2025-10-17 02:22:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 02:24:55 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds) |
2025-10-17 02:25:30 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Ping timeout: 248 seconds) |
2025-10-17 02:26:37 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
2025-10-17 02:27:44 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-17 02:27:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 02:29:01 +0200 | gustrb | (~gustrb@200.132.2.8) |
2025-10-17 02:30:51 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) |
2025-10-17 02:34:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2025-10-17 02:35:41 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds) |
2025-10-17 02:38:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 02:39:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
2025-10-17 02:43:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-17 02:45:32 +0200 | otto_s_ | (~user@p4ff27814.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-10-17 02:47:18 +0200 | otto_s | (~user@p5de2f2fc.dip0.t-ipconnect.de) |
2025-10-17 02:54:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 02:54:49 +0200 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
2025-10-17 02:55:23 +0200 | Square | (~Square4@user/square) Square |
2025-10-17 02:57:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 248 seconds) |
2025-10-17 02:59:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-17 03:00:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-10-17 03:05:43 +0200 | FANTOM | (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
2025-10-17 03:09:38 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
2025-10-17 03:09:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 03:10:02 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
2025-10-17 03:13:05 +0200 | gustrb | (~gustrb@200.132.2.8) (Ping timeout: 256 seconds) |
2025-10-17 03:14:56 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
2025-10-17 03:15:20 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
2025-10-17 03:16:01 +0200 | FANTOM | (~fantom@90.244.168.178) |
2025-10-17 03:16:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-17 03:18:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-10-17 03:18:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-10-17 03:19:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-10-17 03:20:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 03:20:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-10-17 03:20:43 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) |
2025-10-17 03:24:10 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 248 seconds) |
2025-10-17 03:24:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 03:28:46 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-17 03:33:14 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
2025-10-17 03:35:11 +0200 | <jackdk> | dolio: Apparently that work ran into roadblocks and is not planned any more: https://gitlab.haskell.org/ghc/ghc/-/issues/15028. This libraries@ post lists the main problems: https://mail.haskell.org/pipermail/libraries/2020-April/030357.html . Most seem fixable, but the syntactic noise seems really annoying and the strictness change more fundamentally difficult. |
2025-10-17 03:35:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 03:38:08 +0200 | trickard_ | trickard |
2025-10-17 03:40:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 03:51:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 03:54:43 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-17 03:56:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-17 04:06:42 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-10-17 04:07:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 04:12:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 04:20:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-17 04:23:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 04:24:32 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
2025-10-17 04:27:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-17 04:28:35 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-10-17 04:33:00 +0200 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 244 seconds) |
2025-10-17 04:35:07 +0200 | td_ | (~td@i5387090B.versanet.de) td_ |
2025-10-17 04:38:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 04:39:27 +0200 | <dcpagan> | Is there a way to either undo an import or hide a variable from an existing import? |
2025-10-17 04:39:37 +0200 | <dcpagan> | I keep getting ambiguous occurrence errors. |
2025-10-17 04:39:47 +0200 | <dcpagan> | I mean in the interactive shell. |
2025-10-17 04:40:07 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-10-17 04:40:47 +0200 | <geekosaur> | probably have to unimport and re-import with `hiding` |
2025-10-17 04:41:06 +0200 | <geekosaur> | (unimporting is done with the old `:m` command: `:m -Module.Name` |
2025-10-17 04:41:12 +0200 | <geekosaur> | ) |
2025-10-17 04:43:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 04:44:11 +0200 | <ski> | import Prelude hiding (length) |
2025-10-17 04:44:43 +0200 | <fgidim> | something like import Prelude hiding tail or import Prelude hiding( head, tail ) |
2025-10-17 04:54:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 05:01:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 05:09:49 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
2025-10-17 05:12:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 05:13:15 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-17 05:17:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 05:21:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 05:25:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 05:28:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2025-10-17 05:29:31 +0200 | karenw_ | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
2025-10-17 05:29:50 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-10-17 05:30:28 +0200 | haskellbridge | (~hackager@96.28.224.214) hackager |
2025-10-17 05:30:29 +0200 | ChanServ | +v haskellbridge |
2025-10-17 05:32:59 +0200 | n0um3n4 | (~n0um3n4@104.28.199.133) (Remote host closed the connection) |
2025-10-17 05:36:10 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-10-17 05:36:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 05:36:32 +0200 | karenw_ | (~karenw@user/karenw) (Client Quit) |
2025-10-17 05:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 05:52:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 05:56:22 +0200 | aforemny | (~aforemny@2001:9e8:6cf1:8200:5418:7e22:c389:aad3) aforemny |
2025-10-17 05:56:49 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd3:9e00:ec6c:33df:2ec4:2c9f) (Ping timeout: 246 seconds) |
2025-10-17 05:57:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-17 05:59:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-10-17 06:08:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 06:11:13 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
2025-10-17 06:12:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-17 06:19:55 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
2025-10-17 06:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 06:22:31 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-17 06:27:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 06:35:23 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
2025-10-17 06:37:12 +0200 | michalz | (~michalz@185.246.207.201) |
2025-10-17 06:37:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 06:41:34 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-10-17 06:43:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-17 06:54:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 06:59:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-17 07:08:46 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-17 07:10:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 07:13:21 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
2025-10-17 07:14:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-17 07:17:03 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-10-17 07:17:48 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-10-17 07:19:35 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
2025-10-17 07:20:43 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 07:20:56 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 07:23:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 07:24:44 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-10-17 07:24:47 +0200 | fgidim | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
2025-10-17 07:25:29 +0200 | fgarcia | fgidim |
2025-10-17 07:27:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 07:37:26 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
2025-10-17 07:38:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 07:43:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 07:44:31 +0200 | ubert | (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
2025-10-17 07:54:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 07:57:43 +0200 | jreicher | (~user@user/jreicher) (Quit: NIN (via TRON)) |
2025-10-17 07:59:21 +0200 | craunts795335385 | (~craunts@175.176.17.164) |
2025-10-17 07:59:38 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
2025-10-17 08:00:52 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
2025-10-17 08:01:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 08:10:28 +0200 | halloy7365 | (~halloy736@2404:4400:5446:4e00:9554:c574:8d58:cb38) |
2025-10-17 08:12:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 08:15:45 +0200 | elenril | (~elenril@tutturu.khirnov.net) (Ping timeout: 245 seconds) |
2025-10-17 08:15:46 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
2025-10-17 08:18:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-17 08:19:51 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 08:20:04 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 08:21:57 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving) |
2025-10-17 08:24:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 08:25:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-10-17 08:25:42 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer) |
2025-10-17 08:26:47 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh |
2025-10-17 08:26:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-10-17 08:29:22 +0200 | elenril | (~elenril@tutturu.khirnov.net) elenril |
2025-10-17 08:29:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-17 08:31:16 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-10-17 08:40:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 08:42:03 +0200 | halloy7365 | (~halloy736@2404:4400:5446:4e00:9554:c574:8d58:cb38) (Quit: halloy7365) |
2025-10-17 08:45:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 08:55:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 08:59:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-10-17 09:00:03 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
2025-10-17 09:00:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-17 09:00:36 +0200 | trickard_ | trickard |
2025-10-17 09:00:44 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
2025-10-17 09:01:05 +0200 | n0um3n4 | (~n0um3n4@104.30.133.59) |
2025-10-17 09:02:29 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
2025-10-17 09:05:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-10-17 09:07:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-10-17 09:10:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 09:11:18 +0200 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-10-17 09:11:25 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
2025-10-17 09:14:01 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-10-17 09:14:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-17 09:15:51 +0200 | annamalai | (~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) (Ping timeout: 250 seconds) |
2025-10-17 09:18:05 +0200 | rubin55_ | (sid666180@id-666180.ilkley.irccloud.com) () |
2025-10-17 09:18:34 +0200 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
2025-10-17 09:19:53 +0200 | craunts795335385 | (~craunts@175.176.17.164) (Quit: The Lounge - https://thelounge.chat) |
2025-10-17 09:23:41 +0200 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
2025-10-17 09:23:47 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-10-17 09:25:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 09:31:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 09:32:12 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds) |
2025-10-17 09:33:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
2025-10-17 09:34:00 +0200 | craunts795335385 | (~craunts@175.176.17.164) |
2025-10-17 09:37:00 +0200 | kukimik | (~kukimik@93-159-13-148.cgnat.inetia.pl) |
2025-10-17 09:38:23 +0200 | n0um3n4 | (~n0um3n4@104.30.133.59) (Remote host closed the connection) |
2025-10-17 09:40:16 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 09:40:30 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 09:41:03 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-10-17 09:42:43 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-10-17 09:44:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 09:45:19 +0200 | tomsmeding_ | tomsmeding |
2025-10-17 09:45:59 +0200 | trickard_ | trickard |
2025-10-17 09:48:37 +0200 | FANTOM | (~fantom@90.244.168.178) (Ping timeout: 256 seconds) |
2025-10-17 09:49:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 09:49:47 +0200 | FANTOM | (~fantom@90.244.165.37) |
2025-10-17 09:50:09 +0200 | <[exa]> | just curious, did anyone do some rigorous analysis of what's packed in the ghc-produced binaries (i.e., what's making them big?) |
2025-10-17 09:50:45 +0200 | <[exa]> | not that they'd be super big, esp. not w.r.t. to the other pop compilers, but still curious |
2025-10-17 09:51:05 +0200 | a_fantom | (~fantom@90.244.165.37) |
2025-10-17 09:52:51 +0200 | annamalai | (~annamalai@157.32.220.158) annamalai |
2025-10-17 09:52:52 +0200 | <tomsmeding> | I have no idea, but libHSbase.so is 12 MB |
2025-10-17 09:54:51 +0200 | FANTOM | (~fantom@90.244.165.37) (Ping timeout: 256 seconds) |
2025-10-17 09:55:47 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
2025-10-17 10:00:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 10:01:34 +0200 | phma | (~phma@2605:59c8:6211:ff08::6d1) |
2025-10-17 10:02:07 +0200 | chele | (~chele@user/chele) chele |
2025-10-17 10:04:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-17 10:08:49 +0200 | annamalai | (~annamalai@157.32.220.158) (Remote host closed the connection) |
2025-10-17 10:09:09 +0200 | annamalai | (~annamalai@157.32.220.158) annamalai |
2025-10-17 10:12:04 +0200 | kenran | (~void@user/kenran) kenran |
2025-10-17 10:15:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 10:18:02 +0200 | Zemy | (~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) (Ping timeout: 248 seconds) |
2025-10-17 10:21:49 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
2025-10-17 10:27:36 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 10:27:49 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 10:30:44 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-10-17 10:31:56 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 10:38:26 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 10:43:17 +0200 | chenjf | (~chenjf@68.64.178.54) |
2025-10-17 10:43:20 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-17 10:46:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-10-17 10:47:34 +0200 | n0um3n4 | (~n0um3n4@104.30.133.59) |
2025-10-17 10:48:00 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
2025-10-17 10:49:33 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-17 10:50:09 +0200 | craunts795335385 | (~craunts@175.176.17.164) (Quit: The Lounge - https://thelounge.chat) |
2025-10-17 10:57:09 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-10-17 10:57:21 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-10-17 11:05:11 +0200 | chenjf | (~chenjf@68.64.178.54) (Quit: WeeChat 4.7.1) |
2025-10-17 11:05:43 +0200 | acidjnk | (~acidjnk@p200300d6e71719070129677a31b7bc88.dip0.t-ipconnect.de) acidjnk |
2025-10-17 11:23:32 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-10-17 11:23:32 +0200 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
2025-10-17 11:25:39 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 11:25:53 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 11:26:43 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-10-17 11:41:49 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-10-17 11:43:00 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-10-17 11:43:06 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
2025-10-17 11:43:39 +0200 | kukimik | (~kukimik@93-159-13-148.cgnat.inetia.pl) (Remote host closed the connection) |
2025-10-17 11:44:03 +0200 | yappy | (~adi@86.123.72.40) |
2025-10-17 11:44:29 +0200 | yappy | (~adi@86.123.72.40) (Remote host closed the connection) |
2025-10-17 11:47:26 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-17 11:50:02 +0200 | <[exa]> | tomsmeding: ah well that might be a part of it :) |
2025-10-17 11:50:04 +0200 | <[exa]> | ok |
2025-10-17 11:50:16 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 11:51:38 +0200 | <[exa]> | just wondering, is there any semantic difference between doing a function with normal guards and going for the `case () { _ | theGuard -> ...}` shortcut? I've fixed a bug that shouldn't have been fixed by rewriting that, which is weird. |
2025-10-17 11:54:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-10-17 11:55:33 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-10-17 12:00:33 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
2025-10-17 12:01:47 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-10-17 12:07:49 +0200 | karenw_ | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
2025-10-17 12:09:45 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-10-17 12:13:54 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 12:20:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-10-17 12:23:12 +0200 | Googulator | (~Googulato@team.broadbit.hu) |
2025-10-17 12:23:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-10-17 12:28:20 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
2025-10-17 12:29:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-17 12:30:36 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
2025-10-17 12:33:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 12:36:59 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-17 12:39:52 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-17 12:40:06 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-17 12:44:38 +0200 | trickard_ | trickard |
2025-10-17 13:00:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-10-17 13:01:51 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-10-17 13:02:35 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-17 13:03:47 +0200 | pie__ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 250 seconds) |
2025-10-17 13:11:51 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-10-17 13:12:38 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
2025-10-17 13:31:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-17 13:36:42 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-10-17 13:36:43 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2025-10-17 13:38:02 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-10-17 13:41:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 13:45:50 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
2025-10-17 13:46:18 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-17 13:51:42 +0200 | AlexZenon_2 | AlexZenon |
2025-10-17 13:52:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 13:56:42 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
2025-10-17 13:59:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-17 14:01:43 +0200 | Jackneill_ | (~Jackneill@94-21-95-227.pool.digikabel.hu) |
2025-10-17 14:03:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 14:03:38 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-17 14:04:28 +0200 | jackneill__ | (~Jackneill@94-21-46-168.pool.digikabel.hu) (Ping timeout: 256 seconds) |
2025-10-17 14:08:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-10-17 14:08:51 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-17 14:08:55 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-10-17 14:10:02 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
2025-10-17 14:10:14 +0200 | img | (~img@user/img) img |
2025-10-17 14:11:51 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-17 14:13:31 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |