| 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) |
| 2026-07-05 16:20:32 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-05 16:21:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 16:21:11 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-07-05 16:22:31 +0000 | <ih1d_> | hello |
| 2026-07-05 16:22:52 +0000 | <ih1d_> | are you using claude code? |
| 2026-07-05 16:24:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 264 seconds) |
| 2026-07-05 16:25:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 16:25:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-05 16:26:59 +0000 | <EvanR> | no |
| 2026-07-05 16:27:21 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 16:29:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-07-05 16:30:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-05 16:31:24 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 16:32:33 +0000 | Guest62 | (~Guest62@p200300ca8f3a2d006a8bc0fba686c2b7.dip0.t-ipconnect.de) |
| 2026-07-05 16:34:09 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Remote host closed the connection) |
| 2026-07-05 16:34:31 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 16:39:05 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 16:40:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 16:44:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 16:52:16 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 16:54:09 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 252 seconds) |
| 2026-07-05 16:54:10 +0000 | divlamir_ | divlamir |
| 2026-07-05 16:55:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 17:00:02 +0000 | <ih1d_> | anybody see the talk by Nadia Amin Programming Should Eat Itself? |
| 2026-07-05 17:00:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 17:08:02 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-05 17:10:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 17:12:58 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-05 17:13:54 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 17:14:50 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-05 17:14:51 +0000 | absentia | (~henricus@user/absentia) (K-Lined) |
| 2026-07-05 17:15:03 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2026-07-05 17:15:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2026-07-05 17:16:14 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2026-07-05 17:16:47 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 260 seconds) |
| 2026-07-05 17:16:47 +0000 | divlamir_ | divlamir |
| 2026-07-05 17:21:39 +0000 | <monochrom> | I have seen the Turing talk The Halting Problem Eats Itself. >:) |
| 2026-07-05 17:23:12 +0000 | <monochrom> | More seriously the Internet has now grown so big with so much content (and AI will only add to it) that for every piece of work the density of people who have seen it converges to 0. |
| 2026-07-05 17:23:35 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2026-07-05 17:23:40 +0000 | <monochrom> | There are literally 1000x more content than there are audience. |
| 2026-07-05 17:26:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 17:32:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-07-05 17:34:21 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-07-05 17:42:17 +0000 | <tomsmeding> | Some content is disproportionally seen by many people though, but if it's about conference talks, then yes :p |
| 2026-07-05 17:43:03 +0000 | <jaror> | I've just watched it |
| 2026-07-05 17:44:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 17:46:37 +0000 | <jaror> | It's not really for me, I like types and performance too much. I don't mind it so much that the compiler is a separate thing. |
| 2026-07-05 17:47:28 +0000 | ih1d_ | (~isaaclope@24.54.249.2) (Ping timeout: 276 seconds) |
| 2026-07-05 17:48:39 +0000 | ih1d | (~isaaclope@70.45.153.139) |
| 2026-07-05 17:49:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-07-05 17:59:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 18:04:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-07-05 18:04:44 +0000 | ih1d_ | (~isaaclope@24.54.249.2) |
| 2026-07-05 18:04:57 +0000 | ih1d | (~isaaclope@70.45.153.139) (Read error: Connection reset by peer) |
| 2026-07-05 18:08:08 +0000 | lnxxcya0 | (~lynxx@i577BF0A5.versanet.de) |
| 2026-07-05 18:10:47 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) machinedgod |
| 2026-07-05 18:11:31 +0000 | lnxxcya | (~lynxx@i577BF0A5.versanet.de) (Ping timeout: 276 seconds) |
| 2026-07-05 18:11:31 +0000 | lnxxcya0 | lnxxcya |
| 2026-07-05 18:11:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 18:15:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 18:20:52 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-05 18:27:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 18:27:49 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 18:28:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-07-05 18:30:41 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-07-05 18:31:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-05 18:35:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 18:40:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 18:44:05 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 244 seconds) |
| 2026-07-05 18:46:07 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |