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