| 2025-12-17 00:00:48 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-17 00:06:15 +0100 | gf32 | (~gf3@user/gf3) (Ping timeout: 240 seconds) |
| 2025-12-17 00:06:46 +0100 | gf31 | (~gf3@user/gf3) gf3 |
| 2025-12-17 00:07:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 00:11:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-17 00:16:07 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-17 00:17:47 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 00:17:56 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-17 00:19:09 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-17 00:19:13 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 2025-12-17 00:19:34 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-17 00:21:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-17 00:22:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 00:27:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 00:30:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-17 00:30:13 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-12-17 00:32:17 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 00:38:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 00:43:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-17 00:51:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 00:52:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 00:52:21 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 00:52:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 00:53:17 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 00:55:20 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 00:55:38 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 00:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 01:03:17 +0100 | <haskellbridge> | <Zemyla> I often write liftA2 and <*> instances directly. |
| 2025-12-17 01:06:43 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 01:07:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:07:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 01:08:29 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 01:08:48 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:12:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 01:12:55 +0100 | gf31 | gf3 |
| 2025-12-17 01:13:40 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 01:13:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-17 01:13:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:17:57 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 01:20:13 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:22:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 01:23:15 +0100 | gf3 | (~gf3@user/gf3) (Ping timeout: 240 seconds) |
| 2025-12-17 01:24:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-17 01:28:29 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 01:28:48 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:28:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 01:31:35 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 01:31:53 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:40:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 01:42:34 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 01:42:59 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:44:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-17 01:45:42 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 01:46:03 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:49:12 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4560:111e:4edd:d178) (Ping timeout: 244 seconds) |
| 2025-12-17 01:49:30 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) |
| 2025-12-17 01:50:00 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-17 01:52:32 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 01:52:51 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:53:57 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 01:54:13 +0100 | acidjnk | (~acidjnk@p200300d6e71719974d985e7e473d8889.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-12-17 01:54:14 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) (Ping timeout: 260 seconds) |
| 2025-12-17 01:54:16 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 01:55:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 02:00:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 02:02:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-17 02:05:43 +0100 | annamalai | (~annamalai@157.32.212.233) (Ping timeout: 264 seconds) |
| 2025-12-17 02:08:09 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) |
| 2025-12-17 02:08:58 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-17 02:11:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 02:11:35 +0100 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-17 02:14:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-17 02:15:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 02:15:45 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 02:15:53 +0100 | Googulator38 | (~Googulato@87-97-86-146.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 02:17:24 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-17 02:24:33 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-17 02:24:45 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-17 02:24:50 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-17 02:26:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 02:28:09 +0100 | omidmash7 | (~omidmash@user/omidmash) omidmash |
| 2025-12-17 02:30:23 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-12-17 02:30:23 +0100 | omidmash7 | omidmash |
| 2025-12-17 02:30:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 02:34:48 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-17 02:40:02 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2025-12-17 02:40:47 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-17 02:42:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 02:42:43 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2025-12-17 02:45:43 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 02:45:44 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 02:45:54 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-17 02:46:24 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-17 02:46:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-17 02:52:02 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-17 02:54:01 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-17 02:54:13 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) (Ping timeout: 255 seconds) |
| 2025-12-17 02:56:54 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-17 02:57:19 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-17 02:57:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 02:57:47 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 03:02:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-17 03:13:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 03:15:39 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 03:15:40 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 03:18:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 03:22:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-17 03:25:43 +0100 | spew | (~spew@user/spew) (Remote host closed the connection) |
| 2025-12-17 03:28:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 03:28:36 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-17 03:32:42 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 265 seconds) |
| 2025-12-17 03:33:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-17 03:34:10 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-17 03:35:23 +0100 | spew_ | (~spew@user/spew) spew |
| 2025-12-17 03:36:46 +0100 | spew | (~spew@user/spew) (Ping timeout: 244 seconds) |
| 2025-12-17 03:43:54 +0100 | spew_ | (~spew@user/spew) (Ping timeout: 260 seconds) |
| 2025-12-17 03:43:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 03:45:39 +0100 | Googulator14 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 03:45:40 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 03:48:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 03:55:57 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-12-17 03:59:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 04:04:12 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 252 seconds) |
| 2025-12-17 04:05:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 04:16:58 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-12-17 04:17:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 04:22:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-17 04:22:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-17 04:29:22 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-12-17 04:31:18 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-17 04:32:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 04:37:06 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-17 04:37:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 04:39:05 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-17 04:39:35 +0100 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-17 04:41:48 +0100 | td_ | (~td@i5387090B.versanet.de) |
| 2025-12-17 04:42:11 +0100 | trickard_ | trickard |
| 2025-12-17 04:43:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-17 04:48:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 04:52:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 04:55:52 +0100 | annamalai | (~annamalai@157.32.115.204) annamalai |
| 2025-12-17 05:01:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-17 05:03:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 05:08:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 05:15:39 +0100 | Googulator14 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 05:15:47 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 05:15:58 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-17 05:19:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 05:23:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-17 05:34:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 05:36:19 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) (Read error: Connection reset by peer) |
| 2025-12-17 05:36:33 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) sp1ff |
| 2025-12-17 05:39:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 05:45:41 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 05:45:49 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 05:48:10 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2025-12-17 05:49:43 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) (Read error: Connection reset by peer) |
| 2025-12-17 05:49:56 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) sp1ff |
| 2025-12-17 05:50:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 05:52:50 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-17 05:54:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 05:56:03 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) (Read error: Connection reset by peer) |
| 2025-12-17 05:56:17 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) sp1ff |
| 2025-12-17 06:03:18 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2025-12-17 06:03:19 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-12-17 06:05:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 06:06:51 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-12-17 06:06:55 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-17 06:13:12 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2025-12-17 06:14:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 06:14:54 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
| 2025-12-17 06:17:49 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-17 06:24:27 +0100 | myxos | (~myxos@2001:579:8380:f20:b869:f32d:617d:ee68) (Ping timeout: 252 seconds) |
| 2025-12-17 06:24:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 06:25:38 +0100 | annamalai | (~annamalai@157.32.115.204) (Remote host closed the connection) |
| 2025-12-17 06:26:00 +0100 | annamalai | (~annamalai@157.32.115.204) annamalai |
| 2025-12-17 06:28:23 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) myxokephale |
| 2025-12-17 06:29:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-17 06:39:56 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2025-12-17 06:40:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 06:42:40 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-12-17 06:48:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-17 06:49:29 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2025-12-17 06:51:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-17 06:51:29 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-17 06:53:10 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-17 07:01:16 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2025-12-17 07:02:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 07:04:06 +0100 | michalz | (~michalz@185.246.207.193) |
| 2025-12-17 07:06:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-17 07:10:27 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-12-17 07:12:24 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-17 07:12:54 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2025-12-17 07:17:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 07:20:24 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-17 07:22:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 07:32:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 07:35:43 +0100 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 264 seconds) |
| 2025-12-17 07:37:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 07:46:57 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2025-12-17 07:46:58 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2025-12-17 07:46:58 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2025-12-17 07:48:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 07:52:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-17 07:54:07 +0100 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 240 seconds) |
| 2025-12-17 07:56:54 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2025-12-17 07:56:54 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2025-12-17 07:56:54 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2025-12-17 08:03:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 08:08:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-17 08:10:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 08:15:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-17 08:15:44 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-17 08:23:54 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-12-17 08:24:17 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-12-17 08:26:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 08:30:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 08:32:12 +0100 | annamalai | (~annamalai@157.32.115.204) (Ping timeout: 244 seconds) |
| 2025-12-17 08:33:58 +0100 | hc | (~hc@mail.hce.li) hc |
| 2025-12-17 08:41:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 08:46:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 08:50:22 +0100 | annamalai | (~annamalai@2409:4042:2319:cd57::21e0:60a5) annamalai |
| 2025-12-17 08:56:26 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-17 08:57:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 09:01:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 09:06:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 09:07:35 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 09:07:48 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 09:11:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 09:14:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2025-12-17 09:16:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 09:29:02 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-17 09:32:58 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-17 09:35:17 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2025-12-17 09:36:23 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-17 09:36:28 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-17 09:36:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-17 09:52:55 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-12-17 09:55:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 09:59:17 +0100 | <tomsmeding> | monochrom: liftA2 has a default definition ;) |
| 2025-12-17 10:00:05 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 10:00:18 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 10:02:25 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-12-17 10:03:17 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 2025-12-17 10:04:49 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-17 10:22:32 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-17 10:25:42 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-17 10:27:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-17 10:30:29 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-17 10:33:45 +0100 | acidjnk | (~acidjnk@p200300d6e7171931a1bb0b767d660e96.dip0.t-ipconnect.de) acidjnk |
| 2025-12-17 10:35:18 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-12-17 10:38:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-17 10:40:11 +0100 | gehmehgeh | gmg |
| 2025-12-17 10:45:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 10:48:44 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-12-17 10:49:21 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-17 10:58:44 +0100 | kuribas | (~user@2a02-1810-2825-6000-71f1-6220-91c0-611e.ip6.access.telenet.be) kuribas |
| 2025-12-17 11:02:52 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-17 11:04:18 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-17 11:08:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-12-17 11:12:26 +0100 | Googulator60 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-17 11:15:53 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-17 11:17:32 +0100 | Googulator25 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-17 11:17:58 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 11:18:12 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 11:18:33 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-17 11:20:13 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 11:20:21 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 11:21:28 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-12-17 11:21:35 +0100 | Googulator60 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-17 11:22:05 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-17 11:25:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 11:25:45 +0100 | Googulator25 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 11:25:47 +0100 | Googulator20 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-17 11:32:35 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-17 11:36:01 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-17 11:38:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 11:41:28 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 11:41:40 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 11:43:24 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-17 11:44:20 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-17 11:47:42 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-17 11:55:53 +0100 | Googulator33 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-17 11:55:53 +0100 | Googulator20 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 11:56:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 12:00:19 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2025-12-17 12:01:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 12:07:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-17 12:11:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-12-17 12:12:11 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 12:13:43 +0100 | kuribas | (~user@2a02-1810-2825-6000-71f1-6220-91c0-611e.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-12-17 12:17:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-12-17 12:27:52 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-17 12:28:18 +0100 | jj | (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) (Ping timeout: 260 seconds) |
| 2025-12-17 12:29:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 12:33:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-17 12:35:59 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 12:36:45 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 12:38:09 +0100 | jj | (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) omentic |
| 2025-12-17 12:42:03 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 250 seconds) |
| 2025-12-17 12:45:33 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 12:49:52 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 12:58:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 12:59:31 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 13:03:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 13:10:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 13:12:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 13:13:37 +0100 | Googulator33 | Googulator |
| 2025-12-17 13:14:39 +0100 | <bwe> | Why does enabling RebindableSyntax (to use OverloadedRecordUpdate) on ghc 9.12.2 just makes ghc to emit a load of compiler errors (so basically nothing is working)? |
| 2025-12-17 13:15:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 13:19:01 +0100 | <tomsmeding> | bwe: it would be useful if you post what errors you are getting |
| 2025-12-17 13:19:23 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 13:21:17 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 13:24:25 +0100 | <bwe> | tomsmeding: I can reduce it to three types of errors: https://paste.tomsmeding.com/96H7v7Cm |
| 2025-12-17 13:27:09 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 13:28:40 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 13:28:50 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-17 13:28:53 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 13:28:56 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-17 13:29:36 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Client Quit) |
| 2025-12-17 13:29:47 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 13:30:56 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 13:33:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 13:39:04 +0100 | <tomsmeding> | bwe: RebindableSyntax works by desugaring certain types of syntax to normal variable references instead; see https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rebindable_syntax.html#extension-Re… |
| 2025-12-17 13:39:18 +0100 | <tomsmeding> | so it essentially assumes that you've imported Prelude |
| 2025-12-17 13:39:49 +0100 | <tomsmeding> | RebindableSyntax is an extremely heavy hammer |
| 2025-12-17 13:52:16 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-17 13:58:01 +0100 | <bwe> | tomsmeding: so, I might just opt for microlens, then |
| 2025-12-17 13:58:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1f37:fc57:df55:8ce4) |
| 2025-12-17 14:06:49 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-17 14:09:10 +0100 | trickard_ | trickard |
| 2025-12-17 14:22:09 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) (Ping timeout: 250 seconds) |
| 2025-12-17 14:22:39 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-17 14:26:58 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.2) |
| 2025-12-17 14:28:26 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-12-17 14:35:14 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 14:37:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 14:45:44 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 14:48:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 15:14:41 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-17 15:15:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 15:18:37 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-17 15:19:02 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-12-17 15:22:13 +0100 | Googulator | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 15:22:36 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 15:23:16 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 15:23:30 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 15:24:01 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 2025-12-17 15:24:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 15:25:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 15:26:05 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-12-17 15:28:04 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-17 15:28:54 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 15:30:20 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-17 15:31:07 +0100 | mrvdb | (~mrvdb@185.92.221.186) mrvdb |
| 2025-12-17 15:33:30 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 15:33:42 +0100 | sp1ff | (~user@2607:fb90:3390:2ed4:dd14:a562:533d:55cc) sp1ff |
| 2025-12-17 15:34:01 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 15:35:16 +0100 | img | (~img@user/img) img |
| 2025-12-17 15:45:20 +0100 | mrvdb | (~mrvdb@185.92.221.186) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 15:51:37 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 15:55:52 +0100 | mrvdb | (~mrvdb@185.92.221.186) mrvdb |
| 2025-12-17 15:57:02 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-17 16:02:57 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-17 16:05:59 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 16:06:02 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 16:10:56 +0100 | Googulator73 | Googulator |
| 2025-12-17 16:18:55 +0100 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-12-17 16:21:12 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-12-17 16:22:13 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-17 16:22:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-17 16:27:10 +0100 | srazkvt | (~sarah@user/srazkvt) (Remote host closed the connection) |
| 2025-12-17 16:32:58 +0100 | fp | (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) fp |
| 2025-12-17 16:33:03 +0100 | fp | (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) (Client Quit) |
| 2025-12-17 16:35:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-17 16:39:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-17 16:44:32 +0100 | qqe | (~qqq@185.54.20.98) (Quit: Lost terminal) |
| 2025-12-17 16:45:56 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-17 16:46:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-17 16:46:47 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-17 16:49:31 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-17 16:49:38 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 16:50:16 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) (Remote host closed the connection) |
| 2025-12-17 16:52:55 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 240 seconds) |
| 2025-12-17 16:57:46 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-17 16:57:50 +0100 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2025-12-17 16:58:26 +0100 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2025-12-17 16:58:40 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2025-12-17 16:59:49 +0100 | mrvdb | (~mrvdb@185.92.221.186) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 17:00:48 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 17:03:32 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-17 17:16:34 +0100 | sp1ff | (~user@2607:fb90:3390:2ed4:dd14:a562:533d:55cc) (Ping timeout: 246 seconds) |
| 2025-12-17 17:16:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 17:20:40 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 17:20:59 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 17:23:26 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-17 17:25:14 +0100 | milan2 | (~milan@88.212.61.169) |
| 2025-12-17 17:27:13 +0100 | deptype | (~deptype@2406:b400:3a:2dd5:59b2:1154:4ab5:509e) |
| 2025-12-17 17:29:24 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-12-17 17:29:24 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-17 17:30:27 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 17:32:03 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 17:32:43 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 2025-12-17 17:38:29 +0100 | sp1ff | (~user@2607:fb90:3397:1dee:eb26:2295:32e9:767a) sp1ff |
| 2025-12-17 17:42:02 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-12-17 17:43:19 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-17 17:47:06 +0100 | yin | (~zero@user/zero) (Ping timeout: 244 seconds) |
| 2025-12-17 17:48:44 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-17 17:50:27 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 17:50:43 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 17:55:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 17:58:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 17:58:18 +0100 | cheater | (~AdminUser@2a02:8388:a180:3500:2936:d5c0:ce56:944) |
| 2025-12-17 18:03:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 18:05:13 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 246 seconds) |
| 2025-12-17 18:06:07 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-17 18:20:47 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 18:20:53 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 18:26:15 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-17 18:26:42 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 18:32:54 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-12-17 18:37:23 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 250 seconds) |
| 2025-12-17 18:39:32 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-17 18:44:18 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-17 18:46:22 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-12-17 18:46:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-12-17 18:47:43 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2025-12-17 18:51:48 +0100 | killy | (~killy@193.142.201.134) |
| 2025-12-17 18:51:52 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-17 18:56:25 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 2025-12-17 18:56:31 +0100 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.7.2) |
| 2025-12-17 18:57:07 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-17 18:59:07 +0100 | _________ | (~nobody@user/noodly) (Ping timeout: 264 seconds) |
| 2025-12-17 19:04:42 +0100 | killy | (~killy@193.142.201.134) (Ping timeout: 244 seconds) |
| 2025-12-17 19:06:33 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-12-17 19:10:17 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-17 19:10:58 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-12-17 19:15:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 19:16:05 +0100 | deptype | (~deptype@2406:b400:3a:2dd5:59b2:1154:4ab5:509e) (Remote host closed the connection) |
| 2025-12-17 19:19:08 +0100 | <milan2> | Hello guyz :) copied "Getting started" example of https://hackage.haskell.org/package/wai-3.2.4 and used this line as first line in app function makeSettingsAndCounter >>= (pure . fst) >>=getCount >>= print Then I run seq 1 2000 | xargs -Iname -n1 -P2000 curl --http1.1 -s "http://localhost:8080/" but my web server still prints 0 connections. Do you have any idea why? |
| 2025-12-17 19:20:55 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 19:20:55 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 19:21:58 +0100 | sp1ff | (~user@2607:fb90:3397:1dee:eb26:2295:32e9:767a) (Ping timeout: 255 seconds) |
| 2025-12-17 19:22:45 +0100 | <milan2> | It should use http1.1 which should open new connection on every curl request.. |
| 2025-12-17 19:26:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 19:28:27 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-17 19:37:27 +0100 | <milan2> | Hmm... maybe there is no "context switch" |
| 2025-12-17 19:40:56 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-17 19:41:31 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-17 19:42:53 +0100 | <int-e> | what is `makeSettingsAndCounter`? The `app` part is executed for each request, so perhaps you're making a new counter every time too. |
| 2025-12-17 19:43:57 +0100 | <milan2> | int-e: Here https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp.html#g:5 |
| 2025-12-17 19:44:47 +0100 | <milan2> | int-e: Yeah..that might be true.. |
| 2025-12-17 19:44:55 +0100 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-17 19:46:20 +0100 | <int-e> | milan2: yeah I'm pretty sure you're supposed to do that in `main` and pass the counter to your request handler(s) (which includes `app`). |
| 2025-12-17 19:46:54 +0100 | <int-e> | You can have `app :: Counter -> Application`. |
| 2025-12-17 19:47:05 +0100 | sp1ff | (~user@c-73-164-203-114.hsd1.wa.comcast.net) sp1ff |
| 2025-12-17 19:47:47 +0100 | <int-e> | (and change the next line to `ap counter _ respond = do` accordingly) |
| 2025-12-17 19:47:51 +0100 | <int-e> | *app |
| 2025-12-17 19:50:00 +0100 | <milan2> | That makes sense.. this will reuse counter and may show different number. |
| 2025-12-17 19:50:07 +0100 | jj | (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) (Ping timeout: 240 seconds) |
| 2025-12-17 19:53:54 +0100 | _________ | (~nobody@user/noodly) _________ |
| 2025-12-17 20:09:22 +0100 | <milan2> | int-e: Heck :D same result :D |
| 2025-12-17 20:09:58 +0100 | <milan2> | Maybe I need to build it with "parallel" support? These special options for ghc. |
| 2025-12-17 20:12:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-17 20:13:31 +0100 | <int-e> | milan2: do you increment the counter anywhere? |
| 2025-12-17 20:14:14 +0100 | <int-e> | Hmm. I'm actually confused about something here. |
| 2025-12-17 20:14:52 +0100 | arahael | (~wetfoot@user/arahael) (Ping timeout: 244 seconds) |
| 2025-12-17 20:15:35 +0100 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-12-17 20:15:46 +0100 | <int-e> | milan2: you also need to use https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp.html#v:runSe… so that it actually uses the settings that include that particular counter. |
| 2025-12-17 20:17:24 +0100 | <int-e> | which and that means you need https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp.html#v:setPort for setting the port in the settings. |
| 2025-12-17 20:17:56 +0100 | <milan2> | int-e: No I don't I expect wai/warp to update counter. |
| 2025-12-17 20:18:26 +0100 | <int-e> | if nobody updates the counter then it will always be 0 |
| 2025-12-17 20:18:40 +0100 | <milan2> | int-e: Also it is true that I don't use settings at all.. maybe I really need to runSettings |
| 2025-12-17 20:19:13 +0100 | <milan2> | int-e: But how could I? I don't open connections to increment counter. This should be wai/warp work to do right? |
| 2025-12-17 20:20:20 +0100 | <int-e> | milan2: But for warp to do it it needs to know about the counter. That information is part of the Settings record that you're not using. |
| 2025-12-17 20:22:29 +0100 | <milan2> | int-e: Yes I get your point. So even tho makeSettingsAndCounter returns IO (Counter, Settings) this Counter is bound with Settings and If I don't start app with settings explicitly Counter won't be updated. |
| 2025-12-17 20:22:34 +0100 | <milan2> | Well lets try it then. |
| 2025-12-17 20:22:36 +0100 | <int-e> | (The thing I was confused about was what the intended use of that `makeSettingsAndCounter` function is, or put differently, why there's utility in tying these two together. The fact that the Settings value has an optional counter for counting connections is what I was missing.) |
| 2025-12-17 20:23:18 +0100 | <milan2> | Where do you see that Settings has Counter ? |
| 2025-12-17 20:24:41 +0100 | sp1ff` | (~user@2601:1c2:4c00:55a0::59db) |
| 2025-12-17 20:25:34 +0100 | <int-e> | The docs for makeSettingsAndCounter say: "Create Settings with a connection counter." |
| 2025-12-17 20:25:45 +0100 | sp1ff | (~user@c-73-164-203-114.hsd1.wa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-12-17 20:26:10 +0100 | <int-e> | You can also look at the Settings record itself, it's exposed by a ...Internal module: https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp-Internal.htm… |
| 2025-12-17 20:28:10 +0100 | <milan2> | int-e: You rock! It's there.. It starts to make sense. I am pretty sure it will work now. |
| 2025-12-17 20:30:47 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-12-17 20:31:24 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-17 20:32:42 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-17 20:33:04 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2025-12-17 20:35:27 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-17 20:37:37 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-17 20:38:24 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-12-17 20:42:30 +0100 | <milan2> | int-e: It works.. It increased to 6. TO read a documenation of others is a skill in itself :) |
| 2025-12-17 20:58:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-17 21:00:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-17 21:00:16 +0100 | <chromoblob> | the required skill is in inverse relationship with the quality of documentation. |
| 2025-12-17 21:03:07 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-17 21:04:34 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-17 21:04:35 +0100 | ljdarj1 | ljdarj |
| 2025-12-17 21:05:58 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-17 21:08:48 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-17 21:11:31 +0100 | <[exa]> | (why are there no documentation competitions? like programming competitions or art exhibitions or performer fairs, we should have a documentation hall of fame or so) |
| 2025-12-17 21:11:43 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-12-17 21:14:55 +0100 | <int-e> | hmmmm competitive technical writing |
| 2025-12-17 21:15:28 +0100 | <tomsmeding> | who'd be the judges? |
| 2025-12-17 21:15:41 +0100 | <monochrom> | Past generation of programmers arising from the selection bias of going into programming because they hated natural languages and/or literature. I know, I was one of them. |
| 2025-12-17 21:15:46 +0100 | <tomsmeding> | computer science first-year students? |
| 2025-12-17 21:15:50 +0100 | <milan2> | I find writing good documentation more difficult than comparable good code. |
| 2025-12-17 21:16:17 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-17 21:16:33 +0100 | <monochrom> | (Then they went on to hide behind the facade of "you can just look at the source code".) |
| 2025-12-17 21:16:59 +0100 | <int-e> | milan2: That's okay; it's less rewarding too :P |
| 2025-12-17 21:20:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 21:21:48 +0100 | <monochrom> | The complementary selection bias being that people who are good at writing in natural languages for other human readers can have much happier careers as writers and/or journalists, or much more wealthy careers as lawyers and/or politicians. |
| 2025-12-17 21:24:09 +0100 | <milan2> | hmm |
| 2025-12-17 21:25:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-17 21:28:34 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
| 2025-12-17 21:36:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 21:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 21:47:19 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-17 21:47:53 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2025-12-17 21:48:24 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-17 21:51:44 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-17 21:52:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 21:57:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-17 22:01:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 22:01:07 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2025-12-17 22:07:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-17 22:08:08 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-12-17 22:08:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-17 22:08:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-17 22:08:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 22:08:40 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-17 22:09:49 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 22:11:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-17 22:13:32 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-12-17 22:15:15 +0100 | milan2 | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-17 22:15:31 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2025-12-17 22:15:46 +0100 | oats | (~oats@user/oats) oats |
| 2025-12-17 22:19:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 22:19:55 +0100 | <yin> | [S] Skip [D] Default (GHCup maintained) [V] Vanilla (Upstream maintained) [?] Help (default is "Skip"). |
| 2025-12-17 22:20:15 +0100 | <yin> | do Default is not default |
| 2025-12-17 22:20:36 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-12-17 22:21:15 +0100 | <yin> | what happens if i skip? |
| 2025-12-17 22:21:58 +0100 | <haskellbridge> | <sm> a little more context .. ? |
| 2025-12-17 22:22:11 +0100 | <geekosaur> | specifically, what's asking you this? |
| 2025-12-17 22:22:15 +0100 | Googulator67 | Googulator |
| 2025-12-17 22:22:21 +0100 | <geekosaur> | and wehy/what did you run exactly? |
| 2025-12-17 22:22:22 +0100 | <yin> | ghcup installer: "GHCup provides different binary distribution "channels". These are collections of tools and may differ in purpose and philosophy. First, we select the base channel." |
| 2025-12-17 22:23:08 +0100 | <yin> | sorry i thought this was obvious due to the Default being "GHCup maintained) |
| 2025-12-17 22:24:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 22:24:14 +0100 | <monochrom> | Does "[?] Help" say anything? |
| 2025-12-17 22:24:53 +0100 | <yin> | it does. Skip = do nothing and leave config as is |
| 2025-12-17 22:25:14 +0100 | <yin> | Default = the default channel maintained by ghcup... |
| 2025-12-17 22:25:16 +0100 | <geekosaur> | sounds like you already have a config with a metadata channel in place |
| 2025-12-17 22:25:41 +0100 | <yin> | if i do, i don't know about it |
| 2025-12-17 22:25:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-17 22:25:53 +0100 | <tomsmeding> | do you have a ~/.ghcup/config.yaml? |
| 2025-12-17 22:26:12 +0100 | <geekosaur> | might ask platform first, they won't on Windows 🙂 |
| 2025-12-17 22:26:13 +0100 | <yin> | no, this is a fresh box |
| 2025-12-17 22:26:27 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-12-17 22:26:28 +0100 | <yin> | void linux |
| 2025-12-17 22:26:37 +0100 | <tomsmeding> | just choose D and not worry about it? |
| 2025-12-17 22:26:52 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-17 22:27:11 +0100 | <yin> | oh wait, i do actually |
| 2025-12-17 22:27:20 +0100 | <tomsmeding> | ;) |
| 2025-12-17 22:27:41 +0100 | <yin> | but it was created by this installer :p |
| 2025-12-17 22:27:46 +0100 | <yin> | just now |
| 2025-12-17 22:28:59 +0100 | <geekosaur> | … |
| 2025-12-17 22:29:14 +0100 | <geekosaur> | I think I have Questions about how this works |
| 2025-12-17 22:29:18 +0100 | <geekosaur> | (not to you) |
| 2025-12-17 22:30:10 +0100 | <tomsmeding> | my advice of "hit D and care not" stands, though I agree with geekosaur |
| 2025-12-17 22:30:52 +0100 | <yin> | i will refrain from any comment on that advice out of context |
| 2025-12-17 22:33:30 +0100 | <geekosaur> | I would seriously suggest filing a UX bug |
| 2025-12-17 22:33:51 +0100 | <geekosaur> | I mean, I can imagine why it would be doing it, but … gaaah |
| 2025-12-17 22:34:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 22:39:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 22:43:19 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-17 22:44:38 +0100 | <yin> | turns out there's one already https://github.com/haskell/ghcup-hs/issues/1278 |
| 2025-12-17 22:46:03 +0100 | <haskellbridge> | <sm> 👍🏻 |
| 2025-12-17 22:50:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 22:53:28 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-17 22:54:50 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-17 22:55:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-17 22:56:41 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-17 23:02:21 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 23:02:35 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 23:04:45 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-17 23:06:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 23:08:03 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2025-12-17 23:10:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-17 23:12:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 23:13:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-17 23:15:04 +0100 | <haskellbridge> | <Liamzee> this is nuts |
| 2025-12-17 23:15:15 +0100 | <haskellbridge> | <Liamzee> i have to used typedprocess to dodge C segfaults? |
| 2025-12-17 23:15:17 +0100 | yaroot | (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) (Ping timeout: 244 seconds) |
| 2025-12-17 23:16:22 +0100 | <haskellbridge> | <Liamzee> i.e, if you use C FFI, you always have to put up with, either a, spawning a new process so the C can blow up on itself, or b, having unrecoverable exceptions? |
| 2025-12-17 23:17:06 +0100 | <int-e> | you could call into C code that doesn't segfault |
| 2025-12-17 23:17:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 23:17:50 +0100 | <haskellbridge> | <Liamzee> i'm currently trying to port compression libs and a parquet reader |
| 2025-12-17 23:18:01 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-17 23:18:49 +0100 | <haskellbridge> | <Liamzee> i mean there's a reasonable chance it won't segfault, otherwise, build both direct access and typed process versions of the same thing |
| 2025-12-17 23:18:58 +0100 | <haskellbridge> | <Liamzee> and let the user check what they want |
| 2025-12-17 23:28:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 23:29:59 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot |