| 2026-07-05 00:02:25 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 00:03:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 00:04:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-07-05 00:05:44 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-07-05 00:07:52 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 256 seconds) |
| 2026-07-05 00:08:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-05 00:11:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-07-05 00:13:09 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 252 seconds) |
| 2026-07-05 00:13:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 00:18:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 00:20:16 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 00:23:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-07-05 00:23:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-07-05 00:26:10 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 276 seconds) |
| 2026-07-05 00:34:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 00:36:20 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-05 00:37:19 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Client Quit) |
| 2026-07-05 00:38:30 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 00:39:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-05 00:44:53 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 267 seconds) |
| 2026-07-05 00:49:06 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 00:49:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 00:52:47 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 00:54:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 243 seconds) |
| 2026-07-05 01:00:53 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-07-05 01:01:26 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 01:01:44 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-07-05 01:05:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 01:11:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-07-05 01:11:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 242 seconds) |
| 2026-07-05 01:13:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 01:19:09 +0000 | acidjnk_new | (~acidjnk@p200300d6e74def0005b7f745d4942369.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-07-05 01:23:07 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-07-05 01:27:06 +0000 | k3ut0i | (~keutoi@122.171.67.28) |
| 2026-07-05 01:28:01 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 272 seconds) |
| 2026-07-05 01:28:07 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 248 seconds) |
| 2026-07-05 01:29:26 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:bd62:ca12:3bbc:585d) |
| 2026-07-05 01:35:18 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2026-07-05 01:35:23 +0000 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-07-05 01:35:44 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-07-05 01:36:23 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 265 seconds) |
| 2026-07-05 01:38:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 01:40:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-07-05 01:43:27 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 01:43:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-07-05 01:50:51 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-07-05 01:53:43 +0000 | ft | (~ft@p3e9bc9b9.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-07-05 01:53:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 01:54:09 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) adamsaunders |
| 2026-07-05 01:55:10 +0000 | ft | (~ft@p508dbe16.dip0.t-ipconnect.de) ft |
| 2026-07-05 01:58:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-05 02:01:08 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-07-05 02:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-07-05 02:05:40 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-07-05 02:06:25 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) adamsaunders |
| 2026-07-05 02:09:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 02:14:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-07-05 02:23:37 +0000 | td_ | (~td@i5387090A.versanet.de) (Ping timeout: 248 seconds) |
| 2026-07-05 02:24:24 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:bd62:ca12:3bbc:585d) (Ping timeout: 250 seconds) |
| 2026-07-05 02:25:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 02:25:25 +0000 | td_ | (~td@i53870911.versanet.de) td_ |
| 2026-07-05 02:28:28 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-07-05 02:29:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-07-05 02:36:47 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 02:39:53 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-07-05 02:40:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 02:41:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 02:42:43 +0000 | wickedjargon | (~user@208.98.212.58) wickedjargon |
| 2026-07-05 02:42:59 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 241 seconds) |
| 2026-07-05 02:46:32 +0000 | priime | (~priime@2a01:4ff:f0:7ccc::1) priime |
| 2026-07-05 02:47:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2026-07-05 02:55:45 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 02:58:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 03:01:23 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 245 seconds) |
| 2026-07-05 03:03:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 270 seconds) |
| 2026-07-05 03:04:39 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-07-05 03:05:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-07-05 03:06:09 +0000 | wickedjargon | (~user@208.98.212.58) (Ping timeout: 245 seconds) |
| 2026-07-05 03:06:30 +0000 | czan | (~czan@user/mange) czan |
| 2026-07-05 03:09:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 03:09:45 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) adamsaunders |
| 2026-07-05 03:13:01 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 03:13:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 03:18:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 03:18:38 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 263 seconds) |
| 2026-07-05 03:21:07 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-07-05 03:27:42 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-07-05 03:27:56 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-07-05 03:30:00 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 03:35:57 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 247 seconds) |
| 2026-07-05 03:46:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 03:47:59 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 03:50:00 +0000 | Pixi` | Pixi |
| 2026-07-05 03:51:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-07-05 03:53:50 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 270 seconds) |
| 2026-07-05 03:55:10 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-07-05 03:58:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 04:00:24 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 261 seconds) |
| 2026-07-05 04:03:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-05 04:03:23 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2026-07-05 04:05:46 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 04:11:10 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 253 seconds) |
| 2026-07-05 04:13:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 04:20:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 04:21:49 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 04:27:57 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 248 seconds) |
| 2026-07-05 04:28:31 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-07-05 04:32:02 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-07-05 04:34:15 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 04:36:14 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 243 seconds) |
| 2026-07-05 04:38:10 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2026-07-05 04:38:11 +0000 | divlamir_ | divlamir |
| 2026-07-05 04:40:21 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 04:44:48 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 04:46:14 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 274 seconds) |
| 2026-07-05 04:47:03 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 252 seconds) |
| 2026-07-05 04:47:04 +0000 | divlamir_ | divlamir |
| 2026-07-05 04:47:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 04:50:41 +0000 | k3ut0i | (~keutoi@122.171.67.28) (Ping timeout: 272 seconds) |
| 2026-07-05 04:52:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-07-05 04:52:46 +0000 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2026-07-05 04:57:28 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 05:02:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 05:03:13 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 245 seconds) |
| 2026-07-05 05:07:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-07-05 05:15:39 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 05:21:26 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 257 seconds) |
| 2026-07-05 05:23:05 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 05:28:33 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 249 seconds) |
| 2026-07-05 05:33:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 05:35:56 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-05 05:38:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 267 seconds) |
| 2026-07-05 05:42:16 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 05:46:37 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-07-05 05:47:46 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-05 05:48:38 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 274 seconds) |
| 2026-07-05 05:49:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 05:53:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-07-05 05:58:02 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-07-05 05:59:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 06:01:01 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 06:03:24 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-07-05 06:03:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 06:06:20 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 247 seconds) |
| 2026-07-05 06:11:37 +0000 | EndureAhead | (~EndureAhe@user/EndureAhead) EndureAhead |
| 2026-07-05 06:15:05 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-07-05 06:20:14 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-07-05 06:20:20 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 06:21:52 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 243 seconds) |
| 2026-07-05 06:23:41 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Remote host closed the connection) |
| 2026-07-05 06:24:03 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 06:25:54 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2026-07-05 06:28:11 +0000 | k3ut0i | (~keutoi@122.171.67.28) |
| 2026-07-05 06:28:30 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-07-05 06:29:39 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 251 seconds) |
| 2026-07-05 06:31:48 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-05 06:31:55 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 06:33:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 06:37:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-07-05 06:38:10 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2026-07-05 06:46:51 +0000 | k3ut0i | (~keutoi@122.171.67.28) (Ping timeout: 241 seconds) |
| 2026-07-05 06:46:52 +0000 | takuan | (~takuan@d8d86b996.access.telenet.be) |
| 2026-07-05 06:48:29 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-07-05 06:53:34 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-07-05 06:59:40 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 07:00:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 07:01:07 +0000 | tt12316070197800 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-07-05 07:02:37 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 261 seconds) |
| 2026-07-05 07:03:15 +0000 | tt12316070197800 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-07-05 07:03:46 +0000 | divlamir_ | (~divlamir@user/divlamir) (Ping timeout: 248 seconds) |
| 2026-07-05 07:05:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 271 seconds) |
| 2026-07-05 07:06:20 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-07-05 07:07:56 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-07-05 07:09:57 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) (Read error: Connection reset by peer) |
| 2026-07-05 07:09:57 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-07-05 07:10:35 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 07:12:15 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-07-05 07:12:19 +0000 | EndureAhead | (~EndureAhe@user/EndureAhead) (Ping timeout: 249 seconds) |
| 2026-07-05 07:13:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 07:16:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 07:17:36 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-07-05 07:20:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 07:26:28 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-07-05 07:31:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 07:36:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-07-05 07:40:27 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2026-07-05 07:46:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 07:46:55 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 249 seconds) |
| 2026-07-05 07:50:10 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-07-05 07:51:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-05 07:53:51 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-07-05 08:01:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 08:01:56 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-07-05 08:02:41 +0000 | brooke2k | (~brooke2k@2603:7080:b001:555b::184a) (Remote host closed the connection) |
| 2026-07-05 08:03:04 +0000 | brooke2k | (~brooke2k@2603:7080:b001:555b::184a) |
| 2026-07-05 08:05:36 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-07-05 08:05:44 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2026-07-05 08:06:40 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-07-05 08:08:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-07-05 08:13:55 +0000 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-07-05 08:16:25 +0000 | k3ut0i | (~keutoi@122.171.67.28) |
| 2026-07-05 08:16:29 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-07-05 08:19:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 08:20:23 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-07-05 08:24:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 261 seconds) |
| 2026-07-05 08:29:48 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 265 seconds) |
| 2026-07-05 08:35:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 08:36:50 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-05 08:38:52 +0000 | k3ut0i | (~keutoi@122.171.67.28) (Ping timeout: 276 seconds) |
| 2026-07-05 08:39:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-07-05 08:40:53 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 08:41:54 +0000 | acidjnk_new | (~acidjnk@p200300d6e74def0083a757458c821b70.dip0.t-ipconnect.de) acidjnk |
| 2026-07-05 08:46:32 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 245 seconds) |
| 2026-07-05 08:50:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 08:54:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-07-05 08:57:47 +0000 | sm__ | (~sm@2001:bb6:4183:8e00:a80b:eb2a:4bda:195) |
| 2026-07-05 08:57:52 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 08:59:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 09:00:53 +0000 | sm__ | (~sm@2001:bb6:4183:8e00:a80b:eb2a:4bda:195) (Client Quit) |
| 2026-07-05 09:00:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-07-05 09:02:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-05 09:02:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 09:03:43 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 243 seconds) |
| 2026-07-05 09:07:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-05 09:15:31 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 09:18:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 09:21:20 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 263 seconds) |
| 2026-07-05 09:21:27 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-07-05 09:22:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-07-05 09:23:26 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 09:23:39 +0000 | oxapentane | (~oxapentan@git.oxapentane.com) (Remote host closed the connection) |
| 2026-07-05 09:24:11 +0000 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2026-07-05 09:24:50 +0000 | Coffish | (~Coffish@user/Coffish) (Ping timeout: 247 seconds) |
| 2026-07-05 09:28:43 +0000 | <jaror> | I'm benchmarking linked list alternatives and it seems skew binary random access lists are plainly better than lists for everything but streaming |
| 2026-07-05 09:31:15 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5dc9:7aaa:6a44:4507) (Ping timeout: 268 seconds) |
| 2026-07-05 09:33:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 09:34:16 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 09:38:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-07-05 09:40:39 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 253 seconds) |
| 2026-07-05 09:43:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ffb8:888c:ff12:58a4) |
| 2026-07-05 09:43:50 +0000 | <jaror> | Like for long lists it is 1.3x faster to construct and summing is 3x faster. |
| 2026-07-05 09:48:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 09:52:32 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 09:55:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 267 seconds) |
| 2026-07-05 09:58:05 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 252 seconds) |
| 2026-07-05 10:00:51 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-07-05 10:03:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 10:04:41 +0000 | <tomsmeding> | jaror: which implementation of skew binary RALs are you using? I'm looking at the implementation in skew-list and I cannot imagine that is faster than [a] to construct |
| 2026-07-05 10:05:06 +0000 | <jaror> | data Tree a = TThree a a a | TNode a !(Tree a) !(Tree a) deriving Show |
| 2026-07-05 10:05:06 +0000 | <jaror> | data List a = LNil | LOne a !(List a) | LNode {-# UNPACK #-} !Int !(Tree a) !(List a) deriving Show |
| 2026-07-05 10:06:01 +0000 | <tomsmeding> | are those trees always perfectly balanced? |
| 2026-07-05 10:06:06 +0000 | <jaror> | yes |
| 2026-07-05 10:06:13 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 10:06:21 +0000 | <jaror> | This is cons: |
| 2026-07-05 10:06:21 +0000 | <jaror> | cons :: a -> List a -> List a |
| 2026-07-05 10:06:21 +0000 | <jaror> | cons x (LOne y (LOne z xs)) = LNode 1 (TThree x y z) xs |
| 2026-07-05 10:06:21 +0000 | <jaror> | cons x (LNode n1 t1 (LNode n2 t2 xs)) |
| 2026-07-05 10:06:21 +0000 | <jaror> | | n1 == n2 = LNode (n1 + 1) (TNode x t1 t2) xs |
| 2026-07-05 10:06:21 +0000 | <jaror> | cons x xs = LOne x xs |
| 2026-07-05 10:06:21 +0000 | <jaror> | {-# INLINE cons #-} |
| 2026-07-05 10:07:13 +0000 | <jaror> | The TThree could be avoiding some of the list cons overhead |
| 2026-07-05 10:08:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-07-05 10:08:21 +0000 | <tomsmeding> | yes that's the only significant difference that I see |
| 2026-07-05 10:08:43 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2026-07-05 10:08:43 +0000 | divlamir_ | divlamir |
| 2026-07-05 10:08:48 +0000 | <tomsmeding> | still, where is the speedup coming from? GC? |
| 2026-07-05 10:09:24 +0000 | <tomsmeding> | because your cons does strictly more work than (:) :p |
| 2026-07-05 10:09:33 +0000 | <tomsmeding> | significantly more, in fact |
| 2026-07-05 10:11:25 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 10:11:26 +0000 | <jaror> | It can't be just GC because I'm also seeing speedup on tests that don't exceed the nursery |
| 2026-07-05 10:11:34 +0000 | <tomsmeding> | but how can that be?! |
| 2026-07-05 10:12:18 +0000 | <tomsmeding> | I can countenance traversal being faster, maybe, for the same reason that GC is possibly faster, namely that there's more regularity (due to TThree) |
| 2026-07-05 10:12:34 +0000 | <tomsmeding> | where the CPU might do some speculative loads |
| 2026-07-05 10:12:38 +0000 | Coffish | (~Coffish@user/Coffish) Coffish |
| 2026-07-05 10:12:49 +0000 | <tomsmeding> | but construction just makes no sense |
| 2026-07-05 10:15:47 +0000 | <jaror> | I'll make a standalone benchmark |
| 2026-07-05 10:16:43 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 10:18:23 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 265 seconds) |
| 2026-07-05 10:18:24 +0000 | divlamir_ | divlamir |
| 2026-07-05 10:18:48 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-07-05 10:24:33 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-07-05 10:24:34 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) (Remote host closed the connection) |
| 2026-07-05 10:24:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Broken pipe) |
| 2026-07-05 10:25:01 +0000 | <jaror> | Ah, I am not benching the construction separately, but the construction and traversal in one |
| 2026-07-05 10:25:47 +0000 | <jaror> | Otherwise I think some things will just remain thunks |
| 2026-07-05 10:26:02 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-07-05 10:26:16 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-07-05 10:29:33 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-07-05 10:30:04 +0000 | <jaror> | I thought the traversal would only be a small part of the time since it would not have to do any allocation |
| 2026-07-05 10:32:57 +0000 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2026-07-05 10:33:31 +0000 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2026-07-05 10:33:41 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 262 seconds) |
| 2026-07-05 10:38:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 10:42:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-07-05 10:45:01 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 10:46:36 +0000 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2026-07-05 10:47:03 +0000 | <jaror> | Alright, just the construction is about 1.75x-2x slower |
| 2026-07-05 10:47:07 +0000 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2026-07-05 10:50:33 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 251 seconds) |
| 2026-07-05 10:51:57 +0000 | Vizious | (~bes@user/Vizious) (Read error: Connection reset by peer) |
| 2026-07-05 10:53:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 10:58:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-07-05 11:02:12 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 11:04:15 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2026-07-05 11:04:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 11:05:29 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-07-05 11:06:06 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2026-07-05 11:08:22 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-07-05 11:09:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-07-05 11:09:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-07-05 11:10:46 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 275 seconds) |
| 2026-07-05 11:20:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 11:22:05 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 11:26:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 261 seconds) |
| 2026-07-05 11:27:31 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 261 seconds) |
| 2026-07-05 11:33:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-07-05 11:35:06 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon |
| 2026-07-05 11:38:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 11:38:59 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 11:42:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-07-05 11:44:48 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 261 seconds) |
| 2026-07-05 11:46:52 +0000 | <tomsmeding> | right, that makes more sense |
| 2026-07-05 11:46:56 +0000 | <tomsmeding> | pretty cool! |
| 2026-07-05 11:50:42 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 11:52:29 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 248 seconds) |
| 2026-07-05 11:52:29 +0000 | divlamir_ | divlamir |
| 2026-07-05 11:52:53 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-07-05 11:53:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 11:55:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 11:56:39 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 11:58:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-07-05 11:58:29 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-05 12:02:48 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 245 seconds) |
| 2026-07-05 12:04:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 12:05:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 12:09:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 12:14:59 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 12:20:27 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 254 seconds) |
| 2026-07-05 12:21:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 12:22:32 +0000 | takuan | (~takuan@d8d86b996.access.telenet.be) (Read error: Connection reset by peer) |
| 2026-07-05 12:22:47 +0000 | takuan | (~takuan@d8d86b996.access.telenet.be) |
| 2026-07-05 12:25:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 12:32:46 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 12:36:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 12:38:29 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 242 seconds) |
| 2026-07-05 12:39:45 +0000 | lnxxcya | (~lynxx@i577BF0A5.versanet.de) |
| 2026-07-05 12:40:46 +0000 | <jaror> | I've now also benchmarked a simple list with 3 element cells: |
| 2026-07-05 12:40:46 +0000 | <jaror> | data List3 a = Hd0 !(List3Tail a) | Hd1 a !(List3Tail a) | Hd2 a a !(List3Tail a) |
| 2026-07-05 12:40:46 +0000 | <jaror> | data List3Tail a = Nil3 | Cons3 a a a !(List3Tail a) |
| 2026-07-05 12:41:07 +0000 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-07-05 12:41:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-07-05 12:41:30 +0000 | <jaror> | That has less construction overhead and more summing gains |
| 2026-07-05 12:41:55 +0000 | <jaror> | but obviously does not give you O(log n) access or length computation |
| 2026-07-05 12:42:09 +0000 | ftzm427 | (~ftzm@85.80.244.25) |
| 2026-07-05 12:42:12 +0000 | ftzm427 | ftzm |
| 2026-07-05 12:49:33 +0000 | <tomsmeding> | nice, that confirms the hypothesis about why traversal was faster |
| 2026-07-05 12:49:46 +0000 | <tomsmeding> | "computers like arrays" |
| 2026-07-05 12:49:55 +0000 | <tomsmeding> | (to nobody's surprise) |
| 2026-07-05 12:50:23 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-07-05 12:50:55 +0000 | <tomsmeding> | I think someone in this channel at some point proposed that GHC ought to implement String more efficiently, transparently using a Text-like representation under the hood |
| 2026-07-05 12:51:14 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 12:51:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 12:51:56 +0000 | <tomsmeding> | I think that suggestion was mostly dismissed as "but the point of [a] is that it's a list" |
| 2026-07-05 12:52:57 +0000 | <jaror> | I mean, text is asymptotically slower for many things |
| 2026-07-05 12:52:58 +0000 | <tomsmeding> | but I do wonder if there is something that GHC could, potentially, do here in terms of chunking lists; the issue is that it would introduce a bunch of additional administration, in particular to ensure that list elements can be properly GC'd when they're not referenced any more, always |
| 2026-07-05 12:53:40 +0000 | <tomsmeding> | jaror: yes, so the proposal as stated falls flat, but you could easily imagine a lazy-bytestring-like chunked representation that does hvae the same asymptotics |
| 2026-07-05 12:53:51 +0000 | <jaror> | Yes |
| 2026-07-05 12:53:55 +0000 | <tomsmeding> | at which point you get very close to your List3 |
| 2026-07-05 12:55:00 +0000 | <jaror> | And if you only chunk a few elements at a time (say 64 bytes) then I don't think there will be that many issues with retaining things for too long |
| 2026-07-05 12:55:30 +0000 | <tomsmeding> | well, if the individual elements are large (but boxed so just a single pointer), then retaining even just one redundant element can be problematic |
| 2026-07-05 12:55:54 +0000 | <tomsmeding> | (I'm talking about a hypothetical world where people would be willing to specially handle [a] in GHC and the RTS) |
| 2026-07-05 12:56:03 +0000 | <tomsmeding> | (and which thus must be backwards-compatible) |
| 2026-07-05 12:56:09 +0000 | <jaror> | ah |
| 2026-07-05 12:56:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 240 seconds) |
| 2026-07-05 12:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-07-05 12:56:52 +0000 | <jaror> | I wonder if we could have special "offset" pointers which the GC can take into account and then split the chunks when collecting |
| 2026-07-05 12:57:04 +0000 | <tomsmeding> | but there are bound to be uses of [a] in the wild that get disproportionally punished by List3 somehow |
| 2026-07-05 12:57:15 +0000 | <tomsmeding> | that's exactly what I was also thinking of |
| 2026-07-05 12:57:25 +0000 | <tomsmeding> | -> possible, but significant additional administration |
| 2026-07-05 12:59:11 +0000 | <tomsmeding> | (the chunks would need to be quite small, because you can have pathological cases where you create a Hd1 and then many copies of that list with one additional element added; that results in double the list memory overhead as when you'd do the same trick with normal [a]) |
| 2026-07-05 12:59:39 +0000 | <tomsmeding> | hm, probably less than double, but still more because of the duplication of the second-element pointer |
| 2026-07-05 12:59:47 +0000 | <jaror> | It could also take into account how many references there are to the elements to decide how to chunk |
| 2026-07-05 13:00:07 +0000 | <jaror> | We could store a simple RC bit in the constructor |
| 2026-07-05 13:00:55 +0000 | <tomsmeding> | I think a decently large portion of haskell users would be happy with such a change, because it's "obviously useful" |
| 2026-07-05 13:01:36 +0000 | <tomsmeding> | but there'll be a minority who has usecases for [a] that fall through the cracks of the optimisations and get worse, and they'll complain :) |
| 2026-07-05 13:06:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 13:10:36 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 13:13:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 241 seconds) |
| 2026-07-05 13:16:00 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 240 seconds) |
| 2026-07-05 13:19:24 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-07-05 13:24:32 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-07-05 13:24:33 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-07-05 13:24:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 13:24:56 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-07-05 13:28:52 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 13:29:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-05 13:35:20 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 275 seconds) |
| 2026-07-05 13:36:06 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Quit: schuelermine) |
| 2026-07-05 13:36:25 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-07-05 13:38:19 +0000 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-07-05 13:40:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 13:40:32 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-07-05 13:40:44 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 245 seconds) |
| 2026-07-05 13:42:05 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-07-05 13:44:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-07-05 13:46:50 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 13:49:25 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) (Ping timeout: 252 seconds) |
| 2026-07-05 13:50:29 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-07-05 13:52:54 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 263 seconds) |
| 2026-07-05 13:55:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 14:00:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-07-05 14:04:40 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 14:07:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 14:10:10 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 259 seconds) |
| 2026-07-05 14:11:32 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-05 14:12:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-07-05 14:13:57 +0000 | czan | (~czan@user/mange) (Quit: Zzz...) |
| 2026-07-05 14:17:34 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 14:23:11 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-07-05 14:23:48 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 254 seconds) |
| 2026-07-05 14:27:44 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 260 seconds) |
| 2026-07-05 14:35:41 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 14:37:17 +0000 | ih1d | (~isaaclope@24.54.249.2) |
| 2026-07-05 14:38:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 14:41:09 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 246 seconds) |
| 2026-07-05 14:42:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 14:48:29 +0000 | <EvanR> | tomsmeding, clojure "transparently" implements their main lazy list using chunking. And when the computation of character chunk + 61 throws an exception, it is thrown when you think you are accessing chunk + 3 |
| 2026-07-05 14:49:24 +0000 | <jaror> | What is character chunk + 61? |
| 2026-07-05 14:49:26 +0000 | <EvanR> | "chunk" not being an observable location in the language |
| 2026-07-05 14:49:36 +0000 | <EvanR> | you're supposedly interacting with a straight list |
| 2026-07-05 14:49:57 +0000 | <EvanR> | jaror, start of chunk[61] |
| 2026-07-05 14:51:23 +0000 | <EvanR> | assuming nothing throws an exception or goes into an infinite loop "it's fine", like ignoring bottoms in haskell. But that's unrealistic in java |
| 2026-07-05 14:51:49 +0000 | <jaror> | so you mean you have a lazy list with an error in character 61 but it already gets thrown when accessing the third element? |
| 2026-07-05 14:52:22 +0000 | <EvanR> | not 61. imagine chunk = 6400 |
| 2026-07-05 14:52:28 +0000 | <EvanR> | so character 6461 |
| 2026-07-05 14:52:44 +0000 | <EvanR> | and it crashes when you get to character 6403 |
| 2026-07-05 14:53:09 +0000 | <EvanR> | in the 100th "transparent" chunk |
| 2026-07-05 14:53:37 +0000 | <EvanR> | character being a placeholder for whatever type |
| 2026-07-05 14:53:50 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 14:53:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 14:54:50 +0000 | <EvanR> | it's basically a completely broken abstraction on their part |
| 2026-07-05 14:56:41 +0000 | <jaror> | Yeah changing the semantics is not cool |
| 2026-07-05 14:58:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 14:58:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 14:59:30 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-07-05 14:59:58 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 257 seconds) |
| 2026-07-05 15:02:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2026-07-05 15:08:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 15:12:55 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 15:13:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-07-05 15:18:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 255 seconds) |
| 2026-07-05 15:24:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 15:24:21 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 15:28:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 15:30:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-07-05 15:30:55 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 15:36:20 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 244 seconds) |
| 2026-07-05 15:39:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 15:44:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-07-05 15:50:19 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 15:51:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-07-05 15:54:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 15:56:14 +0000 | ih1d | (~isaaclope@24.54.249.2) (Ping timeout: 265 seconds) |
| 2026-07-05 15:56:26 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 258 seconds) |
| 2026-07-05 15:58:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 16:01:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 16:04:15 +0000 | bggd | (~bgg@user/bggd) (Quit: std::move) |
| 2026-07-05 16:05:29 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2026-07-05 16:05:54 +0000 | <tomsmeding> | oh right, bottoms in the list spine would also need to be modelled, yet more ugliness |
| 2026-07-05 16:09:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 16:10:21 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 16:10:21 +0000 | ih1d_ | (~isaaclope@24.54.249.2) |
| 2026-07-05 16:11:02 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-07-05 16:14:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 16:16:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 258 seconds) |
| 2026-07-05 16:18:46 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |