| 2025-11-03 00:01:18 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-03 00:01:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:01:49 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 00:02:52 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 00:05:28 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-03 00:06:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 00:06:44 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-03 00:12:37 +0100 | <EvanR> | >The bulk of the dictionary documents type variables, where overly long variable names can blow out complicated type signatures |
| 2025-11-03 00:13:07 +0100 | <EvanR> | oh yeah, naming the type variables is much less common it seems |
| 2025-11-03 00:14:17 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) fp |
| 2025-11-03 00:16:12 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-03 00:16:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:18:46 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-03 00:21:46 +0100 | <EvanR> | this dictionary could be 26 pages long, one chapter for each page |
| 2025-11-03 00:22:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 00:22:17 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-03 00:28:34 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 00:30:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:34:21 +0100 | AlexNoo_ | (~AlexNoo@178.34.151.83) |
| 2025-11-03 00:37:00 +0100 | AlexZenon | (~alzenon@178.34.160.166) (Ping timeout: 245 seconds) |
| 2025-11-03 00:37:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 00:37:57 +0100 | AlexNoo | (~AlexNoo@178.34.160.166) (Ping timeout: 252 seconds) |
| 2025-11-03 00:38:50 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-03 00:41:10 +0100 | AlexZenon | (~alzenon@178.34.151.83) |
| 2025-11-03 00:48:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:54:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 01:04:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:07:35 +0100 | anpad | (~pandeyan@user/anpad) (Ping timeout: 244 seconds) |
| 2025-11-03 01:08:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-03 01:09:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 01:20:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:25:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 01:27:34 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-11-03 01:30:48 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-03 01:31:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:36:36 +0100 | <monochrom> | I am not sure that chapters for q or z are really that long. :) |
| 2025-11-03 01:36:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 01:42:30 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-11-03 01:47:15 +0100 | Square3 | (~Square4@user/square) Square |
| 2025-11-03 01:47:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:50:00 +0100 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-11-03 01:52:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 01:55:32 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 2025-11-03 02:03:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:04:42 +0100 | bggd | (~bgg@2a01:e0a:819:1510:e235:2c82:c1ae:1944) |
| 2025-11-03 02:06:12 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-03 02:07:29 +0100 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-03 02:07:44 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 02:08:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-03 02:15:19 +0100 | otto_s | (~user@p4ff274ae.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-03 02:17:02 +0100 | otto_s | (~user@p5b044953.dip0.t-ipconnect.de) |
| 2025-11-03 02:18:00 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 02:19:46 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-03 02:19:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:22:04 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-11-03 02:27:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 02:28:08 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 02:36:19 +0100 | acidjnk | (~acidjnk@p200300d6e717199990ac1ea32c3bb350.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-03 02:37:22 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-03 02:37:45 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 02:37:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:38:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-03 02:40:08 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-03 02:43:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 02:43:40 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-03 02:45:51 +0100 | itaipu | (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-11-03 02:50:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-03 02:50:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-11-03 02:51:11 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 02:51:53 +0100 | Googulator61 | Googulator |
| 2025-11-03 02:53:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:55:00 +0100 | annamalai | (~annamalai@157.32.123.184) annamalai |
| 2025-11-03 02:58:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 03:00:48 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2025-11-03 03:02:58 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-03 03:03:44 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-03 03:03:53 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-03 03:03:57 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-03 03:04:18 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-03 03:09:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:14:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 03:14:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-03 03:25:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:27:52 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-03 03:29:28 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 03:30:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-03 03:30:45 +0100 | img | (~img@user/img) img |
| 2025-11-03 03:36:17 +0100 | jmcantrell_ | jmcantrell |
| 2025-11-03 03:41:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:43:05 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-03 03:46:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 03:47:10 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 03:49:30 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 03:50:03 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 03:55:44 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-11-03 03:57:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:00:01 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-03 04:03:01 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2025-11-03 04:04:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 04:04:34 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-03 04:13:11 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-03 04:13:21 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 04:15:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:15:40 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:15:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:17:20 +0100 | karenw | (~karenw@user/karenw) (Client Quit) |
| 2025-11-03 04:20:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 04:20:50 +0100 | Googulator48 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 04:21:09 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:22:39 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 04:24:07 +0100 | Zemy_ | (~Zemy@2600:100c:b0aa:98b1:d8ea:ffff:fe76:5a1a) |
| 2025-11-03 04:24:07 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-03 04:24:41 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-03 04:24:44 +0100 | Zemy_ | (~Zemy@2600:100c:b0aa:98b1:d8ea:ffff:fe76:5a1a) (Read error: Connection reset by peer) |
| 2025-11-03 04:30:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:35:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 04:35:56 +0100 | Googulator48 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:36:04 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:37:36 +0100 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-03 04:39:29 +0100 | td_ | (~td@i53870934.versanet.de) |
| 2025-11-03 04:40:40 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:40:40 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-03 04:46:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:48:04 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-11-03 04:51:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 04:58:35 +0100 | arahael | (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 2025-11-03 04:59:26 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) (Read error: Connection reset by peer) |
| 2025-11-03 05:00:40 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) synchromesh |
| 2025-11-03 05:01:58 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Ping timeout: 256 seconds) |
| 2025-11-03 05:02:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:07:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 05:11:00 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-03 05:12:30 +0100 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-11-03 05:14:33 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-03 05:15:37 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 05:16:13 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 05:16:15 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 05:19:33 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-11-03 05:21:35 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 05:23:06 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 05:30:10 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 05:31:07 +0100 | bgt32 | (~keutoi@49.43.217.99) |
| 2025-11-03 05:33:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:40:23 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-03 05:40:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-03 05:45:39 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 05:45:39 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 05:50:38 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 05:50:46 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 05:51:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:52:51 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 05:55:39 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Quit: Client closed) |
| 2025-11-03 05:58:03 +0100 | bgt32 | (~keutoi@49.43.217.99) (Ping timeout: 252 seconds) |
| 2025-11-03 06:00:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 06:04:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-03 06:16:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:23:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-03 06:33:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:36:29 +0100 | qqe | (~qqq@185.54.21.203) |
| 2025-11-03 06:37:52 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 06:39:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 06:47:04 +0100 | deptype_ | (~deptype@124.123.128.236) (Remote host closed the connection) |
| 2025-11-03 06:49:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:54:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 06:59:14 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2025-11-03 07:00:29 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-03 07:05:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 07:10:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 07:10:37 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9371:39c7:fb73:eef8) |
| 2025-11-03 07:13:17 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 2025-11-03 07:13:40 +0100 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-03 07:17:09 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-03 07:19:23 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-03 07:21:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 07:26:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 07:29:05 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 07:29:21 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 07:31:08 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9371:39c7:fb73:eef8) (Remote host closed the connection) |
| 2025-11-03 07:31:21 +0100 | deptype | (~deptype@2406:b400:3a:73c2:aa9c:5afd:c969:b068) |
| 2025-11-03 07:37:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 07:41:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-03 07:46:06 +0100 | Googulator92 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 07:46:12 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 07:47:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-11-03 07:51:10 +0100 | deptype | (~deptype@2406:b400:3a:73c2:aa9c:5afd:c969:b068) (Remote host closed the connection) |
| 2025-11-03 07:51:23 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9cf9:6413:4419:2801) |
| 2025-11-03 07:51:52 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-03 07:52:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-11-03 07:52:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 07:57:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 08:02:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 08:06:29 +0100 | xelxebar | (~xelxebar@wilsonb.com) (Ping timeout: 260 seconds) |
| 2025-11-03 08:07:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 08:07:47 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-11-03 08:09:36 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-11-03 08:09:52 +0100 | craunts795335385 | (~craunts@175.176.18.184) |
| 2025-11-03 08:09:55 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2025-11-03 08:11:15 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9cf9:6413:4419:2801) (Remote host closed the connection) |
| 2025-11-03 08:11:33 +0100 | deptype | (~deptype@2406:b400:3a:73c2:2b92:2fd3:568a:55b5) |
| 2025-11-03 08:15:27 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-03 08:16:02 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 08:18:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 08:19:49 +0100 | annamalai | (~annamalai@157.32.123.184) (Ping timeout: 264 seconds) |
| 2025-11-03 08:23:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-03 08:31:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:2b92:2fd3:568a:55b5) (Remote host closed the connection) |
| 2025-11-03 08:31:59 +0100 | deptype | (~deptype@2406:b400:3a:73c2:48ab:8ac6:df37:a6f5) |
| 2025-11-03 08:49:34 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-03 08:51:49 +0100 | deptype | (~deptype@2406:b400:3a:73c2:48ab:8ac6:df37:a6f5) (Remote host closed the connection) |
| 2025-11-03 08:52:02 +0100 | deptype | (~deptype@2406:b400:3a:73c2:3aa3:8982:2038:36d0) |
| 2025-11-03 08:52:07 +0100 | annamalai | (~annamalai@2409:4042:2592:875c::1c9d:70b1) annamalai |
| 2025-11-03 08:52:46 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 246 seconds) |
| 2025-11-03 08:52:55 +0100 | Guest60 | (~Guest60@104.168.56.32) |
| 2025-11-03 08:55:31 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-11-03 08:57:54 +0100 | Guest60 | (~Guest60@104.168.56.32) (Quit: Client closed) |
| 2025-11-03 09:03:06 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-03 09:06:32 +0100 | annamalai | (~annamalai@2409:4042:2592:875c::1c9d:70b1) (Ping timeout: 244 seconds) |
| 2025-11-03 09:08:16 +0100 | annamalai | (~annamalai@157.32.113.145) annamalai |
| 2025-11-03 09:10:53 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-03 09:11:51 +0100 | deptype | (~deptype@2406:b400:3a:73c2:3aa3:8982:2038:36d0) (Remote host closed the connection) |
| 2025-11-03 09:12:11 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfb2:c61a:e366:1e80) |
| 2025-11-03 09:12:15 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-03 09:15:12 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-03 09:20:12 +0100 | annamalai | (~annamalai@157.32.113.145) (Remote host closed the connection) |
| 2025-11-03 09:20:12 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-03 09:20:32 +0100 | annamalai | (~annamalai@157.32.113.145) annamalai |
| 2025-11-03 09:21:12 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-03 09:21:22 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-03 09:31:53 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfb2:c61a:e366:1e80) (Remote host closed the connection) |
| 2025-11-03 09:32:11 +0100 | deptype | (~deptype@2406:b400:3a:73c2:889:ebc5:fad6:5cd4) |
| 2025-11-03 09:33:01 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-11-03 09:43:22 +0100 | kuribas | (~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) kuribas |
| 2025-11-03 09:43:41 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-03 09:44:30 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-03 09:45:06 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-03 09:47:59 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-03 09:48:13 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-03 09:51:57 +0100 | deptype | (~deptype@2406:b400:3a:73c2:889:ebc5:fad6:5cd4) (Remote host closed the connection) |
| 2025-11-03 09:52:17 +0100 | deptype | (~deptype@2406:b400:3a:73c2:1328:268d:8c1:ea34) |
| 2025-11-03 09:53:21 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 09:54:38 +0100 | craunts795335385 | (~craunts@175.176.18.184) (Ping timeout: 256 seconds) |
| 2025-11-03 10:03:50 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 10:04:03 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-03 10:05:01 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-03 10:05:23 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-03 10:10:50 +0100 | trickard_ | trickard |
| 2025-11-03 10:11:38 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-11-03 10:11:59 +0100 | deptype | (~deptype@2406:b400:3a:73c2:1328:268d:8c1:ea34) (Remote host closed the connection) |
| 2025-11-03 10:12:11 +0100 | deptype | (~deptype@2406:b400:3a:73c2:1267:f0b9:3b00:610e) |
| 2025-11-03 10:15:59 +0100 | craunts795335385 | (~craunts@175.176.18.184) |
| 2025-11-03 10:32:31 +0100 | deptype | (~deptype@2406:b400:3a:73c2:1267:f0b9:3b00:610e) (Remote host closed the connection) |
| 2025-11-03 10:32:51 +0100 | deptype | (~deptype@2406:b400:3a:73c2:162b:84f3:d56b:3ec0) |
| 2025-11-03 10:38:08 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 10:42:05 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 10:42:37 +0100 | gustrb | (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-03 10:42:37 +0100 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-03 10:44:21 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 10:46:50 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 10:52:33 +0100 | deptype | (~deptype@2406:b400:3a:73c2:162b:84f3:d56b:3ec0) (Remote host closed the connection) |
| 2025-11-03 10:52:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9edb:ec5f:104a:bb2b) |
| 2025-11-03 10:53:40 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-03 11:12:35 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9edb:ec5f:104a:bb2b) (Remote host closed the connection) |
| 2025-11-03 11:12:51 +0100 | deptype | (~deptype@2406:b400:3a:73c2:90bc:8839:be56:efe4) |
| 2025-11-03 11:12:57 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 11:20:40 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 11:20:53 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-03 11:23:05 +0100 | craunts795335385 | (~craunts@175.176.18.184) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-03 11:26:23 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 11:29:33 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-03 11:29:49 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 11:30:20 +0100 | prdak2 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 11:33:06 +0100 | prdak2 | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-03 11:33:37 +0100 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 11:34:25 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2025-11-03 11:35:27 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 11:38:37 +0100 | deptype | (~deptype@2406:b400:3a:73c2:90bc:8839:be56:efe4) (Remote host closed the connection) |
| 2025-11-03 11:38:51 +0100 | deptype | (~deptype@2406:b400:3a:73c2:4b0e:36fd:bf73:2ff7) |
| 2025-11-03 11:40:13 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-03 11:40:21 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-03 11:40:47 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-11-03 11:58:39 +0100 | deptype | (~deptype@2406:b400:3a:73c2:4b0e:36fd:bf73:2ff7) (Remote host closed the connection) |
| 2025-11-03 11:58:56 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6922:e99c:537:1929) |
| 2025-11-03 12:07:58 +0100 | Square2 | (~Square@user/square) Square |
| 2025-11-03 12:11:39 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 12:21:54 +0100 | acidjnk | (~acidjnk@p200300d6e7171976342d0abd7c7df47c.dip0.t-ipconnect.de) acidjnk |
| 2025-11-03 12:28:17 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-03 12:29:14 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-03 12:29:40 +0100 | trickard___ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 12:30:12 +0100 | trickard___ | trickard |
| 2025-11-03 12:30:46 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-03 12:39:27 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 12:42:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-03 12:44:30 +0100 | Digit | (~user@user/digit) Digit |
| 2025-11-03 12:45:36 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-11-03 12:46:35 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 12:51:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-03 12:51:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 12:58:25 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-11-03 12:58:40 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 13:05:11 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 2025-11-03 13:06:11 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 13:06:21 +0100 | Square3 | (~Square4@user/square) Square |
| 2025-11-03 13:09:23 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-03 13:09:48 +0100 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-11-03 13:14:32 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-03 13:15:24 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 13:19:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-03 13:19:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 13:20:29 +0100 | Square3 | (~Square4@user/square) (Remote host closed the connection) |
| 2025-11-03 13:25:12 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6922:e99c:537:1929) (Remote host closed the connection) |
| 2025-11-03 13:25:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:adf2:5878:8562:a7a) |
| 2025-11-03 13:32:55 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-03 13:33:13 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 13:37:51 +0100 | Googulator92 | Googulator |
| 2025-11-03 13:38:25 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 13:42:42 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-11-03 13:58:16 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-03 14:01:06 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-03 14:02:41 +0100 | <[exa]> | Is there some canonical data type in the libraries that would represent a "directory structure"? Like a Tree but with explicit filename key, and data only in leaves ("files") |
| 2025-11-03 14:13:46 +0100 | <Leary> | [exa]: Sounds like a trie, specifically a "trie map" rather than a "trie set". |
| 2025-11-03 14:15:29 +0100 | <[exa]> | yeah sounds like it |
| 2025-11-03 14:16:04 +0100 | <[exa]> | funnily there's no package with general tries, somehow people only do stringy ones |
| 2025-11-03 14:16:32 +0100 | <[exa]> | (time to act?!) |
| 2025-11-03 14:19:17 +0100 | <Leary> | 'generic-trie' looks alright. |
| 2025-11-03 14:23:08 +0100 | [exa] | tries to refocus eyes |
| 2025-11-03 14:23:12 +0100 | <[exa]> | somehow I missed that |
| 2025-11-03 14:23:14 +0100 | <[exa]> | thanks a lot! |
| 2025-11-03 14:23:48 +0100 | <dminuoso> | A directory structure is, under most filesystems, not just a dree but a DAG. |
| 2025-11-03 14:23:50 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-11-03 14:24:06 +0100 | <dminuoso> | Sorry, not even acylic. |
| 2025-11-03 14:24:09 +0100 | <dminuoso> | A graph. |
| 2025-11-03 14:24:30 +0100 | <tomsmeding> | a dree? |
| 2025-11-03 14:24:38 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 14:24:42 +0100 | <dminuoso> | nice |
| 2025-11-03 14:25:14 +0100 | deptype | (~deptype@2406:b400:3a:73c2:adf2:5878:8562:a7a) (Remote host closed the connection) |
| 2025-11-03 14:25:28 +0100 | deptype | (~deptype@2406:b400:3a:73c2:f533:eee9:1812:5e31) |
| 2025-11-03 14:25:43 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-03 14:26:25 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2025-11-03 14:27:57 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 250 seconds) |
| 2025-11-03 14:27:59 +0100 | <[exa]> | dminuoso: I meant a really naive trivial one :D |
| 2025-11-03 14:28:38 +0100 | <[exa]> | Leary: is it just me or that generic-trie is too generic? there isn't anything like "listing a directory" or so |
| 2025-11-03 14:29:41 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 14:34:59 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 14:36:37 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 14:36:37 +0100 | prdak1 | prdak |
| 2025-11-03 14:37:20 +0100 | <tomsmeding> | isn't the idea of a trie that a node encodes its entire prefix, and the particular substring on an edge has no useful semantics by itself? |
| 2025-11-03 14:37:39 +0100 | <tomsmeding> | so I wouldn't expect a trie library to expose a function for getting the outgoing edges of a node, because that ought not to be relevant for a trie |
| 2025-11-03 14:38:16 +0100 | <tomsmeding> | [exa]: why not just data FileTree = Directory (Map FileName FileTree) | File FileName Stuffs |
| 2025-11-03 14:38:57 +0100 | <dminuoso> | tomsmeding: No the opposite. |
| 2025-11-03 14:39:10 +0100 | <dminuoso> | You essentially only encode portions in edges. |
| 2025-11-03 14:39:15 +0100 | <tomsmeding> | I know |
| 2025-11-03 14:39:19 +0100 | <tomsmeding> | I know how a trie works |
| 2025-11-03 14:39:33 +0100 | <Leary> | [exa]: Actually, upon further inspection, it looks like it's focused more on being an optimised `Map` than on otherwise exploiting its trie-ness. 'trie-simple' looks more suitable, with e.g.: `match :: Ord c => [c] -> TMap c a -> (Maybe a, TMap c a)` |
| 2025-11-03 14:39:37 +0100 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-03 14:40:03 +0100 | <tomsmeding> | dminuoso: but the portions on the edges are not meaningful values by themselves, they just happen to be substrings that are shared by all values in a particular subset of your set |
| 2025-11-03 14:40:31 +0100 | <dminuoso> | I've always rolled my own trie implementations to cope with the specific needs. |
| 2025-11-03 14:40:33 +0100 | <Leary> | They're meaningful if you control the atoms. |
| 2025-11-03 14:41:00 +0100 | <dminuoso> | For our DNS stuff I have a SparseTrie that can have sort if "missing" intermediate nodes. |
| 2025-11-03 14:41:07 +0100 | <dminuoso> | s/sort if/sort of" |
| 2025-11-03 14:42:17 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 14:44:00 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 14:45:16 +0100 | deptype | (~deptype@2406:b400:3a:73c2:f533:eee9:1812:5e31) (Remote host closed the connection) |
| 2025-11-03 14:45:50 +0100 | deptype | (~deptype@2406:b400:3a:73c2:c5bd:c4ff:b106:a7ad) |
| 2025-11-03 14:46:10 +0100 | <[exa]> | tomsmeding: yeah I wanted to avoid reimplementation |
| 2025-11-03 14:46:15 +0100 | <[exa]> | Leary: oh nice |
| 2025-11-03 14:46:42 +0100 | <[exa]> | Leary: how do you find the packages? hoogle is hiding this from me completely |
| 2025-11-03 14:46:45 +0100 | <[exa]> | ._. |
| 2025-11-03 14:46:47 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 14:46:53 +0100 | <tomsmeding> | search for "trie" on hackage? |
| 2025-11-03 14:47:18 +0100 | <tomsmeding> | hoogle searches only in the stackage set in any case |
| 2025-11-03 14:47:19 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 14:47:27 +0100 | <dminuoso> | I looked for trie packages on hackage, there is not much generic stuff up there. |
| 2025-11-03 14:48:33 +0100 | <dminuoso> | Im not sure a generic version is even that useful. You tend to pick a trie for performance reasons, and then you want it tailored to your algorithm. |
| 2025-11-03 14:49:16 +0100 | <dminuoso> | And it must facilitate particular access patterns. Maybe you care about inserting a lot |
| 2025-11-03 14:49:24 +0100 | <Leary> | [exa]: Just hackage search, like they said. |
| 2025-11-03 14:51:10 +0100 | prdak1 | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 14:51:21 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 250 seconds) |
| 2025-11-03 14:52:57 +0100 | [exa] | discovers hackage search |
| 2025-11-03 14:53:11 +0100 | <[exa]> | ok cool. :D |
| 2025-11-03 14:53:20 +0100 | tomsmeding | . o O ( https://xkcd.com/1053/ ) |
| 2025-11-03 14:54:12 +0100 | <haskellbridge> | <Morj> I have search keywords in firefox: h for hoogle and ha for hackage, very useful |
| 2025-11-03 14:54:58 +0100 | <haskellbridge> | <Morj> For rust instead I type docs.rs/packagename and it also works, except some packages use underscores instead of tirets in the name |
| 2025-11-03 14:55:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-03 14:55:24 +0100 | <tomsmeding> | hyphens? |
| 2025-11-03 14:55:30 +0100 | <haskellbridge> | <Morj> Yes, those |
| 2025-11-03 14:56:04 +0100 | <haskellbridge> | <Morj> Should we create a new country to get an "hs" top-level domain? Or maybe another would work better? |
| 2025-11-03 14:56:29 +0100 | <sshine> | .fun? |
| 2025-11-03 14:56:37 +0100 | <sshine> | it already exists :) |
| 2025-11-03 14:57:08 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 14:57:15 +0100 | <haskellbridge> | <Morj> :3 |
| 2025-11-03 14:57:17 +0100 | <dminuoso> | Morj: gTLDs are a thing! No need for a full country anymore, you just need about 2 imperial bags of cash. |
| 2025-11-03 14:57:40 +0100 | <dminuoso> | Oh and you need to pay an annual fee of 3 lumps of gold. |
| 2025-11-03 14:57:40 +0100 | <haskellbridge> | <Morj> But a gtld can't be two letters, right? |
| 2025-11-03 14:58:28 +0100 | <dminuoso> | Morj: Well, one of the imperial bags of cash is just bribing someone at ICANN. |
| 2025-11-03 14:58:56 +0100 | <dminuoso> | But yeah. |
| 2025-11-03 14:59:30 +0100 | <haskellbridge> | <Morj> I propose a reunification of serbo-croatia, the tld would be an abbreviation of hrvatsko-serbsko |
| 2025-11-03 14:59:33 +0100 | <dminuoso> | .hask is available. |
| 2025-11-03 14:59:49 +0100 | <dminuoso> | First domain shall be category.hask. |
| 2025-11-03 15:00:37 +0100 | <sshine> | Mroj: it seems that ICANN changed their policy and generally allow two-letter gTLDs that are not ccTLDs. |
| 2025-11-03 15:00:47 +0100 | <sshine> | Morj: https://www.icann.org/en/contracted-parties/registry-operators/services/reserved-names/two-charact… |
| 2025-11-03 15:01:58 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 15:02:50 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 15:03:03 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 15:04:48 +0100 | deptype | (~deptype@2406:b400:3a:73c2:c5bd:c4ff:b106:a7ad) (Remote host closed the connection) |
| 2025-11-03 15:05:01 +0100 | deptype | (~deptype@2406:b400:3a:73c2:422:9c14:cc52:da31) |
| 2025-11-03 15:08:52 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 15:12:10 +0100 | <dminuoso> | I just wanted to debug a performance regression, so I tried `--enable-profiling` and cabal is failing to find modules for an internal dependencies: https://paste.tomsmeding.com/23kpMrLR |
| 2025-11-03 15:14:13 +0100 | <dminuoso> | What does "installed the profiling libraries" even mean, here? |
| 2025-11-03 15:14:44 +0100 | <dminuoso> | Is GHC looking for .p_hi files or soemthing along the lines? |
| 2025-11-03 15:15:12 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 15:17:36 +0100 | <tomsmeding> | dminuoso: have you tried rm -r ~/.cabal/store/ghc-9.6.6*? :p |
| 2025-11-03 15:18:02 +0100 | <dminuoso> | why would I have to nuke stuff from cabal store? |
| 2025-11-03 15:18:15 +0100 | <tomsmeding> | because this looks like a borked install of parser-combinators and attoparsec in the store |
| 2025-11-03 15:18:38 +0100 | <tomsmeding> | if nuking the store doesn't help, that rules this out |
| 2025-11-03 15:18:41 +0100 | <dminuoso> | Would this be the time where I admit that I may be using haskell.nix? |
| 2025-11-03 15:18:51 +0100 | <tomsmeding> | probably, and where I sign off because I have no clue |
| 2025-11-03 15:19:19 +0100 | <dminuoso> | This is why my question was rather about what cabal is barking about rather. |
| 2025-11-03 15:19:23 +0100 | <dminuoso> | Since it is just plain cabal-install |
| 2025-11-03 15:19:49 +0100 | <tomsmeding> | normally cabal would realise that a particular dependency has not been built for profiling yet, and start doing so |
| 2025-11-03 15:19:54 +0100 | <Leary> | My guess: It means that the ghc cabal is using has non-profiling versions of the libraries registered in its global package database, which get in the way of it building its own. |
| 2025-11-03 15:22:09 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-03 15:24:36 +0100 | <dminuoso> | So is profiling similar to cabal flags in that respect? |
| 2025-11-03 15:24:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 15:25:37 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 15:25:51 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 15:27:34 +0100 | prdak2 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 15:28:24 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-11-03 15:30:48 +0100 | Square | (~Square4@user/square) Square |
| 2025-11-03 15:31:08 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 15:37:59 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-03 15:39:26 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-03 15:40:37 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 15:40:50 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 15:44:39 +0100 | trickard_ | trickard |
| 2025-11-03 15:53:32 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 15:55:41 +0100 | <davean> | dminuoso: no, profiling is a build option for GHC, cabal usually won't rebuild something for profiling, it builts it the first time for it. |
| 2025-11-03 15:56:26 +0100 | <tomsmeding> | if I use `cabal build --enable-profiling` on a project where I have not done so before, cabal definitely starts rebuidling the world with profiling. |
| 2025-11-03 15:56:48 +0100 | <davean> | yes because its a different build config |
| 2025-11-03 15:57:17 +0100 | <tomsmeding> | makes sense; I was just arguing against "cabal usually won't rebuild something for profiling" |
| 2025-11-03 15:57:52 +0100 | <davean> | right, it builds a build way one time usually. I'm addressing why I think haskell.nix is breaking it |
| 2025-11-03 15:58:35 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 15:58:36 +0100 | <davean> | I think dminuoso can fix this either by setting profiling in cabal.project or in the flake with configureArgs |
| 2025-11-03 16:02:23 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-03 16:02:27 +0100 | <davean> | dminuoso: I would specificly recomend setting profiling: true in your cabal.project before entering the flake |
| 2025-11-03 16:07:45 +0100 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 16:07:59 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 16:08:13 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 16:10:20 +0100 | deptype | (~deptype@2406:b400:3a:73c2:422:9c14:cc52:da31) (Remote host closed the connection) |
| 2025-11-03 16:10:22 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 16:10:39 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a4a3:fb37:661e:a962) |
| 2025-11-03 16:10:49 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 16:10:49 +0100 | prdak1 | prdak |
| 2025-11-03 16:24:57 +0100 | Square | (~Square4@user/square) (Remote host closed the connection) |
| 2025-11-03 16:25:36 +0100 | Square | (~Square4@user/square) Square |
| 2025-11-03 16:28:09 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-03 16:30:22 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a4a3:fb37:661e:a962) (Remote host closed the connection) |
| 2025-11-03 16:30:35 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6c77:97e3:113e:dea6) |
| 2025-11-03 16:31:07 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-03 16:33:19 +0100 | <dminuoso> | davean: Ah turns out that does not work. Seems to be an extension of https://github.com/haskell/cabal/issues/6343 |
| 2025-11-03 16:33:56 +0100 | <dminuoso> | https://github.com/input-output-hk/haskell.nix/issues/887#issuecomment-1489632156 has some details about this. |
| 2025-11-03 16:34:56 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-03 16:35:16 +0100 | <dminuoso> | But at least I can communicate this via NixOS modules to haskell.nix |
| 2025-11-03 16:35:27 +0100 | <dminuoso> | Or I guess "Nix modules" rather? Not sure. |
| 2025-11-03 16:38:27 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 16:38:46 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 16:40:46 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-03 16:42:07 +0100 | <davean> | dminuoso: no, I don't mean using ghc-options |
| 2025-11-03 16:42:29 +0100 | <davean> | Though the haskell.nix issue matches sadly. |
| 2025-11-03 16:43:04 +0100 | <davean> | haskell.nix has so many rough edges :( |
| 2025-11-03 16:43:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-03 16:45:06 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 16:50:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-03 16:50:24 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6c77:97e3:113e:dea6) (Remote host closed the connection) |
| 2025-11-03 16:50:40 +0100 | deptype | (~deptype@2406:b400:3a:73c2:d8b8:cae8:ab88:765a) |
| 2025-11-03 16:51:19 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 16:59:51 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 17:00:45 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 17:04:31 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 17:04:31 +0100 | prdak1 | prdak |
| 2025-11-03 17:09:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-11-03 17:10:29 +0100 | deptype | (~deptype@2406:b400:3a:73c2:d8b8:cae8:ab88:765a) (Remote host closed the connection) |
| 2025-11-03 17:10:42 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9acb:ec9:2ab3:9aff) |
| 2025-11-03 17:13:22 +0100 | FANTOM | (~fantom@212.228.181.156) (Quit: Connection error?!) |
| 2025-11-03 17:18:16 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-03 17:30:29 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-03 17:30:31 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9acb:ec9:2ab3:9aff) (Remote host closed the connection) |
| 2025-11-03 17:30:43 +0100 | deptype | (~deptype@2406:b400:3a:73c2:1eb:7803:fc0e:11fb) |
| 2025-11-03 17:31:57 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 17:33:55 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2025-11-03 17:36:23 +0100 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-11-03 17:38:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-03 17:40:22 +0100 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 2025-11-03 17:41:45 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 17:42:51 +0100 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-11-03 17:42:59 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-03 17:43:20 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-03 17:43:25 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-11-03 17:51:03 +0100 | deptype | (~deptype@2406:b400:3a:73c2:1eb:7803:fc0e:11fb) (Remote host closed the connection) |
| 2025-11-03 17:51:19 +0100 | deptype | (~deptype@2406:b400:3a:73c2:f097:48b7:5d30:d1ca) |
| 2025-11-03 17:51:45 +0100 | nerdychip_ | (~nerdychip@212.129.82.165) |
| 2025-11-03 17:52:05 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 17:52:07 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 17:52:27 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 17:52:30 +0100 | nerdychip | (~nerdychip@user/nerdychip) (Ping timeout: 252 seconds) |
| 2025-11-03 17:59:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 18:00:37 +0100 | Googulator3 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 18:00:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:01:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 18:05:38 +0100 | Googulator3 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:05:46 +0100 | Googulator3 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 18:07:10 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Ping timeout: 246 seconds) |
| 2025-11-03 18:10:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 250 seconds) |
| 2025-11-03 18:15:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 18:23:52 +0100 | Googulator3 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:24:07 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 18:25:40 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-03 18:25:44 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 18:28:20 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-11-03 18:28:43 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-03 18:30:33 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-03 18:34:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 18:35:42 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-03 18:36:01 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:36:06 +0100 | Googulator33 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 18:39:13 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 18:40:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-03 18:45:11 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 18:46:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 18:46:07 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 18:48:58 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 18:52:16 +0100 | Zemy_ | (~Zemy@2600:100c:b0aa:ff74:cc82:eff:fef8:f919) |
| 2025-11-03 18:54:28 +0100 | Square2 | (~Square@user/square) Square |
| 2025-11-03 18:54:45 +0100 | Core3653 | (~Zemy@72.178.108.235) |
| 2025-11-03 18:54:58 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2025-11-03 18:55:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-03 18:55:38 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 18:55:47 +0100 | Googulator33 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:58:38 +0100 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-11-03 18:58:52 +0100 | Zemy_ | (~Zemy@2600:100c:b0aa:ff74:cc82:eff:fef8:f919) (Ping timeout: 260 seconds) |
| 2025-11-03 18:59:18 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 18:59:31 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 19:00:22 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 2025-11-03 19:00:35 +0100 | deptype | (~deptype@2406:b400:3a:73c2:f097:48b7:5d30:d1ca) (Remote host closed the connection) |
| 2025-11-03 19:00:49 +0100 | deptype | (~deptype@2406:b400:3a:73c2:10a9:2973:1d5:99ce) |
| 2025-11-03 19:10:28 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-03 19:10:42 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 19:10:43 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 19:12:19 +0100 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-11-03 19:14:14 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 19:19:17 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-03 19:20:37 +0100 | deptype | (~deptype@2406:b400:3a:73c2:10a9:2973:1d5:99ce) (Remote host closed the connection) |
| 2025-11-03 19:20:50 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5a17:eaa7:6b5b:f46a) |
| 2025-11-03 19:21:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 2025-11-03 19:25:27 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-03 19:25:36 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 19:25:48 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 19:26:27 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |