| 2025-09-30 00:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 00:06:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-09-30 00:09:12 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-09-30 00:14:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 00:16:00 +0200 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 00:16:13 +0200 | Googulator66 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 00:18:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-30 00:19:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-30 00:19:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 00:21:02 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-30 00:26:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-09-30 00:29:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-30 00:30:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 00:32:45 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-30 00:34:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 00:34:40 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 00:34:53 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 00:42:02 +0200 | bgg | (~bgg@2a01:e0a:819:1510:573a:3145:6af7:e234) (Ping timeout: 248 seconds) |
| 2025-09-30 00:42:05 +0200 | bgg_ | (~bgg@2a01:e0a:819:1510:573a:3145:6af7:e234) |
| 2025-09-30 00:45:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 00:47:05 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-09-30 00:52:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-30 00:59:34 +0200 | jreicher | (~user@user/jreicher) (Quit: brb) |
| 2025-09-30 01:02:07 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-30 01:03:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 01:04:38 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-30 01:08:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-30 01:11:30 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-30 01:17:41 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-30 01:26:37 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-30 01:27:24 +0200 | sprotte24 | (~sprotte24@p200300d16f33530008dc51ed686c9258.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-30 01:29:40 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-09-30 01:30:31 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-30 01:36:44 +0200 | acidjnk | (~acidjnk@p200300d6e71719414833950799c296ee.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-09-30 01:37:58 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-30 01:48:52 +0200 | jreicher | (~user@user/jreicher) (Quit: brb) |
| 2025-09-30 01:49:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 01:51:19 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2025-09-30 01:53:08 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-30 01:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-30 01:58:13 +0200 | FANTOM | (~fantom@90.244.165.186) (Ping timeout: 264 seconds) |
| 2025-09-30 01:58:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-30 01:59:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-30 02:05:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 02:09:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-30 02:14:43 +0200 | FANTOM | (~fantom@90.244.179.122) |
| 2025-09-30 02:20:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 02:27:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 02:38:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 02:40:33 +0200 | Googulator57 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-30 02:40:51 +0200 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 02:42:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 02:43:53 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 02:44:07 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 02:50:06 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-09-30 02:50:36 +0200 | Googulator57 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 02:50:37 +0200 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 02:54:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 02:55:41 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 02:55:41 +0200 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 03:00:35 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 03:00:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-30 03:00:49 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 03:05:30 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-09-30 03:08:31 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fe2c:68a3:b199:389f) (Ping timeout: 250 seconds) |
| 2025-09-30 03:10:34 +0200 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-09-30 03:12:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 03:15:04 +0200 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 256 seconds) |
| 2025-09-30 03:16:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-30 03:17:20 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-09-30 03:20:40 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-09-30 03:23:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-30 03:24:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-30 03:27:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 03:32:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-30 03:37:43 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-09-30 03:43:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 03:47:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-30 03:52:30 +0200 | trampi8 | (~trampi@mx.trampusch.info) trampi |
| 2025-09-30 03:55:27 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-30 03:55:48 +0200 | trampi | (~trampi@mx.trampusch.info) (Ping timeout: 260 seconds) |
| 2025-09-30 03:55:48 +0200 | trampi8 | trampi |
| 2025-09-30 03:58:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 04:03:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-30 04:03:20 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-09-30 04:04:19 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-30 04:06:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-30 04:08:56 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-30 04:14:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 04:14:19 +0200 | ringo__ | (~ringo@157.230.117.128) (Ping timeout: 244 seconds) |
| 2025-09-30 04:14:38 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-30 04:15:08 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-09-30 04:15:24 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-09-30 04:17:37 +0200 | ringo__ | (~ringo@157.230.117.128) ringo_ |
| 2025-09-30 04:18:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 04:18:55 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-30 04:21:01 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 04:21:02 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 04:23:06 +0200 | ringo__ | (~ringo@157.230.117.128) (Ping timeout: 244 seconds) |
| 2025-09-30 04:25:52 +0200 | ringo__ | (~ringo@157.230.117.128) ringo_ |
| 2025-09-30 04:29:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 04:29:38 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 04:29:49 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 04:36:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 04:46:55 +0200 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-30 04:47:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-09-30 04:47:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 04:47:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-30 04:48:54 +0200 | td_ | (~td@i5387093E.versanet.de) |
| 2025-09-30 04:51:22 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-09-30 04:51:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 04:56:29 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 265 seconds) |
| 2025-09-30 05:02:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 05:10:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 05:10:55 +0200 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 05:11:18 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 05:17:44 +0200 | remmie | (ianremsen@tilde.team) remsense |
| 2025-09-30 05:20:08 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-09-30 05:21:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 05:24:43 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-30 05:25:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-30 05:28:22 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-09-30 05:32:59 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-09-30 05:35:58 +0200 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 05:35:58 +0200 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 05:36:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 05:40:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-30 05:45:26 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 05:45:39 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 05:46:46 +0200 | <chromoblob> | [exa]: "| Just arg <- preview (prefixed "hahaha") arg" nah too much clutter... |
| 2025-09-30 05:51:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 05:53:08 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf5:4500:a7c:e5c2:f508:add3) aforemny |
| 2025-09-30 05:53:55 +0200 | aforemny | (~aforemny@2001:9e8:6cd7:5200:d9f8:40ae:cd09:6740) (Ping timeout: 255 seconds) |
| 2025-09-30 05:55:40 +0200 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 05:55:40 +0200 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 05:56:09 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:80b2:7c91:4ece:7d51) synchromesh |
| 2025-09-30 05:56:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 06:00:39 +0200 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 06:00:46 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 06:07:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 06:08:01 +0200 | sp1ff | (~user@2601:1c2:4c00:6820::1528) (Remote host closed the connection) |
| 2025-09-30 06:11:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 06:12:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-30 06:13:52 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 06:14:05 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 06:22:52 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-30 06:24:28 +0200 | sp1ff | (~user@2601:1c2:4c00:6820::1528) sp1ff |
| 2025-09-30 06:27:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 06:31:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 06:37:07 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-30 06:40:49 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-30 06:42:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 06:45:53 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-09-30 06:46:37 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-30 06:47:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 06:48:56 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-09-30 06:58:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 07:01:56 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-30 07:01:58 +0200 | michalz | (~michalz@185.246.207.205) |
| 2025-09-30 07:03:19 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-30 07:04:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 07:05:08 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-30 07:16:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 07:20:25 +0200 | annamalai | (~annamalai@157.32.114.112) (Ping timeout: 264 seconds) |
| 2025-09-30 07:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 07:31:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 07:32:48 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-30 07:36:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 07:42:55 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds) |
| 2025-09-30 07:46:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 07:48:52 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-30 07:49:08 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-30 07:51:05 +0200 | apache | (apache2@anubis.0x90.dk) (Remote host closed the connection) |
| 2025-09-30 07:51:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 07:52:48 +0200 | acro | (~acro@user/acro) (Quit: Bye.) |
| 2025-09-30 07:53:17 +0200 | apache2 | (apache2@anubis.0x90.dk) apache2 |
| 2025-09-30 07:53:17 +0200 | Dykam_ | (Dykam@dykam.nl) (Remote host closed the connection) |
| 2025-09-30 07:53:20 +0200 | acro | (~acro@user/acro) acro |
| 2025-09-30 07:54:27 +0200 | Dykam | (Dykam@dykam.nl) Dykam |
| 2025-09-30 08:02:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 08:07:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-30 08:09:39 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-30 08:09:56 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-30 08:10:57 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 244 seconds) |
| 2025-09-30 08:12:08 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) jle` |
| 2025-09-30 08:12:14 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 265 seconds) |
| 2025-09-30 08:12:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 08:28:56 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-30 08:30:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-30 08:48:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) |
| 2025-09-30 08:57:38 +0200 | banner_ | (~banner@n1-41-210-25.bla22.nsw.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 08:58:21 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 264 seconds) |
| 2025-09-30 08:58:42 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-09-30 09:00:00 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-30 09:00:42 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-30 09:07:56 +0200 | acidjnk | (~acidjnk@p200300d6e7171998005183a2f3779849.dip0.t-ipconnect.de) acidjnk |
| 2025-09-30 09:09:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-09-30 09:10:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-30 09:10:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-30 09:30:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-30 09:33:22 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-30 09:37:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-30 09:42:38 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-30 09:43:47 +0200 | <[exa]> | chromoblob: there should be a way to make a pattern synonym for that, will try |
| 2025-09-30 09:44:07 +0200 | <[exa]> | actually looks weird to me that no one documented this |
| 2025-09-30 09:44:20 +0200 | <[exa]> | time2try |
| 2025-09-30 09:44:51 +0200 | _bo | (~bo@98.red-83-56-255.dynamicip.rima-tde.net) |
| 2025-09-30 09:45:42 +0200 | chele | (~chele@user/chele) chele |
| 2025-09-30 09:46:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-09-30 09:51:57 +0200 | <[exa]> | chromoblob: ok so the way 1 with viewpatterns (still there's an obnoxious extra Just): https://paste.tomsmeding.com/LQcWsMCY |
| 2025-09-30 09:52:46 +0200 | <chromoblob> | yeah, very simple |
| 2025-09-30 09:53:17 +0200 | ft | (~ft@p4fc2a225.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-30 09:55:51 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-30 09:56:33 +0200 | <c_wraith> | you can't pass an argument to a pattern synonym.... as a value. |
| 2025-09-30 09:57:49 +0200 | <[exa]> | c_wraith: yeah I just hit that now |
| 2025-09-30 09:58:22 +0200 | <[exa]> | chromoblob: the closest I got with the synonyms so far: https://paste.tomsmeding.com/CSv7TWl9 |
| 2025-09-30 09:58:43 +0200 | img | (~img@user/img) img |
| 2025-09-30 09:59:04 +0200 | <tomsmeding> | [exa]: you can give the pattern synonym a Symbol-kinded type argument as the prefix |
| 2025-09-30 09:59:17 +0200 | <c_wraith> | that's why I said "as a value" :) |
| 2025-09-30 09:59:22 +0200 | <tomsmeding> | indeed |
| 2025-09-30 09:59:50 +0200 | img | (~img@user/img) (Client Quit) |
| 2025-09-30 10:01:07 +0200 | img | (~img@user/img) img |
| 2025-09-30 10:01:09 +0200 | <[exa]> | oh whoa, ghc panic: https://paste.tomsmeding.com/aYsg3Ma9 |
| 2025-09-30 10:01:38 +0200 | <[exa]> | I thought I'd outsmart it |
| 2025-09-30 10:01:46 +0200 | <tomsmeding> | wow |
| 2025-09-30 10:02:04 +0200 | <tomsmeding> | even 9.12 crashes on this |
| 2025-09-30 10:02:06 +0200 | <[exa]> | hm what do I need for the symbol-kinded example? datakinds? |
| 2025-09-30 10:02:14 +0200 | <tomsmeding> | [exa]: report it as a GHC bug :D |
| 2025-09-30 10:03:04 +0200 | <tomsmeding> | [exa]: https://play.haskell.org/saved/kFMlnUcJ |
| 2025-09-30 10:04:31 +0200 | <[exa]> | oh cool |
| 2025-09-30 10:04:38 +0200 | <[exa]> | chromoblob: ^ this is likely the closest we can get |
| 2025-09-30 10:04:41 +0200 | <[exa]> | thanks! |
| 2025-09-30 10:05:12 +0200 | <tomsmeding> | this is like the 4th time that I've coded up this example, 10 mins ago I was looking through the logs trying to find an earlier version of it but I couldn't so I typed it up again :p |
| 2025-09-30 10:05:30 +0200 | <[exa]> | time to throw it at the wiki? :D |
| 2025-09-30 10:05:30 +0200 | <tomsmeding> | most significant limitation is what c_wraith said: the prefix must be static, cannot be runtime-determined |
| 2025-09-30 10:06:00 +0200 | <[exa]> | I'd say that's ok |
| 2025-09-30 10:06:03 +0200 | <c_wraith> | well... Not *strictly* true. |
| 2025-09-30 10:06:41 +0200 | <tomsmeding> | I guess you can withSomeSSymbol and then withKnownSymbol to construct a KnownSymbol out of thin air |
| 2025-09-30 10:06:50 +0200 | <c_wraith> | yeah, but at that point... why? |
| 2025-09-30 10:06:57 +0200 | <tomsmeding> | but you can't just put that around an argument |
| 2025-09-30 10:06:59 +0200 | <tomsmeding> | yes |
| 2025-09-30 10:07:44 +0200 | <tomsmeding> | [exa]: your ghc-crashing example is very fragile |
| 2025-09-30 10:08:12 +0200 | <[exa]> | I kinda fail to see why, but okay |
| 2025-09-30 10:08:29 +0200 | <tomsmeding> | [exa]: https://play.haskell.org/saved/If9WqzWN |
| 2025-09-30 10:08:40 +0200 | <tomsmeding> | the presence of that p == s guard is somehow essential |
| 2025-09-30 10:09:13 +0200 | <[exa]> | lol |
| 2025-09-30 10:09:35 +0200 | <[exa]> | btw I won't be able to open the issue today so if anyone volunteered to report this it would be very welcome |
| 2025-09-30 10:10:58 +0200 | <tomsmeding> | [exa]: your code does not type check, like, at all |
| 2025-09-30 10:11:05 +0200 | <tomsmeding> | GHC is being drunk |
| 2025-09-30 10:11:15 +0200 | <[exa]> | how come it doesn't typecheck? |
| 2025-09-30 10:11:18 +0200 | <[exa]> | it worked :D |
| 2025-09-30 10:11:23 +0200 | <tomsmeding> | prefixed :: String -> String -> Maybe String |
| 2025-09-30 10:11:28 +0200 | <tomsmeding> | prefixed2 :: (String, String) -> Maybe String |
| 2025-09-30 10:11:34 +0200 | haritz | (~hrtz@137.220.80.141) |
| 2025-09-30 10:11:34 +0200 | haritz | (~hrtz@137.220.80.141) (Changing host) |
| 2025-09-30 10:11:34 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-30 10:11:35 +0200 | <[exa]> | check |
| 2025-09-30 10:11:35 +0200 | <tomsmeding> | so the x in Secured is a String |
| 2025-09-30 10:11:43 +0200 | <tomsmeding> | so the argument to Secured in 'secure' is a String |
| 2025-09-30 10:11:46 +0200 | <tomsmeding> | not a (String, String) |
| 2025-09-30 10:11:57 +0200 | <tomsmeding> | if I give 'prefixed' a type signature, ghc complains |
| 2025-09-30 10:12:05 +0200 | <tomsmeding> | I don't know _what_ is going on here |
| 2025-09-30 10:12:14 +0200 | <[exa]> | ooooooh I see |
| 2025-09-30 10:12:26 +0200 | <[exa]> | I put the tuple into it from the wrong side |
| 2025-09-30 10:12:29 +0200 | <tomsmeding> | yes |
| 2025-09-30 10:12:55 +0200 | <tomsmeding> | prefixed2 would need to also return the pair for the whole trick to work |
| 2025-09-30 10:13:05 +0200 | <tomsmeding> | as in, take (prefix, whole) and return (prefix, suffix) |
| 2025-09-30 10:13:14 +0200 | <[exa]> | yeah that was not the intention |
| 2025-09-30 10:13:19 +0200 | <tomsmeding> | but I have no clue why ghc is accepting the code |
| 2025-09-30 10:13:27 +0200 | <[exa]> | "accepting" :D |
| 2025-09-30 10:13:33 +0200 | <tomsmeding> | well if you remove the | p == s guard |
| 2025-09-30 10:13:57 +0200 | <tomsmeding> | ah |
| 2025-09-30 10:13:59 +0200 | <tomsmeding> | no it doesn't |
| 2025-09-30 10:14:14 +0200 | <tomsmeding> | if you leave in the Just s case of prefixed then it throws a type error as expected, even without a type signature |
| 2025-09-30 10:14:33 +0200 | <tomsmeding> | so here is code that contains a type error, but somehow ghc breaks before being able to report it |
| 2025-09-30 10:14:39 +0200 | tomsmeding | has a meeting, sorry |
| 2025-09-30 10:14:54 +0200 | <[exa]> | #metoo |
| 2025-09-30 10:15:06 +0200 | <[exa]> | ok let's see later |
| 2025-09-30 10:16:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-30 10:18:01 +0200 | trickard_ | trickard |
| 2025-09-30 10:19:53 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 10:21:26 +0200 | Googulator38 | Googulator |
| 2025-09-30 10:21:35 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-09-30 10:25:19 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 10:28:03 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 10:29:16 +0200 | annamalai | (~annamalai@157.32.115.168) annamalai |
| 2025-09-30 10:36:35 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 245 seconds) |
| 2025-09-30 10:41:47 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-09-30 10:45:31 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-09-30 10:50:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-30 10:54:17 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 10:54:18 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 248 seconds) |
| 2025-09-30 11:00:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-09-30 11:01:49 +0200 | <ski> | @index stripPrefix |
| 2025-09-30 11:01:49 +0200 | <lambdabot> | GHC.OldList, Data.List |
| 2025-09-30 11:01:50 +0200 | <ski> | @type stripPrefix |
| 2025-09-30 11:01:51 +0200 | <lambdabot> | Eq a => [a] -> [a] -> Maybe [a] |
| 2025-09-30 11:02:21 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-09-30 11:04:24 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-30 11:05:34 +0200 | <ski> | [exa],c_wraith : `pattern Append :: Eq a => [a] -> () => [a] -> [a]' ought to be possible, first comes input context and parameters, then output context and parameters, finally input result |
| 2025-09-30 11:05:47 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit) |
| 2025-09-30 11:06:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 11:07:04 +0200 | dhil | (~dhil@5.151.29.138) dhil |
| 2025-09-30 11:10:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) |
| 2025-09-30 11:11:47 +0200 | <[exa]> | ski: ok whew |
| 2025-09-30 11:14:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-30 11:14:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-30 11:14:34 +0200 | <ski> | pattern Append [ ] ys = ys |
| 2025-09-30 11:14:36 +0200 | <ski> | pattern Append (x0:xs) ys = x1 : Append xs ys | x0 == x1 |
| 2025-09-30 11:14:49 +0200 | <ski> | or, you could restate the latter as |
| 2025-09-30 11:15:15 +0200 | <ski> | pattern Append (x:xs) ys = Is x : Append xs ys |
| 2025-09-30 11:15:17 +0200 | <ski> | with |
| 2025-09-30 11:16:00 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-09-30 11:16:04 +0200 | <ski> | pattern Is :: Eq a => a -> () => a |
| 2025-09-30 11:16:25 +0200 | <ski> | pattern Is x <- ((x ==) -> True) |
| 2025-09-30 11:16:27 +0200 | <ski> | where |
| 2025-09-30 11:16:33 +0200 | <ski> | Is x = x |
| 2025-09-30 11:17:26 +0200 | <ski> | (or, s/Is/Id/, maybe) |
| 2025-09-30 11:18:01 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-09-30 11:18:01 +0200 | <tomsmeding> | "ought to be possible", as in, "would be nice but GHC does not support this" :p |
| 2025-09-30 11:18:07 +0200 | <ski> | indeed |
| 2025-09-30 11:18:20 +0200 | <ski> | it already does support the output context |
| 2025-09-30 11:18:24 +0200 | <tomsmeding> | yes |
| 2025-09-30 11:19:24 +0200 | YuutaW | (~YuutaW@alice.yuuta.moe) (Ping timeout: 252 seconds) |
| 2025-09-30 11:19:54 +0200 | <[exa]> | we should have #haskell-prolog |
| 2025-09-30 11:20:04 +0200 | <tomsmeding> | should we? |
| 2025-09-30 11:20:34 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-30 11:20:37 +0200 | YuutaW | (~YuutaW@alice.yuuta.moe) YuutaW |
| 2025-09-30 11:20:45 +0200 | tomsmeding | is building a GHC HEAD to test [exa]'s thing |
| 2025-09-30 11:20:54 +0200 | <[exa]> | lol |
| 2025-09-30 11:21:08 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 11:23:38 +0200 | <ski> | well, #mercury does exist (and #curry) |
| 2025-09-30 11:23:55 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-30 11:31:06 +0200 | bgg__ | (~bgg@2a01:e0a:819:1510:573a:3145:6af7:e234) |
| 2025-09-30 11:31:17 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-30 11:32:34 +0200 | bgg_ | (~bgg@2a01:e0a:819:1510:573a:3145:6af7:e234) (Read error: Connection reset by peer) |
| 2025-09-30 11:32:42 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-09-30 11:32:43 +0200 | ljdarj1 | ljdarj |
| 2025-09-30 11:37:11 +0200 | <tomsmeding> | [exa]: GHC HEAD also crashes |
| 2025-09-30 11:42:08 +0200 | fgarcia | (~nu@user/fgarcia) (Ping timeout: 240 seconds) |
| 2025-09-30 11:43:26 +0200 | <ski> | % case "foobar" of (("foo",) -> Suffix "bar") -> () |
| 2025-09-30 11:43:26 +0200 | <yahb2> | () |
| 2025-09-30 11:45:01 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-30 11:48:25 +0200 | <tomsmeding> | [exa]: https://gitlab.haskell.org/ghc/ghc/-/issues/26465 |
| 2025-09-30 11:48:53 +0200 | <tomsmeding> | ski: cute |
| 2025-09-30 11:49:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-30 11:51:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-30 11:51:44 +0200 | <ski> | tomsmeding : surely `x' in `Secured x' ought to have type `String' (or, generalized, `[a]') ? |
| 2025-09-30 11:51:51 +0200 | <tomsmeding> | yes |
| 2025-09-30 11:51:58 +0200 | <tomsmeding> | the module contains a type error, as I said |
| 2025-09-30 11:52:10 +0200 | <tomsmeding> | usage expects the x to be (String, String), but the definition implies it to be String |
| 2025-09-30 11:52:12 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 11:52:19 +0200 | <tomsmeding> | supplying either via a type signature avoids the panic |
| 2025-09-30 11:52:25 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 11:52:26 +0200 | <ski> | ah, i see |
| 2025-09-30 11:53:09 +0200 | <tomsmeding> | I'll add this to the issue, thanks |
| 2025-09-30 11:53:42 +0200 | <tomsmeding> | done |
| 2025-09-30 11:54:30 +0200 | <tomsmeding> | uh that makes no sense as the usage is gone in this reduced example |
| 2025-09-30 11:54:35 +0200 | <[exa]> | tomsmeding: oh cool, thanks! |
| 2025-09-30 11:54:46 +0200 | <tomsmeding> | well whatever |
| 2025-09-30 11:56:13 +0200 | <tomsmeding> | added curious observation 4: Inlining prefixed2 into Secured also avoids the panic! |
| 2025-09-30 11:56:14 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 11:56:37 +0200 | <ski> | there is no usage of `Secured' on that post (as opposed to original ones) |
| 2025-09-30 11:56:47 +0200 | <tomsmeding> | indeed |
| 2025-09-30 11:56:49 +0200 | <ski> | right |
| 2025-09-30 11:56:56 +0200 | <tomsmeding> | seems like the usage is unnecessary, though |
| 2025-09-30 11:57:13 +0200 | <tomsmeding> | it really is a very fragile piece of code |
| 2025-09-30 11:57:23 +0200 | <tomsmeding> | also I like the vibe of "NoFlexi" |
| 2025-09-30 11:57:24 +0200 | <ski> | you could replace "usage of Secured implies" with "type signature of Secured implies", i guess. only applies when (1c) is present, though |
| 2025-09-30 11:57:58 +0200 | <tomsmeding> | yeah I'd like to not change the code snippet and playground link if not really necessary |
| 2025-09-30 11:58:05 +0200 | <tomsmeding> | I think it's clear enough like this |
| 2025-09-30 11:58:41 +0200 | <tomsmeding> | it's trivial to reproduce and it's just 3 lines of code |
| 2025-09-30 12:02:55 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 12:04:06 +0200 | <ski> | (having (1b) generalized, while (1a) is not, also looks a bit strange ..) |
| 2025-09-30 12:06:07 +0200 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2025-09-30 12:06:15 +0200 | <tomsmeding> | if the reader wants to try other combinations they're welcome to |
| 2025-09-30 12:08:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 12:10:35 +0200 | <tomsmeding> | ski: this looks like a typechecker issue, and type signatures compartmentalise type checking, so if you can find a type signature that preserves the panic, then do let me know and I'll add it |
| 2025-09-30 12:10:56 +0200 | <tomsmeding> | (or post it yourself) |
| 2025-09-30 12:13:09 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 12:14:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-09-30 12:16:42 +0200 | kuribas | (~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) kuribas |
| 2025-09-30 12:22:25 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-09-30 12:23:43 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 12:31:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-09-30 12:32:16 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-09-30 12:33:10 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-30 12:38:28 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) (Ping timeout: 272 seconds) |
| 2025-09-30 12:40:20 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) dcpagan |
| 2025-09-30 12:48:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 12:48:32 +0200 | SheRejoined | (haveident@libera/staff/she/her) She |
| 2025-09-30 12:49:08 +0200 | trickard_ | trickard |
| 2025-09-30 12:55:24 +0200 | She | (haveident@libera/staff/she/her) (Ping timeout: 615 seconds) |
| 2025-09-30 12:55:24 +0200 | SheRejoined | She |
| 2025-09-30 13:00:05 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-30 13:02:08 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-30 13:02:08 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-30 13:05:19 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-09-30 13:07:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-30 13:10:06 +0200 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-09-30 13:10:21 +0200 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-09-30 13:14:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-30 13:14:34 +0200 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 2025-09-30 13:19:08 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 13:19:22 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 13:19:25 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 13:27:09 +0200 | kuribas | (~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-09-30 13:27:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1) |
| 2025-09-30 13:32:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 13:33:01 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-30 13:33:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-09-30 13:34:19 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 13:35:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-30 13:36:14 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-30 13:42:08 +0200 | trickard_ | trickard |
| 2025-09-30 13:46:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-09-30 13:47:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-09-30 13:50:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-30 13:53:06 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-09-30 13:53:15 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-30 13:55:02 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-30 13:55:04 +0200 | yin | (~zero@user/zero) zero |
| 2025-09-30 13:55:11 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-30 13:55:12 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-30 13:59:46 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-30 14:00:02 +0200 | yin | (~zero@user/zero) zero |
| 2025-09-30 14:07:00 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-30 14:12:57 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:80b2:7c91:4ece:7d51) (Read error: Connection reset by peer) |
| 2025-09-30 14:14:05 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:15ab:9189:d43d:f752) synchromesh |
| 2025-09-30 14:31:07 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-09-30 14:31:18 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-30 14:31:49 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 264 seconds) |
| 2025-09-30 14:32:17 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-30 14:36:05 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-30 14:37:25 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-30 14:38:49 +0200 | yin | (~zero@user/zero) zero |
| 2025-09-30 14:40:42 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-30 14:46:15 +0200 | <[exa]> | tomsmeding: the "NoFlexi" comes from zonking apparently https://hackage-content.haskell.org/package/ghc-9.12.2/docs/GHC-Tc-Zonk-Env.html#t:ZonkFlexi |
| 2025-09-30 14:46:27 +0200 | <[exa]> | might be the case that it's actually the error message production that dies |
| 2025-09-30 14:48:26 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-30 14:52:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-30 14:55:00 +0200 | <tomsmeding> | yeah the panic also mentions zonking |
| 2025-09-30 14:55:11 +0200 | <tomsmeding> | [exa]: I have no clue how any of that works :) |
| 2025-09-30 15:04:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 15:08:55 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 15:09:37 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-09-30 15:09:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 15:13:37 +0200 | <[exa]> | zonking is when the inferred types go back to AST |
| 2025-09-30 15:13:40 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) athan |
| 2025-09-30 15:14:08 +0200 | <tomsmeding> | surely that just happens in general at the end of various passes in the type checker |
| 2025-09-30 15:20:15 +0200 | <[exa]> | typechecker has more passes? (/me scared) |
| 2025-09-30 15:20:54 +0200 | <tomsmeding> | well, like, surely you reify the final types of functions when you're done with a strongly-connected component |
| 2025-09-30 15:23:24 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-09-30 15:27:37 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-09-30 15:29:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-09-30 15:31:51 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-09-30 15:34:45 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-09-30 15:35:09 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2025-09-30 15:39:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1) (Quit: xff0x) |
| 2025-09-30 15:46:18 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-09-30 15:46:54 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-30 15:50:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-09-30 15:50:49 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-09-30 15:57:37 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 264 seconds) |
| 2025-09-30 15:59:31 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-09-30 16:09:39 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-30 16:20:28 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-30 16:23:11 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-09-30 16:27:33 +0200 | craunts79 | (~craunts@136.158.7.194) |
| 2025-09-30 16:30:40 +0200 | Athas | (athas@sigkill.dk) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-30 16:30:53 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-30 16:31:23 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-09-30 16:34:04 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-30 16:42:19 +0200 | ftzm | (~ftzm@085080224053.dynamic.telenor.dk) (Ping timeout: 250 seconds) |
| 2025-09-30 16:44:29 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-09-30 16:44:51 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-09-30 16:47:01 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 16:47:14 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 16:49:18 +0200 | Athas | (athas@sigkill.dk) |
| 2025-09-30 16:50:57 +0200 | ftzm | (~ftzm@085080238191.dynamic.telenor.dk) ftzm |
| 2025-09-30 16:58:49 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 16:59:03 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 17:02:18 +0200 | Zemyla | (~Zemyla@2600:100c:b0ac:590:687f:7eff:fe1b:d560) |
| 2025-09-30 17:02:35 +0200 | Zemyla | Zemy |
| 2025-09-30 17:03:40 +0200 | Zemy | (~Zemyla@2600:100c:b0ac:590:687f:7eff:fe1b:d560) (Client Quit) |
| 2025-09-30 17:07:01 +0200 | Zemy | (~Zemy@2600:100c:b0ac:590:687f:7eff:fe1b:d560) |
| 2025-09-30 17:10:18 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 252 seconds) |
| 2025-09-30 17:11:15 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) jle` |
| 2025-09-30 17:13:58 +0200 | trickard_ | trickard |
| 2025-09-30 17:15:18 +0200 | <geekosaur> | IIRC zonking is replacing IORefs representing tyvars into the types they contain |
| 2025-09-30 17:15:31 +0200 | <geekosaur> | s/into/with |
| 2025-09-30 17:20:45 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-09-30 17:30:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-30 17:44:34 +0200 | <ski> | (i guess another term one might use is "freezing" (cf. `Data.Array.MArray.freeze :: (Ix i,MArray ma e m,IArray ia e) => ma i e -> m (ia i e)'). in Prolog, copy_term/2 is used to get a copy that is not affected by backtracking uninstantiating a term (which might then get instantiated a different way). a side-effect of that is losing any variable aliasing (equality constraints) between the copied term and |
| 2025-09-30 17:44:40 +0200 | <ski> | other terms (and, in general, also losing any other (non-instantiation) constraints as well, on variables in the term)) |
| 2025-09-30 17:54:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 17:54:19 +0200 | L-Type | (~L-Type@175.176.38.142) |
| 2025-09-30 18:00:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-30 18:02:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 18:03:01 +0200 | _bo | (~bo@98.red-83-56-255.dynamicip.rima-tde.net) (Quit: Leaving) |
| 2025-09-30 18:03:44 +0200 | annamalai | (~annamalai@157.32.115.168) (Ping timeout: 240 seconds) |
| 2025-09-30 18:06:05 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) athan |
| 2025-09-30 18:24:34 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-30 18:27:05 +0200 | Zemy_ | (~Zemy@12.50.238.234) |
| 2025-09-30 18:30:48 +0200 | Zemy | (~Zemy@2600:100c:b0ac:590:687f:7eff:fe1b:d560) (Ping timeout: 256 seconds) |
| 2025-09-30 18:32:23 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-30 18:32:49 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-30 18:36:01 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-30 18:36:22 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-30 18:40:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-30 18:40:54 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-30 18:45:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 18:46:55 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds) |
| 2025-09-30 18:48:32 +0200 | Zemy_ | Zemy |
| 2025-09-30 18:57:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 19:04:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-30 19:05:06 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-30 19:09:34 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-09-30 19:13:55 +0200 | Zemy_ | (~Zemy@2600:100c:b0ac:590:8cbe:20ff:fe1c:3a44) |
| 2025-09-30 19:13:55 +0200 | Zemy | (~Zemy@12.50.238.234) (Read error: Connection reset by peer) |
| 2025-09-30 19:13:58 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2025-09-30 19:16:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 19:20:23 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 19:20:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-30 19:20:36 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 19:21:06 +0200 | Zemy_ | Zemy |
| 2025-09-30 19:27:49 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-9.mycingular.net) |
| 2025-09-30 19:31:24 +0200 | Zemy | (~Zemy@2600:100c:b0ac:590:8cbe:20ff:fe1c:3a44) (Ping timeout: 244 seconds) |
| 2025-09-30 19:31:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 19:33:14 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-30 19:34:20 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-09-30 19:35:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-30 19:36:27 +0200 | qqe | (~qqq@185.54.23.100) (Quit: Lost terminal) |
| 2025-09-30 19:41:43 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-30 19:46:54 +0200 | Zemy_ | Zemy |
| 2025-09-30 19:46:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 19:47:48 +0200 | ft | (~ft@p4fc2a225.dip0.t-ipconnect.de) ft |
| 2025-09-30 19:51:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 19:52:22 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-30 20:02:20 +0200 | Guest83 | (~Guest83@50.35.61.173) |
| 2025-09-30 20:02:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 20:04:42 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 248 seconds) |
| 2025-09-30 20:05:25 +0200 | dhil | (~dhil@5.151.29.138) (Ping timeout: 264 seconds) |
| 2025-09-30 20:06:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 20:07:19 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-30 20:08:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-09-30 20:10:08 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-30 20:13:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-30 20:16:40 +0200 | Guest83 | (~Guest83@50.35.61.173) (Quit: Client closed) |
| 2025-09-30 20:17:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 20:18:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-09-30 20:19:34 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-09-30 20:20:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-09-30 20:22:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 20:24:45 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 20:25:03 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 20:29:31 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-30 20:30:43 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 20:30:44 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 20:31:49 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
| 2025-09-30 20:34:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 20:35:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) |
| 2025-09-30 20:37:50 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-09-30 20:39:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 20:41:17 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-30 20:41:58 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) RedFlamingos |
| 2025-09-30 20:50:19 +0200 | sprotte24 | (~sprotte24@p200300d16f3a380020dd3ee447d7aa86.dip0.t-ipconnect.de) |
| 2025-09-30 20:55:14 +0200 | fgarcia | (~nu@user/fgarcia) fgarcia |
| 2025-09-30 20:58:14 +0200 | Zemy_ | (~Zemy@2600:100c:b0ac:590:6885:bfff:fed6:d182) |
| 2025-09-30 20:58:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 20:59:44 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-09-30 21:00:04 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-30 21:00:35 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-30 21:00:45 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-30 21:01:18 +0200 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 244 seconds) |
| 2025-09-30 21:04:52 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-09-30 21:05:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 21:05:20 +0200 | Zemy | (~Zemy@syn-072-176-127-030.res.spectrum.com) |
| 2025-09-30 21:06:06 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-30 21:09:00 +0200 | Zemy_ | (~Zemy@2600:100c:b0ac:590:6885:bfff:fed6:d182) (Ping timeout: 252 seconds) |
| 2025-09-30 21:14:21 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Killed (ozone (No Spam))) |
| 2025-09-30 21:16:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 21:17:24 +0200 | Zemy_ | (~Zemy@2600:100c:b0ac:590:641f:4aff:fed0:f7b4) |
| 2025-09-30 21:19:49 +0200 | Zemy | (~Zemy@syn-072-176-127-030.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-09-30 21:21:17 +0200 | syedabedi | (~syedabedi@172.56.88.161) |
| 2025-09-30 21:21:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 21:26:35 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 250 seconds) |
| 2025-09-30 21:26:46 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-09-30 21:30:15 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-30 21:31:25 +0200 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) |
| 2025-09-30 21:31:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 21:33:36 +0200 | Core3662 | (~Zemy@2600:100c:b0ac:590:4493:30ff:fee4:9515) |
| 2025-09-30 21:33:51 +0200 | Zemy_ | (~Zemy@2600:100c:b0ac:590:641f:4aff:fed0:f7b4) (Ping timeout: 244 seconds) |
| 2025-09-30 21:36:01 +0200 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 264 seconds) |
| 2025-09-30 21:36:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-30 21:38:45 +0200 | syedabedi | (~syedabedi@172.56.88.161) (Leaving) |
| 2025-09-30 21:39:51 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-30 21:44:11 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-09-30 21:44:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 21:47:01 +0200 | Core3662 | (~Zemy@2600:100c:b0ac:590:4493:30ff:fee4:9515) (Ping timeout: 255 seconds) |
| 2025-09-30 21:48:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-30 21:49:19 +0200 | Zemy_ | (~Zemy@2600:100c:b0ac:590:7025:41ff:fedc:1bcd) |
| 2025-09-30 21:49:19 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-09-30 21:50:26 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-09-30 21:51:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-09-30 21:52:00 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-30 21:52:37 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-30 21:53:33 +0200 | Zemy_ | (~Zemy@2600:100c:b0ac:590:7025:41ff:fedc:1bcd) (Ping timeout: 252 seconds) |
| 2025-09-30 21:55:39 +0200 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 21:55:45 +0200 | zfnmxt | (~zfnmxt@107.189.30.63) (Ping timeout: 245 seconds) |
| 2025-09-30 21:55:45 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 21:57:08 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-30 21:57:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-30 21:57:36 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-30 21:59:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 22:00:41 +0200 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 22:00:49 +0200 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 22:01:58 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-09-30 22:03:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 22:04:12 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-30 22:05:57 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 22:06:18 +0200 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 22:08:07 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-30 22:08:59 +0200 | myme | (~myme@2a01:799:d5e:5f00:464e:d36:a653:d025) (Ping timeout: 244 seconds) |
| 2025-09-30 22:10:01 +0200 | myme | (~myme@2a01:799:d5e:5f00:eb91:4b2e:523b:f609) myme |
| 2025-09-30 22:14:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-09-30 22:14:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 22:15:39 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-30 22:15:39 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-30 22:19:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 22:28:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-30 22:30:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 22:35:10 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Remote host closed the connection) |
| 2025-09-30 22:35:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 22:39:46 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-30 22:40:02 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-30 22:40:45 +0200 | malte | (~malte@mal.tc) malte |
| 2025-09-30 22:45:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 22:46:39 +0200 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-09-30 22:46:42 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-30 22:47:13 +0200 | trickard__ | trickard |
| 2025-09-30 22:47:46 +0200 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-09-30 22:52:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 23:03:37 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-09-30 23:03:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 23:07:13 +0200 | malte | (~malte@mal.tc) (Ping timeout: 264 seconds) |
| 2025-09-30 23:08:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 23:09:02 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-30 23:13:49 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2025-09-30 23:19:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 23:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 23:31:49 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-30 23:32:18 +0200 | malte | (~malte@mal.tc) malte |
| 2025-09-30 23:33:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-30 23:34:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 23:38:38 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-30 23:38:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-30 23:43:49 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-09-30 23:45:09 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-30 23:46:51 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-30 23:50:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-30 23:53:02 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 23:53:16 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-09-30 23:54:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-30 23:56:39 +0200 | trickard_ | trickard |
| 2025-09-30 23:59:49 +0200 | Square | (~Square@user/square) Square |