| 2024-12-11 00:00:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-11 00:04:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f80158cd9c34330b2d1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-12-11 00:06:28 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-12-11 00:06:33 +0000 | iqubic | (~sophia@2601:602:9201:9440:9777:a5e9:365:fd69) (Ping timeout: 276 seconds) |
| 2024-12-11 00:11:24 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b7b1:ecef:a8b4:e165) (Ping timeout: 260 seconds) |
| 2024-12-11 00:11:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 00:12:14 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 00:18:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-11 00:20:00 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2024-12-11 00:21:55 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-11 00:22:31 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 00:25:55 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 00:25:58 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 00:26:07 +0000 | cbarrett | (uid192934@id-192934.helmsley.irccloud.com) cbarrett |
| 2024-12-11 00:27:58 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 00:28:55 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1d57:63dc:1fef:3969) (Ping timeout: 264 seconds) |
| 2024-12-11 00:29:04 +0000 | dpratt | (~dpratt@165.225.212.195) dpratt |
| 2024-12-11 00:29:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 00:29:37 +0000 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) (Ping timeout: 248 seconds) |
| 2024-12-11 00:30:23 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 00:32:46 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-11 00:34:06 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 00:34:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-11 00:36:01 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 00:38:22 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-12-11 00:40:13 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-12-11 00:44:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 00:49:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-11 00:52:32 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 01:00:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 01:00:24 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-11 01:04:37 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-12-11 01:04:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 01:05:07 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 01:08:53 +0000 | AnaBanana | (~AnaBanana@77.29.132.109) |
| 2024-12-11 01:14:49 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 01:15:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 01:17:15 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 01:17:51 +0000 | housemate | (~housemate@2405:6e00:2426:2f2e:d43b:2661:35a8:2e87) housemate |
| 2024-12-11 01:20:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 01:21:40 +0000 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-11 01:22:51 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 01:25:48 +0000 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 2024-12-11 01:27:50 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-12-11 01:27:57 +0000 | foul_owl | (~kerry@185.219.141.161) (Ping timeout: 246 seconds) |
| 2024-12-11 01:29:37 +0000 | AnaBanana | (~AnaBanana@77.29.132.109) (Quit: Client closed) |
| 2024-12-11 01:30:02 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-12-11 01:30:45 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 01:31:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 01:35:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 01:36:10 +0000 | foul_owl | (~kerry@174-21-81-201.tukw.qwest.net) foul_owl |
| 2024-12-11 01:36:19 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 01:41:04 +0000 | housemate | (~housemate@2405:6e00:2426:2f2e:d43b:2661:35a8:2e87) (Read error: Connection reset by peer) |
| 2024-12-11 01:42:19 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 01:42:35 +0000 | foul_owl | (~kerry@174-21-81-201.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2024-12-11 01:47:34 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) |
| 2024-12-11 01:50:41 +0000 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-11 01:51:46 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer) |
| 2024-12-11 01:56:45 +0000 | foul_owl | (~kerry@157.97.134.166) foul_owl |
| 2024-12-11 01:58:18 +0000 | yangby | (~secret@115.196.174.150) yangby |
| 2024-12-11 01:59:21 +0000 | dpratt | (~dpratt@165.225.212.195) (Quit: Client closed) |
| 2024-12-11 02:01:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 02:02:21 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:403:7:75dc:6050:dc88:1e74) |
| 2024-12-11 02:05:59 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-11 02:06:54 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:403:7:75dc:6050:dc88:1e74) (Read error: Connection reset by peer) |
| 2024-12-11 02:06:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-11 02:11:33 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:403:7:75dc:6050:dc88:1e74) |
| 2024-12-11 02:13:15 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:403:7:75dc:6050:dc88:1e74) (Read error: Connection reset by peer) |
| 2024-12-11 02:15:15 +0000 | iqubic | (~sophia@2601:602:9201:9440:ffda:929e:4882:546b) iqubic |
| 2024-12-11 02:17:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 02:18:30 +0000 | divya- | (divya@140.238.251.170) divya |
| 2024-12-11 02:19:51 +0000 | divya- | divya |
| 2024-12-11 02:21:18 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) |
| 2024-12-11 02:21:21 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) (Remote host closed the connection) |
| 2024-12-11 02:21:28 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) |
| 2024-12-11 02:22:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-11 02:23:36 +0000 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-11 02:31:25 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) (Remote host closed the connection) |
| 2024-12-11 02:31:34 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) |
| 2024-12-11 02:32:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 02:34:25 +0000 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2024-12-11 02:37:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-11 02:40:21 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) (Ping timeout: 248 seconds) |
| 2024-12-11 02:40:31 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:d:2d31:26b5:d0b0:8f62) |
| 2024-12-11 02:43:12 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-12-11 02:44:22 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-11 02:44:36 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-11 02:45:33 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:d:2d31:26b5:d0b0:8f62) (Remote host closed the connection) |
| 2024-12-11 02:45:46 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:d:2d31:26b5:d0b0:8f62) |
| 2024-12-11 02:47:47 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-12-11 02:48:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 02:51:13 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-11 02:52:09 +0000 | vanishing | vanishingideal |
| 2024-12-11 02:54:17 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:d:2d31:26b5:d0b0:8f62) (Ping timeout: 252 seconds) |
| 2024-12-11 02:54:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 02:55:15 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 02:58:20 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Remote host closed the connection) |
| 2024-12-11 02:58:29 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 03:04:18 +0000 | sonolin | (~michael@user/sonolin) (Read error: Connection reset by peer) |
| 2024-12-11 03:05:07 +0000 | sonolin | (~michael@user/sonolin) sonolin |
| 2024-12-11 03:06:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 03:10:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-11 03:16:09 +0000 | bwerng | (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) |
| 2024-12-11 03:24:44 +0000 | sonolin | (~michael@user/sonolin) (Ping timeout: 252 seconds) |
| 2024-12-11 03:26:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 03:26:52 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2024-12-11 03:31:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 03:32:44 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-12-11 03:33:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-11 03:39:18 +0000 | sonolin | (~michael@user/sonolin) sonolin |
| 2024-12-11 03:42:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-11 03:42:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 03:45:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-12-11 03:46:50 +0000 | OftenFaded | (OftenFaded@user/tisktisk) OftenFaded |
| 2024-12-11 03:46:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 03:47:44 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-11 03:49:39 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-11 03:50:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-11 03:54:15 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Remote host closed the connection) |
| 2024-12-11 03:54:22 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 03:56:34 +0000 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-12-11 03:57:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 03:58:05 +0000 | td_ | (~td@i5387092D.versanet.de) td_ |
| 2024-12-11 03:58:31 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-12-11 04:02:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-11 04:04:27 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Remote host closed the connection) |
| 2024-12-11 04:04:32 +0000 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) |
| 2024-12-11 04:04:36 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 04:13:05 +0000 | bwerng | (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Ping timeout: 248 seconds) |
| 2024-12-11 04:13:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 04:15:34 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Remote host closed the connection) |
| 2024-12-11 04:15:42 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 04:17:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 04:18:17 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer) |
| 2024-12-11 04:22:59 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 04:25:50 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer) |
| 2024-12-11 04:26:05 +0000 | falafel | (~falafel@2603:8000:b4f0:62a0:e521:5b28:43da:2d84) falafel |
| 2024-12-11 04:27:44 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-11 04:28:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 04:34:15 +0000 | alp | (~alp@2001:861:8ca0:4940:67a1:fe98:21a9:eb55) |
| 2024-12-11 04:34:58 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 04:35:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 04:36:57 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer) |
| 2024-12-11 04:37:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 04:38:42 +0000 | alp | (~alp@2001:861:8ca0:4940:67a1:fe98:21a9:eb55) (Ping timeout: 246 seconds) |
| 2024-12-11 04:42:00 +0000 | Batzy | (~quassel@user/batzy) Batzy |
| 2024-12-11 04:42:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-11 04:42:39 +0000 | <jackdk> | If you really need to hold GHC's hand, there's also the entailments in package `constraints` |
| 2024-12-11 04:45:11 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-11 04:47:00 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2024-12-11 04:47:47 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-12-11 04:50:31 +0000 | falafel | (~falafel@2603:8000:b4f0:62a0:e521:5b28:43da:2d84) (Ping timeout: 264 seconds) |
| 2024-12-11 04:50:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-11 04:52:28 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 04:53:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 04:57:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 04:58:36 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer) |
| 2024-12-11 05:08:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 05:12:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-11 05:17:47 +0000 | sonolin | (~michael@user/sonolin) (Ping timeout: 244 seconds) |
| 2024-12-11 05:21:05 +0000 | bwerng | (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) |
| 2024-12-11 05:23:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 05:28:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-11 05:38:23 +0000 | homo | (~homo@37-33-168-21.bb.dnainternet.fi) (Quit: homo) |
| 2024-12-11 05:39:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 05:43:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-11 05:48:25 +0000 | michalz | (~michalz@185.246.207.205) |
| 2024-12-11 05:50:39 +0000 | homo | (~homo@37-33-168-21.bb.dnainternet.fi) |
| 2024-12-11 05:51:05 +0000 | homo | (~homo@37-33-168-21.bb.dnainternet.fi) (Changing host) |
| 2024-12-11 05:51:05 +0000 | homo | (~homo@user/homo) homo |
| 2024-12-11 05:54:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 05:54:59 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-12-11 05:58:43 +0000 | falafel | (~falafel@2603:8000:b4f0:62a0:34eb:9562:6ceb:e5e4) falafel |
| 2024-12-11 05:59:02 +0000 | bwerng | (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Read error: Connection reset by peer) |
| 2024-12-11 05:59:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 05:59:14 +0000 | bwern | (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) |
| 2024-12-11 05:59:25 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 06:00:21 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer) |
| 2024-12-11 06:05:21 +0000 | falafel | (~falafel@2603:8000:b4f0:62a0:34eb:9562:6ceb:e5e4) (Ping timeout: 276 seconds) |
| 2024-12-11 06:10:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 06:10:33 +0000 | falafel | (~falafel@2603:8000:b4f0:62a0:6e84:907b:75a3:cba2) falafel |
| 2024-12-11 06:15:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-12-11 06:16:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 06:17:28 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-11 06:17:37 +0000 | alp | (~alp@2001:861:8ca0:4940:df64:d46a:4307:2ca3) |
| 2024-12-11 06:17:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-11 06:19:59 +0000 | falafel | (~falafel@2603:8000:b4f0:62a0:6e84:907b:75a3:cba2) (Ping timeout: 252 seconds) |
| 2024-12-11 06:26:29 +0000 | homo_ | (~homo@37-33-168-21.bb.dnainternet.fi) |
| 2024-12-11 06:26:56 +0000 | homo_ | (~homo@37-33-168-21.bb.dnainternet.fi) (Changing host) |
| 2024-12-11 06:26:56 +0000 | homo_ | (~homo@user/homo) homo |
| 2024-12-11 06:27:01 +0000 | homo | (~homo@user/homo) (Ping timeout: 244 seconds) |
| 2024-12-11 06:27:01 +0000 | homo_ | homo |
| 2024-12-11 06:28:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 06:32:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 06:38:41 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2024-12-11 06:38:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 06:43:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-11 06:47:51 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-11 06:54:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 06:54:31 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f61349c40132b872746.dip0.t-ipconnect.de) acidjnk |
| 2024-12-11 06:55:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-12-11 06:56:03 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 06:56:13 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer) |
| 2024-12-11 06:58:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 07:01:11 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) |
| 2024-12-11 07:05:24 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Ping timeout: 245 seconds) |
| 2024-12-11 07:09:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 07:11:29 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:7e9:831e:5df8:8e83:1552:ef15) |
| 2024-12-11 07:14:11 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:7e9:831e:5df8:8e83:1552:ef15) (Read error: Connection reset by peer) |
| 2024-12-11 07:14:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-11 07:18:32 +0000 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 2024-12-11 07:18:43 +0000 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) matsurago |
| 2024-12-11 07:19:29 +0000 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-12-11 07:22:29 +0000 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-12-11 07:24:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 07:26:51 +0000 | Pent | (sid313808@id-313808.lymington.irccloud.com) Pent____ |
| 2024-12-11 07:29:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 07:40:49 +0000 | kuribas | (~user@2a02:1808:2:8342:9358:9a97:2c84:3994) |
| 2024-12-11 07:42:35 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:7e9:831e:5df8:8e83:1552:ef15) |
| 2024-12-11 07:42:52 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-12-11 07:43:00 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-12-11 07:45:20 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:7e9:831e:5df8:8e83:1552:ef15) (Read error: Connection reset by peer) |
| 2024-12-11 07:50:05 +0000 | CiaoSen | (~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-11 07:59:46 +0000 | kuribas | (~user@2a02:1808:2:8342:9358:9a97:2c84:3994) (Remote host closed the connection) |
| 2024-12-11 07:59:59 +0000 | kuribas | (~user@2a02:1808:2:8342:245f:ff73:e86f:7ce9) kuribas |
| 2024-12-11 08:00:00 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-11 08:00:37 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-11 08:01:01 +0000 | vpan | (~vpan@212.117.1.172) |
| 2024-12-11 08:01:19 +0000 | vpan | Guest9190 |
| 2024-12-11 08:01:41 +0000 | Guest9190 | vpan |
| 2024-12-11 08:01:52 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 2024-12-11 08:04:30 +0000 | kuribas | (~user@2a02:1808:2:8342:245f:ff73:e86f:7ce9) (Ping timeout: 246 seconds) |
| 2024-12-11 08:07:55 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f61349c40132b872746.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-12-11 08:31:13 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 08:38:16 +0000 | JeremyB99 | (~JeremyB99@128.211.251.198) |
| 2024-12-11 08:40:00 +0000 | JeremyB99 | (~JeremyB99@128.211.251.198) (Remote host closed the connection) |
| 2024-12-11 08:40:13 +0000 | JeremyB99 | (~JeremyB99@128.211.251.198) |
| 2024-12-11 08:40:29 +0000 | falafel | (~falafel@2603:8000:b4f0:62a0:48f2:958e:154e:f667) falafel |
| 2024-12-11 08:41:52 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-12-11 08:45:35 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 08:45:40 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f61349c40132b872746.dip0.t-ipconnect.de) acidjnk |
| 2024-12-11 08:47:23 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-12-11 08:48:29 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-11 08:50:10 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-12-11 08:51:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-11 08:56:39 +0000 | <c_wraith> | does anyone else wish Bitraversable had something like Bifunctor's first and second as shortcuts when you want to traverse only over one side or the other? |
| 2024-12-11 08:57:58 +0000 | <jackdk> | https://github.com/haskell/core-libraries-committee/issues/172 |
| 2024-12-11 09:01:43 +0000 | <jackdk> | Looks like it might come in base-4.21 |
| 2024-12-11 09:02:02 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 09:03:29 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-11 09:06:40 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-12-11 09:06:48 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-12-11 09:07:11 +0000 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 2024-12-11 09:15:10 +0000 | the-zammers | (~the-zamme@129.133.150.76) |
| 2024-12-11 09:16:18 +0000 | <c_wraith> | I'm surprised that got so much pushback. I mean, I could see it if Bifunctor didn't have those things... but it does. |
| 2024-12-11 09:19:12 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 09:21:00 +0000 | falafel | (~falafel@2603:8000:b4f0:62a0:48f2:958e:154e:f667) (Ping timeout: 276 seconds) |
| 2024-12-11 09:22:38 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-11 09:23:53 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-11 09:33:56 +0000 | <tomsmeding> | agreed; I understand the reluctance to extend the already sprawling `base`, but these functions belong with Bitraversable, and since Bitraversable is in base, the functions go in base. |
| 2024-12-11 09:34:25 +0000 | <tomsmeding> | perhaps the votes against were secretly votes against Bitraversable being in base in the first place, but you can't remove that now, so the votes go against extension of the class instead |
| 2024-12-11 09:35:05 +0000 | the-zammers | (~the-zamme@129.133.150.76) (Ping timeout: 244 seconds) |
| 2024-12-11 09:36:38 +0000 | JeremyB99 | (~JeremyB99@128.211.251.198) (Remote host closed the connection) |
| 2024-12-11 09:36:45 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) |
| 2024-12-11 09:37:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-11 09:37:17 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-12-11 09:37:25 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-11 09:41:22 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 2024-12-11 09:43:50 +0000 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) |
| 2024-12-11 09:48:37 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-12-11 09:48:57 +0000 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 276 seconds) |
| 2024-12-11 09:50:05 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-11 09:52:12 +0000 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers |
| 2024-12-11 09:52:24 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 09:56:09 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-11 09:57:15 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2024-12-11 09:57:49 +0000 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 10:01:12 +0000 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers |
| 2024-12-11 10:01:58 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) (Remote host closed the connection) |
| 2024-12-11 10:02:08 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) |
| 2024-12-11 10:02:34 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-12-11 10:09:28 +0000 | lortabac | (~lortabac@37.169.113.231) lortabac |
| 2024-12-11 10:19:38 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:8c3a:75e1:d476:856c) ubert |
| 2024-12-11 10:21:27 +0000 | bwern | (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Ping timeout: 276 seconds) |
| 2024-12-11 10:22:28 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-11 10:24:54 +0000 | yangby | (~secret@115.196.174.150) (Ping timeout: 240 seconds) |
| 2024-12-11 10:25:43 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-12-11 10:26:09 +0000 | lortabac | (~lortabac@37.169.113.231) (Quit: WeeChat 4.4.2) |
| 2024-12-11 10:29:53 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 10:39:00 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-12-11 10:43:55 +0000 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 260 seconds) |
| 2024-12-11 10:48:15 +0000 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2024-12-11 10:50:19 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 10:51:14 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) (Remote host closed the connection) |
| 2024-12-11 10:51:23 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) |
| 2024-12-11 10:54:59 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-12-11 10:55:37 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b4d0:4274:499:d865) |
| 2024-12-11 11:04:52 +0000 | Digit | (~user@user/digit) (Quit: testing config from fresh... and probably a few times. adjusted autojoin to reduce noise. bbs/bbl.) |
| 2024-12-11 11:07:03 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 11:10:45 +0000 | CiaoSen | (~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-12-11 11:20:51 +0000 | aforemny | (~aforemny@2001:9e8:6cf0:6300:2ab4:61cd:5946:a5ad) aforemny |
| 2024-12-11 11:22:12 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3206-db85-a85d-413e-4c46-c70d.rev.sfr.net) alexherbo2 |
| 2024-12-11 11:28:03 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-11 11:29:21 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-12-11 11:33:27 +0000 | emad | (~emad@156.214.254.200) emad |
| 2024-12-11 11:37:35 +0000 | CiaoSen | (~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-11 11:41:58 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-12-11 11:43:01 +0000 | emad | (~emad@156.214.254.200) (Quit: Leaving) |
| 2024-12-11 11:49:30 +0000 | user_ | (~user@user/fmira) fmira |
| 2024-12-11 11:51:14 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-11 11:51:48 +0000 | fmira | (~user@user/fmira) (Ping timeout: 264 seconds) |
| 2024-12-11 11:53:44 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-12-11 11:54:29 +0000 | OftenFaded | (OftenFaded@user/tisktisk) (Quit: Client closed) |
| 2024-12-11 12:03:05 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-12-11 12:03:11 +0000 | Digit | (~user@user/digit) Digit |
| 2024-12-11 12:05:37 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-12-11 12:07:16 +0000 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2024-12-11 12:07:16 +0000 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2024-12-11 12:18:04 +0000 | CiaoSen | (~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2024-12-11 12:20:22 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-11 12:21:14 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 245 seconds) |
| 2024-12-11 12:21:20 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-12-11 12:22:35 +0000 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-11 12:23:48 +0000 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2024-12-11 12:24:39 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-12-11 12:25:58 +0000 | Digitteknohippie | Digit |
| 2024-12-11 12:27:10 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2024-12-11 12:28:58 +0000 | end | (~end@user/end/x-0094621) end^ |
| 2024-12-11 12:29:29 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-11 12:29:35 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-11 12:33:13 +0000 | libertyprime | (~libertypr@118.92.70.94) libertyprime |
| 2024-12-11 12:33:13 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-12-11 12:33:16 +0000 | libertyprime | (~libertypr@118.92.70.94) (Remote host closed the connection) |
| 2024-12-11 12:33:29 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-12-11 12:36:06 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 246 seconds) |
| 2024-12-11 12:38:47 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-11 12:40:13 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-12-11 12:41:29 +0000 | Digit | (~user@user/digit) (Quit: okay, just one more restart to make sure i have this config working cleanly) |
| 2024-12-11 12:45:33 +0000 | Digit | (~user@user/digit) Digit |
| 2024-12-11 12:46:47 +0000 | danza | (~danza@user/danza) danza |
| 2024-12-11 12:47:06 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-12-11 12:47:53 +0000 | danza | (~danza@user/danza) danza |
| 2024-12-11 12:55:22 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3206-db85-a85d-413e-4c46-c70d.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-11 12:55:41 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3206-db85-a85d-413e-4c46-c70d.rev.sfr.net) alexherbo2 |
| 2024-12-11 12:57:36 +0000 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2024-12-11 13:04:23 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-11 13:04:32 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-12-11 13:05:18 +0000 | Digit | (~user@user/digit) Digit |
| 2024-12-11 13:05:28 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-11 13:07:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-11 13:10:00 +0000 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-11 13:10:20 +0000 | homo | (~homo@37-33-168-21.bb.dnainternet.fi) |
| 2024-12-11 13:10:54 +0000 | homo | (~homo@37-33-168-21.bb.dnainternet.fi) (Changing host) |
| 2024-12-11 13:10:54 +0000 | homo | (~homo@user/homo) homo |
| 2024-12-11 13:14:39 +0000 | omegatron | (~some@user/omegatron) omegatron |
| 2024-12-11 13:16:02 +0000 | <vpan> | hi, what is the accepted/more widespread naming convention wrt abbreviations in identifiers - `absoluteUri` or `absoluteURI`? https://wiki.haskell.org/Programming_guidelines and linked style guides suggest the former, but I also see things like `UTCTime`, `parseURI`, etc. in libraries. |
| 2024-12-11 13:26:05 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-12-11 13:29:49 +0000 | <tomsmeding> | vpan: where does that page express a preference for `absoluteUri`? |
| 2024-12-11 13:31:16 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-11 13:31:52 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-12-11 13:32:40 +0000 | <vpan> | tomsmeding: by linking to http://c2.com/cgi/wiki?CamelCase for definitions of "lowerCamelCase" and "UpperCamelCase" |
| 2024-12-11 13:33:12 +0000 | <tomsmeding> | vpan: the only yse of "abbreviation" or "acronym" on that page seems to be in favour of `absoluteURI` |
| 2024-12-11 13:33:16 +0000 | <tomsmeding> | *use |
| 2024-12-11 13:34:38 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-11 13:35:41 +0000 | SlackCoder | (~SlackCode@208.26.70.132) SlackCoder |
| 2024-12-11 13:38:35 +0000 | CiaoSen | (~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-11 13:42:03 +0000 | <vpan> | tomsmeding: I didn't notice relevant examples in the w.h.o page, but the linked c2 page says: "No two capitalised letters shall follow directly each other", Anyway, I'm just trying to understand what is the idiomatic style to follow that if there is a consensus. |
| 2024-12-11 13:44:28 +0000 | <tomsmeding> | vpan: I think with things like IO, ST, MVar, STRef, IOError, UTCTime, getCPUTime (yet cpuTimePrecision), the convention is rather clearly to capitalise abbreviations |
| 2024-12-11 13:44:51 +0000 | <tomsmeding> | perhaps unless they are at the start of a (forced-)lowercase name |
| 2024-12-11 13:45:14 +0000 | <haskellbridge> | <Morj> Camel casing in haskell is inconsistent, but in my experience the slightly dominant convention is to capitalize abbreviations. Count the options in this search for example: https://hoogle.haskell.org/?hoogle=Http |
| 2024-12-11 13:45:39 +0000 | <haskellbridge> | <Morj> I personally don't like it and prefer to not-capitalize, but oh well =] |
| 2024-12-11 13:45:52 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-12-11 13:47:56 +0000 | <probie> | We should just make identifiers only case sensitive on the first character /j |
| 2024-12-11 13:48:01 +0000 | <probie> | I doubt much real Haskell code would even notice the difference |
| 2024-12-11 13:52:52 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-11 13:53:57 +0000 | SlackCoder | (~SlackCode@208.26.70.132) (Quit: Leaving) |
| 2024-12-11 13:54:53 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-11 13:59:36 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2024-12-11 14:01:00 +0000 | Everything | (~Everythin@94.153.26.254) Everything |
| 2024-12-11 14:05:15 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-11 14:06:33 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-11 14:06:45 +0000 | CiaoSen | (~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-12-11 14:17:57 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2024-12-11 14:18:35 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2024-12-11 14:19:10 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-11 14:20:28 +0000 | danza | (~danza@user/danza) () |
| 2024-12-11 14:26:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-11 14:29:15 +0000 | OftenFaded | (OftenFaded@user/tisktisk) OftenFaded |
| 2024-12-11 14:33:10 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-12-11 14:33:49 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-11 14:35:44 +0000 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-11 14:39:05 +0000 | <dpratt> | AoC day 11 part 2 is taking forever to compute, of course -- what's the likelihood I could get significantly better performance if I find the right place(s) to introduce strictness? |
| 2024-12-11 14:39:06 +0000 | <dpratt> | Or do I need to find some clever algorithmic optimization(s)? |
| 2024-12-11 14:42:45 +0000 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-12-11 14:53:52 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2024-12-11 14:54:12 +0000 | lortabac | (~lortabac@37.170.83.34) lortabac |
| 2024-12-11 14:56:02 +0000 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-11 14:56:27 +0000 | forell | (~forell@user/forell) (Ping timeout: 246 seconds) |
| 2024-12-11 15:06:40 +0000 | lortabac | (~lortabac@37.170.83.34) (Quit: WeeChat 4.4.2) |
| 2024-12-11 15:10:04 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-12-11 15:10:41 +0000 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-11 15:18:15 +0000 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-11 15:18:43 +0000 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-11 15:23:18 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-11 15:24:56 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-11 15:28:26 +0000 | OftenFaded96 | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-11 15:29:19 +0000 | billchenchina | (~billchenc@2408:844f:1500:61:101e:dc92:5a9d:3e6b) billchenchina |
| 2024-12-11 15:30:37 +0000 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-12-11 15:31:29 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-12-11 15:31:53 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2024-12-11 15:32:40 +0000 | OftenFaded | (OftenFaded@user/tisktisk) (Ping timeout: 240 seconds) |
| 2024-12-11 15:33:24 +0000 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-11 15:34:09 +0000 | Everything | (~Everythin@94.153.26.254) (Ping timeout: 248 seconds) |
| 2024-12-11 15:34:46 +0000 | billchenchina | (~billchenc@2408:844f:1500:61:101e:dc92:5a9d:3e6b) (Ping timeout: 272 seconds) |
| 2024-12-11 15:38:18 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-12-11 15:41:03 +0000 | <dpratt> | glguy when you get to today's AoC I'd be interested to know how long your part 2 solution takes to execute :) |
| 2024-12-11 15:42:55 +0000 | <Rembane> | dpratt: Do you have an estimate for the time complexity of your solution? |
| 2024-12-11 15:43:36 +0000 | <glguy> | dpratt: around 45ms |
| 2024-12-11 15:44:08 +0000 | <glguy> | dpratt: if your solution is running slowly you need to change your approach |
| 2024-12-11 15:44:37 +0000 | <dpratt> | glguy I def need to change my approach :) |
| 2024-12-11 15:45:18 +0000 | <glguy> | The most "naive" approach will take more time and memory than you have |
| 2024-12-11 15:45:45 +0000 | <dpratt> | testing that theory presently glguy :) |
| 2024-12-11 15:47:25 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2024-12-11 15:52:20 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Quit: Leaving) |
| 2024-12-11 15:55:22 +0000 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-11 16:01:18 +0000 | <__monty__> | Hmm, I'm interested in how you got to 45 ms but I don't want to spoil AoC for anyone. |
| 2024-12-11 16:02:59 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2024-12-11 16:04:34 +0000 | Square | (~Square@user/square) Square |
| 2024-12-11 16:05:26 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-11 16:05:44 +0000 | bwern | (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) |
| 2024-12-11 16:05:51 +0000 | <edwardk> | @where e_10 |
| 2024-12-11 16:05:51 +0000 | <lambdabot> | [show(sum$scanl div(100^n)[1..[4..]!!n])!!n|n<-[0..]] |
| 2024-12-11 16:05:57 +0000 | <glguy> | It's up on my GitHub |
| 2024-12-11 16:06:11 +0000 | <edwardk> | @where pi_10 |
| 2024-12-11 16:06:11 +0000 | <lambdabot> | (!!3)<$>transpose[show$foldr(\k a->2*10^2^n+a*k`div`(2*k+1))0[1..2^n]|n<-[0..]] |
| 2024-12-11 16:06:13 +0000 | <edwardk> | @where pi_11 |
| 2024-12-11 16:06:13 +0000 | <lambdabot> | [show(foldr(\k a->20*100^n+a*k`div`(2*k+1))0[1..[4,8..]!!n])!!n|n<-[0..]] |
| 2024-12-11 16:06:17 +0000 | <edwardk> | -- that's it |
| 2024-12-11 16:06:49 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3206-db85-a85d-413e-4c46-c70d.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-11 16:07:59 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3206-db85-908e-9152-360e-b9b6.rev.sfr.net) alexherbo2 |
| 2024-12-11 16:09:00 +0000 | <mauke> | > lambdabot [show(foldr(\k a->20*100^n+a*k`div`(2*k+1))0[1..[4,8..]!!n])!!n|n<-[0..]] |
| 2024-12-11 16:09:06 +0000 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-12-11 16:11:00 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-11 16:11:35 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3206-db85-908e-9152-360e-b9b6.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-11 16:26:52 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-12-11 16:32:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-11 16:38:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-11 16:39:35 +0000 | slack1256 | (~slack1256@179.60.70.224) slack1256 |
| 2024-12-11 16:42:01 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-12-11 16:42:05 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-12-11 16:44:12 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-12-11 16:44:14 +0000 | <probie> | > take 42 [show(foldr(\k a->20*100^n+a*k`div`(2*k+1))0[1..[4,8..]!!n])!!n|n<-[0..]] |
| 2024-12-11 16:44:15 +0000 | <lambdabot> | "314159265358979323846264338327950288419716" |
| 2024-12-11 16:48:34 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-12-11 16:48:50 +0000 | mvk | (~mvk@2607:fea8:5c96:5800::c5fe) mvk |
| 2024-12-11 16:48:50 +0000 | mvk | (~mvk@2607:fea8:5c96:5800::c5fe) (Client Quit) |
| 2024-12-11 16:52:24 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-12-11 16:53:28 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Remote host closed the connection) |
| 2024-12-11 16:53:45 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-11 17:07:10 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-11 17:11:17 +0000 | ephemient | (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2024-12-11 17:11:29 +0000 | sindu | (~sindu@176.75.224.1) |
| 2024-12-11 17:11:38 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2024-12-11 17:18:39 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-11 17:24:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-11 17:33:38 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:8c3a:75e1:d476:856c) (Quit: ubert) |
| 2024-12-11 17:35:38 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-12-11 17:38:42 +0000 | briandaed | (~root@user/briandaed) briandaed |
| 2024-12-11 17:42:54 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-11 17:51:03 +0000 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-12-11 17:59:14 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-11 18:01:21 +0000 | slack1256 | (~slack1256@179.60.70.224) (Remote host closed the connection) |
| 2024-12-11 18:02:21 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) (Read error: Connection reset by peer) |
| 2024-12-11 18:03:47 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) |
| 2024-12-11 18:08:48 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) (Ping timeout: 276 seconds) |
| 2024-12-11 18:10:36 +0000 | forell | (~forell@user/forell) forell |
| 2024-12-11 18:11:10 +0000 | OftenFaded96 | (~OftenFade@user/tisktisk) (Ping timeout: 240 seconds) |
| 2024-12-11 18:12:23 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-11 18:12:26 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-11 18:13:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-12-11 18:15:12 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:401:7:1047:dc88:423c:1dda) |
| 2024-12-11 18:15:16 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:401:7:1047:dc88:423c:1dda) (Remote host closed the connection) |
| 2024-12-11 18:15:17 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-12-11 18:15:25 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:401:7:1047:dc88:423c:1dda) |
| 2024-12-11 18:16:41 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-12-11 18:20:23 +0000 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-11 18:24:03 +0000 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) ft |
| 2024-12-11 18:25:51 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:401:7:1047:dc88:423c:1dda) (Read error: Connection reset by peer) |
| 2024-12-11 18:27:08 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-11 18:28:01 +0000 | bwern | (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Ping timeout: 248 seconds) |
| 2024-12-11 18:29:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-11 18:30:54 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:d808:b878:843f:823e:fac7) |
| 2024-12-11 18:32:10 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-12-11 18:32:59 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-11 18:34:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-11 18:35:01 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:d808:b878:843f:823e:fac7) (Ping timeout: 248 seconds) |
| 2024-12-11 18:39:09 +0000 | semmelschwarz | (~semmelsch@41.66.98.79) |
| 2024-12-11 18:40:27 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 246 seconds) |
| 2024-12-11 18:40:45 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) |
| 2024-12-11 18:41:11 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Read error: Connection reset by peer) |
| 2024-12-11 18:41:16 +0000 | <semmelschwarz> | `Hey, guys! :) When I unqualifiedly `import` multiple Haskell modules containing a function of the same name, I get an error if I use that function without a prefix. When I `qualified`ly `import`, I have to prefix ALL functions contained in that particular module. Is there a way to `import` a module so that I don't always have to use a prefix, … |
| 2024-12-11 18:42:11 +0000 | <semmelschwarz> | … but—for a function with a name already used in another module—that other module takes precedence for that particular function name? So: Act like `import qualified` for functions affected by a name clash, but like just `import` for all the others! |
| 2024-12-11 18:42:17 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-12-11 18:42:31 +0000 | <semmelschwarz> | Thanks in advance! |
| 2024-12-11 18:42:48 +0000 | <glguy> | semmelschwarz: import TheModule as M |
| 2024-12-11 18:43:04 +0000 | <glguy> | and then you can use names unqualified when they are unique and qualified whenever you want |
| 2024-12-11 18:44:07 +0000 | <semmelschwarz> | glguy Yeah, but let's say function `x` is provided by `Musk` and by `WL`. |
| 2024-12-11 18:44:35 +0000 | <glguy> | you can also use a "hiding" clause |
| 2024-12-11 18:44:37 +0000 | <semmelschwarz> | When I `import Musk as M` & `import WL as L` |
| 2024-12-11 18:44:41 +0000 | <glguy> | import Musk hiding (failure) |
| 2024-12-11 18:45:24 +0000 | <semmelschwarz> | glguy Thanks, `hiding` goes into the right direction! |
| 2024-12-11 18:46:21 +0000 | <semmelschwarz> | What I meant was: When I use `x` after those `import`s, I get a clash error, so I have to prefix `x` for every use. |
| 2024-12-11 18:46:23 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-12-11 18:46:28 +0000 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2024-12-11 18:46:58 +0000 | <semmelschwarz> | I wanted to know if there's a way, so that `Musk` that precedence over `WL`. |
| 2024-12-11 18:47:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-11 18:48:17 +0000 | <Leary> | If you use explicit import lists you won't have this problem in the first place. |
| 2024-12-11 18:48:55 +0000 | <mauke> | yeah, that's 'hiding' exactly |
| 2024-12-11 18:49:11 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-11 18:49:19 +0000 | <semmelschwarz> | But, yeah `import … hiding` combined with a `qualified` `import`, I will get just that—I only have to list the ones that would clash. |
| 2024-12-11 18:49:29 +0000 | <semmelschwarz> | But maybe that's better for |
| 2024-12-11 18:49:50 +0000 | <semmelschwarz> | auitability anyways. |
| 2024-12-11 18:50:02 +0000 | <mauke> | do you need 'qualified'? |
| 2024-12-11 18:50:16 +0000 | <mauke> | oh, maybe you do |
| 2024-12-11 18:50:30 +0000 | <semmelschwarz> | I guess so. |
| 2024-12-11 18:50:58 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-11 18:51:11 +0000 | <semmelschwarz> | `hiding` will hide, no matter if I use a particular name prexifed or not, as I understand it. |
| 2024-12-11 18:51:15 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) |
| 2024-12-11 18:51:27 +0000 | <semmelschwarz> | But I'll test. |
| 2024-12-11 18:51:27 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Read error: Connection reset by peer) |
| 2024-12-11 18:52:06 +0000 | <glguy> | Hiding affecting qualified usages is helpful because you can import multiple modules into the same alias: import This as M; import That as M |
| 2024-12-11 18:52:33 +0000 | <mauke> | I consider that a misfeature |
| 2024-12-11 18:53:06 +0000 | <glguy> | I'm happy to have: import Data.Text qualified as Text; import Data.Text.IO qualified as Text |
| 2024-12-11 18:53:12 +0000 | <semmelschwarz> | glguy Oh, I didn't know “union prefixes” are a thing, thx. |
| 2024-12-11 18:53:35 +0000 | <glguy> | It's not useful to me to have those as separate modules, so I don't import them separately |
| 2024-12-11 18:54:19 +0000 | <semmelschwarz> | I've done stuff like: `import Data.List.Extra qualified as LX` |
| 2024-12-11 18:54:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-11 18:54:54 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-12-11 18:54:55 +0000 | <semmelschwarz> | So there are def. some potential use-cases 4 me 2. |
| 2024-12-11 18:55:04 +0000 | <mauke> | I'd rather have 'import Data.Text (Text) qualified as T' with the semantics of importing the 'Text' type unqualified and everything else under T |
| 2024-12-11 18:55:32 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-12-11 18:56:47 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-11 18:58:08 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) |
| 2024-12-11 18:59:25 +0000 | omegatron | (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
| 2024-12-11 18:59:33 +0000 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-11 19:02:34 +0000 | <semmelschwarz> | mauke I know `{-# LANGUAGE ImportQualifiedPost #-}`, but what do I have to do in order to use the order you used in terms of where the `as` is placed—instead of the standard`import qualified Data.Text as T (Text)`? |
| 2024-12-11 19:03:11 +0000 | <tomsmeding> | semmelschwarz: it was a feature request :p |
| 2024-12-11 19:03:21 +0000 | <semmelschwarz> | All of it. |
| 2024-12-11 19:04:09 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 245 seconds) |
| 2024-12-11 19:04:09 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-11 19:04:16 +0000 | <tomsmeding> | mauke: can you please implement that in GHC and allow me to change all the `import Data.Map.Strict (Map); import qualified Data.Map.Strict as Map` to just one line |
| 2024-12-11 19:05:25 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-12-11 19:05:44 +0000 | semmelschwaerzer | (~semmelsch@41.66.98.79) |
| 2024-12-11 19:05:56 +0000 | <semmelschwaerzer> | Sry, I got thrown out. |
| 2024-12-11 19:06:34 +0000 | <semmelschwaerzer> | So it also was conceived syntax, not just conceived semantics, mIr? |
| 2024-12-11 19:07:09 +0000 | <semmelschwaerzer> | Or is there also a pragma stuff allowing for that ordering? |
| 2024-12-11 19:07:34 +0000 | <tomsmeding> | no it was conceived syntax indeed |
| 2024-12-11 19:07:40 +0000 | semmelschwarz | (~semmelsch@41.66.98.79) (Ping timeout: 240 seconds) |
| 2024-12-11 19:07:49 +0000 | <tomsmeding> | but you can get it with two imports; `import Data.Text qualified as T; import Data.Text (Text)` |
| 2024-12-11 19:08:15 +0000 | <tomsmeding> | this happens so often, with Data.Text, Data.Map.Strict, Data.Set, and more, that it would be nice to have syntax for it |
| 2024-12-11 19:08:17 +0000 | <tomsmeding> | but we don't |
| 2024-12-11 19:08:38 +0000 | <semmelschwaerzer> | tomsmeding Thx for clearifying. Yeah, sure! |
| 2024-12-11 19:13:57 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2024-12-11 19:14:10 +0000 | semmelschwaerzer | (~semmelsch@41.66.98.79) (Ping timeout: 240 seconds) |
| 2024-12-11 19:15:08 +0000 | homo | (~homo@37-33-168-21.bb.dnainternet.fi) |
| 2024-12-11 19:15:49 +0000 | homo | (~homo@37-33-168-21.bb.dnainternet.fi) (Changing host) |
| 2024-12-11 19:15:49 +0000 | homo | (~homo@user/homo) homo |
| 2024-12-11 19:18:21 +0000 | sprotte24 | (~sprotte24@p200300d16f09010004570c6c4bda6d45.dip0.t-ipconnect.de) |
| 2024-12-11 19:22:33 +0000 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-11 19:27:59 +0000 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-11 19:35:17 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-12-11 19:41:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-11 19:45:17 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Remote host closed the connection) |
| 2024-12-11 19:45:26 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) |
| 2024-12-11 19:47:15 +0000 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-11 19:50:31 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-11 19:51:30 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-11 20:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-11 20:00:43 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-11 20:00:55 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-11 20:02:29 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Remote host closed the connection) |
| 2024-12-11 20:02:36 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) |
| 2024-12-11 20:02:50 +0000 | visilii_ | (~visilii@92.50.200.10) |
| 2024-12-11 20:03:52 +0000 | visilii | (~visilii@213.24.132.203) (Ping timeout: 244 seconds) |
| 2024-12-11 20:04:29 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-11 20:04:41 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-11 20:16:21 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
| 2024-12-11 20:16:38 +0000 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-12-11 20:19:16 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Read error: Connection reset by peer) |
| 2024-12-11 20:19:38 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-12-11 20:20:29 +0000 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-12-11 20:20:30 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal) |
| 2024-12-11 20:20:52 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-11 20:21:57 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Client Quit) |
| 2024-12-11 20:22:18 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-11 20:25:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 20:26:32 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Remote host closed the connection) |
| 2024-12-11 20:26:40 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) |
| 2024-12-11 20:28:06 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2024-12-11 20:29:24 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-11 20:29:31 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Read error: Connection reset by peer) |
| 2024-12-11 20:30:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-11 20:30:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-11 20:32:53 +0000 | JeremyB99 | (~JeremyB99@128.211.251.213) |
| 2024-12-11 20:34:28 +0000 | JeremyB99 | (~JeremyB99@128.211.251.213) (Read error: Connection reset by peer) |
| 2024-12-11 20:39:39 +0000 | JeremyB99 | (~JeremyB99@128.211.252.125) |
| 2024-12-11 20:39:47 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-12-11 20:39:47 +0000 | JeremyB99 | (~JeremyB99@128.211.252.125) (Read error: Connection reset by peer) |
| 2024-12-11 20:41:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 20:45:03 +0000 | foul_owl | (~kerry@157.97.134.166) (Ping timeout: 246 seconds) |
| 2024-12-11 20:46:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 20:50:11 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:d41e:79f:54fc:7f6c) |
| 2024-12-11 20:52:31 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:d41e:79f:54fc:7f6c) (Read error: Connection reset by peer) |
| 2024-12-11 20:53:15 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:d41e:79f:54fc:7f6c) |
| 2024-12-11 20:57:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 20:58:12 +0000 | foul_owl | (~kerry@174-21-81-201.tukw.qwest.net) foul_owl |
| 2024-12-11 21:01:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 21:05:37 +0000 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:d41e:79f:54fc:7f6c) (Ping timeout: 252 seconds) |
| 2024-12-11 21:08:12 +0000 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-11 21:08:37 +0000 | <dpratt> | glguy well I broke down and looked at your solution :D |
| 2024-12-11 21:10:24 +0000 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2024-12-11 21:10:59 +0000 | <dpratt> | glguy I had actually tried to add memoization myself using a `Map`, but it only made things worse |
| 2024-12-11 21:10:59 +0000 | <dpratt> | thing is, when I tried to apply your technique to my code, that didn't work either (failed to even complete part 1!) -- I guess I'm desperate enough to show you (and everyone else) the relevant code, and maybe you can tell me what part of the magic I missed? https://gist.github.com/dgpratt/850f275f289ee8c901cd5245f1db254f |
| 2024-12-11 21:11:22 +0000 | <rstromlund> | Hi all, I am using haskell-mode with cabal; when I use "C-c C-l" to start a haskell repl, I get missing module errors. But my cabal file already has this taken care of. The programs are complete and can be run. The errors are "Could not load module ‘Data.Array.Unboxed’". And "Could not load module ‘Data.Set’". It offers "Add `array' to advent-of-code.cabal? (y or n)" and "Add `containers' |
| 2024-12-11 21:11:22 +0000 | <rstromlund> | to advent-of-code.cabal? (y or n)." But my cabal already has "build-depends: array, containers". I'm just trying to get an interactive repl started. |
| 2024-12-11 21:11:36 +0000 | <rstromlund> | My .hs files are in a src/ directory; I think the mode isn't looking for a cabal file in parent folders. ? |
| 2024-12-11 21:11:56 +0000 | <rstromlund> | Any emacs users here? |
| 2024-12-11 21:12:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 21:12:59 +0000 | <geekosaur> | I never bothered to set that up in emacs but iirc you need to change some variable to use "cabal repl" or "stack ghci" as appropriate instead of "ghci" |
| 2024-12-11 21:13:13 +0000 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
| 2024-12-11 21:14:36 +0000 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-11 21:15:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-11 21:15:58 +0000 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-11 21:16:28 +0000 | <dpratt> | need to get a better IRC connection than https://web.libera.chat/#haskell -- dumb thing keeps disconnecting me |
| 2024-12-11 21:18:49 +0000 | <rstromlund> | The mode is set to auto-detect and it does start "cabal repl". |
| 2024-12-11 21:19:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 21:20:22 +0000 | <rstromlund> | I'm solving AoC in haskell and I have an executable per day. I have a "build-depends:" per executable instead of a massive one for the entire project. I guess I could add all the modules to a common import. |
| 2024-12-11 21:20:42 +0000 | <rstromlund> | I'd rather not spam every executable w/ unwanted modules just for an interactive mode. :/ |
| 2024-12-11 21:21:09 +0000 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-12-11 21:22:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-12-11 21:22:49 +0000 | <glguy> | dpratt: your implementation of "times" is wrong |
| 2024-12-11 21:23:57 +0000 | <dpratt> | glguy oh, shoulda looked, thanks! |
| 2024-12-11 21:24:25 +0000 | <glguy> | dpratt: you're using the wrong 'n' in the second case |
| 2024-12-11 21:24:38 +0000 | <glguy> | so it repeatedly calls "times 24" |
| 2024-12-11 21:24:42 +0000 | <glguy> | instead of decrementing |
| 2024-12-11 21:24:43 +0000 | dpratt | smacks forhead |
| 2024-12-11 21:25:17 +0000 | <dpratt> | gee, I wonder why it never terminated? |
| 2024-12-11 21:30:01 +0000 | <rstromlund> | adding the 'array' and 'containers' modules to a global "build-depends:" did not help. |
| 2024-12-11 21:30:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 21:33:29 +0000 | <glguy> | rstromlund: is your cabal file online somewhere? |
| 2024-12-11 21:35:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-11 21:35:49 +0000 | <glguy> | rstromlund: For reference this is how I have my 236 solution executables structured https://github.com/glguy/advent/blob/main/solutions/solutions.cabal |
| 2024-12-11 21:37:06 +0000 | yangby | (~secret@218.74.32.152) yangby |
| 2024-12-11 21:40:29 +0000 | foul_owl | (~kerry@174-21-81-201.tukw.qwest.net) (Ping timeout: 244 seconds) |
| 2024-12-11 21:43:04 +0000 | <tomsmeding> | glguy: have you run into any unexpected O(n^2) behaviour in cabal yet with that .cabal file :p |
| 2024-12-11 21:43:14 +0000 | <rstromlund> | glguy, yes here : https://gitlab.com/rstromlund/aoc-cabal |
| 2024-12-11 21:43:22 +0000 | <glguy> | nope! Cabal continues to impress |
| 2024-12-11 21:43:35 +0000 | <glguy> | and it's nice enough to build the targets in parallel |
| 2024-12-11 21:43:43 +0000 | <rstromlund> | I am switching from 'stack runghc' to cabal w/ a "proper" project file. |
| 2024-12-11 21:43:45 +0000 | tomsmeding | . o O ( make -j ) |
| 2024-12-11 21:44:25 +0000 | <rstromlund> | So far, 'haskell-mode's interactive repl is fighting me. All else is working fine. |
| 2024-12-11 21:45:25 +0000 | <glguy> | rstromlund: I use an hie.yaml to help HLS know what target to use for each file/subdirectory https://github.com/glguy/advent/blob/main/hie.yaml |
| 2024-12-11 21:45:28 +0000 | <rstromlund> | There's a "src/2024/run-all.bash" script that runs each day and pipes the puzzle input. |
| 2024-12-11 21:45:36 +0000 | <glguy> | I think you are not supposed to need this in general but I was running into trouble without one |
| 2024-12-11 21:45:47 +0000 | <rstromlund> | I'll look, thx |
| 2024-12-11 21:45:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 21:47:32 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-11 21:48:49 +0000 | <rstromlund> | I was wondering how haskell-mode was translating the .hs filename to the executable target; that is probably it ... |
| 2024-12-11 21:50:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 21:53:00 +0000 | foul_owl | (~kerry@157.97.134.165) foul_owl |
| 2024-12-11 21:59:10 +0000 | <dpratt> | glguy I must admit I would not have thought that your optimization would make much of a dent on the runtime for day 11. I guess it makes sense there'd be a large portion of repeated values at every step, given how many times it's going to be starting over from 0 or 1. |
| 2024-12-11 21:59:10 +0000 | <dpratt> | As I mentioned, I tried to do a more straightforward memo just using a map to store/return the result of "blink" for a given stone value. It's quite possible I made a hash of it similar to what I posted above, but might such an approach be feasible if done correctly? |
| 2024-12-11 21:59:49 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-12-11 22:01:30 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2024-12-11 22:01:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 22:02:03 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-87-166.dedicated.static.sonic.net) segfaultfizzbuzz |
| 2024-12-11 22:02:07 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-87-166.dedicated.static.sonic.net) (Client Quit) |
| 2024-12-11 22:03:58 +0000 | <rstromlund> | Adding "hie.yaml" didn't make haskell mode more "aware" of dependencies. I commited the file. Thanks for any tips. |
| 2024-12-11 22:06:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 22:08:39 +0000 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Remote host closed the connection) |
| 2024-12-11 22:10:43 +0000 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-11 22:16:47 +0000 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-11 22:17:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 22:17:28 +0000 | <rstromlund> | I gotta run, I spammed every target w/ dependencies and that gets the repl to load and parse the files correctly. Maybe I'll find a forum for the haskell mode maintainer. Thx for the help |
| 2024-12-11 22:17:45 +0000 | <rstromlund> | I commited the update BTW. |
| 2024-12-11 22:18:16 +0000 | semmelschwaerzer | (~semmelsch@41.66.98.79) |
| 2024-12-11 22:21:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-11 22:23:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-11 22:25:40 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
| 2024-12-11 22:29:05 +0000 | alp | (~alp@2001:861:8ca0:4940:df64:d46a:4307:2ca3) (Remote host closed the connection) |
| 2024-12-11 22:29:22 +0000 | alp | (~alp@2001:861:8ca0:4940:19e2:649e:49c5:d038) |
| 2024-12-11 22:32:09 +0000 | rstromlund | (~user@user/rstromlund) (Ping timeout: 244 seconds) |
| 2024-12-11 22:32:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 22:33:13 +0000 | semmelschwaerzer | (~semmelsch@41.66.98.79) (Remote host closed the connection) |
| 2024-12-11 22:34:13 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:6ee:46b6:7128:c679) (Ping timeout: 252 seconds) |
| 2024-12-11 22:35:09 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:e41f:4372:1938:6590) jle` |
| 2024-12-11 22:37:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-11 22:37:52 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-12-11 22:38:54 +0000 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2024-12-11 22:44:48 +0000 | semmelschwarz | (~semmelsch@41.66.98.79) |
| 2024-12-11 22:47:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 22:49:48 +0000 | <semmelschwarz> | Hey, one more thing, so that I can wrap my head around: I have a function `x` defined (in situ). But (when used from inside) I want to have it available only prefixed as `Main.x`, not as just `x`. When I use `x` unqualifedly/unprefixedly here, I want to refer to an `x` from an import (`import Other (x)` p.e.)—without generating a name clash. Would something like that be possible? |
| 2024-12-11 22:51:10 +0000 | <semmelschwarz> | (I.e. I want to define it, but use it just qualifiedly.) |
| 2024-12-11 22:52:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 22:59:58 +0000 | alp | (~alp@2001:861:8ca0:4940:19e2:649e:49c5:d038) (Remote host closed the connection) |
| 2024-12-11 23:01:05 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2024-12-11 23:03:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 23:05:02 +0000 | semmelschwaerzer | (~semmelsch@41.66.98.79) |
| 2024-12-11 23:05:30 +0000 | <glguy> | semmelschwarz: I don't think you can do that |
| 2024-12-11 23:06:52 +0000 | <semmelschwaerzer> | glguy Thanks. |
| 2024-12-11 23:07:24 +0000 | <semmelschwaerzer> | Sry, I got kicked out, so I don't know if I received an answer other than glguy's—if I got one please repeat it for me. :) (It's more a question for grasping the possiblities offered by Haskell's module system, not a practical desire in the narrower sense.) |
| 2024-12-11 23:07:40 +0000 | semmelschwarz | (~semmelsch@41.66.98.79) (Ping timeout: 240 seconds) |
| 2024-12-11 23:09:02 +0000 | <glguy> | semmelschwaerzer: Your ISP or web browser might not be stable enough to use for IRC. You might end up needing something like irccloud.com or a client from https://libera.chat/guides/clients |
| 2024-12-11 23:09:24 +0000 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-11 23:09:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 23:12:05 +0000 | <semmelschwaerzer> | I'll take a look. (I'm using `web.libera.chat` for now; I'm [prob.] going to switch my service provider soon anyways.) |
| 2024-12-11 23:16:27 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-11 23:16:58 +0000 | <semmelschwaerzer> | glguy Thanks, looks nice at 1st glance (apart from that the server side seems to be closed source, but that wouldn't affect the usage practice). |
| 2024-12-11 23:18:07 +0000 | <geekosaur> | there's also using a matrix client and joining #haskell-irc:matrix.org |
| 2024-12-11 23:18:09 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2024-12-11 23:18:24 +0000 | califax | (~califax@user/califx) califx |
| 2024-12-11 23:24:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-11 23:26:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 23:29:08 +0000 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-11 23:30:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-11 23:32:33 +0000 | rstromlund | (~user@user/rstromlund) (Ping timeout: 248 seconds) |
| 2024-12-11 23:33:00 +0000 | sindu | (~sindu@176.75.224.1) (Ping timeout: 252 seconds) |
| 2024-12-11 23:35:35 +0000 | <TMA> | semmelschwaerzer: sometimes it helps to lower the time for TCP keepalives in your operating system (there is registry key on windows, and a sysconf setting on linux) |
| 2024-12-11 23:36:20 +0000 | <TMA> | some firewalls/NATs kill the open TCP connections with a shorter timeout than the default value of 1 hour |
| 2024-12-11 23:41:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 23:46:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-11 23:49:28 +0000 | <semmelschwaerzer> | geekosaur TMA Interesting, thx. |
| 2024-12-11 23:52:00 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f61349c40132b872746.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-12-11 23:52:36 +0000 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-11 23:54:18 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-11 23:55:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-11 23:57:21 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f61593e2420019ce75e.dip0.t-ipconnect.de) acidjnk |