2025/11/13

2025-11-13 00:09:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 00:11:37 +0100deptype_(~deptype@2406:b400:3a:73c2:3633:19f7:985:2a24) (Remote host closed the connection)
2025-11-13 00:11:49 +0100deptype_(~deptype@2406:b400:3a:73c2:c419:66dc:62ff:e4ce)
2025-11-13 00:14:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 00:19:21 +0100jcarpenter2(~lol@2603:3016:1e01:b980:ad60:68d3:e3fb:e267)
2025-11-13 00:19:41 +0100trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 00:19:49 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-13 00:19:58 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-13 00:24:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 00:29:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-13 00:31:39 +0100deptype_(~deptype@2406:b400:3a:73c2:c419:66dc:62ff:e4ce) (Remote host closed the connection)
2025-11-13 00:31:58 +0100deptype_(~deptype@2406:b400:3a:73c2:d197:6867:8e4a:9b4)
2025-11-13 00:37:25 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 00:39:01 +0100trickard__(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-13 00:40:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 00:40:13 +0100Zemy(~Zemy@12.50.240.58) (Read error: Connection reset by peer)
2025-11-13 00:40:19 +0100Zemy_(~Zemy@2600:100c:b055:261e:ec3f:92ff:feb1:6756)
2025-11-13 00:44:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-13 00:45:40 +0100jcarpenter2(~lol@2603:3016:1e01:b980:ad60:68d3:e3fb:e267) (Quit: Leaving)
2025-11-13 00:46:49 +0100haltingsolver(~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) (Remote host closed the connection)
2025-11-13 00:47:12 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-13 00:51:41 +0100deptype_(~deptype@2406:b400:3a:73c2:d197:6867:8e4a:9b4) (Remote host closed the connection)
2025-11-13 00:51:53 +0100deptype_(~deptype@2406:b400:3a:73c2:5136:a01d:b111:9231)
2025-11-13 00:52:30 +0100Zemy(~Zemy@72.178.108.235)
2025-11-13 00:55:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 00:56:10 +0100Zemy_(~Zemy@2600:100c:b055:261e:ec3f:92ff:feb1:6756) (Ping timeout: 256 seconds)
2025-11-13 00:59:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-13 01:02:56 +0100inline__(~inlinE@2001-4dd7-bf07-0-afdf-e0c5-16e8-983b.ipv6dyn.netcologne.de) Inline
2025-11-13 01:03:53 +0100xff0x(~xff0x@2405:6580:b080:900:bad6:34c9:62ae:89f7) (Quit: xff0x)
2025-11-13 01:05:14 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 256 seconds)
2025-11-13 01:05:29 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 01:05:33 +0100Inline(~inlinE@2001-4dd3-bded-0-719b-11b7-e341-7e20.ipv6dyn.netcologne.de) (Ping timeout: 265 seconds)
2025-11-13 01:05:53 +0100Googulator85(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-13 01:05:55 +0100sindu(~sindu@46.67.16.220.tmi.telenormobil.no) (Ping timeout: 240 seconds)
2025-11-13 01:06:02 +0100mange(~mange@user/mange) mange
2025-11-13 01:06:14 +0100Googulator95(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 01:07:34 +0100xff0x(~xff0x@2405:6580:b080:900:b376:7a31:680f:fa62)
2025-11-13 01:10:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 01:11:43 +0100deptype_(~deptype@2406:b400:3a:73c2:5136:a01d:b111:9231) (Remote host closed the connection)
2025-11-13 01:11:56 +0100deptype_(~deptype@2406:b400:3a:73c2:c63b:32c0:bb74:bd73)
2025-11-13 01:17:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-13 01:20:29 +0100Googulator85(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 01:20:31 +0100mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds)
2025-11-13 01:20:39 +0100Googulator85(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-13 01:22:36 +0100Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 252 seconds)
2025-11-13 01:23:33 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-13 01:27:45 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds)
2025-11-13 01:27:55 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 240 seconds)
2025-11-13 01:28:34 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-11-13 01:29:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 01:33:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-13 01:35:38 +0100Googulator19(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-13 01:35:40 +0100Googulator85(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 01:40:51 +0100Googulator40(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-13 01:44:09 +0100Googulator19(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-11-13 01:44:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 01:44:27 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-13 01:44:41 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 01:44:51 +0100Googulator40(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit)
2025-11-13 01:48:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-13 01:52:54 +0100Googulator(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 01:53:34 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-13 01:53:55 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-11-13 01:56:11 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-13 01:56:11 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-13 01:56:24 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 01:59:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 02:01:40 +0100inline__Inline
2025-11-13 02:04:10 +0100xff0x(~xff0x@2405:6580:b080:900:b376:7a31:680f:fa62) (Ping timeout: 256 seconds)
2025-11-13 02:04:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 02:05:34 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-11-13 02:08:24 +0100acidjnk(~acidjnk@p200300d6e717198650058a5e82e156ef.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-11-13 02:10:23 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-11-13 02:12:01 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-11-13 02:12:32 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-13 02:15:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 02:16:03 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-13 02:17:19 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-11-13 02:17:27 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-11-13 02:19:45 +0100spew(~spew@user/spew) (Quit: WeeChat 4.6.3)
2025-11-13 02:19:46 +0100DetourNe-DetourNetworkUK
2025-11-13 02:20:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-13 02:25:46 +0100Googulator(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 02:25:47 +0100Googulator79(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 02:30:48 +0100Googulator79(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 02:30:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 02:30:55 +0100Googulator32(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 02:34:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-13 02:45:07 +0100bggd(~bgg@2a01:e0a:819:1510:215:bbed:ad35:8a6c)
2025-11-13 02:45:35 +0100Googulator56(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 02:45:41 +0100Googulator32(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 02:46:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 02:47:15 +0100deptype_(~deptype@2406:b400:3a:73c2:c63b:32c0:bb74:bd73) (Remote host closed the connection)
2025-11-13 02:47:28 +0100deptype_(~deptype@2406:b400:3a:73c2:97d5:91f6:1b64:42dd)
2025-11-13 02:49:02 +0100acidjnk(~acidjnk@p200300d6e717198650058a5e82e156ef.dip0.t-ipconnect.de) acidjnk
2025-11-13 02:52:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 02:59:08 +0100otto_s(~user@p5de2f451.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-11-13 03:00:54 +0100otto_s(~user@p5b044407.dip0.t-ipconnect.de)
2025-11-13 03:04:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 03:05:23 +0100trickard_trickard
2025-11-13 03:05:50 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-13 03:06:10 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-13 03:06:31 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-13 03:07:19 +0100deptype_(~deptype@2406:b400:3a:73c2:97d5:91f6:1b64:42dd) (Remote host closed the connection)
2025-11-13 03:07:40 +0100deptype_(~deptype@2406:b400:3a:73c2:ba4e:9a45:a5d1:a8b4)
2025-11-13 03:07:54 +0100acidjnk(~acidjnk@p200300d6e717198650058a5e82e156ef.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-11-13 03:08:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 03:19:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 03:24:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-13 03:24:55 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 240 seconds)
2025-11-13 03:25:37 +0100Googulator56(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 03:25:46 +0100Googulator56(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 03:33:35 +0100djspacewhale(~djspacewh@user/djspacewhale) djspacewhale
2025-11-13 03:35:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 03:40:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-13 03:48:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 03:52:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-13 04:00:40 +0100Googulator77(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 04:00:47 +0100Googulator56(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 04:03:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 04:08:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 04:08:32 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-13 04:09:01 +0100ystael(~ystael@user/ystael) (Ping timeout: 264 seconds)
2025-11-13 04:12:21 +0100xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-13 04:13:55 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds)
2025-11-13 04:18:32 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-13 04:18:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 04:23:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-13 04:28:55 +0100td_(~td@i53870901.versanet.de) (Ping timeout: 240 seconds)
2025-11-13 04:30:41 +0100td_(~td@i53870917.versanet.de) td_
2025-11-13 04:34:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 04:37:25 +0100anderson(anderson@user/anderson) (Ping timeout: 250 seconds)
2025-11-13 04:38:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-13 04:43:48 +0100anderson(anderson@user/anderson) anderson
2025-11-13 04:44:23 +0100fgarcia(~lei@user/fgarcia) fgarcia
2025-11-13 04:49:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 04:55:52 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds)
2025-11-13 04:56:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 05:07:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 05:08:38 +0100anderson(anderson@user/anderson) (Quit: WeeChat 4.7.1)
2025-11-13 05:12:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-13 05:21:57 +0100annamalai(~annamalai@157.33.245.31) (Read error: Connection reset by peer)
2025-11-13 05:22:16 +0100annamalai(~annamalai@157.33.245.31) annamalai
2025-11-13 05:22:27 +0100mange(~mange@user/mange) (Remote host closed the connection)
2025-11-13 05:23:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 05:27:34 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-13 05:27:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 05:29:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 05:33:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 05:35:40 +0100Googulator57(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 05:35:42 +0100Googulator77(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 05:38:56 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-13 05:44:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 05:45:53 +0100Googulator17(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 05:46:18 +0100Googulator57(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 05:49:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 05:54:48 +0100Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-11-13 05:57:59 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2025-11-13 05:58:05 +0100travisb__(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2025-11-13 05:59:38 +0100ThePenguin8(~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin
2025-11-13 06:00:15 +0100emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2025-11-13 06:01:02 +0100kmein_(~weechat@user/kmein) kmein
2025-11-13 06:01:08 +0100gf34(~gf3@user/gf3) gf3
2025-11-13 06:01:15 +0100orizuru9(~orizuru@178-79-171-63.ip.linodeusercontent.com)
2025-11-13 06:02:18 +0100lbseale_(~quassel@user/ep1ctetus) ep1ctetus
2025-11-13 06:02:47 +0100tessier_(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-11-13 06:02:56 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-11-13 06:03:01 +0100tomku|two(~tomku@user/tomku) tomku
2025-11-13 06:03:02 +0100qqe_(~qqq@185.54.21.203)
2025-11-13 06:03:09 +0100kst(~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst
2025-11-13 06:03:22 +0100fgarcia_(~lei@user/fgarcia) fgarcia
2025-11-13 06:03:49 +0100haetsal_(~quassel@221.138.168.192)
2025-11-13 06:04:04 +0100annamalai(~annamalai@157.33.245.31) (*.net *.split)
2025-11-13 06:04:04 +0100Sgeo(~Sgeo@user/sgeo) (*.net *.split)
2025-11-13 06:04:04 +0100Xe(~Xe@perl/impostor/xe) (*.net *.split)
2025-11-13 06:04:04 +0100EvanR(~EvanR@user/evanr) (*.net *.split)
2025-11-13 06:04:04 +0100lbseale(~quassel@user/ep1ctetus) (*.net *.split)
2025-11-13 06:04:04 +0100chromoblob(~chromoblo@user/chromob1ot1c) (*.net *.split)
2025-11-13 06:04:04 +0100poscat0x04(~poscat@user/poscat) (*.net *.split)
2025-11-13 06:04:04 +0100dolio(~dolio@130.44.140.168) (*.net *.split)
2025-11-13 06:04:04 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2025-11-13 06:04:04 +0100sp1ff(~user@2601:1c2:4c00:6820::8bad) (*.net *.split)
2025-11-13 06:04:04 +0100AlexZenon(~alzenon@5.139.233.178) (*.net *.split)
2025-11-13 06:04:04 +0100comonad(~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (*.net *.split)
2025-11-13 06:04:04 +0100Jackneill_(~Jackneill@188-143-82-63.pool.digikabel.hu) (*.net *.split)
2025-11-13 06:04:04 +0100Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
2025-11-13 06:04:04 +0100bcksl(~bcksl@user/bcksl) (*.net *.split)
2025-11-13 06:04:04 +0100kmein(~weechat@user/kmein) (*.net *.split)
2025-11-13 06:04:04 +0100travisb_(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (*.net *.split)
2025-11-13 06:04:04 +0100olivial(~benjaminl@user/benjaminl) (*.net *.split)
2025-11-13 06:04:04 +0100arahael(~wetfoot@user/arahael) (*.net *.split)
2025-11-13 06:04:04 +0100elenril(~elenril@tutturu.khirnov.net) (*.net *.split)
2025-11-13 06:04:04 +0100tuxpaint(~a@2600:3c06::f03c:93ff:fea6:ef0e) (*.net *.split)
2025-11-13 06:05:04 +0100notzmv(~umar@user/notzmv) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-13 06:05:04 +0100td_(~td@i53870917.versanet.de) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100FANTOM_(~fantom@212.228.181.156) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100qqe(~qqq@185.54.21.203) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100krjst(~krjst@v2202504264396328666.nicesrv.de) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100gf3(~gf3@user/gf3) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100tomku(~tomku@user/tomku) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100haetsal(~quassel@221.138.168.192) (Ping timeout: 256 seconds)
2025-11-13 06:05:04 +0100DetourNe-DetourNetworkUK
2025-11-13 06:05:05 +0100orizuru(~orizuru@178-79-171-63.ip.linodeusercontent.com) (Ping timeout: 256 seconds)
2025-11-13 06:05:05 +0100ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) (Ping timeout: 256 seconds)
2025-11-13 06:05:05 +0100ThePenguin8ThePenguin
2025-11-13 06:05:05 +0100gf34gf3
2025-11-13 06:05:05 +0100orizuru9orizuru
2025-11-13 06:05:20 +0100fgarcia_fgarcia
2025-11-13 06:05:40 +0100EvanR(~EvanR@2600:1700:ba69:10:fc0b:ad5:c171:5a72)
2025-11-13 06:05:40 +0100AlexZenon(~alzenon@5.139.233.178)
2025-11-13 06:05:40 +0100td__(~td@i53870917.versanet.de)
2025-11-13 06:05:40 +0100dolio(~dolio@130.44.140.168) dolio
2025-11-13 06:05:40 +0100Xe_(~Xe@perl/impostor/xe) Xe
2025-11-13 06:05:40 +0100jackneill__(~Jackneill@188-143-82-63.pool.digikabel.hu)
2025-11-13 06:05:40 +0100poscat0x04(~poscat@user/poscat) poscat
2025-11-13 06:05:40 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-11-13 06:05:40 +0100sp1ff(~user@2601:1c2:4c00:6820::8bad) sp1ff
2025-11-13 06:05:40 +0100comonad(~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de)
2025-11-13 06:05:40 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-11-13 06:05:40 +0100arahael(~wetfoot@user/arahael) arahael
2025-11-13 06:05:40 +0100elenril(~elenril@tutturu.khirnov.net) elenril
2025-11-13 06:05:40 +0100tuxpaint(~a@2600:3c06::f03c:93ff:fea6:ef0e) firesquidwao
2025-11-13 06:05:45 +0100jackneill__(~Jackneill@188-143-82-63.pool.digikabel.hu) (Max SendQ exceeded)
2025-11-13 06:05:55 +0100jackneill__(~Jackneill@188-143-82-63.pool.digikabel.hu)
2025-11-13 06:07:16 +0100FANTOM(~fantom@212.228.181.156)
2025-11-13 06:07:19 +0100mniip_(mniip@libera/staff/mniip) mniip
2025-11-13 06:08:40 +0100bcksl(~bcksl@user/bcksl) bcksl
2025-11-13 06:09:03 +0100Xe_Xe
2025-11-13 06:10:45 +0100Googulator17(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 06:10:46 +0100Googulator36(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 06:10:49 +0100mniip(mniip@libera/staff/mniip) (Ping timeout: 624 seconds)
2025-11-13 06:14:22 +0100notzmv(~umar@user/notzmv) notzmv
2025-11-13 06:14:43 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-11-13 06:14:49 +0100Putonlalla(~Putonlall@it-cyan.it.jyu.fi) Tuplanolla
2025-11-13 06:15:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 06:15:59 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 06:18:21 +0100deptype_(~deptype@2406:b400:3a:73c2:ba4e:9a45:a5d1:a8b4) (Remote host closed the connection)
2025-11-13 06:18:57 +0100deptype_(~deptype@2406:b400:3a:73c2:eed4:56e7:bd3d:7e3b)
2025-11-13 06:20:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 06:22:24 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2025-11-13 06:26:35 +0100Pozyomka(~pyon@user/pyon) pyon
2025-11-13 06:30:37 +0100Googulator12(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 06:30:37 +0100Googulator36(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 06:30:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 06:36:43 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-13 06:37:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-13 06:40:49 +0100Googulator27(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 06:41:13 +0100Googulator12(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 06:43:51 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-13 06:47:26 +0100bcksl(~bcksl@user/bcksl) (Ping timeout: 256 seconds)
2025-11-13 06:47:27 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2025-11-13 06:48:37 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-11-13 06:48:56 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 06:49:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 06:49:58 +0100bcksl(~bcksl@user/bcksl) bcksl
2025-11-13 06:51:22 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-11-13 06:53:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-13 06:54:20 +0100annamalai(~annamalai@157.33.254.205) annamalai
2025-11-13 06:55:39 +0100bggd(~bgg@2a01:e0a:819:1510:215:bbed:ad35:8a6c) (Remote host closed the connection)
2025-11-13 06:58:58 +0100deptype_(~deptype@2406:b400:3a:73c2:eed4:56e7:bd3d:7e3b) (Remote host closed the connection)
2025-11-13 06:59:18 +0100deptype_(~deptype@2406:b400:3a:73c2:11b5:5378:e2a7:f139)
2025-11-13 07:00:38 +0100Googulator88(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 07:00:50 +0100Googulator27(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 07:04:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 07:05:38 +0100Googulator88(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 07:05:46 +0100Googulator26(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 07:09:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 07:12:12 +0100craunts795335385(~craunts@175.176.16.173)
2025-11-13 07:13:25 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds)
2025-11-13 07:17:17 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-11-13 07:19:30 +0100deptype_(~deptype@2406:b400:3a:73c2:11b5:5378:e2a7:f139) (Remote host closed the connection)
2025-11-13 07:19:42 +0100deptype_(~deptype@2406:b400:3a:73c2:f435:47ca:79ba:f48d)
2025-11-13 07:19:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 07:20:40 +0100Googulator59(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 07:20:42 +0100Googulator26(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 07:23:58 +0100michalz(~michalz@185.246.207.221)
2025-11-13 07:24:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 07:30:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 07:35:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-13 07:39:32 +0100deptype_(~deptype@2406:b400:3a:73c2:f435:47ca:79ba:f48d) (Remote host closed the connection)
2025-11-13 07:39:45 +0100deptype_(~deptype@2406:b400:3a:73c2:90f0:3511:9ea7:79b6)
2025-11-13 07:40:36 +0100Googulator41(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 07:40:43 +0100Googulator59(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 07:45:39 +0100Googulator41(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 07:45:45 +0100Googulator60(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 07:45:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 07:50:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 07:53:18 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-13 07:54:48 +0100djspacewhale(~djspacewh@user/djspacewhale) (Remote host closed the connection)
2025-11-13 07:59:34 +0100deptype_(~deptype@2406:b400:3a:73c2:90f0:3511:9ea7:79b6) (Remote host closed the connection)
2025-11-13 07:59:47 +0100deptype_(~deptype@2406:b400:3a:73c2:4919:f329:4ce2:4c4d)
2025-11-13 08:00:30 +0100acidjnk(~acidjnk@p200300d6e71719864849111020082051.dip0.t-ipconnect.de) acidjnk
2025-11-13 08:01:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 08:05:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-13 08:16:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 08:19:36 +0100deptype_(~deptype@2406:b400:3a:73c2:4919:f329:4ce2:4c4d) (Remote host closed the connection)
2025-11-13 08:19:49 +0100deptype_(~deptype@2406:b400:3a:73c2:cf8f:61d8:b0cd:1eb5)
2025-11-13 08:23:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-13 08:31:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 08:34:01 +0100annamalai(~annamalai@157.33.254.205) (Ping timeout: 256 seconds)
2025-11-13 08:34:23 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-13 08:36:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 08:36:32 +0100Jackneill_(~Jackneill@188-143-82-72.pool.digikabel.hu)
2025-11-13 08:37:59 +0100craunts795335385(~craunts@175.176.16.173) (Ping timeout: 256 seconds)
2025-11-13 08:38:55 +0100jackneill__(~Jackneill@188-143-82-63.pool.digikabel.hu) (Ping timeout: 240 seconds)
2025-11-13 08:39:39 +0100deptype_(~deptype@2406:b400:3a:73c2:cf8f:61d8:b0cd:1eb5) (Remote host closed the connection)
2025-11-13 08:39:59 +0100deptype_(~deptype@2406:b400:3a:73c2:ca5b:bc1f:57b5:b7a7)
2025-11-13 08:46:12 +0100djspacewhale(~djspacewh@user/djspacewhale) djspacewhale
2025-11-13 08:46:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 08:51:18 +0100djspacewhale(~djspacewh@user/djspacewhale) (Remote host closed the connection)
2025-11-13 08:51:35 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-13 08:51:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 08:56:47 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-13 09:00:12 +0100deptype_(~deptype@2406:b400:3a:73c2:ca5b:bc1f:57b5:b7a7) (Remote host closed the connection)
2025-11-13 09:00:25 +0100deptype_(~deptype@2406:b400:3a:73c2:7b9b:6b63:6d71:c983)
2025-11-13 09:01:41 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343)
2025-11-13 09:02:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 09:05:14 +0100fp(~Thunderbi@2001:708:150:10::7e06) fp
2025-11-13 09:05:35 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-13 09:07:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-13 09:08:06 +0100fp(~Thunderbi@2001:708:150:10::7e06) (Remote host closed the connection)
2025-11-13 09:10:59 +0100fp(~Thunderbi@2001:708:150:10::7e06) fp
2025-11-13 09:11:19 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-13 09:13:36 +0100craunts795335385(~craunts@175.176.16.173)
2025-11-13 09:18:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-13 09:20:14 +0100deptype_(~deptype@2406:b400:3a:73c2:7b9b:6b63:6d71:c983) (Remote host closed the connection)
2025-11-13 09:20:26 +0100deptype_(~deptype@2406:b400:3a:73c2:d054:8eb4:9a04:efa0)
2025-11-13 09:20:40 +0100Googulator52(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 09:20:47 +0100Googulator60(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 09:22:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-13 09:27:32 +0100kuribas(~user@2a02:1808:67:a09:b55b:215:13f6:6a3b) kuribas
2025-11-13 09:27:55 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds)
2025-11-13 09:29:57 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-11-13 09:40:16 +0100deptype_(~deptype@2406:b400:3a:73c2:d054:8eb4:9a04:efa0) (Remote host closed the connection)
2025-11-13 09:40:28 +0100deptype_(~deptype@2406:b400:3a:73c2:663:9f3a:e61:332b)
2025-11-13 09:40:54 +0100mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2025-11-13 09:42:44 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-13 09:43:25 +0100annamalai(~annamalai@157.33.249.99) annamalai
2025-11-13 09:45:39 +0100Googulator66(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 09:45:45 +0100Googulator52(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 09:53:07 +0100craunts795335385(~craunts@175.176.16.173) (Quit: The Lounge - https://thelounge.chat)
2025-11-13 10:07:48 +0100deptype_(~deptype@2406:b400:3a:73c2:663:9f3a:e61:332b) (Remote host closed the connection)
2025-11-13 10:08:04 +0100deptype_(~deptype@2406:b400:3a:73c2:d096:39d7:b795:72d6)
2025-11-13 10:08:47 +0100fp(~Thunderbi@2001:708:150:10::7e06) (Read error: Connection reset by peer)
2025-11-13 10:08:57 +0100fp1(~Thunderbi@wireless-86-50-140-45.open.aalto.fi) fp
2025-11-13 10:11:15 +0100fp1fp
2025-11-13 10:11:48 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 10:14:45 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 244 seconds)
2025-11-13 10:20:26 +0100fp(~Thunderbi@wireless-86-50-140-45.open.aalto.fi) (Quit: fp)
2025-11-13 10:20:37 +0100fp(~Thunderbi@wireless-86-50-140-45.open.aalto.fi) fp
2025-11-13 10:25:43 +0100Googulator89(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu)
2025-11-13 10:25:43 +0100Googulator66(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Quit: Client closed)
2025-11-13 10:27:05 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-13 10:27:20 +0100deptype_(~deptype@2406:b400:3a:73c2:d096:39d7:b795:72d6) (Remote host closed the connection)
2025-11-13 10:27:34 +0100deptype_(~deptype@2406:b400:3a:73c2:bbc0:29cc:d3e9:c519)
2025-11-13 10:27:57 +0100 <[exa]> is there any easy way to calculate integral `log2` with only bit operations and with just `base` (no integer-logarithms dependency or so)
2025-11-13 10:29:54 +0100 <[exa]> also wth is 0x7c4add? https://hackage.haskell.org/package/bits-0.6/docs/src/Data.Bits.Extras.html#word32Log2 :D
2025-11-13 10:33:35 +0100fp(~Thunderbi@wireless-86-50-140-45.open.aalto.fi) (Ping timeout: 256 seconds)
2025-11-13 10:34:42 +0100fp(~Thunderbi@130.233.70.206) fp
2025-11-13 10:35:00 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 10:45:21 +0100 <kuribas> [exa]: count leading zeros?
2025-11-13 10:46:05 +0100 <kuribas> https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-Bits.html#v:countLeadingZeros
2025-11-13 10:46:51 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 10:46:53 +0100 <kuribas> [exa]: should reduce to a single cpu instruction (if you have a bounded integer).
2025-11-13 10:47:26 +0100 <kuribas> Mutable hashtables seem quite a bit faster than immutable hashmaps: https://github.com/haskell-perf/dictionaries
2025-11-13 10:47:52 +0100deptype_(~deptype@2406:b400:3a:73c2:bbc0:29cc:d3e9:c519) (Remote host closed the connection)
2025-11-13 10:48:05 +0100deptype_(~deptype@2406:b400:3a:73c2:752d:1b8c:f480:a279)
2025-11-13 10:48:32 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343)
2025-11-13 10:49:44 +0100 <kuribas> Shame I cannot "freeze" a mutable hashmap, to use it from pure code.
2025-11-13 10:50:14 +0100 <kuribas> Well, probably easy to implement using copying and unsafe code.
2025-11-13 10:50:16 +0100fp(~Thunderbi@130.233.70.206) (Quit: fp)
2025-11-13 10:50:37 +0100fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-11-13 10:51:05 +0100 <[exa]> kuribas: that looks mildly suspicious tbh
2025-11-13 10:51:15 +0100 <kuribas> why?
2025-11-13 10:51:45 +0100 <kuribas> [exa]: the benchmark, or the zerocount?
2025-11-13 10:52:44 +0100 <[exa]> the benchmark -- the int lookup for Data.HashMap.Strict should be essentially const-time like for the basic & linear hash tables, but it grows linearly
2025-11-13 10:52:54 +0100 <[exa]> I'd suspect they're measuring some laziness artifact
2025-11-13 10:53:13 +0100 <[exa]> either that or the Data.HashMap implementation is borked
2025-11-13 10:53:56 +0100weary-traveler(~user@user/user363627) user363627
2025-11-13 10:54:00 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 10:54:27 +0100 <kuribas> maybe it measures n lookups?
2025-11-13 10:57:33 +0100 <kuribas> it does seem like that from the code https://github.com/haskell-perf/dictionaries/blob/master/Time.hs#L338
2025-11-13 10:58:11 +0100 <Leary> [exa]: `GHC.Num.integerLog2`?
2025-11-13 10:59:30 +0100 <[exa]> Leary: oh I missed that one again. Thanks!
2025-11-13 10:59:32 +0100 <kuribas> Leary: that's probably slower on bounded integers.
2025-11-13 10:59:58 +0100 <[exa]> kuribas: yeah there's something weird there for sure
2025-11-13 11:01:45 +0100Taneb(~username@host-95-251-57-201.retail.telecomitalia.it) Taneb
2025-11-13 11:02:35 +0100 <kuribas> [exa]: devide by n gives: 13.29, 17.28, 22.42, 41.10, 85.40, 460 ns
2025-11-13 11:02:57 +0100 <kuribas> that looks logarithm-isch...
2025-11-13 11:05:40 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 11:05:48 +0100trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 11:06:01 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-13 11:06:06 +0100 <kuribas> [exa]: it doubles, until 1000000, when it is suddenly X5.
2025-11-13 11:07:54 +0100deptype_(~deptype@2406:b400:3a:73c2:752d:1b8c:f480:a279) (Remote host closed the connection)
2025-11-13 11:08:07 +0100deptype_(~deptype@2406:b400:3a:73c2:796f:1d1b:ab7f:a73f)
2025-11-13 11:08:40 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-11-13 11:10:14 +0100 <kuribas> maybe more log^2(n)?
2025-11-13 11:12:41 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-11-13 11:13:15 +0100 <[exa]> kuribas: that's kinda expected because of cache effects
2025-11-13 11:14:02 +0100 <kuribas> maybe GC?
2025-11-13 11:14:51 +0100 <kuribas> I suppose no because lookup doesn't need GC...
2025-11-13 11:15:03 +0100 <[exa]> what's concerning is that the IO variants really seem to be measured differently (there's difference 500ms vs 14 ns, that's big right
2025-11-13 11:15:25 +0100xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds)
2025-11-13 11:15:42 +0100 <[exa]> no htat's a normal thing, if you have too much of an array and access it randomly, you'll eventually hit the cache size (8MB sounds expectable here) and it's going to get a few times slower
2025-11-13 11:16:06 +0100 <[exa]> notice the same happens for the LinearHashTable below, suddenly 3x slower (per query I assume)
2025-11-13 11:16:12 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-11-13 11:17:17 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-11-13 11:17:57 +0100 <kuribas> right
2025-11-13 11:20:01 +0100trickard__(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-13 11:20:14 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 11:20:25 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-13 11:22:16 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-11-13 11:22:40 +0100 <[exa]> anyway I assume the table building has leaked into the benchmark for the non-IO variant, half a second for selection in whimsy 1M table is....tooo much.
2025-11-13 11:24:04 +0100kuribas(~user@2a02:1808:67:a09:b55b:215:13f6:6a3b) (Ping timeout: 255 seconds)
2025-11-13 11:27:56 +0100deptype_(~deptype@2406:b400:3a:73c2:796f:1d1b:ab7f:a73f) (Remote host closed the connection)
2025-11-13 11:28:14 +0100deptype_(~deptype@2406:b400:3a:73c2:ebd8:a6e4:ac56:ebb9)
2025-11-13 11:31:33 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 11:31:36 +0100 <merijn> kuribas: I mean, immutable hashmaps seems like a worst of all worlds
2025-11-13 11:31:58 +0100 <merijn> In generaly I'm a well-known hash map hater, though. Waaaay overrated data structure
2025-11-13 11:33:37 +0100 <kuribas`> merijn: good for strings?
2025-11-13 11:38:18 +0100 <[exa]> people who index stuff with unstructured strings truly deserve hashmaps
2025-11-13 11:38:38 +0100 <kuribas`> [exa]: how else, if you have strings?
2025-11-13 11:39:13 +0100 <[exa]> merijn: like, the immutability shouldn't be an issue at all in that precise benchmark, it's select-only
2025-11-13 11:39:23 +0100 <[exa]> kuribas`: tries? inverted indices?
2025-11-13 11:40:50 +0100 <kuribas`> [exa]: The trie is slower in that benchmark
2025-11-13 11:46:45 +0100 <merijn> kuribas`: Even then, meh
2025-11-13 11:47:13 +0100 <merijn> kuribas`: I mean, why would a hashmap be better at strings than a tree based map?
2025-11-13 11:47:58 +0100deptype_(~deptype@2406:b400:3a:73c2:ebd8:a6e4:ac56:ebb9) (Remote host closed the connection)
2025-11-13 11:48:12 +0100deptype_(~deptype@2406:b400:3a:73c2:d739:473:9e2d:bf26)
2025-11-13 11:48:18 +0100merijnwill takes a tree based Map over a hashmap any day
2025-11-13 11:49:18 +0100 <merijn> Better worst case complexity, better space complexity, more flexible queries, negligible performance difference in 95% of scenarios (that might be a conservative percentage)
2025-11-13 11:51:12 +0100 <[exa]> kuribas`: the main point is that if you really want an index over strings with only Eq possible, you're likely pushed yourself into over-generalizing the situation, and you should use integers instead of the strings
2025-11-13 11:51:25 +0100 <[exa]> s/strings/variable-width keys/
2025-11-13 11:52:36 +0100 <[exa]> merijn: in the "naive" tree case the strings are super annoying (generic tree algorithms do repeated compares on shared key prefixes etc)
2025-11-13 11:52:38 +0100 <kuribas`> [exa]: You build a sorted vector first?
2025-11-13 11:52:49 +0100 <[exa]> no, trie
2025-11-13 11:53:08 +0100poscat(~poscat@user/poscat) poscat
2025-11-13 11:53:42 +0100 <merijn> [exa]: Sure, but if you've got enough string keys for that to matter you should probably rethink your approach anyway :p
2025-11-13 11:54:07 +0100 <[exa]> y a p
2025-11-13 11:54:12 +0100 <merijn> At that point, just dump everything into SQLite
2025-11-13 11:54:42 +0100 <kuribas`> I have a nested dictionary with wildcards.
2025-11-13 11:54:46 +0100 <kuribas`> That doesn't go into SQL easily.
2025-11-13 11:54:59 +0100 <kuribas`> with entries like ("foo", *, 2)
2025-11-13 11:55:12 +0100poscat0x04(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-11-13 11:55:29 +0100 <kuribas`> and strings for addresses, driver names, device models, etc..
2025-11-13 11:55:44 +0100 <merijn> kuribas`: tbh 1) it's probably worth figuring out how to do it in SQLite anyway, 2) if you can turn it into a JSON encoding you can just store (and query) json blobs in SQLite :p
2025-11-13 11:55:55 +0100 <kuribas`> Sure I can intern all the strings, that would just be another hashmap...
2025-11-13 11:56:22 +0100 <merijn> kuribas`: Naah, with interned strings you could just use a tree map, since then [exa] comment about repeated compares goes away :p
2025-11-13 11:56:43 +0100 <kuribas`> merijn: yeah, but the interning needs another hashmap.
2025-11-13 11:57:40 +0100 <merijn> All I will say is that I've switched to SQLite from whatever I was using 3 times in projects, and every single time I have the same epiphany :p Which is, that I should use more SQLite in everything :p
2025-11-13 11:58:34 +0100 <kuribas`> I have sqlite in my python project, and I feel its just now untyped queries instead of typed data processing...
2025-11-13 11:58:40 +0100 <[exa]> kuribas`: no it requires a trie, hashmaps waste space for interning
2025-11-13 11:59:13 +0100 <merijn> kuribas`: Have you not heard the glorious news of SQLite STRICT mode? :p
2025-11-13 11:59:25 +0100 <merijn> https://sqlite.org/stricttables.html
2025-11-13 11:59:34 +0100 <kuribas`> [exa]: what if I care about time more than space?
2025-11-13 11:59:38 +0100 <[exa]> kuribas`: anyway you might have notice that you hit 2 professional hashmap haters today
2025-11-13 11:59:49 +0100 <kuribas`> right :)
2025-11-13 12:03:21 +0100 <[exa]> kuribas`: then you go patricia trees and/or precompiled string matchers (aho-corasick style)
2025-11-13 12:03:55 +0100trickard_trickard
2025-11-13 12:05:03 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 250 seconds)
2025-11-13 12:06:02 +0100 <[exa]> like, there are great applications of hashes that actually make sense, like bloom filters and whatnot, why does everyone want hashmaps?
2025-11-13 12:06:20 +0100[exa]sad
2025-11-13 12:06:52 +0100 <merijn> [exa]: JavaScript and Python popularised the use of maps. They use hashmaps, people get taught maps using the word hashmap. People internalise "hashmap good"
2025-11-13 12:07:27 +0100 <merijn> [exa]: Especially since neither python nor JS give you easy access to non-hashmaps, people just pretend non hashmaps don't exist.
2025-11-13 12:07:29 +0100 <[exa]> I already said "over-generalized" somewhere right. :D
2025-11-13 12:08:09 +0100 <merijn> IMO the fact that containers only ships tree maps is absolutely based and helps default people to a good map type
2025-11-13 12:09:00 +0100 <merijn> I also strongly approve C++ have std::map be a sensible map and requiring people to write std::unordered_map to get a hashmap
2025-11-13 12:09:24 +0100 <[exa]> kuribas`: tbh you should start professionally hating hashmaps just for the purpose of being cool way before it becomes popularly cool in 20 years from now
2025-11-13 12:09:43 +0100 <[exa]> ...at which point the cool thing is gonna be std::ai_map or so
2025-11-13 12:10:19 +0100 <merijn> The only reason I'm not a professional SQLite shill is that I haven't figured out how to get paid :p
2025-11-13 12:10:29 +0100Taneb(~username@host-95-251-57-201.retail.telecomitalia.it) (Ping timeout: 256 seconds)
2025-11-13 12:10:36 +0100 <[exa]> merijn: I saw stuff like `using map = std::unordered_map;` from students, wasn't happy
2025-11-13 12:10:46 +0100 <merijn> [exa]: Fail them!
2025-11-13 12:10:55 +0100 <[exa]> anyway yeah the unordered wording is great there, tells nicely which property is lost
2025-11-13 12:11:27 +0100 <[exa]> merijn: I told them they failed me, don't worry. :D
2025-11-13 12:11:41 +0100 <haskellbridge> <doc> ai_map.. now that's just a hashmap where everything is hashed to embedding vectors :^)
2025-11-13 12:12:24 +0100 <haskellbridge> <doc> i am sure that has gone through a couple hype cycles already
2025-11-13 12:12:46 +0100 <lucabtz> merijn im a C++ developer as day job and always hated that std::map is not a hashmap but you are making me reconsider
2025-11-13 12:12:54 +0100 <merijn> doc: I mean, replace the hashmap with a metric tree and that's actually neat
2025-11-13 12:13:11 +0100 <[exa]> doc: no that's embedding_vector_map, that was popular 3 years ago. Behold: `insertAiMap k v = unsafePerformGemini $ "Please remember that " ++ show k ++ " saves " ++ show v`
2025-11-13 12:15:50 +0100 <[exa]> kuribas`: anyway the most formal argument against the hashmaps that I have is literally that cache bump that you saw there in the benchmarks. With hashmaps it's unavoidable if your map grows; with sensible maps you can make it disappear using some kind of locality on a map of any size.
2025-11-13 12:16:06 +0100 <merijn> lucabtz: A decent tree implementation like red-black or AVL tree guarantee O(log n) worst case lookup and insert (vs O(n) worst case for hashmap). Now hashmap can have better average case, but that depends on the ratio of keys to buckets. You need a certain percentage of empty buckets to avoid collissions, I don't know the optimal numbers but I'm betting at least 20-30%. So that means you must allocate
2025-11-13 12:16:12 +0100 <merijn> 20-30% more space than you have data
2025-11-13 12:16:48 +0100 <merijn> Additionally the ability of ordered maps to look up "smallest key bigger than X" or "smallest key larger than X" is super useful in many situations.
2025-11-13 12:17:04 +0100 <lucabtz> merijn yeah yeah your point is valid
2025-11-13 12:17:09 +0100 <merijn> Guaranteed stable ordering for traversals/iteration too
2025-11-13 12:17:11 +0100 <merijn> <3
2025-11-13 12:17:15 +0100 <[exa]> <3
2025-11-13 12:17:32 +0100 <lucabtz> though you need ordering for a tree map which you dont for a hash map
2025-11-13 12:17:42 +0100 <lucabtz> but you need a hash in the hash map
2025-11-13 12:17:47 +0100 <lucabtz> so it isnt very different
2025-11-13 12:17:48 +0100 <merijn> (important side note that containers indeed guarantees that foldable/traversable operation happen in ascending key order)
2025-11-13 12:19:52 +0100 <[exa]> lucabtz: like at wurst you can commit a heinous crime and order by the hash. Not sure if the other ways is doable universally tho.
2025-11-13 12:21:20 +0100 <lucabtz> [exa] yeah i didnt think of that, though it wouldnt work, what about hash collisions?
2025-11-13 12:22:54 +0100 <[exa]> multimap™
2025-11-13 12:24:06 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 12:24:08 +0100xff0x(~xff0x@2405:6580:b080:900:7cd4:5734:7947:6d90)
2025-11-13 12:24:18 +0100 <[exa]> technically you don't need short hashes because you don't need to minimize the hash table, so you can always have say 64b hash, so collisions won't hurt too much, and at worst you simply find the one key that you wanted from the tree range that the search returns
2025-11-13 12:24:19 +0100trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 12:24:39 +0100 <[exa]> but don't :D
2025-11-13 12:25:13 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-13 12:25:13 +0100trickard__trickard
2025-11-13 12:27:46 +0100 <lucabtz> but the tree would need to contain bins are leaves no?
2025-11-13 12:29:04 +0100 <lucabtz> the worst case complexity would still be O(n), maybe the worst case would incredibly unlickely given the key space is so big though
2025-11-13 12:30:01 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-13 12:30:35 +0100xff0x(~xff0x@2405:6580:b080:900:7cd4:5734:7947:6d90) (Quit: xff0x)
2025-11-13 12:31:52 +0100 <lucabtz> and it still would be better space wise
2025-11-13 12:32:02 +0100deptype_(~deptype@2406:b400:3a:73c2:d739:473:9e2d:bf26) (Remote host closed the connection)
2025-11-13 12:32:15 +0100deptype_(~deptype@2406:b400:3a:73c2:8206:7870:138f:c565)
2025-11-13 12:33:41 +0100xff0x(~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c)
2025-11-13 12:36:58 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 12:42:01 +0100biberu(~biberu@user/biberu) biberu
2025-11-13 12:42:47 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 12:52:05 +0100deptype_(~deptype@2406:b400:3a:73c2:8206:7870:138f:c565) (Remote host closed the connection)
2025-11-13 12:52:24 +0100deptype_(~deptype@2406:b400:3a:73c2:fdd5:1805:7d92:70ad)
2025-11-13 12:53:57 +0100 <[exa]> lucabtz: not really, multimaps can have many same keys and you select the whole range
2025-11-13 12:54:28 +0100 <[exa]> also if you'd get the O(n) worst-case with this one, you'd be equivalently screwed with the hashmaps ("replace your hash")
2025-11-13 12:59:23 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 13:00:04 +0100Nachtgespenst(~user@user/siracusa) siracusa
2025-11-13 13:00:59 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2025-11-13 13:12:37 +0100deptype_(~deptype@2406:b400:3a:73c2:fdd5:1805:7d92:70ad) (Remote host closed the connection)
2025-11-13 13:12:50 +0100deptype_(~deptype@2406:b400:3a:73c2:4944:536a:6ac6:1483)
2025-11-13 13:14:58 +0100Googulator89Googulator
2025-11-13 13:16:40 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-11-13 13:16:40 +0100ChanServ+v lambdabot
2025-11-13 13:23:35 +0100 <kuribas`> merijn: how would you query my keys, like ("foo", *, 3) in sqlite? With a CTE?
2025-11-13 13:28:08 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-13 13:30:07 +0100 <kuribas`> "SELECT val FROM my_patterns WHERE (string_key == "foo" OR string_key IS NULL) AND (..) ORDER BY (string_key, string_key2, int_key) ASC NULLS LAST"
2025-11-13 13:30:13 +0100 <kuribas`> LIMIT 1
2025-11-13 13:30:30 +0100 <kuribas`> Assuming NULL means "star" here...
2025-11-13 13:32:27 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-11-13 13:32:32 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343)
2025-11-13 13:32:39 +0100deptype_(~deptype@2406:b400:3a:73c2:4944:536a:6ac6:1483) (Remote host closed the connection)
2025-11-13 13:33:00 +0100deptype_(~deptype@2406:b400:3a:73c2:ffa7:a8a3:7599:8304)
2025-11-13 13:34:20 +0100 <kuribas`> Storing * as NULL is a bit inelegant...
2025-11-13 13:34:42 +0100__monty__(~toonn@user/toonn) toonn
2025-11-13 13:35:07 +0100qqe_(~qqq@185.54.21.203) (Quit: Lost terminal)
2025-11-13 13:35:28 +0100annamalai(~annamalai@157.33.249.99) (Ping timeout: 255 seconds)
2025-11-13 13:35:41 +0100 <lucabtz> [exa] yeah i was speaking about something distinct from multimap
2025-11-13 13:36:09 +0100 <kuribas`> Basically I have "data Wild a = Specific a | Wildcard", and map "Map (Wild key1, Wild key2, ...) val"
2025-11-13 13:37:26 +0100 <[exa]> kuribas`: how do you evaluate a wildcard on the hashmaps btw
2025-11-13 13:37:54 +0100 <[exa]> kuribas`: select everything with "foo" at position 1, everything with 3 at position 3, and intersect?
2025-11-13 13:37:56 +0100 <kuribas`> [exa]: I have "Hashable key => Hashable (Wild key)"
2025-11-13 13:38:35 +0100 <[exa]> so the * is essentially another constant? (I thought it's a query like "anything goes here")
2025-11-13 13:38:51 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 13:39:06 +0100 <kuribas`> [exa]: basically yes. Wildcard means match anything.
2025-11-13 13:39:22 +0100[exa]confused
2025-11-13 13:40:08 +0100 <kuribas`> [exa]: wildcard is only allowed when storing the keys, not when looking up.
2025-11-13 13:41:09 +0100 <[exa]> so these are keys that match all possible queries, as in, if you query for ("foo","haha",3) that thing with * is going to show up, right?
2025-11-13 13:41:39 +0100 <kuribas`> exactly
2025-11-13 13:42:14 +0100 <kuribas`> but ordered by * last. So first the specific thing, only * if no specific thing exists.
2025-11-13 13:42:49 +0100 <[exa]> so your query algorithm basically checks 2 hash values for each position, right?
2025-11-13 13:43:03 +0100 <kuribas`> [exa]: 3
2025-11-13 13:43:13 +0100 <kuribas`> each position can have a wildcard.
2025-11-13 13:43:57 +0100 <[exa]> ah yes I meant that to get the result for ("foo","haha",3) you need to hash an dlookup the tuple as is, and then you need to hash and lookup (*, "haha", 3) and ("foo", *, 3), etc...
2025-11-13 13:43:59 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 13:44:13 +0100 <lucabtz> kuribas` so when setting say (*, *, *) you would modify the whole table?
2025-11-13 13:44:28 +0100 <[exa]> (no other idea on how to map it to hashmaps)
2025-11-13 13:44:56 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 13:45:19 +0100 <kuribas`> lucabtz: if you insert ((*, *, *) -> val), every lookup will succeed, but val only if everything else fails.
2025-11-13 13:45:34 +0100 <merijn> kuribas`: sorry, got distracted so missed half the context except the one question
2025-11-13 13:45:44 +0100 <lucabtz> ah i see okay
2025-11-13 13:45:51 +0100 <[exa]> kuribas`: is this RDF by the way?
2025-11-13 13:45:55 +0100 <merijn> kuribas`: Also, note that you can actually have SQLite run arbitrary custom functions mid query
2025-11-13 13:45:57 +0100 <lucabtz> the wildcard is like a fallbacl
2025-11-13 13:46:07 +0100 <kuribas`> [exa]: I have (HashMap (Wild a) (HashMap (Wild b) (HashMap (Wild c) val)))
2025-11-13 13:46:24 +0100 <kuribas`> [exa]: no, something we use for configuration.
2025-11-13 13:47:17 +0100 <[exa]> ok I see, so whenever the `a` is not matched you try also the wildcard at that level, which also gives ordering to wildcards
2025-11-13 13:47:56 +0100 <kuribas`> yeah
2025-11-13 13:48:48 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-11-13 13:49:34 +0100 <[exa]> tree version: make * the lowest-ordering item, first select exactly, if that fails select minimum bound of ("foo","haha",whatever) to see if the wildcard is on the 3rd position (you can re-use the partial failed select!), then of ("foo", whatever, whatever) to see if it's on the 2nd position, ...
2025-11-13 13:49:51 +0100 <kuribas`> Maybe I can put an index at "a", and "b", since "c" (and d...) are sparse.
2025-11-13 13:50:51 +0100 <kuribas`> [exa]: why lowest?
2025-11-13 13:51:07 +0100 <[exa]> kuribas`: can be highest; any predictable position is OK
2025-11-13 13:51:42 +0100 <kuribas`> True, putting * in the dictionary is less efficient.
2025-11-13 13:52:58 +0100 <[exa]> lucene version: make occurence inverted indexes for all key parts that you have, select Very Very Quickly by intersecting the skiplists. (That also gives you infinite wildcard queries for free.)
2025-11-13 13:53:47 +0100 <[exa]> as in, in the 3-level map model, querying for (whatever, "bar", 3) requires traversing the whole first map; with inversion this is free
2025-11-13 13:54:10 +0100 <kuribas`> hmm, interesting...
2025-11-13 13:55:38 +0100 <[exa]> (PS. skiplists are magical)
2025-11-13 13:57:00 +0100 <merijn> something, something, lattice theory
2025-11-13 13:57:01 +0100 <kuribas`> [exa]: So you have three maps in parallel, then you intersect?
2025-11-13 13:59:47 +0100 <[exa]> yeah there's a very fast intersection algorithm for many skiplists
2025-11-13 14:01:35 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-13 14:02:32 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-13 14:10:59 +0100 <kuribas`> Anyway, my current dict implementation is fast enough. For comparison, reading all the configuration files, and constructing this map in python takes less than a second, while in our legacy (lisp) system, it takes several minutes to load and store in the lisp ORM.
2025-11-13 14:19:57 +0100 <__monty__> That must be some implementation.
2025-11-13 14:21:11 +0100 <kuribas`> __monty__: it's a whole lisp system with its own type system, an ORM based on a triple store, our own (graphql like) xml query engine, timeseries computations based on linked lists, etc...
2025-11-13 14:22:10 +0100 <kuribas`> Also self-documenting values that are real-time inspectable in a UI (which hasn't been used for a decade now).
2025-11-13 14:22:37 +0100 <kuribas`> Also the system is being kept up to date by keeping a running system, then patching it as we go.
2025-11-13 14:22:54 +0100 <kuribas`> Since restarting the system takes an hour, to populate all the data in the ORM.
2025-11-13 14:23:23 +0100 <__monty__> The ORM loads all the data into memory?
2025-11-13 14:23:51 +0100 <kuribas`> __monty__: yes, everything except time series data.
2025-11-13 14:24:12 +0100 <kuribas`> And store in mysql on a triple store.
2025-11-13 14:24:47 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-13 14:25:30 +0100 <kuribas`> I hope we get rid of it as soon as possible, since it's maintained by a single guy, who is the only one to understand the whole system.
2025-11-13 14:33:49 +0100 <kuribas`> If he leaves, the company will be in trouble.
2025-11-13 14:34:07 +0100annamalai(~annamalai@157.33.224.236) annamalai
2025-11-13 14:34:35 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2025-11-13 14:49:19 +0100spew(~spew@user/spew) spew
2025-11-13 14:59:20 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds)
2025-11-13 15:00:29 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 15:00:39 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-11-13 15:02:22 +0100karenw(~karenw@user/karenw) karenw
2025-11-13 15:02:45 +0100karenw(~karenw@user/karenw) (Remote host closed the connection)
2025-11-13 15:05:51 +0100karenw(~karenw@user/karenw) karenw
2025-11-13 15:07:04 +0100lbseale_(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-11-13 15:07:12 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-11-13 15:07:30 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-11-13 15:08:59 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 15:13:27 +0100ystael(~ystael@user/ystael) ystael
2025-11-13 15:14:12 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-13 15:14:32 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 15:15:07 +0100 <__monty__> That's not how ORMs work generally, no? Don't they keep everything in the database rather memory?
2025-11-13 15:15:58 +0100 <kuribas> __monty__: yes, but our ORM does both.
2025-11-13 15:17:41 +0100deptype_(~deptype@2406:b400:3a:73c2:ffa7:a8a3:7599:8304) (Remote host closed the connection)
2025-11-13 15:17:54 +0100deptype_(~deptype@2406:b400:3a:73c2:8859:e21d:8034:1343)
2025-11-13 15:20:05 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-11-13 15:20:53 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 15:22:48 +0100 <gentauro> iirc, wasn't one of the op's of this channel also an op at Libera?
2025-11-13 15:27:15 +0100biberu(~biberu@user/biberu) biberu
2025-11-13 15:27:55 +0100 <__monty__> Think so, why?
2025-11-13 15:28:09 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-13 15:28:13 +0100 <kuribas> __monty__: well, not everything, but most of the configuration I believe.
2025-11-13 15:28:13 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-11-13 15:29:57 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 15:30:48 +0100jmcantrell(~weechat@user/jmcantrell) (Client Quit)
2025-11-13 15:33:31 +0100raym_(~ray@user/raym) (Quit: leaving)
2025-11-13 15:34:39 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-13 15:34:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-13 15:35:29 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 15:37:40 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 15:39:05 +0100 <gentauro> __monty__: cos of the EU chat 2.0 law "getting passed". I road the piece on the UK and Libera. I don't know if that will hold for EU :(
2025-11-13 15:42:39 +0100Googulator(~Googulato@2a01-036d-0106-0180-7503-5e9f-00fa-e270.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-11-13 15:44:47 +0100 <tomsmeding> I assume they're already aware, as Libera is itself based in the EU :)
2025-11-13 15:50:47 +0100karenw_(~karenw@user/karenw) karenw
2025-11-13 15:51:04 +0100karenwGuest8462
2025-11-13 15:51:05 +0100Guest8462(~karenw@user/karenw) (Killed (cadmium.libera.chat (Nickname regained by services)))
2025-11-13 15:51:05 +0100karenw_karenw
2025-11-13 15:52:04 +0100 <gentauro> tomsmeding: time to move it to Switzerland perhaps?
2025-11-13 15:52:28 +0100karenw(~karenw@user/karenw) (Client Quit)
2025-11-13 15:52:37 +0100 <tomsmeding> didn't CH have their own little thing going on? (I'm not staying up to date on this so may be wrong)
2025-11-13 15:52:47 +0100comerijn(~merijn@77.242.116.146) merijn
2025-11-13 15:53:28 +0100qqe(~qqq@185.54.21.203)
2025-11-13 15:53:38 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-13 15:54:49 +0100 <gentauro> tomsmeding: no clue :|
2025-11-13 15:54:54 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-11-13 15:56:01 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 15:59:19 +0100 <__monty__> The regulation states that it's a "Text with EEA relevance," so I assume Switzerland would have to comply if it wants to benefit from EEA allowances.
2025-11-13 16:00:26 +0100 <lucabtz> does it really matter that much for libera though? its not like its a private chat in anyway, anyone can join in most channels
2025-11-13 16:00:30 +0100 <lucabtz> many are even logged
2025-11-13 16:00:43 +0100 <[exa]> +1 ^
2025-11-13 16:01:40 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-13 16:04:19 +0100 <int-e> AFAICS the concern would be being classified as a high-risk service and forced into doing age verification of users.
2025-11-13 16:04:54 +0100 <[exa]> what's "high risk"
2025-11-13 16:05:22 +0100 <int-e> that's left to an agency that would be established later
2025-11-13 16:05:43 +0100 <lucabtz> okay that is a better concern
2025-11-13 16:05:54 +0100 <int-e> Maybe -offtopic is a better place for this though :)
2025-11-13 16:06:03 +0100 <[exa]> aren't all computers super dangerous tho?
2025-11-13 16:08:09 +0100 <int-e> [exa]: That's why we'll switch them over to using Haskell only.
2025-11-13 16:11:42 +0100 <[exa]> <3 <3 <3
2025-11-13 16:18:40 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds)
2025-11-13 16:26:19 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-13 16:26:46 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-13 16:33:55 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-13 16:38:56 +0100 <gentauro> "its not like its a private chat in anyway" reminds me of having an interaction with a public instance on why they use `Basic auth` over a non-secure channel (HTTP, jep).
2025-11-13 16:39:28 +0100 <gentauro> why do we (FP's) even bother? It's full of Daves everywhere anyway
2025-11-13 16:40:15 +0100 <gentauro> Like `base64` encoded usr/pwd over HTTP …
2025-11-13 16:41:25 +0100traxex(traxex@user/traxex) (Ping timeout: 264 seconds)
2025-11-13 16:41:37 +0100bggd(~bgg@2a01:e0a:819:1510:956a:8fac:d8f9:3c7e)
2025-11-13 16:44:55 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 240 seconds)
2025-11-13 16:45:40 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-11-13 16:47:39 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 16:50:06 +0100 <lucabtz> the basic auth is different though
2025-11-13 16:50:22 +0100 <lucabtz> that is about identity not privacy
2025-11-13 16:53:15 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-13 16:58:20 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-13 17:00:45 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343)
2025-11-13 17:03:20 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 244 seconds)
2025-11-13 17:08:46 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-11-13 17:14:19 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-13 17:20:28 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer)
2025-11-13 17:20:41 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-11-13 17:21:01 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-11-13 17:22:13 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 17:23:28 +0100Taneb(~username@host-95-251-57-201.retail.telecomitalia.it) Taneb
2025-11-13 17:23:53 +0100Googulator(~Googulato@team.broadbit.hu)
2025-11-13 17:26:33 +0100spew(~spew@user/spew) (Quit: WeeChat 4.6.3)
2025-11-13 17:28:57 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2025-11-13 17:29:29 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-13 17:29:52 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343)
2025-11-13 17:30:40 +0100Googulator86(~Googulato@team.broadbit.hu)
2025-11-13 17:31:47 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2025-11-13 17:32:02 +0100lucabtz(~lucabtz@user/lucabtz) (Remote host closed the connection)
2025-11-13 17:32:12 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 17:33:35 +0100Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-11-13 17:37:05 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-13 17:37:48 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 17:41:45 +0100bggd(~bgg@2a01:e0a:819:1510:956a:8fac:d8f9:3c7e) (Quit: std::move)
2025-11-13 17:42:33 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-11-13 17:42:47 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 17:45:38 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-13 17:45:58 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-13 17:49:42 +0100Zemy_(~Zemy@2600:100c:b0a0:aacc:903e:23ff:fe1d:3357)
2025-11-13 17:50:50 +0100qqe(~qqq@185.54.21.203) (Quit: Lost terminal)
2025-11-13 17:52:18 +0100Zemy(~Zemy@72.178.108.235) (Ping timeout: 260 seconds)
2025-11-13 17:54:20 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer)
2025-11-13 17:54:33 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-11-13 17:56:40 +0100 <chromoblob> if there's concrete, there should be distinuous
2025-11-13 17:57:24 +0100ubert(~Thunderbi@178.165.182.105.wireless.dyn.drei.com) ubert
2025-11-13 17:57:54 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-13 17:58:11 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-13 17:58:13 +0100rekahsoft(~rekahsoft@70.51.99.245) (Ping timeout: 264 seconds)
2025-11-13 18:00:43 +0100Googulator93(~Googulato@team.broadbit.hu)
2025-11-13 18:03:55 +0100Googulator86(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)