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)