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