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