| 2025-09-20 00:01:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 00:03:23 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 250 seconds) |
| 2025-09-20 00:04:36 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 265 seconds) |
| 2025-09-20 00:05:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-20 00:06:39 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-20 00:06:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 00:07:05 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-20 00:17:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 00:20:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) |
| 2025-09-20 00:22:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 00:26:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-20 00:32:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 00:32:54 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 00:35:03 +0200 | Axma20367 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-20 00:37:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 00:39:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-20 00:39:19 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-20 00:42:21 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:65dc:514:2c3:7f) |
| 2025-09-20 00:42:21 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:65dc:514:2c3:7f) (Changing host) |
| 2025-09-20 00:42:21 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-20 00:43:05 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Server closed connection) |
| 2025-09-20 00:43:15 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
| 2025-09-20 00:47:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-20 00:48:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 00:52:29 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-09-20 00:52:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-20 00:53:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 00:57:04 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-09-20 00:58:56 +0200 | ystael_ | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-09-20 01:03:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 01:10:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 01:12:26 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2025-09-20 01:14:39 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 260 seconds) |
| 2025-09-20 01:16:13 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-09-20 01:16:17 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:65dc:514:2c3:7f) |
| 2025-09-20 01:16:17 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:65dc:514:2c3:7f) (Changing host) |
| 2025-09-20 01:16:17 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-20 01:19:41 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-09-20 01:20:22 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-20 01:21:04 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-20 01:21:19 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-09-20 01:21:39 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 260 seconds) |
| 2025-09-20 01:21:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 01:23:34 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-09-20 01:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 01:27:59 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:65dc:514:2c3:7f) |
| 2025-09-20 01:27:59 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:65dc:514:2c3:7f) (Changing host) |
| 2025-09-20 01:27:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-20 01:29:22 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-09-20 01:31:05 +0200 | sus0 | (zero@user/zeromomentum) (Server closed connection) |
| 2025-09-20 01:31:19 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-09-20 01:31:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-20 01:31:55 +0200 | Koterpillar | (~Koterpill@2406:3400:31f:5390:639a:7300:b8dc:d253) |
| 2025-09-20 01:34:59 +0200 | Koterpillar | (~Koterpill@2406:3400:31f:5390:639a:7300:b8dc:d253) (Client Quit) |
| 2025-09-20 01:37:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 01:38:10 +0200 | sprotte24 | (~sprotte24@p200300d16f066d00a5462a70eaa703b0.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-20 01:40:19 +0200 | sprotte24 | (~sprotte24@p200300d16f066d00a5462a70eaa703b0.dip0.t-ipconnect.de) |
| 2025-09-20 01:40:57 +0200 | sprotte24 | (~sprotte24@p200300d16f066d00a5462a70eaa703b0.dip0.t-ipconnect.de) (Client Quit) |
| 2025-09-20 01:42:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 01:42:36 +0200 | sprotte24 | (~sprotte24@p200300d16f066d00a5462a70eaa703b0.dip0.t-ipconnect.de) |
| 2025-09-20 01:42:41 +0200 | sprotte24 | (~sprotte24@p200300d16f066d00a5462a70eaa703b0.dip0.t-ipconnect.de) (Client Quit) |
| 2025-09-20 01:47:19 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-20 01:48:27 +0200 | energizer_ | energizer |
| 2025-09-20 01:50:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 01:55:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 01:56:34 +0200 | Axma56072 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 01:58:57 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
| 2025-09-20 02:04:08 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-20 02:06:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 02:07:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-20 02:10:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 02:21:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 02:26:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 02:32:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-20 02:35:05 +0200 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) (Server closed connection) |
| 2025-09-20 02:35:07 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-20 02:35:12 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2025-09-20 02:36:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 02:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 02:50:52 +0200 | acidjnk | (~acidjnk@p200300d6e7171937d46e20cf8ad144df.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-09-20 02:52:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 02:56:24 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-09-20 02:59:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 03:10:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 03:13:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-09-20 03:14:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 03:25:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 03:28:21 +0200 | trickard | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 03:28:35 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-20 03:30:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 03:35:05 +0200 | buhman | (sid411355@user/buhman) (Server closed connection) |
| 2025-09-20 03:35:25 +0200 | buhman | (sid411355@user/buhman) buhman |
| 2025-09-20 03:41:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 03:45:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 03:54:29 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-09-20 03:56:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 03:57:22 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-20 04:01:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 04:02:20 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-09-20 04:04:14 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 04:06:31 +0200 | Axma56072 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-20 04:11:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 04:16:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 04:18:40 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-09-20 04:27:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 04:28:13 +0200 | craunts79 | (~craunts@152.32.99.194) |
| 2025-09-20 04:32:00 +0200 | trickard_ | trickard |
| 2025-09-20 04:34:38 +0200 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 258 seconds) |
| 2025-09-20 04:34:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 04:44:49 +0200 | pyrex | (~pyrex@user/pyrex) pyrex |
| 2025-09-20 04:45:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 04:46:30 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-20 04:50:03 +0200 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-20 04:52:14 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-09-20 04:52:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 04:52:51 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-20 04:53:38 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-20 04:57:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:675b:1eaf:a53a:b1f) |
| 2025-09-20 05:03:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 05:04:29 +0200 | trickard | (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-09-20 05:04:49 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-20 05:06:03 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:e000:55b1:cdc4:a1b:cb22) aforemny |
| 2025-09-20 05:06:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-20 05:06:54 +0200 | aforemny | (~aforemny@i577B1293.versanet.de) (Ping timeout: 244 seconds) |
| 2025-09-20 05:07:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 05:13:05 +0200 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Server closed connection) |
| 2025-09-20 05:13:17 +0200 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 2025-09-20 05:18:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 05:23:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 05:26:44 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-20 05:30:53 +0200 | Axma78459 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 05:33:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-20 05:34:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 05:39:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 05:39:55 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-20 05:48:00 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-20 05:49:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 05:54:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 06:05:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 06:08:23 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 244 seconds) |
| 2025-09-20 06:09:47 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-20 06:11:03 +0200 | img | (~img@user/img) img |
| 2025-09-20 06:12:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 06:14:32 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 06:16:33 +0200 | Axma78459 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-20 06:20:27 +0200 | yin | (~zero@user/zero) (Ping timeout: 258 seconds) |
| 2025-09-20 06:23:12 +0200 | yin | (~zero@user/zero) zero |
| 2025-09-20 06:24:17 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 256 seconds) |
| 2025-09-20 06:24:17 +0200 | noctux | (~noctux@user/noctux) (Ping timeout: 256 seconds) |
| 2025-09-20 06:24:17 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 256 seconds) |
| 2025-09-20 06:24:17 +0200 | kqr | (~kqr@irc-1.xkqr.org) (Ping timeout: 256 seconds) |
| 2025-09-20 06:25:03 +0200 | petrichor | (~jez@user/petrichor) (Ping timeout: 256 seconds) |
| 2025-09-20 06:25:06 +0200 | noctux | (~noctux@user/noctux) noctux |
| 2025-09-20 06:25:14 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-20 06:25:21 +0200 | kqr | (~kqr@irc-1.xkqr.org) |
| 2025-09-20 06:26:03 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-20 06:27:30 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-20 06:28:03 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-20 06:30:39 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-09-20 06:44:20 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-20 06:44:59 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-20 06:46:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 06:47:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-20 06:51:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 06:59:00 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 06:59:11 +0200 | Axma65644 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 06:59:14 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-20 07:01:09 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-20 07:01:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 07:06:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 07:17:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 07:21:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 07:27:49 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 07:28:02 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-20 07:32:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 07:37:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 07:40:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-09-20 07:45:49 +0200 | pyrex | (~pyrex@user/pyrex) (Ping timeout: 250 seconds) |
| 2025-09-20 07:47:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 07:52:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 08:03:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 08:08:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 08:18:26 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 08:18:40 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-20 08:18:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 08:23:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 08:28:39 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-09-20 08:28:45 +0200 | trickard__ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-20 08:33:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 08:37:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 08:42:48 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-20 08:43:52 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 08:46:03 +0200 | Axma65644 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-20 08:48:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 08:49:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-09-20 08:53:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 09:00:03 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-20 09:00:43 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-20 09:04:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 09:08:37 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:f032:f72c:e619:8727) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-09-20 09:08:57 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-09-20 09:11:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 09:22:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 09:26:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 09:27:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) |
| 2025-09-20 09:27:38 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-20 09:29:05 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-20 09:32:42 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-20 09:32:49 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds) |
| 2025-09-20 09:34:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 09:35:31 +0200 | rvalue- | rvalue |
| 2025-09-20 09:38:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 09:39:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-20 09:45:27 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-20 09:48:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-20 09:48:46 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-20 09:49:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 09:54:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 09:55:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-20 09:56:43 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-20 10:05:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 10:10:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 10:18:32 +0200 | Axman7217 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 10:18:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-20 10:20:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 10:20:33 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-20 10:25:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 10:29:45 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-20 10:30:03 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-217b-d921-1fcb-7b52-cdbe.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-09-20 10:35:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 10:41:06 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-20 10:42:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 10:44:50 +0200 | Sgeo__ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-20 10:47:03 +0200 | <Enrico63> | Hello there! |
| 2025-09-20 10:50:24 +0200 | <Rembane> | Hello Enrico63 ! |
| 2025-09-20 10:50:57 +0200 | acidjnk | (~acidjnk@p200300d6e717196005b97722411e3ede.dip0.t-ipconnect.de) acidjnk |
| 2025-09-20 10:53:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 10:57:16 +0200 | <Enrico63> | I'm going though https://haskell.mooc.fi/part2 and one exercise (https://github.com/moocfi/haskell-mooc/blob/59735e76d37c5470504be4d64206cd49660e1324/exercises/Set…) consists in implementing a permutation function that works like this: |
| 2025-09-20 10:57:17 +0200 | <Enrico63> | -- permute [0,1,2,3] "hask" ==> "hask" |
| 2025-09-20 10:57:17 +0200 | <Enrico63> | -- permute [2,0,1,3] "hask" ==> "ashk" |
| 2025-09-20 10:57:18 +0200 | <Enrico63> | -- permute [1,2,3,0] "hask" ==> "khas" |
| 2025-09-20 10:57:18 +0200 | <Enrico63> | Using just lists, I've come up with this solution, which takes O(n log n - i.e. complexity of sorting): |
| 2025-09-20 10:57:19 +0200 | <Enrico63> | permute :: [Int] -> [a] -> [a] |
| 2025-09-20 10:57:19 +0200 | <Enrico63> | permute p s = map snd $ sortOn fst $ zip p s |
| 2025-09-20 10:57:20 +0200 | <Enrico63> | however, if I had used mutable arrays, I could have done something like this, which is just O(n), right? |
| 2025-09-20 10:57:20 +0200 | <Enrico63> | permute :: [Int] -> [a] -> [a] |
| 2025-09-20 10:57:21 +0200 | <Enrico63> | permute idxs list = |
| 2025-09-20 10:57:21 +0200 | <Enrico63> | elems (array (0, n-1) (zip idxs list)) |
| 2025-09-20 10:57:22 +0200 | <Enrico63> | where n = length list |
| 2025-09-20 10:57:22 +0200 | <Enrico63> | To me it feels like such a solution requires 2 features: the ability to random access an array with O(1), and mutability. |
| 2025-09-20 10:57:23 +0200 | <Enrico63> | The solution with sorting doesn't use either of those and indeed it pays with O(n log n) or whatever. |
| 2025-09-20 10:57:23 +0200 | <Enrico63> | Can anybody suggest some material I could refer to, if I want to better understand the stuff above? |
| 2025-09-20 10:57:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 10:58:48 +0200 | opqdonut | opqdonut__ |
| 2025-09-20 10:58:57 +0200 | opqdonut_ | opqdonut |
| 2025-09-20 10:59:49 +0200 | <tomsmeding> | Enrico63: the array you used isn't mutable, and doesn't need to be |
| 2025-09-20 11:00:35 +0200 | <tomsmeding> | I would say that the most straightforward solution is the O(n^2) `permute idxs list = map (list !!) idxs` |
| 2025-09-20 11:01:21 +0200 | <tomsmeding> | which you can speed up with an array using `permute idxs list = let arr = listArray (0, length list - 1) list in map (arr !) idxs` |
| 2025-09-20 11:01:58 +0200 | <tomsmeding> | ... apologies, I got the permutation in the wrong direction |
| 2025-09-20 11:02:06 +0200 | <tomsmeding> | your `array` solution is indeed correct, my suggestions are not |
| 2025-09-20 11:02:33 +0200 | <tomsmeding> | `array` is indeed implemented using mutation under the hood, but the function as a whole is pure |
| 2025-09-20 11:03:06 +0200 | <tomsmeding> | and indeed, all of haskell is, necessarily: the underlying hardware can do things only through mutation |
| 2025-09-20 11:03:16 +0200 | <Enrico63> | Yeah, I know that. But the reason why it is fast is that it uses mutation. |
| 2025-09-20 11:03:31 +0200 | <tomsmeding> | to an extent |
| 2025-09-20 11:03:48 +0200 | <tomsmeding> | one thing you could I guess look up in reference to this, is pull arrays vs push arrays |
| 2025-09-20 11:03:54 +0200 | <Enrico63> | So my question is not about Haskell. It's just that doing this in Haskell forced me to think about something I hadn't thought before. |
| 2025-09-20 11:04:09 +0200 | <tomsmeding> | what you're being asked here is a forward permutation, which you can do efficiently in push-array style and not in pull-array style |
| 2025-09-20 11:04:46 +0200 | <tomsmeding> | a backward permutation (which is what I described with `map (list !!) idxs`) can be efficiently implemented using pull arrays, which is more natural in a functional setting |
| 2025-09-20 11:04:49 +0200 | <Enrico63> | Forward permutation =? I have the list of destination indices of original indices 0,1,2,..? |
| 2025-09-20 11:05:12 +0200 | <Enrico63> | Ok, I think that's what you mean by forward/backward permutation |
| 2025-09-20 11:05:14 +0200 | <tomsmeding> | yes |
| 2025-09-20 11:07:03 +0200 | <Enrico63> | Ok, but backward permutation is a non-problem. I mean, if your original snippet can be even O(n) if `list` gives O(1) `!!`, and requires no mutability to be that fast. |
| 2025-09-20 11:07:20 +0200 | <tomsmeding> | yes, and that's what I did using listArray |
| 2025-09-20 11:07:39 +0200 | <tomsmeding> | I'm not sure what kind of theory you're looking for :p |
| 2025-09-20 11:07:42 +0200 | <Enrico63> | Oh, right, didn't read that. Anyway, that's why I say it's a non-problem |
| 2025-09-20 11:08:12 +0200 | <tomsmeding> | backward permutation is also easier to parallelise efficiently than forward permutation, especially if the permutation is not required to be bijective |
| 2025-09-20 11:08:12 +0200 | <Enrico63> | I'm not sure either, ahahah |
| 2025-09-20 11:08:41 +0200 | <tomsmeding> | having multiple destination elements read from the same source element is... just do that |
| 2025-09-20 11:08:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 11:09:09 +0200 | <tomsmeding> | sending multiple source elements to the same destination element using `permute` is suddenly very interesting |
| 2025-09-20 11:09:18 +0200 | <tomsmeding> | how do you combine multiple elements being sent to the same spot? |
| 2025-09-20 11:09:36 +0200 | <tomsmeding> | this is why Data.Array.accumArray has a combining function |
| 2025-09-20 11:10:41 +0200 | <Enrico63> | Why mutiple elements sent to the same spot? That doesn't happen with permutation.. |
| 2025-09-20 11:10:50 +0200 | <tomsmeding> | but we can generalise the operation to allow that |
| 2025-09-20 11:10:57 +0200 | <tomsmeding> | well, we can easily generalise backward permutation to allow that |
| 2025-09-20 11:11:04 +0200 | <tomsmeding> | generalising forward permutation suddenly requires a combining function |
| 2025-09-20 11:11:17 +0200 | <tomsmeding> | % backpermute idxs list = map (list !!) idxs |
| 2025-09-20 11:11:17 +0200 | <yahb2> | <no output> |
| 2025-09-20 11:11:23 +0200 | <tomsmeding> | % backpermute [0,0,0,2] "hask" |
| 2025-09-20 11:11:23 +0200 | <yahb2> | "hhhs" |
| 2025-09-20 11:11:26 +0200 | <tomsmeding> | works fine |
| 2025-09-20 11:11:41 +0200 | <tomsmeding> | % import qualified Data.Array as A |
| 2025-09-20 11:11:41 +0200 | <yahb2> | <no output> |
| 2025-09-20 11:11:59 +0200 | <Enrico63> | You're executing Haskell code in here... :O |
| 2025-09-20 11:12:18 +0200 | <tomsmeding> | % A.accumArray (+) 0 (0,3) (zip [0,0,0,2] [1,2,3,4]) |
| 2025-09-20 11:12:18 +0200 | <yahb2> | array (0,3) [(0,6),(1,0),(2,4),(3,0)] |
| 2025-09-20 11:12:24 +0200 | <tomsmeding> | % A.elems $ A.accumArray (+) 0 (0,3) (zip [0,0,0,2] [1,2,3,4]) |
| 2025-09-20 11:12:24 +0200 | <yahb2> | [6,0,4,0] |
| 2025-09-20 11:12:52 +0200 | <tomsmeding> | this is a forward permutation with idxs=[0,0,0,2] and list=[1,2,3,4], using the (0, +) monoid |
| 2025-09-20 11:13:11 +0200 | <tomsmeding> | if the permutation is bijective, i.e. you have no overlap, no monoid is required, as you've seen |
| 2025-09-20 11:13:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 11:13:33 +0200 | <tomsmeding> | (1+2+3 = 6) |
| 2025-09-20 11:14:05 +0200 | <tomsmeding> | @let import qualified Data.Array as A |
| 2025-09-20 11:14:06 +0200 | <lambdabot> | Defined. |
| 2025-09-20 11:14:15 +0200 | <tomsmeding> | > A.elems $ A.accumArray (+) 0 (0,3) (zip [0,0,0,2] [a,b,c,d]) |
| 2025-09-20 11:14:17 +0200 | <lambdabot> | [0 + a + b + c,0,0 + d,0] |
| 2025-09-20 11:14:20 +0200 | <tomsmeding> | nice |
| 2025-09-20 11:14:53 +0200 | <Enrico63> | Ok, yes, I see that. I think I just haven't been clear about what is puzzling me. |
| 2025-09-20 11:16:03 +0200 | trickard__ | trickard |
| 2025-09-20 11:16:50 +0200 | <tomsmeding> | what is puzzling you? :) |
| 2025-09-20 11:18:17 +0200 | <mauke> | the nature of your game |
| 2025-09-20 11:18:19 +0200 | <Enrico63> | I guess what I'm saying is that with the example I gave above, I understand that the problem of (backward) permutation is not doable in O(n) unless you have O(1) random access + mutability. And I'd like to understand a bit more about the relation between complexity and .. language features? |
| 2025-09-20 11:18:48 +0200 | <Enrico63> | I see your point of mutability being an impl. detail, yes. But: |
| 2025-09-20 11:19:24 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-09-20 11:20:16 +0200 | <Enrico63> | If I see something like `elems (array (0, n-1) (zip idxs list))`, and one tells me it's happening in O(n), ... then I know that array is allocating an array, doing mutation of that very array, and the passing that very array to elems. |
| 2025-09-20 11:20:31 +0200 | <tomsmeding> | right |
| 2025-09-20 11:21:01 +0200 | <Enrico63> | Mutation might be an impl. detail, but it kind leaks out by just knowing the complexity of the algo. If it's O(n), you know it's doing mutability. |
| 2025-09-20 11:21:01 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-09-20 11:21:17 +0200 | <tomsmeding> | (in the usual RAM model where memory access is considered O(1), ignoring physical effects that mean memory access is more accurately something like O(sqrt(n)) with a very low constant factor) |
| 2025-09-20 11:21:49 +0200 | <tomsmeding> | right. It depends mostly on what you consider your "base language" of pure operations |
| 2025-09-20 11:22:22 +0200 | <tomsmeding> | allocating an array incurs mutation: you mutate the memory allocator's internal data structures and write a bunch of zeros to memory |
| 2025-09-20 11:22:41 +0200 | <tomsmeding> | but it makes a lot of sense to consider this a pure operation, so we include this, black-box, as a pure operation in our "base language" |
| 2025-09-20 11:23:02 +0200 | <tomsmeding> | similarly instead of writing zeros, writing elements computed using a pure function is still pure |
| 2025-09-20 11:23:26 +0200 | <tomsmeding> | ( https://hackage.haskell.org/package/vector-0.13.1.0/docs/Data-Vector.html#v:generate ) |
| 2025-09-20 11:23:43 +0200 | <tomsmeding> | but somehow it feels wrong for `array` to also be a pure function in our "base language" |
| 2025-09-20 11:23:45 +0200 | <tomsmeding> | why is that? |
| 2025-09-20 11:23:50 +0200 | <Enrico63> | Maybe I'm just making confusion between language features and space requirements of an algo, now that I think more about it? |
| 2025-09-20 11:24:06 +0200 | <tomsmeding> | no I completely get your feeling, I feel the same way about `array` |
| 2025-09-20 11:24:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 11:24:17 +0200 | <tomsmeding> | but I do also think that it's a question of perspective |
| 2025-09-20 11:24:59 +0200 | <tomsmeding> | maybe it's that `array` does not naturally parallelise? |
| 2025-09-20 11:25:26 +0200 | <tomsmeding> | but it does -- you need an atomic write operation for the elements in case of overlap, but otherwise you're good |
| 2025-09-20 11:25:58 +0200 | <Enrico63> | What I mean is that backward permutation, from a purely algorithmic perspective, probably requires O(n) space in order to achieve O(n) time. And O(n) space I think assumes that you have O(1) cost for reading-writing anywhere... |
| 2025-09-20 11:26:20 +0200 | <tomsmeding> | backward permutation is the "easy" one |
| 2025-09-20 11:26:33 +0200 | <Enrico63> | oh, sorry, then s/back/for/g |
| 2025-09-20 11:26:35 +0200 | <tomsmeding> | right |
| 2025-09-20 11:26:54 +0200 | <tomsmeding> | what O(n) space is that? The destination array? |
| 2025-09-20 11:26:59 +0200 | <Enrico63> | yeah |
| 2025-09-20 11:26:59 +0200 | <tomsmeding> | you need that anyway |
| 2025-09-20 11:27:10 +0200 | <tomsmeding> | apart from inputs and outputs, no additional space is needed |
| 2025-09-20 11:27:24 +0200 | <tomsmeding> | backward permutation (the easy one) also needs space for the input _and_ the output |
| 2025-09-20 11:27:31 +0200 | <tomsmeding> | can't be done in-place either |
| 2025-09-20 11:27:43 +0200 | <tomsmeding> | (even if input and output happen to be the same size) |
| 2025-09-20 11:28:53 +0200 | <Enrico63> | What you mean? Any permutation can be done in-place if you can swap elements, no? |
| 2025-09-20 11:28:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 11:29:03 +0200 | <tomsmeding> | from my perspective, the thing that makes `array`/`accumArray` (the forward permutation thing) feel "different" is that we tacitly accept a pull array (Data.Vector.generate) as a basic pure operation, but little more |
| 2025-09-20 11:29:14 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-20 11:29:16 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-20 11:29:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 2025-09-20 11:29:30 +0200 | <tomsmeding> | Enrico63: how are you going to do a bijective backward permutation in O(n) time in-place? |
| 2025-09-20 11:29:56 +0200 | <Enrico63> | Oh, I was lifting the O(n) req |
| 2025-09-20 11:30:08 +0200 | <tomsmeding> | okay remove the "in O(n) time" then lol |
| 2025-09-20 11:30:21 +0200 | <Enrico63> | As in, I thought you were saying something general |
| 2025-09-20 11:30:25 +0200 | <Enrico63> | silly of me thinking so :D |
| 2025-09-20 11:30:40 +0200 | <tomsmeding> | well, I think of these data movement operations as having a certain expected time complexity |
| 2025-09-20 11:30:50 +0200 | <tomsmeding> | but in this particular case the time complexity is, I think, irrelevant to my point :p |
| 2025-09-20 11:31:09 +0200 | <tomsmeding> | I know of a way to do a bijective backward permutation in-place, but it's very sequential and mutation-heavy |
| 2025-09-20 11:31:22 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-20 11:31:36 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-20 11:31:59 +0200 | <tomsmeding> | and moreover, that sequential, mutation-heavy algorithm for a bijective backward permutation can be rather easily modified to do a bijective forward permutation instead |
| 2025-09-20 11:32:37 +0200 | <tomsmeding> | it's when you lift the requirement of being in-place that the two start to meaningfully differ, as far as I know -- though I may be wrong here, because I've thought very little about the in-place case |
| 2025-09-20 11:32:51 +0200 | <tomsmeding> | (if you need history: https://ircbrowse.tomsmeding.com/browse/lchaskell?events_page=16546 ) |
| 2025-09-20 11:33:05 +0200 | fgarcia | (~lei@user/fgarcia) (Remote host closed the connection) |
| 2025-09-20 11:34:30 +0200 | <tomsmeding> | I guess what I'm saying is: do you have a _precise_ way in which forward permutation is "less pure" (for some suitable definition of "less pure" that you can choose) than backward permutation? |
| 2025-09-20 11:35:07 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-20 11:36:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 11:36:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-20 11:37:56 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-20 11:41:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-09-20 11:41:07 +0200 | ljdarj1 | ljdarj |
| 2025-09-20 11:41:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 11:41:19 +0200 | craunts79 | (~craunts@152.32.99.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-20 11:41:42 +0200 | <Enrico63> | Yes, the way I see it. The solution `permute idxs list = let arr = listArray (0, length list - 1) list in map (arr !) idxs` is fast by being able to read with random access. The ouptut is produced purely, by picking elements from arr while building the new output list. The solution `elems (array (0, n-1) (zip idxs list))` produces the output my |
| 2025-09-20 11:41:42 +0200 | <Enrico63> | creating the array all at once, and then mutating the elements with random access. |
| 2025-09-20 11:42:04 +0200 | <Enrico63> | That's probably not _precise_, but I see a difference between the two :D |
| 2025-09-20 11:44:36 +0200 | <Enrico63> | I see that `listArray (0, lenth list - 1) list` is probably using mutability the same way that `array (0, n-1) (zip idx list))` is using it :/ |
| 2025-09-20 11:45:20 +0200 | <Enrico63> | well, maybe that's why the two things are not so different :/ |
| 2025-09-20 11:45:55 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-20 11:46:05 +0200 | <tomsmeding> | Enrico63: your reasoning why `elems (array (0, n-1) (zip idxs list))` is not pure first splits up `array` in two phases: array allocation and then a bunch of writes |
| 2025-09-20 11:46:11 +0200 | <tomsmeding> | why do you not split up `listArray` similarly? |
| 2025-09-20 11:46:26 +0200 | <tomsmeding> | right |
| 2025-09-20 11:46:48 +0200 | <Enrico63> | yeah, I see |
| 2025-09-20 11:46:49 +0200 | <tomsmeding> | I know they feel different, but indeed the point I'm making is that in terms of _purity_, they aren't necessarily so different |
| 2025-09-20 11:47:22 +0200 | <tomsmeding> | they generalise differently to non-bijective index mapping functions, and they parallelise somewhat differently, especially in the non-bijective case |
| 2025-09-20 11:47:43 +0200 | <tomsmeding> | but I don't think there's a robust way you can argue that one is more pure than the other |
| 2025-09-20 11:48:01 +0200 | <tomsmeding> | without picking an arbitrary "base language" of pure operations that you allow |
| 2025-09-20 11:49:16 +0200 | <tomsmeding> | also, they're just algorithmically not the same |
| 2025-09-20 11:49:48 +0200 | <tomsmeding> | but "not the same" doesn't imply an order of preference |
| 2025-09-20 11:50:20 +0200 | <Enrico63> | Thanks for the discussion! :) |
| 2025-09-20 11:50:29 +0200 | <tomsmeding> | relevant: https://hackage-content.haskell.org/package/massiv-1.0.5.0/docs/Data-Massiv-Array.html (the `D` representation is a pull array, represented as effectively (Int, Int -> a); the `DL` representation is a push array) |
| 2025-09-20 11:50:42 +0200 | <Enrico63> | Now that I'm unemployed, I have plenty of time to discuss stuff, ahah |
| 2025-09-20 11:50:44 +0200 | <tomsmeding> | pull arrays are generally more versatile |
| 2025-09-20 11:50:58 +0200 | <tomsmeding> | they behave more intuitively under composition of pull-style functions |
| 2025-09-20 11:51:39 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
| 2025-09-20 11:51:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 11:54:03 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-20 11:55:11 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2025-09-20 11:55:31 +0200 | puke | (~puke@user/puke) puke |
| 2025-09-20 11:56:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 11:56:54 +0200 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-09-20 11:59:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-09-20 12:00:24 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-20 12:00:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-20 12:07:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 12:11:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 12:11:53 +0200 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2025-09-20 12:12:18 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-20 12:17:19 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-09-20 12:19:11 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-20 12:21:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) |
| 2025-09-20 12:22:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 12:29:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 12:30:27 +0200 | Miroboru | (~myrvoll@84.214.174.128) Miroboru |
| 2025-09-20 12:37:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 12:41:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 12:46:13 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-20 13:00:04 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-20 13:02:03 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-20 13:06:36 +0200 | Jackneill_ | (~Jackneill@91-83-15-174.pool.digikabel.hu) |
| 2025-09-20 13:08:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 13:09:14 +0200 | Jackneill | (~Jackneill@94-21-227-192.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2025-09-20 13:09:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-20 13:10:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-20 13:12:08 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-20 13:12:13 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 13:12:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 13:14:33 +0200 | Axman7217 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
| 2025-09-20 13:21:59 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-20 13:23:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 13:24:20 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-20 13:26:52 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2025-09-20 13:28:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 13:31:15 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-20 13:31:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2025-09-20 13:34:00 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-20 13:35:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-20 13:35:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) |
| 2025-09-20 13:38:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 13:42:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 13:48:51 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
| 2025-09-20 13:53:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 13:55:46 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-20 14:00:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 14:03:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 14:04:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-20 14:04:23 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-20 14:06:17 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 14:06:31 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-20 14:07:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 14:11:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-20 14:16:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) |
| 2025-09-20 14:18:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 14:19:53 +0200 | sprotte24 | (~sprotte24@p200300d16f0a7d0045d7d3800a6a8156.dip0.t-ipconnect.de) |
| 2025-09-20 14:25:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 14:34:31 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 14:36:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 14:37:07 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-20 14:37:49 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-20 14:39:53 +0200 | Axma88744 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 14:42:13 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-20 14:43:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 14:44:51 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-20 14:45:58 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-20 14:50:44 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-09-20 14:54:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-20 14:54:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 14:56:17 +0200 | cjay- | (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 248 seconds) |
| 2025-09-20 14:56:49 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 14:56:51 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-20 14:57:02 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-20 14:58:25 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-20 14:59:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 15:01:05 +0200 | Digit | (~user@user/digit) (Server closed connection) |
| 2025-09-20 15:02:07 +0200 | trickard_ | trickard |
| 2025-09-20 15:02:59 +0200 | Digit | (~user@user/digit) Digit |
| 2025-09-20 15:10:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 15:13:03 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) cjay |
| 2025-09-20 15:13:28 +0200 | Vajb | (~Vajb@n60zj54woz78yt8vc23-1.v6.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 2025-09-20 15:14:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 15:15:06 +0200 | Vajb | (~Vajb@n4ynrgb3yi85e37ttqn-1.v6.elisa-mobile.fi) |
| 2025-09-20 15:17:29 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-09-20 15:25:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 15:29:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-20 15:30:02 +0200 | Vajb | (~Vajb@n4ynrgb3yi85e37ttqn-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2025-09-20 15:30:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 15:30:23 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-20 15:30:29 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-20 15:33:06 +0200 | Vajb | (~Vajb@n868zfe2g3ptw22xpcd-1.v6.elisa-mobile.fi) |
| 2025-09-20 15:39:51 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 15:40:04 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-20 15:40:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 15:46:58 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-20 15:47:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 15:53:31 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 15:53:45 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-20 15:55:20 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 2025-09-20 15:55:33 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-20 15:58:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 15:58:53 +0200 | Vajb | (~Vajb@n868zfe2g3ptw22xpcd-1.v6.elisa-mobile.fi) (Ping timeout: 250 seconds) |
| 2025-09-20 16:02:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 16:04:52 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 16:05:59 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-09-20 16:06:33 +0200 | Axma88744 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-20 16:11:29 +0200 | trickard_ | trickard |
| 2025-09-20 16:12:22 +0200 | aplainzetakind | (~aplainzet@37.155.33.61) aplainzetakind |
| 2025-09-20 16:13:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 16:15:05 +0200 | nschoe- | (~nschoe@2a01:e0a:8e:a190:9e37:3b8a:62b6:7bed) (Server closed connection) |
| 2025-09-20 16:15:22 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:ec04:a931:3ffa:9fec) nschoe |
| 2025-09-20 16:16:32 +0200 | Vajb | (~Vajb@n4f8klatkxozrb9in2y-1.v6.elisa-mobile.fi) |
| 2025-09-20 16:18:12 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-20 16:18:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 16:20:55 +0200 | codolio | (~dolio@130.44.140.168) dolio |
| 2025-09-20 16:21:07 +0200 | dolio | (~dolio@130.44.140.168) (Ping timeout: 258 seconds) |
| 2025-09-20 16:29:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 16:30:36 +0200 | Vajb | (~Vajb@n4f8klatkxozrb9in2y-1.v6.elisa-mobile.fi) (Ping timeout: 265 seconds) |
| 2025-09-20 16:30:57 +0200 | Vajb | (~Vajb@n4epkt14cxrmk41pged-1.v6.elisa-mobile.fi) |
| 2025-09-20 16:33:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 16:35:09 +0200 | sprotte24 | (~sprotte24@p200300d16f0a7d0045d7d3800a6a8156.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-20 16:39:19 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-20 16:41:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 16:46:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 16:56:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-20 16:56:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 16:57:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-09-20 17:01:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 17:03:28 +0200 | sprotte24 | (~sprotte24@p200300d16f0a7d0045d7d3800a6a8156.dip0.t-ipconnect.de) |
| 2025-09-20 17:07:14 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-09-20 17:07:40 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-20 17:10:14 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-09-20 17:11:37 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-20 17:12:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 17:13:55 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-20 17:14:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-20 17:16:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-20 17:16:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 17:24:20 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-20 17:24:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) |
| 2025-09-20 17:27:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 17:31:05 +0200 | xerox | (~edi@user/edi) (Server closed connection) |
| 2025-09-20 17:31:17 +0200 | xerox | (~edi@user/edi) edi |
| 2025-09-20 17:31:48 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-20 17:34:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 17:37:32 +0200 | Axma18514 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 17:39:45 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
| 2025-09-20 17:42:00 +0200 | omnifunctor_ | omnifunctor |
| 2025-09-20 17:42:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 17:43:05 +0200 | ouroboros | (~ouroboros@user/ouroboros) (Server closed connection) |
| 2025-09-20 17:43:57 +0200 | st_aldini1 | (~Thunderbi@136.48.46.187) st_aldini |
| 2025-09-20 17:44:57 +0200 | ouroboros | (~ouroboros@user/ouroboros) ouroboros |
| 2025-09-20 17:46:41 +0200 | xerox_ | (~edi@user/edi) edi |
| 2025-09-20 17:46:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 17:46:59 +0200 | fun-safe-math_ | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-09-20 17:47:42 +0200 | m1dnight_ | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-09-20 17:48:04 +0200 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-09-20 17:51:59 +0200 | xerox | (~edi@user/edi) (*.net *.split) |
| 2025-09-20 17:51:59 +0200 | itaipu | (~itaipu@168.121.97.28) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | Square2 | (~Square@user/square) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | bcksl | (~bcksl@user/bcksl) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | hiecaq | (~hiecaq@user/hiecaq) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | st_aldini | (~Thunderbi@136.48.46.187) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | divlamir | (~divlamir@user/divlamir) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | mjrosenb | (~mjrosenb@70.18.10.118) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | AlexNoo | (~AlexNoo@85.174.180.29) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | vetkat | (~vetkat@user/vetkat) (*.net *.split) |
| 2025-09-20 17:52:00 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | gabriel_1 | (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | mud | (~mud@user/kadoban) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | tjbc_ | (~tjbc@user/fliife) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | df_ | (~ben@justworks.xyz) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | dontdieych | (~dontdieyc@132.226.169.184) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | TMA | (tma@twin.jikos.cz) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | pierrot | (~pi@user/pierrot) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | juri_ | (~juri@implicitcad.org) (*.net *.split) |
| 2025-09-20 17:52:01 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (*.net *.split) |
| 2025-09-20 17:52:04 +0200 | divlamir_ | divlamir |
| 2025-09-20 17:52:07 +0200 | st_aldini1 | st_aldini |
| 2025-09-20 17:56:15 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-20 17:56:29 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-20 17:57:11 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-20 17:57:11 +0200 | tjbc | (~tjbc@theophile.me) |
| 2025-09-20 17:57:11 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-20 17:57:11 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-20 17:57:11 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-20 17:57:11 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-09-20 17:57:11 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-09-20 17:57:11 +0200 | mjrosenb | (~mjrosenb@70.18.10.118) |
| 2025-09-20 17:57:11 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-09-20 17:57:11 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-09-20 17:57:11 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-09-20 17:57:11 +0200 | gabriel_1 | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-09-20 17:57:11 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2025-09-20 17:57:11 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-09-20 17:57:11 +0200 | df_ | (~ben@justworks.xyz) |
| 2025-09-20 17:57:11 +0200 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-09-20 17:57:11 +0200 | Athas | (athas@sigkill.dk) Athas |
| 2025-09-20 17:57:11 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-09-20 17:57:11 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-09-20 17:57:11 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-09-20 17:57:13 +0200 | tjbc | (~tjbc@theophile.me) (Changing host) |
| 2025-09-20 17:57:13 +0200 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-09-20 17:57:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 17:57:47 +0200 | itaipu | (~itaipu@168.121.97.28) (Max SendQ exceeded) |
| 2025-09-20 17:57:47 +0200 | mud | (~mud@user/kadoban) (Max SendQ exceeded) |
| 2025-09-20 17:58:13 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2025-09-20 17:58:25 +0200 | davean | (~davean@davean.sciesnet.net) davean |
| 2025-09-20 17:59:11 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-20 18:01:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-20 18:02:34 +0200 | Vajb | (~Vajb@n4epkt14cxrmk41pged-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2025-09-20 18:03:07 +0200 | Vajb | (~Vajb@n5hnl7odvls53y570jt-1.v6.elisa-mobile.fi) |
| 2025-09-20 18:05:18 +0200 | trickard_ | trickard |
| 2025-09-20 18:05:38 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-20 18:07:11 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-09-20 18:12:36 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-20 18:13:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 18:14:56 +0200 | Beowulf | (florian@gabilgathol.bandrate.org) (Quit: = "") |
| 2025-09-20 18:17:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-20 18:27:33 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-09-20 18:28:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 18:31:25 +0200 | Vajb | (~Vajb@n5hnl7odvls53y570jt-1.v6.elisa-mobile.fi) (Ping timeout: 250 seconds) |
| 2025-09-20 18:31:51 +0200 | Vajb | (~Vajb@n612cuelus11w9lekus-1.v6.elisa-mobile.fi) |
| 2025-09-20 18:32:31 +0200 | aplainzetakind | (~aplainzet@37.155.33.61) () |
| 2025-09-20 18:33:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-20 18:43:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 18:47:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 18:53:40 +0200 | Vajb | (~Vajb@n612cuelus11w9lekus-1.v6.elisa-mobile.fi) (Ping timeout: 265 seconds) |
| 2025-09-20 18:54:12 +0200 | vetkat | (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2025-09-20 18:58:33 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-09-20 18:58:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 19:03:12 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 19:05:03 +0200 | Axma18514 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-20 19:05:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-20 19:10:57 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-20 19:16:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 19:17:51 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 258 seconds) |
| 2025-09-20 19:19:30 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-09-20 19:19:31 +0200 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-09-20 19:20:49 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-09-20 19:21:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 19:21:56 +0200 | pierrot_ | (~pi@user/pierrot) pierrot |
| 2025-09-20 19:22:04 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 258 seconds) |
| 2025-09-20 19:23:04 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-20 19:24:45 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 258 seconds) |
| 2025-09-20 19:26:27 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-09-20 19:27:05 +0200 | Ekho | (~Ekho@user/ekho) (Server closed connection) |
| 2025-09-20 19:32:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 19:35:56 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-09-20 19:36:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 19:43:44 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-20 19:44:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 19:48:37 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-09-20 19:48:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 19:54:04 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 260 seconds) |
| 2025-09-20 19:55:49 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 260 seconds) |
| 2025-09-20 19:56:01 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-20 19:59:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 20:03:33 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-09-20 20:04:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-20 20:05:07 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-09-20 20:05:21 +0200 | Vajb | (~Vajb@85-76-15-128-nat.elisa-mobile.fi) |
| 2025-09-20 20:12:44 +0200 | Everything | (~Everythin@217.147.163.184) Everything |
| 2025-09-20 20:15:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 20:19:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-20 20:21:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) |
| 2025-09-20 20:22:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-20 20:22:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-20 20:24:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-20 20:24:31 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-20 20:24:46 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-20 20:26:52 +0200 | Axma53083 | (~Axman6@user/axman6) Axman6 |
| 2025-09-20 20:28:53 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-20 20:30:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 20:35:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 20:35:47 +0200 | Everything | (~Everythin@217.147.163.184) (Ping timeout: 250 seconds) |
| 2025-09-20 20:37:51 +0200 | Everything | (~Everythin@88.155.4.6) Everything |
| 2025-09-20 20:39:37 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2025-09-20 20:40:00 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-09-20 20:40:04 +0200 | puke | (~puke@user/puke) puke |
| 2025-09-20 20:40:33 +0200 | Vajb | (~Vajb@85-76-15-128-nat.elisa-mobile.fi) (Ping timeout: 250 seconds) |
| 2025-09-20 20:44:32 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-20 20:44:35 +0200 | Vajb | (~Vajb@n4eqdcvc7g7h1swevv4-1.v6.elisa-mobile.fi) |
| 2025-09-20 20:45:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-20 20:47:09 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-20 20:47:31 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 2025-09-20 20:52:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-20 20:52:28 +0200 | rvalue- | rvalue |
| 2025-09-20 20:57:05 +0200 | shachaf | (~shachaf@user/shachaf) (Server closed connection) |
| 2025-09-20 20:57:14 +0200 | shachaf | (~shachaf@user/shachaf) shachaf |
| 2025-09-20 20:59:51 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Max SendQ exceeded) |
| 2025-09-20 21:00:01 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |