| 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) |
| 2026-01-02 21:50:37 +0100 | <kuribas> | > [y | x <- [Just 1, Nothing, Just 2], let Just y = x] |
| 2026-01-02 21:50:59 +0100 | califax | (~califax@user/califx) califx |
| 2026-01-02 21:51:02 +0100 | <monochrom> | Oh lambdabot is away |
| 2026-01-02 21:51:09 +0100 | <monochrom> | % 1+1 |
| 2026-01-02 21:51:09 +0100 | <yahb2> | 2 |
| 2026-01-02 21:51:15 +0100 | <monochrom> | % [y | x <- [Just 1, Nothing, Just 2], let Just y = x] |
| 2026-01-02 21:51:16 +0100 | <yahb2> | *** Exception: <interactive>:143:42-51: Non-exhaustive patterns in Just y ; ; ; HasCallStack backtrace: ; collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:1... |
| 2026-01-02 21:51:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 21:52:23 +0100 | <kuribas> | Shouldn't it partial match on Just? |
| 2026-01-02 21:53:01 +0100 | <kuribas> | % [y | x <- [Just 1, Nothing, Just 2], Just y <- [x]] |
| 2026-01-02 21:53:01 +0100 | <yahb2> | [1,2] |
| 2026-01-02 21:56:47 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:57:56 +0100 | kuribas | (~user@2a02-1810-2825-6000-f2d4-59c7-29a4-df97.ip6.access.telenet.be) (Remote host closed the connection) |
| 2026-01-02 21:58:13 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:02:04 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:02:46 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:02:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:05:37 +0100 | mmohammadi9812 | (~mohammad@104.28.214.168) (Remote host closed the connection) |
| 2026-01-02 22:07:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 22:11:48 +0100 | <monochrom> | For that example, you could have simply [y | Just y <- [Just 1, Nothing, Just 2]] |
| 2026-01-02 22:11:58 +0100 | <EvanR> | it's annoying that if you care about sharing, whose semantics is beyond the scope of the syntax, you need to rely on spelling it one of several "equivalent" ways and hoping the compiler understands that |
| 2026-01-02 22:12:14 +0100 | <EvanR> | it seems unhaskelly |
| 2026-01-02 22:14:17 +0100 | <monochrom> | Every PL ideology has been broken by even its most ideological language. For example, Prolog added cuts to ruin the nice and symmetric logic programming ideal. |
| 2026-01-02 22:14:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:15:24 +0100 | <monochrom> | In the case of Haskell, a ton of tweaks ruined the denotational ideal. But I am not surprised; someone has to talk about time costs and space costs. |
| 2026-01-02 22:15:57 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-02 22:17:22 +0100 | <monochrom> | You can't talk about costs when hiding behind the denotational façade. |
| 2026-01-02 22:17:38 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:18:24 +0100 | <EvanR> | yes but you could have cost meaningful syntactic forms |
| 2026-01-02 22:18:35 +0100 | <EvanR> | dedicated to that purpose |
| 2026-01-02 22:18:52 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 22:19:04 +0100 | <EvanR> | and if you can't ... the other way doesn't sound plausible |
| 2026-01-02 22:19:27 +0100 | <EvanR> | e.g. if predicting costs is too hard |
| 2026-01-02 22:21:43 +0100 | <monochrom> | OK, but I will hide behind "I am skeptical until I see a language that does that". :) |
| 2026-01-02 22:22:46 +0100 | <geekosaur> | someone somewhere's done it, I'm sure |
| 2026-01-02 22:23:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:24:41 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:26:26 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 22:30:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:31:55 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:33:19 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:35:00 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-02 22:35:06 +0100 | acidjnk | (~acidjnk@p200300d6e7171974ecdc66dbb7a91ed3.dip0.t-ipconnect.de) acidjnk |
| 2026-01-02 22:35:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 22:35:29 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2026-01-02 22:36:24 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:36:50 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-02 22:37:42 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:43:49 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:45:02 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:45:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-02 22:45:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:48:12 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:49:27 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:50:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 22:53:47 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:55:00 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 23:01:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 23:01:49 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2026-01-02 23:04:03 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 23:04:06 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-02 23:04:43 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 23:05:06 +0100 | iqubic | (~sophia@2601:602:9203:1660:c40f:f996:91cc:d34) (Remote host closed the connection) |
| 2026-01-02 23:06:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 23:12:16 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-01-02 23:12:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 23:13:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 23:15:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 23:16:42 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 2026-01-02 23:22:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 23:24:09 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-02 23:29:08 +0100 | Motok | (~moto@user/Motok) Motok |
| 2026-01-02 23:33:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 23:37:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 23:39:37 +0100 | aetepe | (~aetepe@188.119.58.52) (Ping timeout: 246 seconds) |
| 2026-01-02 23:43:43 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-02 23:49:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 23:50:59 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-02 23:53:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |