| 2025-09-28 00:03:06 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-09-28 00:10:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 00:10:36 +0000 | Googulator74 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 00:10:43 +0000 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 00:17:03 +0000 | sprotte24 | (~sprotte24@p200300d16f22ee00292e69812e23861a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-09-28 00:17:03 +0000 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-28 00:17:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 00:17:44 +0000 | defragger | (~random@i5C742D07.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-28 00:19:31 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 00:19:48 +0000 | defragger | (~random@i5C742CDD.versanet.de) defragger |
| 2025-09-28 00:20:07 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-28 00:34:34 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 00:35:37 +0000 | <haskellbridge> | <sm> good question EvanR |
| 2025-09-28 00:35:40 +0000 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 00:35:42 +0000 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 00:43:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc31:7384:48d7:f4e1) |
| 2025-09-28 00:44:12 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 00:44:25 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 00:46:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc31:7384:48d7:f4e1) (Client Quit) |
| 2025-09-28 00:50:50 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) |
| 2025-09-28 00:50:50 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) (Changing host) |
| 2025-09-28 00:50:50 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 00:52:51 +0000 | yegor | (~yegor@user/yegor) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-28 00:53:11 +0000 | yegor | (yegor@user/yegor) yegor |
| 2025-09-28 00:55:13 +0000 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-28 01:04:38 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 01:13:11 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-28 01:17:10 +0000 | trickard_ | trickard |
| 2025-09-28 01:23:44 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-09-28 01:27:24 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 01:27:44 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 01:28:00 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 01:30:53 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 01:35:41 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-28 01:41:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 01:42:42 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 01:42:58 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 01:46:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 01:48:27 +0000 | comonad | (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-09-28 01:50:05 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 01:50:11 +0000 | comonad | (~comonad@p200300d02709a80002b1d060aa1cc9d9.dip0.t-ipconnect.de) |
| 2025-09-28 01:51:04 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2025-09-28 01:56:16 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-28 01:57:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 02:02:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 02:05:04 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-09-28 02:05:33 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-09-28 02:07:13 +0000 | trickard_ | trickard |
| 2025-09-28 02:10:16 +0000 | banner | (~banner@1.41.210.25) |
| 2025-09-28 02:13:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 02:14:23 +0000 | <slondr> | What's the best way to maintain/mutate state across calls of a function where I can't modify the function signature? |
| 2025-09-28 02:14:50 +0000 | remmie | (ianremsen@tilde.team) (Ping timeout: 248 seconds) |
| 2025-09-28 02:14:52 +0000 | <slondr> | as in, I'm passing a callback function to a library, but I want my callback function to accumulate some context each time it's called |
| 2025-09-28 02:16:00 +0000 | <slondr> | My first thought was to use forkIO to spawn a separate thread for maintaining state in a simple call/response recursive function, then build my callback function as a closure over a channel to this thread. But that seems like it might be overkill |
| 2025-09-28 02:18:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 02:21:21 +0000 | remmie | (ianremsen@tilde.team) remsense |
| 2025-09-28 02:24:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 02:27:41 +0000 | <Leary> | slondr: Close over a simple `IORef` instead? E.g. pass in a partially applied `mkCallBack :: IORef YourState -> CallBackType`. |
| 2025-09-28 02:28:14 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 02:29:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 02:30:54 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 02:32:22 +0000 | <slondr> | Hmm, can I reference IORefs in a non-IO function? |
| 2025-09-28 02:32:33 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 02:35:39 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 02:35:42 +0000 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 02:37:18 +0000 | <Leary> | In a pure function? No, but in that case you can't do anything with channels either. |
| 2025-09-28 02:37:27 +0000 | <Leary> | If you're in a pure context, the function must do the same thing every time it's called; it can have no internal state. |
| 2025-09-28 02:37:43 +0000 | <slondr> | ah, ok |
| 2025-09-28 02:37:56 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 02:39:23 +0000 | <slondr> | is there maybe a way to modify external state without it affecting the return value of the function? I suppose I could rebuild the callback function into something slightly different every time if so |
| 2025-09-28 02:40:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 02:45:08 +0000 | <Leary> | Not without `unsafePerformIO`. You probably need to change your approach. |
| 2025-09-28 02:45:36 +0000 | <dcpagan> | How do I safely decrement a type-level natural number? |
| 2025-09-28 02:45:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 02:45:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6b5a:7de1:ba67:bc14) (Ping timeout: 250 seconds) |
| 2025-09-28 02:45:53 +0000 | <slondr> | Hmm, I agree that this approach seems rather fundamentally flawed, but I feel at the whim of the library here sadly |
| 2025-09-28 02:46:27 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-09-28 02:48:07 +0000 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-28 02:50:23 +0000 | td_ | (~td@i5387092C.versanet.de) td_ |
| 2025-09-28 02:53:10 +0000 | remmie | (ianremsen@tilde.team) (Ping timeout: 244 seconds) |
| 2025-09-28 02:54:41 +0000 | elnegro | (elnegro@r186-50-77-161.dialup.adsl.anteldata.net.uy) elnegro |
| 2025-09-28 02:56:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 03:01:30 +0000 | remmie | (ianremsen@tilde.team) remsense |
| 2025-09-28 03:02:34 +0000 | elnegro | (elnegro@r186-50-77-161.dialup.adsl.anteldata.net.uy) (Remote host closed the connection) |
| 2025-09-28 03:02:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 03:02:59 +0000 | cyphase_eviltwin | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2025-09-28 03:05:48 +0000 | <dcpagan> | I got a reduction stack overflow from type-level shenanigans. Wat do? |
| 2025-09-28 03:06:53 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-09-28 03:10:20 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-28 03:10:54 +0000 | <slondr> | oh! if I partially-apply the function from within an IO context, I get a de-IO'd version of the function - maybe this is the key |
| 2025-09-28 03:14:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 03:19:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 03:19:27 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Ping timeout: 250 seconds) |
| 2025-09-28 03:19:43 +0000 | _0xa | (~user@user/0xa/x-3134607) (Ping timeout: 255 seconds) |
| 2025-09-28 03:19:56 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2025-09-28 03:19:56 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2025-09-28 03:19:56 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2025-09-28 03:20:00 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-09-28 03:24:24 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 03:24:42 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 03:28:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bd6b:8e9b:54f4:4d4b) |
| 2025-09-28 03:30:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 03:31:26 +0000 | <slondr> | Hey that may have worked |
| 2025-09-28 03:35:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 03:37:59 +0000 | trickard_ | trickard |
| 2025-09-28 03:45:33 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 03:45:42 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 03:46:13 +0000 | <slondr> | indeed it did! now I can read and write to an IORef from within the library's invokation of the callback. this is awesome |
| 2025-09-28 03:47:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 03:50:42 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 03:50:50 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 03:51:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 03:55:31 +0000 | aforemny_ | (~aforemny@2001:9e8:6cfa:f400:257:422d:548f:72ea) aforemny |
| 2025-09-28 03:56:46 +0000 | aforemny | (~aforemny@i577B128D.versanet.de) (Ping timeout: 256 seconds) |
| 2025-09-28 04:02:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 04:07:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 04:10:25 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 04:10:38 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 04:11:38 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-28 04:11:56 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 04:16:52 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 04:18:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 04:20:40 +0000 | <dcpagan> | Is there a standard way to iterate over type-level natural numbers? |
| 2025-09-28 04:21:47 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 04:22:49 +0000 | <dcpagan> | For example, in the recursion-schemes package (https://hackage.haskell.org/package/recursion-schemes), an instance of a base functor for Natural was defined as Maybe, and Natural was an instance of the fixed point of Maybe. |
| 2025-09-28 04:23:09 +0000 | <dcpagan> | Is there a standard type-level way of unfixing that fixed point? |
| 2025-09-28 04:23:14 +0000 | <dcpagan> | Something like this? |
| 2025-09-28 04:23:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 04:23:28 +0000 | <dcpagan> | type family Unnatural (n :: Natural) where |
| 2025-09-28 04:23:30 +0000 | <dcpagan> | Unnatural 0 = 'Nothing |
| 2025-09-28 04:23:32 +0000 | <dcpagan> | Unnatural n = 'Just (n - 1) |
| 2025-09-28 04:25:43 +0000 | defragger | (~random@i5C742CDD.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-28 04:26:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 04:30:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 04:35:40 +0000 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 04:35:40 +0000 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 04:37:47 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-09-28 04:41:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 04:47:12 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 04:48:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 04:55:41 +0000 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 04:55:41 +0000 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 04:59:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:00:47 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 05:04:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 05:08:07 +0000 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-09-28 05:15:42 +0000 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 05:15:43 +0000 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 05:24:29 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 05:24:41 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 05:26:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:31:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 05:42:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:44:01 +0000 | <dcpagan> | My type-level shenanigans worked, but, for some reason, using associated type families raises a type error that there is no instance of the KnownSymbol constraint. |
| 2025-09-28 05:44:12 +0000 | <dcpagan> | My code is here: https://exercism.org/tracks/haskell/exercises/house/solutions/DCPagan |
| 2025-09-28 05:47:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 05:48:39 +0000 | byorgey | (~byorgey@user/byorgey) (Read error: Connection reset by peer) |
| 2025-09-28 05:49:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-28 05:56:33 +0000 | trickard_ | trickard |
| 2025-09-28 05:59:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:04:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 06:07:06 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-28 06:07:51 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 06:10:02 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-28 06:12:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) |
| 2025-09-28 06:12:57 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-28 06:13:02 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 06:15:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:15:40 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 06:19:30 +0000 | esph | (~weechat@user/esph) (Read error: Connection reset by peer) |
| 2025-09-28 06:19:43 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-28 06:20:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 06:20:18 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 06:22:33 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 06:24:31 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-28 06:27:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:30:04 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 06:30:48 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 06:33:24 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-28 06:34:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 06:36:10 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-28 06:37:46 +0000 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-28 06:45:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:46:16 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:f8bd:cfdc:76e8:5885) |
| 2025-09-28 06:46:16 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:f8bd:cfdc:76e8:5885) (Changing host) |
| 2025-09-28 06:46:16 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 06:48:21 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-09-28 06:48:49 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-09-28 06:50:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 07:00:01 +0000 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-28 07:00:01 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-28 07:00:43 +0000 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-28 07:01:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 07:02:36 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-28 07:05:04 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-09-28 07:07:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 07:08:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 07:10:57 +0000 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) |
| 2025-09-28 07:13:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 07:17:42 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 07:24:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 07:26:31 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-09-28 07:29:20 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 07:33:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 07:33:58 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 07:34:07 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:29c2:100a:c130:17f4) |
| 2025-09-28 07:34:07 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:29c2:100a:c130:17f4) (Changing host) |
| 2025-09-28 07:34:07 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 07:40:41 +0000 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 07:40:47 +0000 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 07:44:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 07:48:28 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-28 07:48:36 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-28 07:49:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 07:51:19 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-28 07:53:13 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 07:53:27 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 07:59:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-28 08:00:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 08:03:13 +0000 | annamalai | (~annamalai@157.32.127.38) (Ping timeout: 265 seconds) |
| 2025-09-28 08:05:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 08:07:10 +0000 | acidjnk | (~acidjnk@p200300d6e71719416d0f89f3aea01a32.dip0.t-ipconnect.de) acidjnk |
| 2025-09-28 08:14:20 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Remote host closed the connection) |
| 2025-09-28 08:15:35 +0000 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 08:15:43 +0000 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 08:16:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 08:18:38 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-28 08:22:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 08:27:02 +0000 | annamalai | (~annamalai@157.32.124.169) annamalai |
| 2025-09-28 08:29:08 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-28 08:29:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 08:31:04 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-09-28 08:32:47 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-28 08:33:18 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2025-09-28 08:34:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-28 08:34:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 08:37:16 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 08:38:21 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-09-28 08:40:45 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 08:40:45 +0000 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 08:45:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 08:46:48 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:5dfe:6cb5:b248:dbc) |
| 2025-09-28 08:46:48 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:5dfe:6cb5:b248:dbc) (Changing host) |
| 2025-09-28 08:46:48 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 08:50:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 08:51:37 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
| 2025-09-28 08:56:29 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 09:01:02 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-09-28 09:01:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 09:06:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 09:15:36 +0000 | AlexNoo_ | (~AlexNoo@85.174.181.199) |
| 2025-09-28 09:15:36 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 09:15:44 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 09:17:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 09:18:05 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-09-28 09:18:31 +0000 | AlexZenon | (~alzenon@5.139.232.123) (Ping timeout: 240 seconds) |
| 2025-09-28 09:19:07 +0000 | AlexNoo | (~AlexNoo@5.139.232.123) (Ping timeout: 244 seconds) |
| 2025-09-28 09:19:22 +0000 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) astroanax |
| 2025-09-28 09:22:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 09:24:07 +0000 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-28 09:25:32 +0000 | AlexZenon | (~alzenon@85.174.181.199) |
| 2025-09-28 09:29:28 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 09:29:42 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 09:30:00 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-28 09:30:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 09:32:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-09-28 09:32:10 +0000 | AlexNoo_ | AlexNoo |
| 2025-09-28 09:37:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 09:39:19 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Ping timeout: 240 seconds) |
| 2025-09-28 09:41:03 +0000 | Vajb | (~Vajb@n5hm5k9t3gvbmoru6qi-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2025-09-28 09:42:40 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-28 09:42:57 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-09-28 09:43:24 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 09:48:14 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-28 09:48:34 +0000 | sprotte24 | (~sprotte24@p200300d16f2d9900fd81e3920f7bb401.dip0.t-ipconnect.de) |
| 2025-09-28 09:48:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 09:50:07 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 09:51:15 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 09:53:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 09:55:45 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-28 09:58:15 +0000 | <lyxia> | dcpagan: what's the code that failed and what's the error |
| 2025-09-28 10:04:20 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-28 10:04:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 10:09:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 10:10:01 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 10:19:31 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-28 10:20:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 10:21:34 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 10:21:47 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 10:24:49 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-28 10:25:11 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-28 10:25:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 10:31:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 10:36:35 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 10:37:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 10:40:10 +0000 | arandombit | (~arandombi@syn-024-168-084-088.res.spectrum.com) |
| 2025-09-28 10:40:10 +0000 | arandombit | (~arandombi@syn-024-168-084-088.res.spectrum.com) (Changing host) |
| 2025-09-28 10:40:10 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 10:44:00 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 10:44:13 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 10:45:59 +0000 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.7.1) |
| 2025-09-28 10:46:33 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-09-28 10:46:50 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 10:47:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 10:48:25 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:206d:1a43:7a52:91db) |
| 2025-09-28 10:48:26 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:206d:1a43:7a52:91db) (Changing host) |
| 2025-09-28 10:48:26 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 10:52:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 10:55:54 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 10:58:15 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:b0d3:b3d8:6d9c:d7db) |
| 2025-09-28 10:58:15 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:b0d3:b3d8:6d9c:d7db) (Changing host) |
| 2025-09-28 10:58:15 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 11:03:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 11:03:19 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 11:03:29 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 11:03:33 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 11:04:06 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 11:08:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 11:13:07 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-09-28 11:15:51 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 11:18:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 11:20:08 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) VictorHugenay |
| 2025-09-28 11:20:36 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-28 11:25:38 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 11:25:40 +0000 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 11:25:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 11:26:40 +0000 | trickard_ | trickard |
| 2025-09-28 11:32:28 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 11:32:40 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 11:32:41 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-28 11:32:44 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-28 11:32:50 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-09-28 11:32:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 11:33:59 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-28 11:37:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 11:45:20 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 2025-09-28 11:48:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 11:48:57 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 11:54:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 11:54:28 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-28 11:54:49 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 11:55:02 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 11:55:19 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-09-28 11:57:37 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2025-09-28 11:57:38 +0000 | divlamir_ | divlamir |
| 2025-09-28 12:00:20 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:c00f:6f24:a04a:4780) |
| 2025-09-28 12:00:20 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:c00f:6f24:a04a:4780) (Changing host) |
| 2025-09-28 12:00:21 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 12:01:12 +0000 | annamalai | (~annamalai@157.32.124.169) (Remote host closed the connection) |
| 2025-09-28 12:01:35 +0000 | annamalai | (~annamalai@157.32.124.169) annamalai |
| 2025-09-28 12:04:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 12:04:42 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 12:07:51 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 12:09:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 12:11:47 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-28 12:20:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 12:21:42 +0000 | trickard_ | trickard |
| 2025-09-28 12:24:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 12:25:44 +0000 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 12:25:46 +0000 | Googulator67 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 12:27:44 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-28 12:28:03 +0000 | Vajb | (~Vajb@85-76-96-121-nat.elisa-mobile.fi) |
| 2025-09-28 12:29:46 +0000 | annamalai | (~annamalai@157.32.124.169) (Ping timeout: 248 seconds) |
| 2025-09-28 12:33:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 12:35:24 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-28 12:37:49 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2025-09-28 12:38:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 12:49:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 12:50:40 +0000 | Googulator67 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 12:50:47 +0000 | Googulator90 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 12:52:06 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 2025-09-28 12:53:04 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-09-28 12:56:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 12:57:22 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 12:58:21 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:4058:a152:dea1:524b) |
| 2025-09-28 12:58:21 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:4058:a152:dea1:524b) (Changing host) |
| 2025-09-28 12:58:21 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 13:00:37 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-09-28 13:00:41 +0000 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-28 13:02:25 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2025-09-28 13:05:14 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 13:07:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 13:08:01 +0000 | Square | (~Square@user/square) Square |
| 2025-09-28 13:08:42 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 13:12:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 13:13:51 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-28 13:15:42 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 13:15:42 +0000 | Googulator90 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 13:16:39 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 13:20:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-09-28 13:21:21 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-28 13:22:08 +0000 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2025-09-28 13:23:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 13:28:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 13:31:52 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-28 13:33:36 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 13:33:39 +0000 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-28 13:34:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 13:39:49 +0000 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-09-28 13:40:13 +0000 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-28 13:40:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 13:43:47 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 13:44:00 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 13:50:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 13:55:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 13:57:05 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 13:58:11 +0000 | bgg_ | (~bgg@2a01:e0a:819:1510:614b:24d4:7063:74e2) (Remote host closed the connection) |
| 2025-09-28 13:58:32 +0000 | Vajb | (~Vajb@85-76-96-121-nat.elisa-mobile.fi) (Ping timeout: 240 seconds) |
| 2025-09-28 14:06:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 14:07:42 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-28 14:09:25 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-28 14:09:42 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-28 14:11:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 14:12:03 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 14:12:15 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 14:14:50 +0000 | annamalai | (~annamalai@157.32.118.126) annamalai |
| 2025-09-28 14:22:08 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-09-28 14:22:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 14:27:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 14:31:02 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 14:35:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 14:36:31 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 14:42:11 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 14:42:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2025-09-28 14:42:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 14:44:29 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 14:45:32 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 14:53:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 14:55:23 +0000 | trickard_ | trickard |
| 2025-09-28 14:57:30 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-28 14:58:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 15:00:16 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-28 15:01:09 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-09-28 15:01:30 +0000 | Square | (~Square@user/square) Square |
| 2025-09-28 15:08:05 +0000 | Vajb | (~Vajb@85-76-14-9-nat.elisa-mobile.fi) |
| 2025-09-28 15:09:56 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-28 15:10:12 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 15:12:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 15:13:58 +0000 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-28 15:15:44 +0000 | Googulator2 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 15:15:44 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 15:16:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 15:17:02 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-28 15:25:07 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-28 15:28:43 +0000 | bgg | (~bgg@2a01:e0a:819:1510:ce70:2793:3b21:6fbd) |
| 2025-09-28 15:32:37 +0000 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-28 15:35:41 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-28 15:36:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 15:37:39 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 15:37:52 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 15:39:53 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-28 15:40:40 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 15:40:45 +0000 | Googulator2 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 15:41:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 15:52:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 15:53:22 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 15:56:03 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-09-28 15:56:03 +0000 | ljdarj1 | ljdarj |
| 2025-09-28 15:57:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 16:02:09 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-09-28 16:02:32 +0000 | Square | (~Square@user/square) Square |
| 2025-09-28 16:05:23 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-28 16:07:48 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-28 16:08:06 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-28 16:08:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 16:08:43 +0000 | <slondr> | why do haskell linters suggest calling 'elem' as infix instead of prefix? I haven't seen this suggestion for other functions but I'm getting it for 'elem' |
| 2025-09-28 16:09:54 +0000 | <__monty__> | Looks nice if you use conceals? |
| 2025-09-28 16:10:08 +0000 | <__monty__> | Makes the argument order more intuitive? |
| 2025-09-28 16:10:19 +0000 | <__monty__> | Developer's personal opinion? |
| 2025-09-28 16:10:45 +0000 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 16:10:50 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 16:11:01 +0000 | <slondr> | What are conceals? |
| 2025-09-28 16:11:48 +0000 | <int-e> | x `elem` xs is reminiscent of x ∊ X in set theory |
| 2025-09-28 16:12:27 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-28 16:13:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 16:16:57 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-28 16:17:34 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-28 16:22:28 +0000 | <__monty__> | slondr: `:h conceal` in Vim. |
| 2025-09-28 16:23:22 +0000 | <slondr> | oh it's a vim thing? |
| 2025-09-28 16:23:40 +0000 | <slondr> | Ohh I see, it's similar to prettify-symbols-mode |
| 2025-09-28 16:23:57 +0000 | <__monty__> | Some other editors also do. |
| 2025-09-28 16:24:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 16:29:40 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-28 16:29:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-28 16:35:52 +0000 | Guest63 | (~Guest25@49.43.241.130) |
| 2025-09-28 16:36:25 +0000 | Guest63 | (~Guest25@49.43.241.130) (Client Quit) |
| 2025-09-28 16:36:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-28 16:37:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 16:40:10 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 16:40:45 +0000 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 16:40:46 +0000 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 16:41:50 +0000 | <dcpagan> | lyxia: The code "rhyme = symbolVal $ Proxy @(Song SongLength)" throws the type error "No instance for (KnownSymbol (Song SongLength) arising from a use of 'symbolVal'". |
| 2025-09-28 16:42:33 +0000 | <dcpagan> | I cannot use the associated type families, but the closed type families work. |
| 2025-09-28 16:42:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 16:43:31 +0000 | <dcpagan> | You can clone it here: https://github.com/DCPagan/Exercism-Haskell/blob/master/house/src/House.hs#L116-L117 |
| 2025-09-28 16:44:22 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-28 16:46:56 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-28 16:53:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 16:53:55 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-28 16:54:48 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds) |
| 2025-09-28 16:55:03 +0000 | <dcpagan> | I solved it: I had to add an instance statement for the class. |
| 2025-09-28 16:58:07 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 16:58:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 17:03:22 +0000 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-28 17:06:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-09-28 17:06:35 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-28 17:09:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:11:56 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-28 17:14:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 17:15:47 +0000 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 17:15:51 +0000 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 17:16:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-28 17:18:33 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 17:21:13 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-09-28 17:22:32 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 17:22:53 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 17:24:07 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 17:26:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:26:33 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 17:27:12 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-28 17:29:47 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 17:31:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 17:33:47 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 17:34:01 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 17:36:15 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 17:38:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:43:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 17:49:21 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-09-28 17:54:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:00:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 18:06:46 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-28 18:07:54 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 18:09:37 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-09-28 18:10:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:14:51 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-28 18:14:51 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-28 18:14:51 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-28 18:15:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 18:24:04 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 18:24:09 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 18:26:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:29:12 +0000 | <tomsmeding> | dcpagan: did you add a manual instance to KnownSymbol? That sounds highly dubious and probably not the way to go |
| 2025-09-28 18:29:30 +0000 | <dcpagan> | I just did; it fixed it. |
| 2025-09-28 18:29:44 +0000 | <tomsmeding> | symbolVal is meant for symbols themselves; if you want tome kind of typeclass for "things that have a name", you should probably create that typeclass yourself |
| 2025-09-28 18:29:56 +0000 | <tomsmeding> | and it could have an instance for Symbol that delegates to symbolVal |
| 2025-09-28 18:30:27 +0000 | <tomsmeding> | or wait |
| 2025-09-28 18:30:33 +0000 | <tomsmeding> | what do you mean with "add an instance statement" precisely? |
| 2025-09-28 18:31:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 18:31:55 +0000 | <tomsmeding> | oh you mean an instance for VerseIndex, not an instance for KnownSymbol |
| 2025-09-28 18:32:04 +0000 | <tomsmeding> | yeah that makes perfect sense |
| 2025-09-28 18:32:39 +0000 | <tomsmeding> | though I do wonder why the class is necessary |
| 2025-09-28 18:36:02 +0000 | <tomsmeding> | dcpagan: https://play.haskell.org/saved/YzCmA0EI works fine for me |
| 2025-09-28 18:36:15 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 18:36:15 +0000 | <tomsmeding> | I did have to convert the "type signatures" for Verses/Stanza/Song to StandaloneKindSignatures |
| 2025-09-28 18:38:24 +0000 | <dcpagan> | tomsmeding: Before, I forgot to add the line "instance (KnownNat n, n <= SongLength) => VerseIndex (n :: Natural)" |
| 2025-09-28 18:38:45 +0000 | <tomsmeding> | right |
| 2025-09-28 18:39:01 +0000 | <tomsmeding> | that line has nothing to do with KnownSymbol, though :) |
| 2025-09-28 18:39:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:40:07 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-09-28 18:41:09 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-09-28 18:41:45 +0000 | <dcpagan> | I am getting conflicting conflicting type instances from the commented block of code: |
| 2025-09-28 18:41:58 +0000 | <dcpagan> | https://github.com/DCPagan/Exercism-Haskell/blob/62845d21c972414c648e69a456990a00280c3faa/house/sr… |
| 2025-09-28 18:42:29 +0000 | <dcpagan> | I want to encapsulate the constraints and type errors in a separate instance. |
| 2025-09-28 18:42:36 +0000 | <tomsmeding> | instances are chosen/disambiguated purely based on the part to the right of the => |
| 2025-09-28 18:42:43 +0000 | <tomsmeding> | so both your `VerseIndex n` instances apply to all n |
| 2025-09-28 18:42:53 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2025-09-28 18:43:05 +0000 | <tomsmeding> | haskell typeclasses are not a logic programming language, unfortunately |
| 2025-09-28 18:43:08 +0000 | <dcpagan> | So how do I constrain the kind variables? |
| 2025-09-28 18:43:19 +0000 | <tomsmeding> | with instances, you don't |
| 2025-09-28 18:43:24 +0000 | <dcpagan> | That sucks. |
| 2025-09-28 18:43:33 +0000 | <tomsmeding> | you can use type families though :) |
| 2025-09-28 18:43:43 +0000 | <tomsmeding> | I don't see why you cannot just compute these things with type families |
| 2025-09-28 18:44:25 +0000 | <dcpagan> | Can I pattern match with type families? |
| 2025-09-28 18:44:28 +0000 | bgg | (~bgg@2a01:e0a:819:1510:ce70:2793:3b21:6fbd) (Remote host closed the connection) |
| 2025-09-28 18:44:41 +0000 | <tomsmeding> | use https://hackage.haskell.org/package/base-4.19.0.0/docs/GHC-TypeLits.html#t:-60--61--63- and https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Type-Bool.html#t:If |
| 2025-09-28 18:45:03 +0000 | <tomsmeding> | dcpagan: what is `Song' Nothing = "" ; Song' (Just n) = ...` doing if not pattern matching? |
| 2025-09-28 18:45:15 +0000 | <tomsmeding> | but in this case, you don't want to pattern-match, you want to have a conditional on <= |
| 2025-09-28 18:45:24 +0000 | <dcpagan> | Last time I tried Data.Type.Bool.If, I got reduction stack overflows. |
| 2025-09-28 18:45:42 +0000 | <dcpagan> | It's why I refactored to recursion with Maybe Natural. |
| 2025-09-28 18:45:53 +0000 | <tomsmeding> | sure, you can do that here too |
| 2025-09-28 18:46:02 +0000 | <dcpagan> | I want to guard against naturals beyond a certain value. |
| 2025-09-28 18:46:04 +0000 | <tomsmeding> | but I expect the If to work |
| 2025-09-28 18:46:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 18:47:12 +0000 | <tomsmeding> | instance selection is "greedy" in haskell, no backtracking is performed |
| 2025-09-28 18:47:38 +0000 | <tomsmeding> | the algorithm does, however, guard against ambiguity: an instance is chosen only if it can be determined, without looking at the constraints, that it's the only one that matches |
| 2025-09-28 18:47:56 +0000 | <tomsmeding> | this means that the result of the greedy algorithm is always compatible with what a full backtracking algorithm would have produced |
| 2025-09-28 18:49:12 +0000 | <tomsmeding> | why exactly this choice for greediness was made I don't know; perhaps to not accidentally build a prolog |
| 2025-09-28 18:49:33 +0000 | <tomsmeding> | and retain sane compile times |
| 2025-09-28 18:52:19 +0000 | <EvanR> | warning warning prolog detected. Abort |
| 2025-09-28 18:52:26 +0000 | <EvanR> | it's too late |
| 2025-09-28 18:57:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:00:03 +0000 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-28 19:00:12 +0000 | <[exa]> | EvanR: no one used cut yet! backtrack! |
| 2025-09-28 19:00:47 +0000 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-28 19:01:40 +0000 | <dcpagan> | I used Data.Type.Bool.If, and there were no reduction stack overflows. |
| 2025-09-28 19:01:43 +0000 | <dcpagan> | https://github.com/DCPagan/Exercism-Haskell/blob/73c27000e602ea2fe1718f552b717ae62a490257/house/sr… |
| 2025-09-28 19:02:19 +0000 | <dcpagan> | Would this render redundant the constraint (n <= SongLength)? |
| 2025-09-28 19:02:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 19:07:30 +0000 | <dcpagan> | The only thing I'm missing is specifying the input index in the custom type error message. |
| 2025-09-28 19:08:01 +0000 | <dcpagan> | How do I convert a Natural to a Symbol for displaying in a custom type error message? |
| 2025-09-28 19:08:17 +0000 | <dcpagan> | Like a type-promoted show? |
| 2025-09-28 19:08:33 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-28 19:10:13 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-09-28 19:12:19 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 19:12:36 +0000 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) |
| 2025-09-28 19:12:53 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-28 19:13:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:17:16 +0000 | <tomsmeding> | dcpagan: use ShowType? https://hackage.haskell.org/package/base-4.20.0.1/docs/GHC-TypeError.html#t:ErrorMessage |
| 2025-09-28 19:17:40 +0000 | <tomsmeding> | dcpagan: why is the instance still there? Why are Verses/Stanza/Song not just top-level type families at this point? |
| 2025-09-28 19:18:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-09-28 19:18:24 +0000 | <tomsmeding> | a class with a single, blanket instance (like you have here with VerseIndex) is very rarely useful |
| 2025-09-28 19:18:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 19:19:05 +0000 | <tomsmeding> | there are very specific reasons why you may need such a thing sometimes (in particular if it appears in a QuantifiedConstraint elsewhere), but none of those apply here |
| 2025-09-28 19:20:45 +0000 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 19:20:56 +0000 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 19:21:16 +0000 | <dcpagan> | I was planning on constraining the type family with the constraint. |
| 2025-09-28 19:21:19 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-28 19:22:31 +0000 | <tomsmeding> | right |
| 2025-09-28 19:25:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-28 19:27:04 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-28 19:29:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:30:30 +0000 | <dcpagan> | Do custom type errors always make such constraints redundant? |
| 2025-09-28 19:30:42 +0000 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 19:30:43 +0000 | Googulator59 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 19:30:48 +0000 | <dcpagan> | Latest update: https://github.com/DCPagan/Exercism-Haskell/blob/master/house/src/House.hs |
| 2025-09-28 19:31:32 +0000 | <dcpagan> | I really like how custom type errors are immediately communicated to the IDE. |
| 2025-09-28 19:32:05 +0000 | <dcpagan> | It's like I'm programming the IDE to gently hand-hold anyone who inherits this code. |
| 2025-09-28 19:34:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 19:37:56 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 19:39:50 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-28 19:40:07 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:b1d5:1527:b9ee:ee90) |
| 2025-09-28 19:40:07 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:b1d5:1527:b9ee:ee90) (Changing host) |
| 2025-09-28 19:40:07 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 19:40:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:45:19 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 19:46:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 19:47:54 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-09-28 19:48:45 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 19:49:29 +0000 | <tomsmeding> | well, the kind of type-level programming that you're doing here is not quite what the type system was designed for :) |
| 2025-09-28 19:50:09 +0000 | <tomsmeding> | if your type class had a value in it too, then you would not have been able to eliminate the type class |
| 2025-09-28 19:51:12 +0000 | <tomsmeding> | usually, if there's a sensible place to put a constraint and thereby save an explicit If in a type family, using the constraint is the better choice |
| 2025-09-28 19:51:25 +0000 | <tomsmeding> | because constraints behave more nicely in the type system, in general |
| 2025-09-28 19:51:49 +0000 | <tomsmeding> | but in this case you have no values in the first place, so there is no sensible place to put a constraint, so TypeError it is |
| 2025-09-28 19:53:27 +0000 | <EvanR> | you have class but no value |
| 2025-09-28 19:53:39 +0000 | <EvanR> | an awkward position to be in |
| 2025-09-28 19:53:46 +0000 | <tomsmeding> | rather |
| 2025-09-28 19:54:02 +0000 | <tomsmeding> | unless you're "typing the technical interview" |
| 2025-09-28 19:56:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:56:59 +0000 | <tomsmeding> | at least you have family this way |
| 2025-09-28 20:00:40 +0000 | Googulator84 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 20:00:44 +0000 | Googulator59 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 20:01:26 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-28 20:01:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 20:08:38 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-28 20:12:23 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 20:12:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 20:14:17 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-28 20:17:06 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 20:17:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 20:20:39 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 20:20:43 +0000 | Googulator84 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 20:21:30 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-09-28 20:23:11 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-28 20:26:36 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 20:28:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 20:29:21 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-09-28 20:34:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 20:46:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 20:50:38 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-28 20:51:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-28 21:02:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:05:01 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 21:06:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 21:08:28 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-09-28 21:09:05 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 21:09:21 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-09-28 21:16:01 +0000 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 21:16:12 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 21:16:45 +0000 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-09-28 21:17:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:18:26 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-28 21:20:37 +0000 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 21:20:37 +0000 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-09-28 21:23:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 21:26:31 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2025-09-28 21:27:59 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-28 21:33:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:39:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 21:46:52 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-09-28 21:47:04 +0000 | pie__ | (~pie_bnc@user/pie/x-2818909) () |
| 2025-09-28 21:49:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:54:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 22:00:00 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-09-28 22:02:14 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2025-09-28 22:04:46 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) |
| 2025-09-28 22:04:46 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) (Changing host) |
| 2025-09-28 22:04:46 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 22:05:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 22:05:38 +0000 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 22:05:45 +0000 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 22:06:45 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 22:08:09 +0000 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2025-09-28 22:08:49 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2025-09-28 22:09:18 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 22:10:24 +0000 | xal | (~xal@mx1.xal.systems) (Client Quit) |
| 2025-09-28 22:11:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 22:12:15 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2025-09-28 22:16:07 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-28 22:20:04 +0000 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-28 22:23:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 22:27:34 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 22:28:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 22:29:40 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-28 22:30:29 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 22:33:28 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-28 22:35:38 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-28 22:37:14 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 22:39:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 22:40:16 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 22:40:17 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) |
| 2025-09-28 22:40:18 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) (Changing host) |
| 2025-09-28 22:40:18 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 22:41:12 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-28 22:43:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 22:44:17 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 22:47:16 +0000 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 22:47:30 +0000 | bgg | (~bgg@2a01:e0a:819:1510:bd7c:a1cb:3788:3d39) |
| 2025-09-28 22:48:44 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-09-28 22:54:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 22:58:34 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 23:00:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 23:01:32 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 23:03:56 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-28 23:05:25 +0000 | craunts79 | (~craunts@136.158.7.194) |
| 2025-09-28 23:10:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 23:11:57 +0000 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2025-09-28 23:14:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 23:15:28 +0000 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 23:15:36 +0000 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 23:16:10 +0000 | acidjnk | (~acidjnk@p200300d6e71719416d0f89f3aea01a32.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-28 23:16:47 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-09-28 23:16:55 +0000 | sprotte24 | (~sprotte24@p200300d16f2d9900fd81e3920f7bb401.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-28 23:18:55 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-28 23:20:29 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-28 23:26:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 23:30:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 23:35:55 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-28 23:38:17 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-28 23:46:28 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-28 23:50:39 +0000 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 23:50:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 23:50:44 +0000 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 23:54:27 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-28 23:55:53 +0000 | Googulator68 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 23:57:23 +0000 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 23:57:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 23:58:10 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |