| 2025-12-30 00:03:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 00:04:10 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-30 00:05:26 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-30 00:08:24 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-30 00:08:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 00:18:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 00:22:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 00:32:29 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-30 00:34:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 00:38:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 00:51:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 00:55:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 01:19:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 01:23:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-30 01:25:18 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-12-30 01:34:57 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-30 01:38:54 +0100 | debayan | (~debayan@user/debayan) (Quit: WeeChat 4.8.1) |
| 2025-12-30 01:47:05 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-30 01:49:36 +0100 | debayan | (~debayan@user/debayan) debayan |
| 2025-12-30 01:52:24 +0100 | debayan | (~debayan@user/debayan) (Client Quit) |
| 2025-12-30 01:52:35 +0100 | debayan | (~debayan@user/debayan) debayan |
| 2025-12-30 01:53:19 +0100 | debayan | (~debayan@user/debayan) (Client Quit) |
| 2025-12-30 01:53:30 +0100 | debayan | (~debayan@user/debayan) debayan |
| 2025-12-30 01:55:25 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-30 01:56:19 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-12-30 01:56:36 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-12-30 02:09:48 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-12-30 02:09:51 +0100 | sam113102 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-12-30 02:13:34 +0100 | omidmash2 | (~omidmash@user/omidmash) omidmash |
| 2025-12-30 02:16:08 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-12-30 02:16:08 +0100 | omidmash2 | omidmash |
| 2025-12-30 02:17:52 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2025-12-30 02:19:37 +0100 | sam113102 | sam113101 |
| 2025-12-30 02:23:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 02:24:40 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-30 02:25:01 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-30 02:29:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-30 02:29:46 +0100 | yin | npm install -g npm |
| 2025-12-30 02:30:47 +0100 | debayan | (~debayan@user/debayan) (Quit: debayan) |
| 2025-12-30 02:34:05 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-30 02:49:06 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-30 02:53:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 02:57:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-30 03:32:01 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2025-12-30 03:41:11 +0100 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 244 seconds) |
| 2025-12-30 03:42:39 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-30 03:46:52 +0100 | Inline | (~User@cgn-195-14-217-170.nc.de) Inline |
| 2025-12-30 03:50:35 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-30 04:09:19 +0100 | sp1ff` | (~user@2601:1c2:4701:900::327f) (Ping timeout: 264 seconds) |
| 2025-12-30 04:11:13 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-30 04:22:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 04:27:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 04:31:21 +0100 | mmohammadi9812 | (~mohammad@104.28.214.167) mmohammadi9812 |
| 2025-12-30 04:39:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 04:43:46 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-30 04:44:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 04:46:57 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-30 04:50:39 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-30 04:55:04 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-30 04:57:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 05:02:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-30 05:09:29 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-30 05:15:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 05:19:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 05:29:08 +0100 | <haskellbridge> | <maerwald> EvanR: nah, rustup is also packaged in many distros |
| 2025-12-30 05:30:17 +0100 | <haskellbridge> | <maerwald> And GHCup is a good citizen: it installs into home. Additionally, "ghcup upgrade" doesn't do in-place updates by default to avoid broken behavior with distro installed binaries |
| 2025-12-30 05:32:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 05:38:59 +0100 | mmohammadi9812 | (~mohammad@104.28.214.167) (Remote host closed the connection) |
| 2025-12-30 05:39:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-30 05:42:49 +0100 | <EvanR> | ok great |
| 2025-12-30 05:43:05 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-30 05:46:41 +0100 | Inline|2 | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2025-12-30 05:47:10 +0100 | Inline | (~User@cgn-195-14-217-170.nc.de) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2025-12-30 05:47:10 +0100 | Inline|2 | Inline |
| 2025-12-30 05:51:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 05:52:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-30 05:55:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-30 05:59:00 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2025-12-30 06:01:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 06:02:10 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-30 06:03:16 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-30 06:05:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-30 06:16:05 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-12-30 06:22:35 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-30 06:24:16 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-30 06:48:33 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 260 seconds) |
| 2025-12-30 06:52:59 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-30 06:54:29 +0100 | mmohammadi9812 | (~mohammad@141.253.113.140) mmohammadi9812 |
| 2025-12-30 07:18:31 +0100 | mmohammadi9812 | (~mohammad@141.253.113.140) (Remote host closed the connection) |
| 2025-12-30 07:29:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 07:34:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-30 07:37:12 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-30 07:40:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 07:47:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 07:58:18 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2025-12-30 08:00:03 +0100 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-12-30 08:00:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 08:07:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 08:18:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 08:22:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-30 08:27:38 +0100 | mmohammadi9812 | (~mohammad@46.236.207.249) mmohammadi9812 |
| 2025-12-30 08:32:30 +0100 | shaeto | (~Shaeto@user/shaeto) shaeto |
| 2025-12-30 08:34:23 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-30 08:34:51 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-30 08:35:03 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-30 08:36:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 08:41:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-30 08:41:36 +0100 | mmohammadi9812 | (~mohammad@46.236.207.249) (Remote host closed the connection) |
| 2025-12-30 08:52:39 +0100 | raym | (~ray@user/raym) raym |
| 2025-12-30 09:03:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 09:06:06 +0100 | aman | (~aman@user/aman) aman |
| 2025-12-30 09:08:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-30 09:08:52 +0100 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 2025-12-30 09:11:03 +0100 | Rembane | (~Rembane@user/Rembane) Rembane |
| 2025-12-30 10:04:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 10:07:24 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-30 10:11:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 10:14:09 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-30 10:36:04 +0100 | __monty__ | (~toonn@user/toonn) (Quit: Lost terminal) |
| 2025-12-30 10:49:29 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-30 10:50:35 +0100 | araujo | (~araujo@216.73.163.51) araujo |
| 2025-12-30 10:56:28 +0100 | michalz | (~michalz@185.246.207.215) michalz |
| 2025-12-30 11:01:23 +0100 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-12-30 11:02:21 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-30 11:03:10 +0100 | biberu | (~biberu@user/biberu) biberu |
| 2025-12-30 11:05:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 11:09:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-30 11:11:12 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-30 11:21:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 11:25:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-30 11:37:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 11:42:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-30 11:54:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 11:56:05 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) (Remote host closed the connection) |
| 2025-12-30 11:56:48 +0100 | myxos | (~myxos@2001:579:8380:f20:4950:9959:670d:dff5) myxokephale |
| 2025-12-30 11:58:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-30 12:05:19 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2025-12-30 12:06:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 12:11:54 +0100 | mmohammadi9812 | (~mohammad@5.115.171.115) mmohammadi9812 |
| 2025-12-30 12:12:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-30 12:13:40 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2025-12-30 12:14:16 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-30 12:16:20 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-30 12:24:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 12:25:57 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-30 12:26:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-30 12:29:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 12:30:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-12-30 12:31:04 +0100 | mmohammadi9812 | (~mohammad@5.115.171.115) (Ping timeout: 246 seconds) |
| 2025-12-30 12:33:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 12:37:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 12:57:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-30 13:02:29 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-12-30 13:03:48 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-30 13:07:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 13:08:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-12-30 13:12:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-30 13:24:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 13:28:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-30 13:41:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 13:45:16 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 246 seconds) |
| 2025-12-30 13:45:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 13:47:00 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-12-30 13:54:39 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2025-12-30 13:57:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 14:00:09 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2025-12-30 14:01:11 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2025-12-30 14:01:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-30 14:03:13 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-30 14:07:14 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-30 14:08:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 14:15:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-30 14:22:01 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-30 14:23:02 +0100 | myxokephale | (~myxos@2001:579:8380:f20:1ad5:5f71:b3ec:9f35) myxokephale |
| 2025-12-30 14:26:03 +0100 | myxos | (~myxos@2001:579:8380:f20:4950:9959:670d:dff5) (Ping timeout: 256 seconds) |
| 2025-12-30 14:27:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 14:32:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-30 14:38:59 +0100 | mmohammadi9812 | (~mohammad@5.115.171.115) mmohammadi9812 |
| 2025-12-30 14:40:46 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-12-30 15:06:26 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-30 15:06:52 +0100 | RSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) RMSBach |
| 2025-12-30 15:08:13 +0100 | RMSBach | (~RMSBach@24.210.9.182) (Ping timeout: 246 seconds) |
| 2025-12-30 15:08:14 +0100 | RSBach | RMSBach |
| 2025-12-30 15:09:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 15:14:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-30 15:26:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 15:27:43 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2025-12-30 15:31:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-30 15:31:18 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-30 15:32:48 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-12-30 15:37:04 +0100 | mmohammadi9812 | (~mohammad@5.115.171.115) (Ping timeout: 260 seconds) |
| 2025-12-30 15:42:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 15:47:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 15:48:14 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-30 15:49:19 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-30 15:52:38 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2025-12-30 15:54:46 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-30 15:58:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 16:00:01 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 264 seconds) |
| 2025-12-30 16:03:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-30 16:06:13 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-12-30 16:09:05 +0100 | aman | (~aman@user/aman) (Ping timeout: 245 seconds) |
| 2025-12-30 16:10:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 16:17:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 16:22:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-30 16:26:07 +0100 | araujo | (~araujo@216.73.163.51) (Ping timeout: 240 seconds) |
| 2025-12-30 16:27:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-30 16:30:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 16:32:13 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-12-30 16:35:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-30 17:11:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 17:11:40 +0100 | tt1231607 | (~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-30 17:12:53 +0100 | tt1231607 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-12-30 17:16:03 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-30 17:16:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 17:17:24 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-30 17:25:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 17:26:13 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-30 17:31:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-30 17:41:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 17:46:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-30 17:51:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-30 17:54:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-30 17:56:09 +0100 | shaeto | (~Shaeto@user/shaeto) (Ping timeout: 252 seconds) |
| 2025-12-30 17:58:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 18:02:31 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 246 seconds) |
| 2025-12-30 18:03:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-30 18:09:19 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-30 18:11:30 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-30 18:12:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 18:13:40 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Ping timeout: 245 seconds) |
| 2025-12-30 18:16:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-30 18:18:25 +0100 | janus | (janus@user/janus) janus |
| 2025-12-30 18:19:06 +0100 | <janus> | is it correct that equality constraints can not be affected by quantified types? |
| 2025-12-30 18:19:26 +0100 | <janus> | like, if i have a program, and i want to run type inference on it |
| 2025-12-30 18:20:03 +0100 | <janus> | then, if it uses type class methods, to execute the program, i need to know which instace to pick |
| 2025-12-30 18:20:48 +0100 | <janus> | now, what i don't understand, is whether the parts of type inference that relate to quantifications can run last, or whether they must be interleaved with other type checking steps |
| 2025-12-30 18:22:41 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-12-30 18:23:43 +0100 | <janus> | intuitively, it seems that they could run last, since you can't e.g. use the knowledge that you have a certain set of instances to deduce what a type variable in a quantifier is |
| 2025-12-30 18:24:24 +0100 | <janus> | for example, if I have _only_ Eq Bool (and not Eq Int), and i see `a == b` I can't deduce that a and b must be Bool, IIRC |
| 2025-12-30 18:26:43 +0100 | <ncf> | well, of course not. Bool isn't the only type in the universe with an Eq instance |
| 2025-12-30 18:27:37 +0100 | <ncf> | what "parts of type inference that relate to quantifications" do you have in mind? |
| 2025-12-30 18:29:49 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 246 seconds) |
| 2025-12-30 18:31:34 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-30 18:32:19 +0100 | <c_wraith> | Broadly, Haskell types assume that a type variable might be instantiated at a type that you know nothing about when writing the code that uses it. |
| 2025-12-30 18:32:38 +0100 | <c_wraith> | Even when that's not actually possible, like when using DataKinds |
| 2025-12-30 18:34:22 +0100 | <c_wraith> | There are some some important technical simplifications enabled by that, but the real value is just having a single set of rules. |
| 2025-12-30 18:36:13 +0100 | <ncf> | as opposed to what? |
| 2025-12-30 18:36:54 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-12-30 18:37:37 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-30 18:40:28 +0100 | <c_wraith> | As opposed to saying that the open world assumption only applies in some cases, and then needing to learn rules about when it does and when it doesn't. |
| 2025-12-30 18:40:59 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2025-12-30 18:42:59 +0100 | <c_wraith> | (also, I think it would be literally impossible to have a compiler fully solve types without the open world assumption. I think you run into the halting problem.) |
| 2025-12-30 18:58:39 +0100 | <[exa]> | janus: if you only have single-parameter typeclasses as in THIH, the two-step approach should AFAIK work. On the other hand, with more advanced stuff (type families, MPTCs) you can essentially simulate functions on types, and you have to mix the checking with the typelevel computation. (E.g., type unification may depend on the "result" of a type family application.) |
| 2025-12-30 19:00:49 +0100 | <[exa]> | janus: for the former, I think there are even languages in the wild that do it that way -- after the type inference&checking is complete you can specialize ("monomorphize") stuff as you like (w.r.t. to the constraints), and you'll never hit issues. |
| 2025-12-30 19:03:45 +0100 | <[exa]> | janus: btw btw, for some definition of your "parts of type inference that relate to quantifications", THIH might actually qualify there as two-step. |
| 2025-12-30 19:03:50 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-12-30 19:13:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 19:19:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-30 19:25:01 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-30 19:25:25 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-30 19:25:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-30 19:28:26 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-30 19:28:45 +0100 | StrayB1ts | (~straybits@d205-206-102-121.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-12-30 19:30:33 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-30 20:00:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-30 20:04:00 +0100 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-12-30 20:04:21 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-30 20:06:42 +0100 | mmohammadi9812 | (~mohammad@141.148.231.175) mmohammadi9812 |
| 2025-12-30 20:11:13 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 244 seconds) |
| 2025-12-30 20:11:59 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2025-12-30 20:14:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 20:16:24 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 252 seconds) |
| 2025-12-30 20:19:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-30 20:21:22 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2025-12-30 20:26:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-30 20:30:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 20:35:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-30 20:35:35 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-12-30 20:36:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-30 20:39:08 +0100 | corecaps | (~quassel@user/corecaps) corecaps |
| 2025-12-30 20:46:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 20:50:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-30 20:54:24 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 260 seconds) |
| 2025-12-30 20:54:54 +0100 | mmohammadi9812 | (~mohammad@141.148.231.175) (Remote host closed the connection) |
| 2025-12-30 20:58:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-30 20:59:32 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-30 21:03:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 21:09:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-30 21:15:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 21:16:43 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-12-30 21:20:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-30 21:30:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-12-30 21:31:33 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-30 21:42:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-30 21:43:05 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 265 seconds) |
| 2025-12-30 21:51:31 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2025-12-30 21:53:10 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-30 21:53:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-30 22:05:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-30 22:11:25 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 264 seconds) |
| 2025-12-30 22:16:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-30 22:19:20 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-12-30 22:19:36 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-12-30 22:22:21 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 252 seconds) |
| 2025-12-30 22:23:24 +0100 | myxos | (~myxos@2001:579:8380:f20:4cf0:8e91:213c:963f) myxokephale |
| 2025-12-30 22:23:39 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2025-12-30 22:25:38 +0100 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-12-30 22:26:35 +0100 | myxokephale | (~myxos@2001:579:8380:f20:1ad5:5f71:b3ec:9f35) (Ping timeout: 265 seconds) |