| 2025-11-03 00:04:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:07:35 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 244 seconds) |
| 2025-11-03 00:08:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-03 00:09:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 00:20:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:25:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 00:27:34 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-11-03 00:30:48 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-03 00:31:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:36:36 +0000 | <monochrom> | I am not sure that chapters for q or z are really that long. :) |
| 2025-11-03 00:36:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 00:42:30 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-11-03 00:47:15 +0000 | Square3 | (~Square4@user/square) Square |
| 2025-11-03 00:47:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:50:00 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-11-03 00:52:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 00:55:32 +0000 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 2025-11-03 01:03:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:04:42 +0000 | bggd | (~bgg@2a01:e0a:819:1510:e235:2c82:c1ae:1944) |
| 2025-11-03 01:06:12 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-03 01:07:29 +0000 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-03 01:07:44 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 01:08:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-03 01:15:19 +0000 | otto_s | (~user@p4ff274ae.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-03 01:17:02 +0000 | otto_s | (~user@p5b044953.dip0.t-ipconnect.de) |
| 2025-11-03 01:18:00 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 01:19:46 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-03 01:19:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:22:04 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-11-03 01:27:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 01:28:08 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 01:36:19 +0000 | acidjnk | (~acidjnk@p200300d6e717199990ac1ea32c3bb350.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-03 01:37:22 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-03 01:37:45 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 01:37:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:38:32 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-03 01:40:08 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-03 01:43:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 01:43:40 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-03 01:45:51 +0000 | itaipu | (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-11-03 01:50:55 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-03 01:50:58 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-11-03 01:51:11 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 01:51:53 +0000 | Googulator61 | Googulator |
| 2025-11-03 01:53:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:55:00 +0000 | annamalai | (~annamalai@157.32.123.184) annamalai |
| 2025-11-03 01:58:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 02:00:48 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2025-11-03 02:02:58 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-03 02:03:44 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-03 02:03:53 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-03 02:03:57 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-03 02:04:18 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-03 02:09:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:14:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 02:14:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-03 02:25:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:27:52 +0000 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-03 02:29:28 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 02:30:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-03 02:30:45 +0000 | img | (~img@user/img) img |
| 2025-11-03 02:36:17 +0000 | jmcantrell_ | jmcantrell |
| 2025-11-03 02:41:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:43:05 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-03 02:46:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 02:47:10 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 02:49:30 +0000 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 02:50:03 +0000 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 02:55:44 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-11-03 02:57:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:00:01 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-03 03:03:01 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2025-11-03 03:04:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 03:04:34 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-03 03:13:11 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-03 03:13:21 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 03:15:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:15:40 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 03:15:43 +0000 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 03:17:20 +0000 | karenw | (~karenw@user/karenw) (Client Quit) |
| 2025-11-03 03:20:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 03:20:50 +0000 | Googulator48 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 03:21:09 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 03:22:39 +0000 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 03:24:07 +0000 | Zemy_ | (~Zemy@2600:100c:b0aa:98b1:d8ea:ffff:fe76:5a1a) |
| 2025-11-03 03:24:07 +0000 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-03 03:24:41 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-03 03:24:44 +0000 | Zemy_ | (~Zemy@2600:100c:b0aa:98b1:d8ea:ffff:fe76:5a1a) (Read error: Connection reset by peer) |
| 2025-11-03 03:30:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:35:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 03:35:56 +0000 | Googulator48 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 03:36:04 +0000 | Googulator48 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 03:37:36 +0000 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-03 03:39:29 +0000 | td_ | (~td@i53870934.versanet.de) |
| 2025-11-03 03:40:40 +0000 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 03:40:40 +0000 | Googulator48 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-03 03:46:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:48:04 +0000 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-11-03 03:51:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 03:58:35 +0000 | arahael | (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 2025-11-03 03:59:26 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) (Read error: Connection reset by peer) |
| 2025-11-03 04:00:40 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) synchromesh |
| 2025-11-03 04:01:58 +0000 | craunts795335385 | (~craunts@136.158.7.194) (Ping timeout: 256 seconds) |
| 2025-11-03 04:02:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:07:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 04:11:00 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-03 04:12:30 +0000 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-11-03 04:14:33 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-03 04:15:37 +0000 | Googulator77 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:16:13 +0000 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 04:16:15 +0000 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:19:33 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-11-03 04:21:35 +0000 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 04:23:06 +0000 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 04:30:10 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 04:31:07 +0000 | bgt32 | (~keutoi@49.43.217.99) |
| 2025-11-03 04:33:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:40:23 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-03 04:40:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-03 04:45:39 +0000 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:45:39 +0000 | Googulator77 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:50:38 +0000 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:50:46 +0000 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:51:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:52:51 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 04:55:39 +0000 | Zemyla | (~Zemyla@72.178.108.235) (Quit: Client closed) |
| 2025-11-03 04:58:03 +0000 | bgt32 | (~keutoi@49.43.217.99) (Ping timeout: 252 seconds) |
| 2025-11-03 05:00:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 05:04:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-03 05:16:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:23:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-03 05:33:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:36:29 +0000 | qqe | (~qqq@185.54.21.203) |
| 2025-11-03 05:37:52 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 05:39:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 05:47:04 +0000 | deptype_ | (~deptype@124.123.128.236) (Remote host closed the connection) |
| 2025-11-03 05:49:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:54:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 05:59:14 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2025-11-03 06:00:29 +0000 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-03 06:05:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:10:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 06:10:37 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9371:39c7:fb73:eef8) |
| 2025-11-03 06:13:17 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 2025-11-03 06:13:40 +0000 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-03 06:17:09 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-03 06:19:23 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-03 06:21:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:26:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 06:29:05 +0000 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 06:29:21 +0000 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 06:31:08 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9371:39c7:fb73:eef8) (Remote host closed the connection) |
| 2025-11-03 06:31:21 +0000 | deptype | (~deptype@2406:b400:3a:73c2:aa9c:5afd:c969:b068) |
| 2025-11-03 06:37:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:41:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-03 06:46:06 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 06:46:12 +0000 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 06:47:07 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-11-03 06:51:10 +0000 | deptype | (~deptype@2406:b400:3a:73c2:aa9c:5afd:c969:b068) (Remote host closed the connection) |
| 2025-11-03 06:51:23 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9cf9:6413:4419:2801) |
| 2025-11-03 06:51:52 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-03 06:52:19 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-11-03 06:52:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:57:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 07:02:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 07:06:29 +0000 | xelxebar | (~xelxebar@wilsonb.com) (Ping timeout: 260 seconds) |
| 2025-11-03 07:07:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 07:07:47 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-11-03 07:09:36 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-11-03 07:09:52 +0000 | craunts795335385 | (~craunts@175.176.18.184) |
| 2025-11-03 07:09:55 +0000 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2025-11-03 07:11:15 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9cf9:6413:4419:2801) (Remote host closed the connection) |
| 2025-11-03 07:11:33 +0000 | deptype | (~deptype@2406:b400:3a:73c2:2b92:2fd3:568a:55b5) |
| 2025-11-03 07:15:27 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-03 07:16:02 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 07:18:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 07:19:49 +0000 | annamalai | (~annamalai@157.32.123.184) (Ping timeout: 264 seconds) |
| 2025-11-03 07:23:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-03 07:31:47 +0000 | deptype | (~deptype@2406:b400:3a:73c2:2b92:2fd3:568a:55b5) (Remote host closed the connection) |
| 2025-11-03 07:31:59 +0000 | deptype | (~deptype@2406:b400:3a:73c2:48ab:8ac6:df37:a6f5) |
| 2025-11-03 07:49:34 +0000 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-03 07:51:49 +0000 | deptype | (~deptype@2406:b400:3a:73c2:48ab:8ac6:df37:a6f5) (Remote host closed the connection) |
| 2025-11-03 07:52:02 +0000 | deptype | (~deptype@2406:b400:3a:73c2:3aa3:8982:2038:36d0) |
| 2025-11-03 07:52:07 +0000 | annamalai | (~annamalai@2409:4042:2592:875c::1c9d:70b1) annamalai |
| 2025-11-03 07:52:46 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 246 seconds) |
| 2025-11-03 07:52:55 +0000 | Guest60 | (~Guest60@104.168.56.32) |
| 2025-11-03 07:55:31 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-11-03 07:57:54 +0000 | Guest60 | (~Guest60@104.168.56.32) (Quit: Client closed) |
| 2025-11-03 08:03:06 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-03 08:06:32 +0000 | annamalai | (~annamalai@2409:4042:2592:875c::1c9d:70b1) (Ping timeout: 244 seconds) |
| 2025-11-03 08:08:16 +0000 | annamalai | (~annamalai@157.32.113.145) annamalai |
| 2025-11-03 08:10:53 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-03 08:11:51 +0000 | deptype | (~deptype@2406:b400:3a:73c2:3aa3:8982:2038:36d0) (Remote host closed the connection) |
| 2025-11-03 08:12:11 +0000 | deptype | (~deptype@2406:b400:3a:73c2:cfb2:c61a:e366:1e80) |
| 2025-11-03 08:12:15 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-03 08:15:12 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-03 08:20:12 +0000 | annamalai | (~annamalai@157.32.113.145) (Remote host closed the connection) |
| 2025-11-03 08:20:12 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-03 08:20:32 +0000 | annamalai | (~annamalai@157.32.113.145) annamalai |
| 2025-11-03 08:21:12 +0000 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-03 08:21:22 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-03 08:31:53 +0000 | deptype | (~deptype@2406:b400:3a:73c2:cfb2:c61a:e366:1e80) (Remote host closed the connection) |
| 2025-11-03 08:32:11 +0000 | deptype | (~deptype@2406:b400:3a:73c2:889:ebc5:fad6:5cd4) |
| 2025-11-03 08:33:01 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-11-03 08:43:22 +0000 | kuribas | (~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) kuribas |
| 2025-11-03 08:43:41 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-03 08:44:30 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-03 08:45:06 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-03 08:47:59 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-03 08:48:13 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-03 08:51:57 +0000 | deptype | (~deptype@2406:b400:3a:73c2:889:ebc5:fad6:5cd4) (Remote host closed the connection) |
| 2025-11-03 08:52:17 +0000 | deptype | (~deptype@2406:b400:3a:73c2:1328:268d:8c1:ea34) |
| 2025-11-03 08:53:21 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 08:54:38 +0000 | craunts795335385 | (~craunts@175.176.18.184) (Ping timeout: 256 seconds) |
| 2025-11-03 09:03:50 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 09:04:03 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-03 09:05:01 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-03 09:05:23 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-03 09:10:50 +0000 | trickard_ | trickard |
| 2025-11-03 09:11:38 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-11-03 09:11:59 +0000 | deptype | (~deptype@2406:b400:3a:73c2:1328:268d:8c1:ea34) (Remote host closed the connection) |
| 2025-11-03 09:12:11 +0000 | deptype | (~deptype@2406:b400:3a:73c2:1267:f0b9:3b00:610e) |
| 2025-11-03 09:15:59 +0000 | craunts795335385 | (~craunts@175.176.18.184) |
| 2025-11-03 09:32:31 +0000 | deptype | (~deptype@2406:b400:3a:73c2:1267:f0b9:3b00:610e) (Remote host closed the connection) |
| 2025-11-03 09:32:51 +0000 | deptype | (~deptype@2406:b400:3a:73c2:162b:84f3:d56b:3ec0) |
| 2025-11-03 09:38:08 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 09:42:05 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 09:42:37 +0000 | gustrb | (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-03 09:42:37 +0000 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-03 09:44:21 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 09:46:50 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 09:52:33 +0000 | deptype | (~deptype@2406:b400:3a:73c2:162b:84f3:d56b:3ec0) (Remote host closed the connection) |
| 2025-11-03 09:52:47 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9edb:ec5f:104a:bb2b) |
| 2025-11-03 09:53:40 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-03 10:12:35 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9edb:ec5f:104a:bb2b) (Remote host closed the connection) |
| 2025-11-03 10:12:51 +0000 | deptype | (~deptype@2406:b400:3a:73c2:90bc:8839:be56:efe4) |
| 2025-11-03 10:12:57 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 10:20:40 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 10:20:53 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-03 10:23:05 +0000 | craunts795335385 | (~craunts@175.176.18.184) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-03 10:26:23 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 10:29:33 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-03 10:29:49 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 10:30:20 +0000 | prdak2 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 10:33:06 +0000 | prdak2 | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-03 10:33:37 +0000 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 10:34:25 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2025-11-03 10:35:27 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 10:38:37 +0000 | deptype | (~deptype@2406:b400:3a:73c2:90bc:8839:be56:efe4) (Remote host closed the connection) |
| 2025-11-03 10:38:51 +0000 | deptype | (~deptype@2406:b400:3a:73c2:4b0e:36fd:bf73:2ff7) |
| 2025-11-03 10:40:13 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-03 10:40:21 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-03 10:40:47 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-11-03 10:58:39 +0000 | deptype | (~deptype@2406:b400:3a:73c2:4b0e:36fd:bf73:2ff7) (Remote host closed the connection) |
| 2025-11-03 10:58:56 +0000 | deptype | (~deptype@2406:b400:3a:73c2:6922:e99c:537:1929) |
| 2025-11-03 11:07:58 +0000 | Square2 | (~Square@user/square) Square |
| 2025-11-03 11:11:39 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 11:21:54 +0000 | acidjnk | (~acidjnk@p200300d6e7171976342d0abd7c7df47c.dip0.t-ipconnect.de) acidjnk |
| 2025-11-03 11:28:17 +0000 | chele | (~chele@user/chele) chele |
| 2025-11-03 11:29:14 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-03 11:29:40 +0000 | trickard___ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 11:30:12 +0000 | trickard___ | trickard |
| 2025-11-03 11:30:46 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-03 11:39:27 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 11:42:03 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-03 11:44:30 +0000 | Digit | (~user@user/digit) Digit |
| 2025-11-03 11:45:36 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-11-03 11:46:35 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 11:51:39 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-03 11:51:59 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 11:58:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-11-03 11:58:40 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 12:05:11 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 2025-11-03 12:06:11 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 12:06:21 +0000 | Square3 | (~Square4@user/square) Square |
| 2025-11-03 12:09:23 +0000 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-03 12:09:48 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-11-03 12:14:32 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-03 12:15:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 12:19:39 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-03 12:19:58 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-03 12:20:29 +0000 | Square3 | (~Square4@user/square) (Remote host closed the connection) |
| 2025-11-03 12:25:12 +0000 | deptype | (~deptype@2406:b400:3a:73c2:6922:e99c:537:1929) (Remote host closed the connection) |
| 2025-11-03 12:25:47 +0000 | deptype | (~deptype@2406:b400:3a:73c2:adf2:5878:8562:a7a) |
| 2025-11-03 12:32:55 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-03 12:33:13 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 12:37:51 +0000 | Googulator92 | Googulator |
| 2025-11-03 12:38:25 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 12:42:42 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-11-03 12:58:16 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-03 13:01:06 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-03 13:02:41 +0000 | <[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 13:13:46 +0000 | <Leary> | [exa]: Sounds like a trie, specifically a "trie map" rather than a "trie set". |
| 2025-11-03 13:15:29 +0000 | <[exa]> | yeah sounds like it |
| 2025-11-03 13:16:04 +0000 | <[exa]> | funnily there's no package with general tries, somehow people only do stringy ones |
| 2025-11-03 13:16:32 +0000 | <[exa]> | (time to act?!) |
| 2025-11-03 13:19:17 +0000 | <Leary> | 'generic-trie' looks alright. |
| 2025-11-03 13:23:08 +0000 | [exa] | tries to refocus eyes |
| 2025-11-03 13:23:12 +0000 | <[exa]> | somehow I missed that |
| 2025-11-03 13:23:14 +0000 | <[exa]> | thanks a lot! |
| 2025-11-03 13:23:48 +0000 | <dminuoso> | A directory structure is, under most filesystems, not just a dree but a DAG. |
| 2025-11-03 13:23:50 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2025-11-03 13:24:06 +0000 | <dminuoso> | Sorry, not even acylic. |
| 2025-11-03 13:24:09 +0000 | <dminuoso> | A graph. |
| 2025-11-03 13:24:30 +0000 | <tomsmeding> | a dree? |
| 2025-11-03 13:24:38 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 13:24:42 +0000 | <dminuoso> | nice |
| 2025-11-03 13:25:14 +0000 | deptype | (~deptype@2406:b400:3a:73c2:adf2:5878:8562:a7a) (Remote host closed the connection) |
| 2025-11-03 13:25:28 +0000 | deptype | (~deptype@2406:b400:3a:73c2:f533:eee9:1812:5e31) |
| 2025-11-03 13:25:43 +0000 | AlexNoo_ | AlexNoo |
| 2025-11-03 13:26:25 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2025-11-03 13:27:57 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 250 seconds) |
| 2025-11-03 13:27:59 +0000 | <[exa]> | dminuoso: I meant a really naive trivial one :D |
| 2025-11-03 13:28:38 +0000 | <[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 13:29:41 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 13:34:59 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 13:36:37 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 13:36:37 +0000 | prdak1 | prdak |
| 2025-11-03 13:37:20 +0000 | <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 13:37:39 +0000 | <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 13:38:16 +0000 | <tomsmeding> | [exa]: why not just data FileTree = Directory (Map FileName FileTree) | File FileName Stuffs |
| 2025-11-03 13:38:57 +0000 | <dminuoso> | tomsmeding: No the opposite. |
| 2025-11-03 13:39:10 +0000 | <dminuoso> | You essentially only encode portions in edges. |
| 2025-11-03 13:39:15 +0000 | <tomsmeding> | I know |
| 2025-11-03 13:39:19 +0000 | <tomsmeding> | I know how a trie works |
| 2025-11-03 13:39:33 +0000 | <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 13:39:37 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-03 13:40:03 +0000 | <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 13:40:31 +0000 | <dminuoso> | I've always rolled my own trie implementations to cope with the specific needs. |
| 2025-11-03 13:40:33 +0000 | <Leary> | They're meaningful if you control the atoms. |
| 2025-11-03 13:41:00 +0000 | <dminuoso> | For our DNS stuff I have a SparseTrie that can have sort if "missing" intermediate nodes. |
| 2025-11-03 13:41:07 +0000 | <dminuoso> | s/sort if/sort of" |
| 2025-11-03 13:42:17 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 13:44:00 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 13:45:16 +0000 | deptype | (~deptype@2406:b400:3a:73c2:f533:eee9:1812:5e31) (Remote host closed the connection) |
| 2025-11-03 13:45:50 +0000 | deptype | (~deptype@2406:b400:3a:73c2:c5bd:c4ff:b106:a7ad) |
| 2025-11-03 13:46:10 +0000 | <[exa]> | tomsmeding: yeah I wanted to avoid reimplementation |
| 2025-11-03 13:46:15 +0000 | <[exa]> | Leary: oh nice |
| 2025-11-03 13:46:42 +0000 | <[exa]> | Leary: how do you find the packages? hoogle is hiding this from me completely |
| 2025-11-03 13:46:45 +0000 | <[exa]> | ._. |
| 2025-11-03 13:46:47 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 13:46:53 +0000 | <tomsmeding> | search for "trie" on hackage? |
| 2025-11-03 13:47:18 +0000 | <tomsmeding> | hoogle searches only in the stackage set in any case |
| 2025-11-03 13:47:19 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 13:47:27 +0000 | <dminuoso> | I looked for trie packages on hackage, there is not much generic stuff up there. |
| 2025-11-03 13:48:33 +0000 | <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 13:49:16 +0000 | <dminuoso> | And it must facilitate particular access patterns. Maybe you care about inserting a lot |
| 2025-11-03 13:49:24 +0000 | <Leary> | [exa]: Just hackage search, like they said. |
| 2025-11-03 13:51:10 +0000 | prdak1 | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 13:51:21 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 250 seconds) |
| 2025-11-03 13:52:57 +0000 | [exa] | discovers hackage search |
| 2025-11-03 13:53:11 +0000 | <[exa]> | ok cool. :D |
| 2025-11-03 13:53:20 +0000 | tomsmeding | . o O ( https://xkcd.com/1053/ ) |
| 2025-11-03 13:54:12 +0000 | <haskellbridge> | <Morj> I have search keywords in firefox: h for hoogle and ha for hackage, very useful |
| 2025-11-03 13:54:58 +0000 | <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 13:55:13 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-03 13:55:24 +0000 | <tomsmeding> | hyphens? |
| 2025-11-03 13:55:30 +0000 | <haskellbridge> | <Morj> Yes, those |
| 2025-11-03 13:56:04 +0000 | <haskellbridge> | <Morj> Should we create a new country to get an "hs" top-level domain? Or maybe another would work better? |
| 2025-11-03 13:56:29 +0000 | <sshine> | .fun? |
| 2025-11-03 13:56:37 +0000 | <sshine> | it already exists :) |
| 2025-11-03 13:57:08 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 13:57:15 +0000 | <haskellbridge> | <Morj> :3 |
| 2025-11-03 13:57:17 +0000 | <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 13:57:40 +0000 | <dminuoso> | Oh and you need to pay an annual fee of 3 lumps of gold. |
| 2025-11-03 13:57:40 +0000 | <haskellbridge> | <Morj> But a gtld can't be two letters, right? |
| 2025-11-03 13:58:28 +0000 | <dminuoso> | Morj: Well, one of the imperial bags of cash is just bribing someone at ICANN. |
| 2025-11-03 13:58:56 +0000 | <dminuoso> | But yeah. |
| 2025-11-03 13:59:30 +0000 | <haskellbridge> | <Morj> I propose a reunification of serbo-croatia, the tld would be an abbreviation of hrvatsko-serbsko |
| 2025-11-03 13:59:33 +0000 | <dminuoso> | .hask is available. |
| 2025-11-03 13:59:49 +0000 | <dminuoso> | First domain shall be category.hask. |
| 2025-11-03 14:00:37 +0000 | <sshine> | Mroj: it seems that ICANN changed their policy and generally allow two-letter gTLDs that are not ccTLDs. |
| 2025-11-03 14:00:47 +0000 | <sshine> | Morj: https://www.icann.org/en/contracted-parties/registry-operators/services/reserved-names/two-charact… |
| 2025-11-03 14:01:58 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 14:02:50 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 14:03:03 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 14:04:48 +0000 | deptype | (~deptype@2406:b400:3a:73c2:c5bd:c4ff:b106:a7ad) (Remote host closed the connection) |
| 2025-11-03 14:05:01 +0000 | deptype | (~deptype@2406:b400:3a:73c2:422:9c14:cc52:da31) |
| 2025-11-03 14:08:52 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 14:12:10 +0000 | <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 14:14:13 +0000 | <dminuoso> | What does "installed the profiling libraries" even mean, here? |
| 2025-11-03 14:14:44 +0000 | <dminuoso> | Is GHC looking for .p_hi files or soemthing along the lines? |
| 2025-11-03 14:15:12 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 14:17:36 +0000 | <tomsmeding> | dminuoso: have you tried rm -r ~/.cabal/store/ghc-9.6.6*? :p |
| 2025-11-03 14:18:02 +0000 | <dminuoso> | why would I have to nuke stuff from cabal store? |
| 2025-11-03 14:18:15 +0000 | <tomsmeding> | because this looks like a borked install of parser-combinators and attoparsec in the store |
| 2025-11-03 14:18:38 +0000 | <tomsmeding> | if nuking the store doesn't help, that rules this out |
| 2025-11-03 14:18:41 +0000 | <dminuoso> | Would this be the time where I admit that I may be using haskell.nix? |
| 2025-11-03 14:18:51 +0000 | <tomsmeding> | probably, and where I sign off because I have no clue |
| 2025-11-03 14:19:19 +0000 | <dminuoso> | This is why my question was rather about what cabal is barking about rather. |
| 2025-11-03 14:19:23 +0000 | <dminuoso> | Since it is just plain cabal-install |
| 2025-11-03 14:19:49 +0000 | <tomsmeding> | normally cabal would realise that a particular dependency has not been built for profiling yet, and start doing so |
| 2025-11-03 14:19:54 +0000 | <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 14:22:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-03 14:24:36 +0000 | <dminuoso> | So is profiling similar to cabal flags in that respect? |
| 2025-11-03 14:24:43 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 14:25:37 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 14:25:51 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 14:27:34 +0000 | prdak2 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 14:28:24 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-11-03 14:30:48 +0000 | Square | (~Square4@user/square) Square |
| 2025-11-03 14:31:08 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 14:37:59 +0000 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-03 14:39:26 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-03 14:40:37 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 14:40:50 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 14:44:39 +0000 | trickard_ | trickard |
| 2025-11-03 14:53:32 +0000 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 14:55:41 +0000 | <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 14:56:26 +0000 | <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 14:56:48 +0000 | <davean> | yes because its a different build config |
| 2025-11-03 14:57:17 +0000 | <tomsmeding> | makes sense; I was just arguing against "cabal usually won't rebuild something for profiling" |
| 2025-11-03 14:57:52 +0000 | <davean> | right, it builds a build way one time usually. I'm addressing why I think haskell.nix is breaking it |
| 2025-11-03 14:58:35 +0000 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 14:58:36 +0000 | <davean> | I think dminuoso can fix this either by setting profiling in cabal.project or in the flake with configureArgs |
| 2025-11-03 15:02:23 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-03 15:02:27 +0000 | <davean> | dminuoso: I would specificly recomend setting profiling: true in your cabal.project before entering the flake |
| 2025-11-03 15:07:45 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 15:07:59 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 15:08:13 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 15:10:20 +0000 | deptype | (~deptype@2406:b400:3a:73c2:422:9c14:cc52:da31) (Remote host closed the connection) |
| 2025-11-03 15:10:22 +0000 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 15:10:39 +0000 | deptype | (~deptype@2406:b400:3a:73c2:a4a3:fb37:661e:a962) |
| 2025-11-03 15:10:49 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 15:10:49 +0000 | prdak1 | prdak |
| 2025-11-03 15:24:57 +0000 | Square | (~Square4@user/square) (Remote host closed the connection) |
| 2025-11-03 15:25:36 +0000 | Square | (~Square4@user/square) Square |
| 2025-11-03 15:28:09 +0000 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-03 15:30:22 +0000 | deptype | (~deptype@2406:b400:3a:73c2:a4a3:fb37:661e:a962) (Remote host closed the connection) |
| 2025-11-03 15:30:35 +0000 | deptype | (~deptype@2406:b400:3a:73c2:6c77:97e3:113e:dea6) |
| 2025-11-03 15:31:07 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-03 15:33:19 +0000 | <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 15:33:56 +0000 | <dminuoso> | https://github.com/input-output-hk/haskell.nix/issues/887#issuecomment-1489632156 has some details about this. |
| 2025-11-03 15:34:56 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-03 15:35:16 +0000 | <dminuoso> | But at least I can communicate this via NixOS modules to haskell.nix |
| 2025-11-03 15:35:27 +0000 | <dminuoso> | Or I guess "Nix modules" rather? Not sure. |
| 2025-11-03 15:38:27 +0000 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 15:38:46 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 15:40:46 +0000 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-03 15:42:07 +0000 | <davean> | dminuoso: no, I don't mean using ghc-options |
| 2025-11-03 15:42:29 +0000 | <davean> | Though the haskell.nix issue matches sadly. |
| 2025-11-03 15:43:04 +0000 | <davean> | haskell.nix has so many rough edges :( |
| 2025-11-03 15:43:30 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-03 15:45:06 +0000 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 15:50:20 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-03 15:50:24 +0000 | deptype | (~deptype@2406:b400:3a:73c2:6c77:97e3:113e:dea6) (Remote host closed the connection) |
| 2025-11-03 15:50:40 +0000 | deptype | (~deptype@2406:b400:3a:73c2:d8b8:cae8:ab88:765a) |
| 2025-11-03 15:51:19 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 15:59:51 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 16:00:45 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 16:04:31 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 16:04:31 +0000 | prdak1 | prdak |
| 2025-11-03 16:09:36 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-11-03 16:10:29 +0000 | deptype | (~deptype@2406:b400:3a:73c2:d8b8:cae8:ab88:765a) (Remote host closed the connection) |
| 2025-11-03 16:10:42 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9acb:ec9:2ab3:9aff) |
| 2025-11-03 16:13:22 +0000 | FANTOM | (~fantom@212.228.181.156) (Quit: Connection error?!) |
| 2025-11-03 16:18:16 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-03 16:30:29 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-03 16:30:31 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9acb:ec9:2ab3:9aff) (Remote host closed the connection) |
| 2025-11-03 16:30:43 +0000 | deptype | (~deptype@2406:b400:3a:73c2:1eb:7803:fc0e:11fb) |
| 2025-11-03 16:31:57 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-03 16:33:55 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2025-11-03 16:36:23 +0000 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-11-03 16:38:25 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-03 16:40:22 +0000 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 2025-11-03 16:41:45 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 16:42:51 +0000 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-11-03 16:42:59 +0000 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-03 16:43:20 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-03 16:43:25 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-11-03 16:51:03 +0000 | deptype | (~deptype@2406:b400:3a:73c2:1eb:7803:fc0e:11fb) (Remote host closed the connection) |
| 2025-11-03 16:51:19 +0000 | deptype | (~deptype@2406:b400:3a:73c2:f097:48b7:5d30:d1ca) |
| 2025-11-03 16:51:45 +0000 | nerdychip_ | (~nerdychip@212.129.82.165) |
| 2025-11-03 16:52:05 +0000 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 16:52:07 +0000 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 16:52:27 +0000 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 16:52:30 +0000 | nerdychip | (~nerdychip@user/nerdychip) (Ping timeout: 252 seconds) |
| 2025-11-03 16:59:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 17:00:37 +0000 | Googulator3 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 17:00:40 +0000 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 17:01:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 17:05:38 +0000 | Googulator3 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 17:05:46 +0000 | Googulator3 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 17:07:10 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Ping timeout: 246 seconds) |
| 2025-11-03 17:10:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 250 seconds) |
| 2025-11-03 17:15:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 17:23:52 +0000 | Googulator3 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 17:24:07 +0000 | Googulator3 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 17:25:40 +0000 | Googulator3 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-03 17:25:44 +0000 | Googulator62 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 17:28:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-11-03 17:28:43 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-03 17:30:33 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-03 17:34:56 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 17:35:42 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-03 17:36:01 +0000 | Googulator62 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 17:36:06 +0000 | Googulator33 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 17:39:13 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 17:40:58 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-03 17:45:11 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 17:46:04 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 17:46:07 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 17:48:58 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 17:52:16 +0000 | Zemy_ | (~Zemy@2600:100c:b0aa:ff74:cc82:eff:fef8:f919) |
| 2025-11-03 17:54:28 +0000 | Square2 | (~Square@user/square) Square |
| 2025-11-03 17:54:45 +0000 | Core3653 | (~Zemy@72.178.108.235) |
| 2025-11-03 17:54:58 +0000 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2025-11-03 17:55:28 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-03 17:55:38 +0000 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 17:55:47 +0000 | Googulator33 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 17:58:38 +0000 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-11-03 17:58:52 +0000 | Zemy_ | (~Zemy@2600:100c:b0aa:ff74:cc82:eff:fef8:f919) (Ping timeout: 260 seconds) |
| 2025-11-03 17:59:18 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 17:59:31 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 18:00:22 +0000 | juri_ | (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 2025-11-03 18:00:35 +0000 | deptype | (~deptype@2406:b400:3a:73c2:f097:48b7:5d30:d1ca) (Remote host closed the connection) |
| 2025-11-03 18:00:49 +0000 | deptype | (~deptype@2406:b400:3a:73c2:10a9:2973:1d5:99ce) |
| 2025-11-03 18:10:28 +0000 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-03 18:10:42 +0000 | Googulator54 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 18:10:43 +0000 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:12:19 +0000 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-11-03 18:14:14 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 18:19:17 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-03 18:20:37 +0000 | deptype | (~deptype@2406:b400:3a:73c2:10a9:2973:1d5:99ce) (Remote host closed the connection) |
| 2025-11-03 18:20:50 +0000 | deptype | (~deptype@2406:b400:3a:73c2:5a17:eaa7:6b5b:f46a) |
| 2025-11-03 18:21:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 2025-11-03 18:25:27 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-03 18:25:36 +0000 | Googulator86 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 18:25:48 +0000 | Googulator54 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:26:27 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-03 18:29:14 +0000 | juri_ | (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2025-11-03 18:30:41 +0000 | Googulator86 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:30:46 +0000 | Googulator43 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 18:32:14 +0000 | ZLima12_ | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-11-03 18:34:14 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-11-03 18:34:46 +0000 | <dutchie> | the Monad instance for (->) e is so useful. today's helpful thing: join (,) |
| 2025-11-03 18:35:08 +0000 | <dutchie> | join on any binary function is great |
| 2025-11-03 18:35:22 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-03 18:35:50 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2025-11-03 18:36:08 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-03 18:38:28 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-03 18:39:13 +0000 | spew | (e9e8135d87@user/spew) (Remote host closed the connection) |
| 2025-11-03 18:40:40 +0000 | deptype | (~deptype@2406:b400:3a:73c2:5a17:eaa7:6b5b:f46a) (Remote host closed the connection) |
| 2025-11-03 18:40:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-03 18:40:52 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9398:79da:dabe:3afe) |
| 2025-11-03 18:43:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-03 18:46:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-03 18:50:41 +0000 | Googulator43 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 18:50:42 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 18:53:00 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 18:53:46 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 18:53:55 +0000 | <haskellbridge> | <slack1256> dutchie: give an example |
| 2025-11-03 18:54:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-03 18:55:26 +0000 | <dutchie> | > join (,) 42 |
| 2025-11-03 18:55:28 +0000 | <lambdabot> | (42,42) |
| 2025-11-03 18:55:58 +0000 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-11-03 18:56:00 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 18:56:29 +0000 | <EvanR> | > join (,) x |
| 2025-11-03 18:56:31 +0000 | <lambdabot> | (x,x) |
| 2025-11-03 18:57:06 +0000 | <Rembane> | :t join (,) x |
| 2025-11-03 18:57:07 +0000 | <lambdabot> | (Expr, Expr) |
| 2025-11-03 18:57:08 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 18:57:14 +0000 | <Rembane> | Interesting |
| 2025-11-03 19:00:42 +0000 | deptype | (~deptype@2406:b400:3a:73c2:9398:79da:dabe:3afe) (Remote host closed the connection) |
| 2025-11-03 19:01:03 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-03 19:01:16 +0000 | deptype | (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) |
| 2025-11-03 19:01:33 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:f54f:18e:6e22:e35f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 19:01:50 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:dcbd:e63a:1e59:c9c4) nschoe |
| 2025-11-03 19:08:51 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-03 19:09:50 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-03 19:11:39 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-11-03 19:17:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 19:20:47 +0000 | deptype | (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) (Remote host closed the connection) |
| 2025-11-03 19:21:00 +0000 | deptype | (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) |
| 2025-11-03 19:22:22 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-11-03 19:22:22 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 19:32:36 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 19:34:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 19:35:08 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-03 19:40:50 +0000 | deptype | (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) (Remote host closed the connection) |
| 2025-11-03 19:41:09 +0000 | deptype | (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) |
| 2025-11-03 19:51:51 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-03 19:51:55 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-03 20:01:22 +0000 | deptype | (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) (Remote host closed the connection) |
| 2025-11-03 20:01:36 +0000 | deptype | (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) |
| 2025-11-03 20:14:16 +0000 | <monochrom> | Unifying x->(y->(x,y)) with m (m a) yields m = (x ->) = (y ->), a = (x,y). It's sometimes a cool trick. |
| 2025-11-03 20:14:27 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-03 20:14:57 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 20:15:13 +0000 | <monochrom> | And with that. join f = \a -> f a a in general, = \a -> (a,a) in particular. |
| 2025-11-03 20:15:36 +0000 | Googulator88 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 20:15:46 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 20:17:09 +0000 | kuribas | (~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-11-03 20:20:43 +0000 | Googulator88 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 20:20:44 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 20:21:25 +0000 | deptype | (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) (Remote host closed the connection) |
| 2025-11-03 20:21:37 +0000 | deptype | (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) |
| 2025-11-03 20:27:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-03 20:28:37 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-03 20:33:18 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) (Read error: Connection reset by peer) |
| 2025-11-03 20:34:20 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) synchromesh |
| 2025-11-03 20:40:22 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 20:40:36 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 20:41:27 +0000 | deptype | (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) (Remote host closed the connection) |
| 2025-11-03 20:41:39 +0000 | deptype | (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) |
| 2025-11-03 20:46:29 +0000 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 2025-11-03 20:53:06 +0000 | wbadart | (~will@user/wbadart) wbadart |
| 2025-11-03 20:53:58 +0000 | wbadart | (~will@user/wbadart) (Client Quit) |
| 2025-11-03 21:01:33 +0000 | deptype | (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) (Remote host closed the connection) |
| 2025-11-03 21:01:46 +0000 | deptype | (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) |
| 2025-11-03 21:09:08 +0000 | Square | (~Square4@user/square) Square |
| 2025-11-03 21:15:27 +0000 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-11-03 21:15:56 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-11-03 21:21:35 +0000 | deptype | (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) (Remote host closed the connection) |
| 2025-11-03 21:21:47 +0000 | deptype | (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) |
| 2025-11-03 21:27:16 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 244 seconds) |
| 2025-11-03 21:28:01 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-03 21:30:27 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-03 21:40:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-03 21:42:07 +0000 | deptype | (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) (Remote host closed the connection) |
| 2025-11-03 21:42:31 +0000 | deptype | (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) |
| 2025-11-03 21:44:22 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-11-03 21:53:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 21:55:38 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 21:57:22 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-11-03 21:58:52 +0000 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-11-03 22:02:09 +0000 | deptype | (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) (Remote host closed the connection) |
| 2025-11-03 22:02:23 +0000 | deptype | (~deptype@2406:b400:3a:73c2:392f:697:afd2:a634) |
| 2025-11-03 22:03:18 +0000 | trickard_ | trickard |
| 2025-11-03 22:05:04 +0000 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-11-03 22:07:07 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-03 22:10:52 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 22:11:08 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 22:14:30 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-11-03 22:15:44 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-03 22:15:45 +0000 | Googulator25 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 22:18:13 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-03 22:20:44 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-03 22:21:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-03 22:22:11 +0000 | deptype | (~deptype@2406:b400:3a:73c2:392f:697:afd2:a634) (Remote host closed the connection) |
| 2025-11-03 22:22:24 +0000 | deptype | (~deptype@2406:b400:3a:73c2:d1b:467e:12d5:ed7d) |
| 2025-11-03 22:26:14 +0000 | nerdychip_ | (~nerdychip@212.129.82.165) (Changing host) |
| 2025-11-03 22:26:14 +0000 | nerdychip_ | (~nerdychip@user/nerdychip) nerdychip |
| 2025-11-03 22:26:18 +0000 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-11-03 22:26:23 +0000 | nerdychip_ | nerdychip |
| 2025-11-03 22:26:27 +0000 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-03 22:31:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 22:36:32 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-03 22:37:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 22:42:16 +0000 | deptype | (~deptype@2406:b400:3a:73c2:d1b:467e:12d5:ed7d) (Remote host closed the connection) |
| 2025-11-03 22:42:40 +0000 | deptype | (~deptype@2406:b400:3a:73c2:968a:66ea:dbf8:b4c6) |
| 2025-11-03 22:45:47 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 22:45:47 +0000 | Googulator25 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 22:48:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 22:52:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-03 22:59:56 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 23:00:09 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 23:02:18 +0000 | deptype | (~deptype@2406:b400:3a:73c2:968a:66ea:dbf8:b4c6) (Remote host closed the connection) |
| 2025-11-03 23:02:31 +0000 | deptype | (~deptype@2406:b400:3a:73c2:8182:a031:f41:e773) |
| 2025-11-03 23:03:26 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-03 23:03:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 23:05:38 +0000 | Googulator99 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 23:05:47 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 23:08:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 23:09:41 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-03 23:16:55 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-03 23:18:07 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-03 23:19:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 23:19:36 +0000 | tromp | (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-03 23:20:18 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-03 23:22:51 +0000 | deptype | (~deptype@2406:b400:3a:73c2:8182:a031:f41:e773) (Remote host closed the connection) |
| 2025-11-03 23:23:09 +0000 | deptype | (~deptype@2406:b400:3a:73c2:8e9a:9476:286f:f327) |
| 2025-11-03 23:24:28 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 23:24:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 23:25:41 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-03 23:34:07 +0000 | dpratt | (~dpratt@165.225.212.181) dpratt |
| 2025-11-03 23:34:20 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-03 23:34:41 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 23:35:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 23:35:27 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-03 23:42:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-03 23:42:52 +0000 | deptype | (~deptype@2406:b400:3a:73c2:8e9a:9476:286f:f327) (Remote host closed the connection) |
| 2025-11-03 23:43:05 +0000 | deptype | (~deptype@2406:b400:3a:73c2:10ec:eafe:40fd:add7) |
| 2025-11-03 23:43:55 +0000 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-03 23:44:57 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-03 23:47:34 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-03 23:49:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-03 23:53:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 23:58:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |