| 2026-01-02 00:01:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 00:04:00 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 00:06:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 00:17:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 00:20:39 +0100 | Digit | (~user@user/digit) Digit |
| 2026-01-02 00:22:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 00:29:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 00:31:31 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-01-02 00:33:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 00:34:41 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-02 00:35:49 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2026-01-02 00:38:13 +0100 | Digit | (~user@user/digit) Digit |
| 2026-01-02 00:45:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 00:45:48 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-01-02 00:49:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-01-02 00:49:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 00:50:40 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-01-02 00:51:35 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-02 00:55:11 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 00:57:46 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 2026-01-02 01:00:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 01:00:31 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 01:02:21 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-01-02 01:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 01:05:16 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-01-02 01:16:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 01:17:28 +0100 | jmcantrell_ | jmcantrell |
| 2026-01-02 01:22:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 01:30:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 01:30:37 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 01:34:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 01:39:04 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-02 01:44:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 01:49:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 02:00:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 02:04:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 02:09:49 +0100 | omidmash5 | (~omidmash@user/omidmash) omidmash |
| 2026-01-02 02:12:13 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2026-01-02 02:12:13 +0100 | omidmash5 | omidmash |
| 2026-01-02 02:15:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 02:20:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 02:24:46 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-02 02:25:00 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-01-02 02:31:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 02:36:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-02 02:47:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 02:51:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 02:54:40 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2026-01-02 03:03:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 03:07:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 03:16:04 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-01-02 03:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 03:20:24 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-01-02 03:22:07 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 03:22:15 +0100 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2026-01-02 03:24:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 03:30:38 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 03:33:09 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-02 03:34:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 03:34:52 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-02 03:39:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 03:50:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 03:54:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 04:06:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 04:07:09 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 260 seconds) |
| 2026-01-02 04:07:44 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 2026-01-02 04:09:46 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-02 04:10:38 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-01-02 04:12:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 04:24:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 04:25:02 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2026-01-02 04:25:58 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-02 04:28:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 04:39:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 04:44:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 04:55:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 05:00:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 05:02:46 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-01-02 05:11:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 05:15:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 05:26:49 +0100 | <haskellbridge> | <sm> \o/ neat power cords |
| 2026-01-02 05:26:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 05:31:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-02 05:34:58 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Ping timeout: 246 seconds) |
| 2026-01-02 05:39:18 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-02 05:40:25 +0100 | <Axman6> | \m/ |
| 2026-01-02 05:42:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 05:47:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-02 05:51:13 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-01-02 05:55:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 05:59:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 06:01:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 06:06:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 06:17:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 06:21:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 06:32:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 06:37:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 06:45:44 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-02 06:48:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 06:55:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 06:57:01 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-02 07:00:43 +0100 | Pixi` | Pixi |
| 2026-01-02 07:06:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 07:11:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 07:11:42 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-02 07:22:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 07:24:58 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-02 07:27:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 07:38:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 07:38:37 +0100 | mmohammadi9812 | (~mohammad@85.185.35.4) mmohammadi9812 |
| 2026-01-02 07:41:15 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-02 07:43:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-02 07:45:55 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-02 07:45:58 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-02 07:54:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 07:57:46 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-01-02 07:58:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 07:59:50 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-02 08:02:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 08:03:52 +0100 | michalz | (~michalz@185.246.207.197) michalz |
| 2026-01-02 08:05:55 +0100 | mmohammadi9812 | (~mohammad@85.185.35.4) (Ping timeout: 240 seconds) |
| 2026-01-02 08:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 08:16:16 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2026-01-02 08:18:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 08:21:31 +0100 | aman | (~aman@user/aman) aman |
| 2026-01-02 08:22:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 08:32:10 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-02 08:32:52 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-02 08:33:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 08:40:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 08:51:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 08:52:15 +0100 | mmohammadi9812 | (~mohammad@104.28.214.163) mmohammadi9812 |
| 2026-01-02 08:55:14 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 08:56:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 08:59:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Ping timeout: 260 seconds) |
| 2026-01-02 09:03:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 09:08:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-02 09:14:26 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-02 09:17:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 09:19:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 09:21:17 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-02 09:23:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 09:32:37 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-01-02 09:34:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 09:37:05 +0100 | mmohammadi9812 | (~mohammad@104.28.214.163) (Remote host closed the connection) |
| 2026-01-02 09:39:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 09:45:19 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-02 09:50:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 09:55:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-02 09:55:43 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-01-02 09:57:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 10:01:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 10:04:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 10:07:06 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-02 10:10:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 10:17:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 10:26:26 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-02 10:36:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-01-02 10:48:25 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-01-02 10:59:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 11:00:48 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-01-02 11:01:10 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-02 11:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 11:10:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 11:12:53 +0100 | <tomsmeding> | GHC 9.14.1 now available on the playground :) Turns out that half the ecosystem depends on 'hashable' and it doesn't support base-0.22 yet. :P |
| 2026-01-02 11:15:51 +0100 | <tomsmeding> | er, 4.22, of course |
| 2026-01-02 11:21:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 11:25:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2026-01-02 11:26:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 11:27:28 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-02 11:31:44 +0100 | califax_ | (~califax@user/califx) califx |
| 2026-01-02 11:32:29 +0100 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2026-01-02 11:33:02 +0100 | califax_ | califax |
| 2026-01-02 11:34:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-02 11:37:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 11:42:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 11:48:22 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:2fab:8436:f7d2:8c4a) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-01-02 11:48:48 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:208:1bdf:f6c0:9a79) youngfrog |
| 2026-01-02 11:50:58 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-02 11:53:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 11:57:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 12:05:20 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 245 seconds) |
| 2026-01-02 12:06:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 12:06:36 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2026-01-02 12:08:26 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-01-02 12:12:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 12:15:13 +0100 | mmohammadi9812 | (~mohammad@104.28.246.167) mmohammadi9812 |
| 2026-01-02 12:22:12 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-02 12:22:20 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 2026-01-02 12:24:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 12:28:31 +0100 | annamalai | (~annamalai@157.33.249.234) (Ping timeout: 264 seconds) |
| 2026-01-02 12:29:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-02 12:33:57 +0100 | mmohammadi9812 | (~mohammad@104.28.246.167) (Remote host closed the connection) |
| 2026-01-02 12:36:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-02 12:40:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 12:44:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 12:51:42 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Quit: Konversation terminated!) |
| 2026-01-02 12:52:17 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-02 12:53:25 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 2026-01-02 12:53:56 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-02 12:55:09 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Client Quit) |
| 2026-01-02 12:55:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 12:57:58 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-02 13:00:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 13:01:20 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Client Quit) |
| 2026-01-02 13:02:56 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-02 13:04:29 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 2026-01-02 13:04:31 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds) |
| 2026-01-02 13:05:00 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-02 13:07:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 13:09:58 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 2026-01-02 13:10:30 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-02 13:11:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 13:14:15 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 2026-01-02 13:17:09 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-02 13:18:25 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 2026-01-02 13:18:47 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2026-01-02 13:19:29 +0100 | <gentauro> | anybody has any xp with `highlight-pointer` + `xautolock` + `xmonad`? I saw a talk from girst (https://gir.st/gi14500.html) where he had a nice circle around the mouse pointer. Really nice for presentations :) |
| 2026-01-02 13:20:27 +0100 | <gentauro> | however, I noticed that if you use `xautolock`, it goes all wacko (flimmering). Only way to "stop it" was to CTRL+ALT+F2, login and htop kill `highlight-pointer`. Not very "user-friendly" … |
| 2026-01-02 13:20:51 +0100 | <gentauro> | (2nd issue, which is not that important, is that `xmonad` doesn't seem to have support for `opacity`) |
| 2026-01-02 13:21:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 13:23:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 13:27:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 13:35:10 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-02 13:35:16 +0100 | <geekosaur> | XMonad.Hooks.FadeWindows, XMonad.Hooks.FadeInactive, and xmonad is not a compositor so you'll need to run a separate one |
| 2026-01-02 13:35:52 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-01-02 13:38:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 13:38:57 +0100 | Square3 | (~Square@user/square) Square |
| 2026-01-02 13:43:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 13:50:15 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-02 13:54:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 14:00:15 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-01-02 14:01:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-02 14:01:48 +0100 | annamalai | (~annamalai@157.33.232.200) annamalai |
| 2026-01-02 14:01:53 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-02 14:07:50 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 14:08:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 14:08:49 +0100 | <gentauro> | geekosaur: thx |
| 2026-01-02 14:12:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 14:15:25 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-02 14:20:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 14:25:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 14:36:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 14:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 14:42:16 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-02 14:42:46 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-02 14:48:18 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-02 14:57:16 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-02 15:03:37 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-02 15:07:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 15:12:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 15:16:06 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-01-02 15:16:27 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-01-02 15:20:08 +0100 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-01-02 15:21:39 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-02 15:21:57 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2026-01-02 15:22:25 +0100 | annamalai | (~annamalai@157.33.232.200) (Read error: Connection reset by peer) |
| 2026-01-02 15:23:03 +0100 | annamalai | (~annamalai@157.33.232.200) annamalai |
| 2026-01-02 15:23:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 15:27:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 15:28:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-01-02 15:30:06 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 15:30:06 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 15:38:36 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-02 15:39:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 15:43:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 15:56:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 16:01:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 16:07:47 +0100 | aetepe | (~aetepe@188.119.58.52) (Ping timeout: 250 seconds) |
| 2026-01-02 16:09:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 16:13:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 16:22:34 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-02 16:24:12 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 16:26:43 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-02 16:28:47 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-02 16:30:55 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-02 16:36:29 +0100 | duckworld | (~duckworld@user/duckworld) (Remote host closed the connection) |
| 2026-01-02 16:37:15 +0100 | annamalai | (~annamalai@157.33.232.200) (Ping timeout: 240 seconds) |
| 2026-01-02 16:37:55 +0100 | aetepe | (~aetepe@188.119.58.52) (Ping timeout: 240 seconds) |
| 2026-01-02 16:42:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 16:43:05 +0100 | <haskellbridge> | <Zemyla> Is there a version of HashMap that uses an (Ord k, Hashable k) constraint in order to improve the worst-case times while still having better average times than Map? |
| 2026-01-02 16:46:41 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 16:48:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 16:56:53 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 16:58:02 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-01-02 16:58:04 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 17:00:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 17:03:04 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-02 17:04:53 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-01-02 17:04:56 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-02 17:05:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 17:05:19 +0100 | ZLima12_ | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2026-01-02 17:06:33 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-02 17:08:24 +0100 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2026-01-02 17:09:35 +0100 | aetepe | (~aetepe@188.119.58.52) (Ping timeout: 240 seconds) |
| 2026-01-02 17:10:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 17:12:54 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 17:14:17 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 17:14:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 17:21:01 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-02 17:22:46 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 17:24:02 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 17:25:49 +0100 | aetepe | (~aetepe@188.119.58.52) (Ping timeout: 246 seconds) |
| 2026-01-02 17:26:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 17:27:57 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 17:30:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 17:31:59 +0100 | spew | (~spew@user/spew) spew |
| 2026-01-02 17:36:53 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-02 17:41:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 17:42:01 +0100 | aetepe | (~aetepe@188.119.58.52) (Ping timeout: 264 seconds) |
| 2026-01-02 17:46:00 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-02 17:46:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 17:50:50 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-02 17:51:15 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2026-01-02 17:52:34 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-02 17:57:09 +0100 | angel0x | (~ACHO@user/angel0x) angel0x |
| 2026-01-02 17:57:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 18:01:19 +0100 | ft | (~ft@p508dbaa4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-01-02 18:01:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-02 18:02:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 18:04:04 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-02 18:06:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-02 18:08:34 +0100 | ft | (~ft@p508db477.dip0.t-ipconnect.de) ft |
| 2026-01-02 18:10:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 18:11:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-01-02 18:12:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-02 18:12:48 +0100 | angel0x | (~ACHO@user/angel0x) (Remote host closed the connection) |
| 2026-01-02 18:12:56 +0100 | mmohammadi9812 | (~mohammad@104.28.214.164) mmohammadi9812 |
| 2026-01-02 18:15:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-02 18:17:27 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-01-02 18:18:14 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-02 18:21:29 +0100 | mmohammadi9812 | (~mohammad@104.28.214.164) (Remote host closed the connection) |
| 2026-01-02 18:23:35 +0100 | ft | (~ft@p508db477.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-01-02 18:25:14 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2026-01-02 18:25:28 +0100 | ft | (~ft@p508dbe86.dip0.t-ipconnect.de) ft |
| 2026-01-02 18:26:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 18:30:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 18:35:59 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-02 18:37:55 +0100 | aparker314159 | (~avery@user/aparker314159) aparker314159 |
| 2026-01-02 18:41:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 18:46:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 18:49:11 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-02 18:52:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-02 18:53:35 +0100 | ft | (~ft@p508dbe86.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-01-02 18:57:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 18:57:55 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-02 19:01:57 +0100 | aparker314159 | (~avery@user/aparker314159) (Quit: Konversation terminated!) |
| 2026-01-02 19:02:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-02 19:04:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-02 19:06:23 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 19:10:41 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-01-02 19:11:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 19:13:11 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 19:16:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 19:21:07 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-02 19:23:50 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 19:27:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 19:31:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 19:34:11 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 19:38:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 19:40:52 +0100 | rbdr | (~rbdr@2a02:3100:23ad:aa00:e7fe:1cac:4507:3685) rbdr |
| 2026-01-02 19:42:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 19:44:03 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-02 19:49:11 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 19:49:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 19:56:16 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 19:57:31 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:00:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:01:17 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:01:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 20:06:21 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:06:40 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-02 20:06:58 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:12:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:12:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2026-01-02 20:15:26 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:17:06 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:17:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 20:28:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:30:56 +0100 | rbdr | (~rbdr@2a02:3100:23ad:aa00:e7fe:1cac:4507:3685) (Quit: rbdr) |
| 2026-01-02 20:32:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 20:35:31 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-02 20:36:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2026-01-02 20:36:28 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:36:48 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-01-02 20:37:38 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:42:55 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds) |
| 2026-01-02 20:43:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:46:03 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-01-02 20:46:27 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:47:39 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:48:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 20:53:19 +0100 | <Milan_Vanca> | Hello guyz. I know that !! for lists needs to traverse list to find index. But my question is let l = [0..] in (l !! 10^6 + 1) + ( l !! 10^6 + 2) + ... Will this traverse list multiple times? Or will reuse "iteration"? |
| 2026-01-02 20:55:52 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:56:41 +0100 | <ncf> | l will be shared |
| 2026-01-02 20:57:07 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:57:47 +0100 | <ncf> | see https://en.wikibooks.org/wiki/Haskell/Graph_reduction |
| 2026-01-02 20:58:21 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-02 20:59:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:59:38 +0100 | <Milan_Vanca> | I know l is shared and wont be created multiple times.. but to access element l !! bigIndex we need to traverse linken list. But will this list be traversed 2 times from start? Or will it traverse once till first Index and then just do one hop to second Index? |
| 2026-01-02 21:02:34 +0100 | <geekosaur> | the former |
| 2026-01-02 21:02:35 +0100 | <ncf> | i'd be very surprised if GHC was smart enough to optimise the second traversal |
| 2026-01-02 21:02:55 +0100 | <geekosaur> | there are ways to get the latter, I think, but that's not one of them |
| 2026-01-02 21:02:55 +0100 | <tomsmeding> | yep, l will be traversed 2 times from the start |
| 2026-01-02 21:03:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 21:04:43 +0100 | <Milan_Vanca> | Oookey so I guess I should use Data.IntMap instead even tho every element of this map will be used in successive computations? |
| 2026-01-02 21:05:34 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-02 21:05:47 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:06:49 +0100 | img | (~img@user/img) img |
| 2026-01-02 21:07:30 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:07:39 +0100 | <Milan_Vanca> | If you look at page 5 of this document https://www.rfc-editor.org/rfc/rfc1321 There T[i] is value from list. I probably can't use `map` as function is always different. Or maybe I could zip it with index and then have case of to use correct function. |
| 2026-01-02 21:09:22 +0100 | <ncf> | well you could extract the indices you need in one run |
| 2026-01-02 21:10:00 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-02 21:13:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 21:14:17 +0100 | <Milan_Vanca> | hmm |
| 2026-01-02 21:16:16 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:16:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:17:03 +0100 | epitron | (epi@user/epitron) epitron |
| 2026-01-02 21:18:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 21:20:45 +0100 | <monochrom> | This is more nuisanced than one single boolean "is/not shared". (But you just need a multitude of booleans.) |
| 2026-01-02 21:21:09 +0100 | <monochrom> | l is shared. That actually is worse news than you think. |
| 2026-01-02 21:22:14 +0100 | <monochrom> | The common subexpression "l !! bignumber" is unlikely to be shared. This is at the whim of the code optimizer, but I bet unlikely. (But you should check empirically.) |
| 2026-01-02 21:24:06 +0100 | mmohammadi9812 | (~mohammad@104.28.214.168) mmohammadi9812 |
| 2026-01-02 21:24:17 +0100 | <monochrom> | If "l !! bignumber" is not shared but l is, then what happens is the worst of both worlds. First time, l is expanded and occupies 10^6 units of memory, and since it is to be shared, it won't be freed. Second time, you traverse that existing allocated memory from start to finish again. |
| 2026-01-02 21:24:29 +0100 | <monochrom> | So you lose both memory and time. Congratulations. |
| 2026-01-02 21:25:41 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-01-02 21:26:25 +0100 | <monochrom> | If you want something reused but don't want to bet, "let x = l !! bignumber in x + x" is the way. (Or "where".) |
| 2026-01-02 21:27:51 +0100 | <Milan_Vanca> | So by introducing new function I can enforce what is shared. |
| 2026-01-02 21:28:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-01-02 21:28:58 +0100 | <Milan_Vanca> | Imagine I would split this big list at 10^6 index and then only used everithing after. Could from start to split be garbage collected if it is not used in other functions? |
| 2026-01-02 21:29:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 21:29:26 +0100 | <monochrom> | Then yes the prefix can be freed. |
| 2026-01-02 21:29:55 +0100 | <Milan_Vanca> | I didn't expect that! This is really cool. |
| 2026-01-02 21:34:54 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 21:36:13 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:41:47 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:43:30 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:46:51 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:47:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 21:48:05 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:49:44 +0100 | kuribas | (~user@2a02-1810-2825-6000-f2d4-59c7-29a4-df97.ip6.access.telenet.be) kuribas |
| 2026-01-02 21:50:01 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |