| 2024-12-18 00:08:21 +0100 | <geekosaur> | I think that's true for vim but not nvim (recent versions at least have native LSP support) |
| 2024-12-18 00:08:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 00:08:40 +0100 | <L29Ah> | nvim doesn't support vim undo files :< |
| 2024-12-18 00:09:48 +0100 | <haskellbridge> | <magic_rb> id recommend to move to nvim and live without whatever the undo files are, almost everyone that cares about fancy features, LSP included, has moved over |
| 2024-12-18 00:10:05 +0100 | <haskellbridge> | <magic_rb> (though im a emacs person, so im only observing from the outside) |
| 2024-12-18 00:10:24 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2024-12-18 00:11:37 +0100 | <L29Ah> | vim undo files is the VCS of choice for discriminating hackers :P |
| 2024-12-18 00:12:20 +0100 | <mauke> | what do you mean, it doesn't support undo files |
| 2024-12-18 00:12:26 +0100 | <mauke> | what have I been using then? |
| 2024-12-18 00:12:46 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2024-12-18 00:13:19 +0100 | <haskellbridge> | <magic_rb> use git? idk, not to be mean but this seems like very much a self imposed problem |
| 2024-12-18 00:14:33 +0100 | <L29Ah> | mauke: https://github.com/neovim/neovim/issues/17301 |
| 2024-12-18 00:14:43 +0100 | <L29Ah> | magic_rb: git won't read my undo files either |
| 2024-12-18 00:14:56 +0100 | <haskellbridge> | <magic_rb> 🤷 |
| 2024-12-18 00:15:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-18 00:15:08 +0100 | <mauke> | oh, you want to mix undo stacks from different editors? why? |
| 2024-12-18 00:15:48 +0100 | <mauke> | ah, you're a madlad: "years of my edit history" |
| 2024-12-18 00:15:48 +0100 | <L29Ah> | mauke: or at least convert back and forth, so i can have a choice w/o vendor lock; i already had bad experience with nvim where vim worked great |
| 2024-12-18 00:17:19 +0100 | <mauke> | do you also use your browser history instead of bookmarks? |
| 2024-12-18 00:17:33 +0100 | <L29Ah> | yes |
| 2024-12-18 00:17:40 +0100 | <L29Ah> | incremental history search is great |
| 2024-12-18 00:18:20 +0100 | <sprout> | > prove $ \x -> x `shiftL` 2 .== 4 * (x :: SWord8) |
| 2024-12-18 00:18:21 +0100 | <lambdabot> | error: |
| 2024-12-18 00:18:21 +0100 | <lambdabot> | Not in scope: type constructor or class ‘SWord8’ |
| 2024-12-18 00:18:21 +0100 | <lambdabot> | Perhaps you meant one of these: |
| 2024-12-18 00:18:22 +0100 | <L29Ah> | although i use bookmarks for "add a search engine" functionality tho that is called "bookmarks" in FF and its forks for some strange reason |
| 2024-12-18 00:18:22 +0100 | <geekosaur> | so do I tbh. but I don't share shell or editor history (tuhe latter would be difficult anyway as I use 3 different editors for various things) |
| 2024-12-18 00:20:14 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-18 00:20:20 +0100 | <mauke> | I'm not talking about incremental search (which can search bookmarks anyway) |
| 2024-12-18 00:22:50 +0100 | <L29Ah> | then i'm not sure what you're asking |
| 2024-12-18 00:23:16 +0100 | <mauke> | bad analogy, then |
| 2024-12-18 00:24:40 +0100 | <mauke> | to me, persistent undo is nice to have on a short-term to medium basis |
| 2024-12-18 00:24:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-18 00:24:41 +0100 | ljdarj1 | ljdarj |
| 2024-12-18 00:26:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 00:26:38 +0100 | <mauke> | but for anything beyond that (like a searchable change history or guaranteed preservation of older versions), I'd add a versioning system |
| 2024-12-18 00:30:43 +0100 | <mauke> | keeping years of change history only in undo files is crazy to me. they're not robust enough for that |
| 2024-12-18 00:30:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 00:32:56 +0100 | <L29Ah> | the important things go to git, and everything meaningful is backed up incrementally daily, still undo history is useful |
| 2024-12-18 00:34:46 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-18 00:39:56 +0100 | <L29Ah> | perhaps i could use nvim for haskell and vim for everything else :] |
| 2024-12-18 00:41:12 +0100 | <mauke> | that's mostly what I do :-) |
| 2024-12-18 00:41:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 00:43:32 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-12-18 00:46:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 00:46:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-18 00:47:31 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-4173-c50d-5221-2c20-3261.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-18 00:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 00:59:20 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-12-18 00:59:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-18 01:01:19 +0100 | iqubic | (~sophia@2601:602:9201:8b20:bb5b:b06c:50fe:d6bd) iqubic |
| 2024-12-18 01:01:31 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-18 01:06:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-18 01:10:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 01:13:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06408eaea27d94e81d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-12-18 01:15:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 01:26:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 01:29:01 +0100 | pera | (~pera@user/pera) (Quit: leaving) |
| 2024-12-18 01:30:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-18 01:40:37 +0100 | <jackdk> | I use emacs for haskell and emacs for everything else. It's even simpler ;] |
| 2024-12-18 01:43:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:31c3:bdc6:ec22:8746) (Ping timeout: 248 seconds) |
| 2024-12-18 01:46:27 +0100 | <c_wraith> | Is there any way to get reasonable undo/redo into emacs? the default hack for redo is my least favorite part of it. |
| 2024-12-18 01:46:39 +0100 | <c_wraith> | Like, my least favorite part of the whole editor. |
| 2024-12-18 01:46:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 01:53:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-18 01:55:09 +0100 | alp | (~alp@2001:861:8ca0:4940:116b:e777:775e:985b) (Ping timeout: 252 seconds) |
| 2024-12-18 01:56:41 +0100 | sprotte24 | (~sprotte24@p200300d16f0b6700c040a6a82d88cb19.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-18 01:58:45 +0100 | <jackdk> | I'm so used to the default that I can't say. I suppose there is, since there's an emacs package for everything else |
| 2024-12-18 02:01:00 +0100 | <monochrom> | Consider a version control system running behind^W your^W back^W in the background at the keystroke granularity. |
| 2024-12-18 02:02:50 +0100 | <monochrom> | It was not done because it would be prohibitively expensive in the 1970s. But it is 2024 now, people have 1TB RAM and 512 cores. |
| 2024-12-18 02:03:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-18 02:05:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 02:09:03 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-18 02:10:29 +0100 | <geekosaur> | https://elpa.gnu.org/packages/undo-tree.html |
| 2024-12-18 02:12:00 +0100 | <monochrom> | Nice. |
| 2024-12-18 02:13:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-18 02:13:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-18 02:13:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2024-12-18 02:22:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-18 02:23:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 02:28:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-18 02:30:58 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-18 02:31:16 +0100 | <geekosaur> | taking the bridge down for a bit for a hardware upgrade |
| 2024-12-18 02:31:31 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-12-18 02:39:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 02:44:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-18 02:49:37 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-12-18 02:54:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 02:57:36 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 2024-12-18 02:57:51 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-12-18 02:57:54 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-12-18 02:58:54 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-12-18 02:58:54 +0100 | ChanServ | +v haskellbridge |
| 2024-12-18 02:59:00 +0100 | ethantwardy | (user@user/ethantwardy) (Client Quit) |
| 2024-12-18 02:59:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 02:59:23 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-12-18 02:59:23 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-12-18 02:59:50 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-12-18 02:59:50 +0100 | ChanServ | +v haskellbridge |
| 2024-12-18 03:01:25 +0100 | <geekosaur> | normal service has resumed |
| 2024-12-18 03:02:07 +0100 | <geekosaur> | I'm saving the next upgrade for new year's day because it'll be a little more involved and take more time |
| 2024-12-18 03:10:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 03:13:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-18 03:15:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 03:18:12 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2024-12-18 03:21:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-18 03:23:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 03:27:16 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-18 03:28:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-18 03:29:50 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-18 03:38:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 03:50:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-18 04:01:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 04:06:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 04:08:38 +0100 | sonolin | (~michael@user/sonolin) (Ping timeout: 252 seconds) |
| 2024-12-18 04:16:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 04:17:12 +0100 | Katarushisu8 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-12-18 04:19:01 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-12-18 04:19:01 +0100 | Katarushisu8 | Katarushisu |
| 2024-12-18 04:20:38 +0100 | dustee | (~dustee@2601:43:100:2710:7de1:9e83:3359:8038) |
| 2024-12-18 04:21:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 04:24:27 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-12-18 04:27:48 +0100 | dustee | (~dustee@2601:43:100:2710:7de1:9e83:3359:8038) (Quit: Client closed) |
| 2024-12-18 04:32:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 04:32:27 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-12-18 04:33:40 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-18 04:36:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 04:40:17 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-18 04:42:19 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-18 04:43:53 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-12-18 04:44:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-18 04:46:35 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2024-12-18 04:47:11 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-12-18 04:47:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 04:47:51 +0100 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 252 seconds) |
| 2024-12-18 04:49:45 +0100 | td_ | (~td@i53870921.versanet.de) td_ |
| 2024-12-18 04:52:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 04:52:36 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-18 04:55:49 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-12-18 04:56:19 +0100 | Square | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2024-12-18 05:02:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 05:07:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-18 05:07:38 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-18 05:18:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 05:19:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-18 05:24:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 05:31:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-18 05:32:29 +0100 | aforemny_ | (~aforemny@2001:9e8:6cd7:5a00:85fb:8e26:5d91:c068) aforemny |
| 2024-12-18 05:32:34 +0100 | aforemny | (~aforemny@2001:9e8:6cf7:2e00:c540:4aff:8526:f747) (Ping timeout: 265 seconds) |
| 2024-12-18 05:34:40 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-18 05:35:51 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-18 05:36:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 05:41:23 +0100 | alp | (~alp@2001:861:8ca0:4940:d739:f225:bf6f:3d8f) |
| 2024-12-18 05:41:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-18 05:45:58 +0100 | <iqubic> | Undo tree is great and I use it all the time! |
| 2024-12-18 05:46:20 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-12-18 05:46:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-18 05:52:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 05:56:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 06:07:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 06:12:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 06:14:03 +0100 | sonolin | (~michael@user/sonolin) sonolin |
| 2024-12-18 06:19:22 +0100 | fmira | (~user@user/fmira) (Quit: fmira) |
| 2024-12-18 06:22:29 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 248 seconds) |
| 2024-12-18 06:22:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 06:27:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-18 06:38:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 06:42:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 06:45:24 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2024-12-18 06:53:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 06:53:53 +0100 | monochrom | (trebla@216.138.220.146) |
| 2024-12-18 06:55:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-18 06:58:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 07:01:09 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-18 07:02:28 +0100 | sonolin | (~michael@user/sonolin) (Ping timeout: 265 seconds) |
| 2024-12-18 07:04:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-18 07:07:22 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-18 07:07:37 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-18 07:08:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 07:09:49 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-18 07:14:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-18 07:17:27 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-18 07:18:04 +0100 | ephilalethes | (~noumenon@202.186.203.84) noumenon |
| 2024-12-18 07:22:52 +0100 | catties | (~catties@user/meow/catties) catties |
| 2024-12-18 07:22:58 +0100 | Catty | (~catties@user/meow/catties) (Ping timeout: 252 seconds) |
| 2024-12-18 07:24:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 07:29:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-18 07:34:34 +0100 | mulk | (~mulk@p5b11254a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-12-18 07:36:19 +0100 | mulk | (~mulk@pd951419b.dip0.t-ipconnect.de) mulk |
| 2024-12-18 07:37:19 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-18 07:39:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 07:43:51 +0100 | iqubic | (~sophia@2601:602:9201:8b20:bb5b:b06c:50fe:d6bd) (Ping timeout: 252 seconds) |
| 2024-12-18 07:44:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 07:51:35 +0100 | briandaed | (~root@user/briandaed) briandaed |
| 2024-12-18 07:55:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 07:58:14 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f667119c200ba695214.dip0.t-ipconnect.de) |
| 2024-12-18 07:59:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 08:08:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 08:12:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-18 08:15:46 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-18 08:17:50 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-12-18 08:19:33 +0100 | iqubic | (~sophia@2601:602:9201:8b20:e022:daf:3388:8f9a) iqubic |
| 2024-12-18 08:19:45 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-12-18 08:21:49 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-12-18 08:23:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 08:28:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 08:39:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 08:44:54 +0100 | CiaoSen | (~Jura@2a05:5800:2d9:3300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-18 08:46:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 08:50:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-18 08:57:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 08:59:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-18 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-18 09:00:44 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-18 09:01:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 09:05:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-18 09:09:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 09:15:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-18 09:16:05 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-18 09:19:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-18 09:36:07 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-18 09:38:41 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-18 09:40:14 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-18 09:41:21 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-18 09:41:57 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-18 09:42:46 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-18 09:43:03 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-18 09:47:42 +0100 | michalz | (~michalz@185.246.207.201) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-12-18 09:48:00 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-12-18 09:49:20 +0100 | ash3en | (~Thunderbi@193.32.248.167) ash3en |
| 2024-12-18 09:52:17 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-18 09:53:40 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-12-18 09:54:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 09:56:43 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-18 10:01:26 +0100 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-18 10:02:15 +0100 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-12-18 10:03:12 +0100 | ash3en | (~Thunderbi@193.32.248.167) (Ping timeout: 252 seconds) |
| 2024-12-18 10:09:54 +0100 | Digitteknohippie | Digit |
| 2024-12-18 10:17:51 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-12-18 10:17:58 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3508-2805-419a-eb6d-6782-6d7d.rev.sfr.net) alexherbo2 |
| 2024-12-18 10:19:35 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-18 10:21:04 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-12-18 10:21:39 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-12-18 10:28:41 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-12-18 10:32:34 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-18 10:33:09 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-12-18 10:34:11 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-18 10:37:52 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-18 10:38:31 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-18 10:40:03 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-18 10:46:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-12-18 10:46:55 +0100 | ephilalethes | (~noumenon@202.186.203.84) (Quit: Leaving) |
| 2024-12-18 10:49:09 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-18 10:50:52 +0100 | sprotte24 | (~sprotte24@p200300d16f0dce00900f42b4bd66199c.dip0.t-ipconnect.de) |
| 2024-12-18 10:51:54 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-18 10:52:16 +0100 | CiaoSen | (~Jura@2a05:5800:2d9:3300:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-12-18 10:56:09 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 10:58:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 10:58:49 +0100 | mari73990 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 11:01:30 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 276 seconds) |
| 2024-12-18 11:05:28 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-12-18 11:07:35 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-18 11:09:22 +0100 | lortabac | (~lortabac@37.169.119.127) |
| 2024-12-18 11:10:33 +0100 | sprotte24 | (~sprotte24@p200300d16f0dce00900f42b4bd66199c.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-18 11:11:50 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-18 11:13:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-18 11:20:09 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-18 11:33:10 +0100 | Chauhan | (~Guest21@2a00:f29:229:85c2:d87d:44fa:e473:1197) |
| 2024-12-18 11:36:05 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c5e5:bb72:26a4:9b68) |
| 2024-12-18 11:45:01 +0100 | homo | (~homo@user/homo) (Quit: Quit) |
| 2024-12-18 11:45:21 +0100 | homo | (~homo@82-128-217-24.bb.dnainternet.fi) |
| 2024-12-18 11:45:47 +0100 | homo | (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 2024-12-18 11:45:48 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-18 11:46:38 +0100 | homo | (~homo@user/homo) (Client Quit) |
| 2024-12-18 11:46:52 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-18 11:48:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-18 11:50:01 +0100 | lortabac | (~lortabac@37.169.119.127) (Quit: WeeChat 4.4.2) |
| 2024-12-18 11:59:37 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 12:00:03 +0100 | mari73990 | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2024-12-18 12:09:45 +0100 | Chauhan | (~Guest21@2a00:f29:229:85c2:d87d:44fa:e473:1197) (Quit: Client closed) |
| 2024-12-18 12:13:45 +0100 | AlexNoo_ | (~AlexNoo@5.139.233.146) |
| 2024-12-18 12:16:40 +0100 | AlexZenon | (~alzenon@5.139.233.0) (Ping timeout: 252 seconds) |
| 2024-12-18 12:17:24 +0100 | AlexNoo | (~AlexNoo@5.139.233.0) (Ping timeout: 252 seconds) |
| 2024-12-18 12:19:53 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-12-18 12:25:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-12-18 12:26:09 +0100 | AlexZenon | (~alzenon@5.139.233.146) |
| 2024-12-18 12:27:29 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 245 seconds) |
| 2024-12-18 12:28:02 +0100 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-12-18 12:28:06 +0100 | CiaoSen | (~Jura@2a05:5800:2d9:3300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-18 12:28:39 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-18 12:29:58 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-18 12:37:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 12:42:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-12-18 12:48:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-18 12:49:15 +0100 | alp | (~alp@2001:861:8ca0:4940:d739:f225:bf6f:3d8f) (Ping timeout: 260 seconds) |
| 2024-12-18 12:53:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2024-12-18 12:53:31 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 12:58:22 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-12-18 13:00:16 +0100 | AlexNoo_ | AlexNoo |
| 2024-12-18 13:00:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 13:01:37 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3508-2805-419a-eb6d-6782-6d7d.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-18 13:01:57 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3508-2805-419a-eb6d-6782-6d7d.rev.sfr.net) alexherbo2 |
| 2024-12-18 13:05:27 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-12-18 13:14:08 +0100 | sudden | (~cat@user/sudden) sudden |
| 2024-12-18 13:16:39 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 13:17:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-18 13:25:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-18 13:27:12 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-12-18 13:27:41 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-12-18 13:30:07 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-12-18 13:30:42 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-12-18 13:39:05 +0100 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-12-18 13:43:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-18 13:44:40 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Remote host closed the connection) |
| 2024-12-18 13:48:59 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-18 14:01:12 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 14:02:04 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:cf3:129a:f7a5:e200) ph88 |
| 2024-12-18 14:02:37 +0100 | <ph88> | Could anyone tell me how to upgrade this code from GHC 9.4.8 to GHC 9.6.6? https://play.haskell.org/saved/lduM0WiA |
| 2024-12-18 14:04:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-12-18 14:13:29 +0100 | <comerijn> | ph88: Well, did you check the migration guide? |
| 2024-12-18 14:13:48 +0100 | <ph88> | comerijn, yes i checked it |
| 2024-12-18 14:14:08 +0100 | <ph88> | i read this page https://downloads.haskell.org/~ghc/9.6.1/docs/users_guide/9.6.1-notes.html |
| 2024-12-18 14:14:38 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-18 14:15:05 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-18 14:15:14 +0100 | <ph88> | it probably has to do with constraint solving, but on the other hand the notes don't mention deriving clause |
| 2024-12-18 14:15:18 +0100 | <comerijn> | ph88: Did you check the migration guide link there? ;) |
| 2024-12-18 14:15:53 +0100 | <ph88> | no i missed, that but i search in it now and there is also no deriving on that page |
| 2024-12-18 14:16:04 +0100 | <comerijn> | ph88: This seems relevant: https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6#superclass-expansion-is-more-conservative |
| 2024-12-18 14:16:05 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-18 14:17:08 +0100 | N0ping | (~N0ping@31-208-57-134.cust.bredband2.com) |
| 2024-12-18 14:18:12 +0100 | <ph88> | ye i think so too |
| 2024-12-18 14:18:29 +0100 | <ph88> | i tried things like this https://play.haskell.org/saved/zE8YUDYp but i'm just getting confused |
| 2024-12-18 14:18:55 +0100 | <ph88> | i wish there was an example with deriving in the migration guide |
| 2024-12-18 14:21:17 +0100 | <comerijn> | ph88: You can try asking in #ghc, bigger chance someone knowledgeable about the details sees it |
| 2024-12-18 14:21:38 +0100 | <ph88> | ok |
| 2024-12-18 14:38:01 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-12-18 14:39:42 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-12-18 14:43:01 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 14:46:05 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-18 14:54:00 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-18 15:01:51 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-18 15:12:03 +0100 | testme123 | (~testme123@103.217.109.88) |
| 2024-12-18 15:12:16 +0100 | testme123 | (~testme123@103.217.109.88) () |
| 2024-12-18 15:12:37 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-18 15:18:48 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-18 15:19:13 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-18 15:21:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2024-12-18 15:23:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-18 15:24:11 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3508-2805-419a-eb6d-6782-6d7d.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-18 15:25:10 +0100 | N0ping | (~N0ping@31-208-57-134.cust.bredband2.com) (Ping timeout: 240 seconds) |
| 2024-12-18 15:28:00 +0100 | dpratt | (~dpratt@71.168.111.215) dpratt |
| 2024-12-18 15:30:27 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:95c7:78:b1f:3963) (Ping timeout: 265 seconds) |
| 2024-12-18 15:31:08 +0100 | michalz | (~michalz@185.246.207.201) (Read error: Connection reset by peer) |
| 2024-12-18 15:31:32 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-18 15:31:34 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-18 15:32:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-18 15:35:00 +0100 | dyniec | (~dyniec@dybiec.info) dyniec |
| 2024-12-18 15:35:23 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-18 15:36:49 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Client Quit) |
| 2024-12-18 15:41:02 +0100 | ubert | (~Thunderbi@2a02:8109:ab88:9a00:20ea:eab3:f516:a20b) ubert |
| 2024-12-18 15:42:08 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
| 2024-12-18 15:42:56 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-18 15:42:57 +0100 | CiaoSen | (~Jura@2a05:5800:2d9:3300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-12-18 15:45:36 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-18 15:51:01 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-12-18 15:51:53 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-18 15:52:51 +0100 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-18 15:53:27 +0100 | homo | (~homo@82-128-217-24.bb.dnainternet.fi) |
| 2024-12-18 15:53:36 +0100 | homo | (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 2024-12-18 15:53:36 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-18 15:55:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-18 15:55:54 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-18 15:56:42 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-18 15:58:56 +0100 | N0ping | (~N0ping@31-208-57-134.cust.bredband2.com) |
| 2024-12-18 16:00:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-18 16:00:42 +0100 | ephemient | (uid407513@user/ephemient) ephemient |
| 2024-12-18 16:01:08 +0100 | N0ping | (~N0ping@31-208-57-134.cust.bredband2.com) (Client Quit) |
| 2024-12-18 16:03:50 +0100 | Square2 | (~Square@user/square) Square |
| 2024-12-18 16:04:10 +0100 | michalz | (~michalz@185.246.207.201) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-12-18 16:04:29 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-18 16:08:29 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-18 16:11:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3508-2805-61de-6f21-5d37-b1ff.rev.sfr.net) alexherbo2 |
| 2024-12-18 16:12:19 +0100 | ephilalethes | (~noumenon@202.186.203.84) noumenon |
| 2024-12-18 16:20:13 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-18 16:20:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-12-18 16:21:10 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-18 16:24:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2024-12-18 16:30:54 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-18 16:33:02 +0100 | anpad | (~pandeyan@user/anpad) (Client Quit) |
| 2024-12-18 16:33:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-18 16:39:00 +0100 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-12-18 16:41:15 +0100 | zero | zzz |
| 2024-12-18 16:42:55 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-18 16:43:14 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 2024-12-18 16:44:52 +0100 | <zzz> | any recent breaking changins to hls that i'm not aware of? i'm getting "no information available" on hover where i expected type information |
| 2024-12-18 16:45:16 +0100 | <zzz> | i'm on ghc 9.4.8 and hls 2.9.0.1 |
| 2024-12-18 16:46:40 +0100 | dpratt | (~dpratt@71.168.111.215) (Ping timeout: 240 seconds) |
| 2024-12-18 16:48:26 +0100 | <zzz> | ok nevermind. i've been struggling with this for the past couple of days and now that i finaly decided to ask it suddently started to work :/ |
| 2024-12-18 16:54:20 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-18 16:54:54 +0100 | <enikar> | maybe, you'll ask early the next time :) |
| 2024-12-18 16:55:10 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-18 16:55:33 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-18 16:56:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-18 16:57:56 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 17:00:04 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3508-2805-61de-6f21-5d37-b1ff.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-18 17:00:35 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-12-18 17:04:38 +0100 | mari-7534 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 17:07:07 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-18 17:08:15 +0100 | mari-7534 | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2024-12-18 17:08:17 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 17:09:23 +0100 | <ph88> | haha :D |
| 2024-12-18 17:15:24 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-12-18 17:17:25 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-12-18 17:18:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-18 17:18:21 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-12-18 17:18:21 +0100 | ChanServ | +v haskellbridge |
| 2024-12-18 17:21:49 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-18 17:28:57 +0100 | mari75574 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 17:30:31 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-18 17:31:10 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2024-12-18 17:37:36 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 17:38:14 +0100 | alp | (~alp@2001:861:8ca0:4940:268e:5456:127:feca) |
| 2024-12-18 17:39:41 +0100 | mari75574 | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-12-18 17:39:59 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 265 seconds) |
| 2024-12-18 17:40:15 +0100 | mari39849 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 17:40:47 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2024-12-18 17:40:55 +0100 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-18 17:42:32 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2024-12-18 17:42:48 +0100 | ubert | (~Thunderbi@2a02:8109:ab88:9a00:20ea:eab3:f516:a20b) (Remote host closed the connection) |
| 2024-12-18 17:43:01 +0100 | ubert | (~Thunderbi@2a02:8109:ab88:9a00:e039:75a8:ca91:8a2) ubert |
| 2024-12-18 17:45:54 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 17:48:22 +0100 | mari39849 | (~mari-este@user/mari-estel) (Ping timeout: 272 seconds) |
| 2024-12-18 17:51:31 +0100 | michalz_ | (~michalz@185.246.207.203) |
| 2024-12-18 17:53:31 +0100 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-12-18 17:54:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-12-18 17:55:22 +0100 | homo | (~homo@user/homo) (Quit: Quit) |
| 2024-12-18 17:55:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-18 17:56:17 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-18 17:56:54 +0100 | homo | (~homo@82-128-217-24.bb.dnainternet.fi) |
| 2024-12-18 17:57:12 +0100 | homo | (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 2024-12-18 17:57:12 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-18 17:58:08 +0100 | anpad | (~pandeyan@user/anpad) (Client Quit) |
| 2024-12-18 18:00:44 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-18 18:01:32 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-18 18:01:39 +0100 | homo | (~homo@user/homo) (Client Quit) |
| 2024-12-18 18:01:54 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-18 18:04:33 +0100 | mari58083 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 18:07:03 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-18 18:07:12 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 18:08:18 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Ping timeout: 252 seconds) |
| 2024-12-18 18:08:49 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-18 18:09:46 +0100 | mari58083 | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-12-18 18:11:24 +0100 | ubert | (~Thunderbi@2a02:8109:ab88:9a00:e039:75a8:ca91:8a2) (Ping timeout: 265 seconds) |
| 2024-12-18 18:11:45 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:3b95:3f84:e23c:203f) ubert |
| 2024-12-18 18:13:54 +0100 | mari30636 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 18:16:14 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-18 18:17:33 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 18:19:58 +0100 | mari30636 | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-12-18 18:21:30 +0100 | michalz_ | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-12-18 18:22:29 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-12-18 18:23:07 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-18 18:26:28 +0100 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:1610:6fd5:80f:4281) ubert |
| 2024-12-18 18:26:47 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:3b95:3f84:e23c:203f) (Remote host closed the connection) |
| 2024-12-18 18:26:47 +0100 | ubert1 | ubert |
| 2024-12-18 18:30:48 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-18 18:32:04 +0100 | Everything | (~Everythin@195.138.86.118) (Ping timeout: 272 seconds) |
| 2024-12-18 18:32:14 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-18 18:33:16 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-18 18:40:04 +0100 | <zzz> | how do i write this? https://paste.jrvieira.com/1734543595906 |
| 2024-12-18 18:41:12 +0100 | mari28094 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 18:41:51 +0100 | <tomsmeding> | zzz: use a case expression on mg? |
| 2024-12-18 18:42:23 +0100 | <tomsmeding> | wait, why are you using the result of 'guard'? What's the type of that 'guard' |
| 2024-12-18 18:43:47 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-18 18:45:39 +0100 | <tomsmeding> | but assuming it's not Control.Monad.guard, f s m' = case guard m' of { Nothing -> Left s; Just g | g `Set.member` sl -> Left s | g `Set.member` sr -> Right s | otherwise -> f (Set.insert g s) (move g m') } |
| 2024-12-18 18:45:42 +0100 | <tomsmeding> | with more newlines |
| 2024-12-18 18:49:09 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:1610:6fd5:80f:4281) (Remote host closed the connection) |
| 2024-12-18 18:49:13 +0100 | <zzz> | ah yes, sorry. it's not Control.Monad.guard |
| 2024-12-18 18:49:22 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:11d5:62d5:c2a7:2544) ubert |
| 2024-12-18 18:50:23 +0100 | <zzz> | thanks |
| 2024-12-18 18:50:42 +0100 | <zzz> | i usually avoid case expressions as a stylistic choice but i guess it fits well here |
| 2024-12-18 19:00:46 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-12-18 19:04:38 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2024-12-18 19:04:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-18 19:07:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 19:07:57 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:cf3:129a:f7a5:e200) (Ping timeout: 265 seconds) |
| 2024-12-18 19:08:48 +0100 | <tomsmeding> | you're doing a case split! |
| 2024-12-18 19:08:52 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 19:08:52 +0100 | <tomsmeding> | embrace the case :p |
| 2024-12-18 19:10:53 +0100 | mari28094 | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2024-12-18 19:11:32 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2024-12-18 19:13:09 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-18 19:15:12 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:11d5:62d5:c2a7:2544) (Ping timeout: 265 seconds) |
| 2024-12-18 19:16:55 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-18 19:17:15 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-18 19:18:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-12-18 19:19:53 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-12-18 19:23:16 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (Quit: ) |
| 2024-12-18 19:25:21 +0100 | michalz_ | (~michalz@185.246.207.201) |
| 2024-12-18 19:25:50 +0100 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-12-18 19:27:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-18 19:31:01 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:4335:61cc:36be:f8ba) ph88 |
| 2024-12-18 19:32:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-18 19:33:29 +0100 | <zzz> | i usually use pattern guards for that |
| 2024-12-18 19:34:02 +0100 | <zzz> | an i am pretty sure `x@ ~(Just a)` used to be valid |
| 2024-12-18 19:34:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2024-12-18 19:36:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 19:39:22 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:4335:61cc:36be:f8ba) (Ping timeout: 265 seconds) |
| 2024-12-18 19:43:32 +0100 | mari52200 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 19:45:49 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-12-18 19:46:08 +0100 | <geekosaur> | spacing rules did change, though |
| 2024-12-18 19:46:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-18 19:46:37 +0100 | <geekosaur> | too many extensions doing their own things, leading to weird conflicts, so now there's fixed rules for it |
| 2024-12-18 19:47:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 19:49:47 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:851e:84df:7cc0:34b6) ph88 |
| 2024-12-18 19:52:14 +0100 | <tomsmeding> | zzz: sure, you can use pattern guards, but pattern guards only let you take one of the case-branches, throwing all the other options together in an "otherwise" branch (the rest of the guards) where you can't bind any variables |
| 2024-12-18 19:52:50 +0100 | <tomsmeding> | as soon as you want to distinguish between three cases, or want to bind variables in any but the first case, pattern guards won't cut it |
| 2024-12-18 19:53:23 +0100 | <tomsmeding> | unless you bind the thing you're analysing in a where-binding and then put the individual patterns in separate guards, but at that point you're just writing a case expression but more verbosely and less readably (IMO) |
| 2024-12-18 19:54:18 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-18 19:55:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-18 19:56:21 +0100 | mari52200 | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2024-12-18 19:56:52 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-12-18 19:59:55 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-12-18 20:02:11 +0100 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-18 20:04:38 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-18 20:06:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 20:11:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-18 20:11:29 +0100 | <zzz> | tomsmeding: if haskell was smart enough to avoid duplicate computations, i would prefer the insome cases more verbose but cleaner pattern guard syntax than that of nested case expressions |
| 2024-12-18 20:12:45 +0100 | <tomsmeding> | zzz: hm, especially if you're writing what would be nested cases, then IMO it would be much clearer to actually _write_ the nested case expressions (even if you get unsatisfying nesting), because with pattern guards, it's very difficult to see if you're really handling all cases |
| 2024-12-18 20:13:13 +0100 | <tomsmeding> | I know GHC does an exhaustivity check, but seeing how you handle the input space is an important part of understanding what a function (built around pattern matching) does |
| 2024-12-18 20:15:45 +0100 | <zzz> | i like this: https://paste.jrvieira.com/1734549337963 |
| 2024-12-18 20:16:38 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2024-12-18 20:17:04 +0100 | michalz_ | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-12-18 20:17:18 +0100 | <tomsmeding> | this is personal I guess |
| 2024-12-18 20:17:28 +0100 | <tomsmeding> | I find it very hard to get an intuitive grasp of what's happening here |
| 2024-12-18 20:17:54 +0100 | <tomsmeding> | but in any imperative language it would be the same |
| 2024-12-18 20:18:21 +0100 | <zzz> | how would you write this with case? |
| 2024-12-18 20:18:39 +0100 | <tomsmeding> | yeah this kind of function does not easily represent itself with a case tree :p |
| 2024-12-18 20:20:56 +0100 | <zzz> | we need case graphs |
| 2024-12-18 20:20:56 +0100 | <tomsmeding> | (can you please use a pastebin from which you can copy the text and get what you expect) |
| 2024-12-18 20:21:47 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-12-18 20:22:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 20:22:21 +0100 | <int-e> | The trouble seems to be "off screen" - what are lambda, mu, a, and to lesser extent all the predicates. It reads vaguely like CSS. |
| 2024-12-18 20:22:52 +0100 | <int-e> | oh and epsilon too |
| 2024-12-18 20:23:10 +0100 | <zzz> | tomsmeding: what's the problem you're having? this is my personal pastebin, i welcome criticism |
| 2024-12-18 20:23:33 +0100 | <tomsmeding> | zzz: if I copy it, I get excessive lines containing only whitespace in between every line |
| 2024-12-18 20:23:43 +0100 | <tomsmeding> | they're not even empty, they actually contain multiple spaces |
| 2024-12-18 20:24:08 +0100 | <zzz> | weird. which browser are you using? |
| 2024-12-18 20:24:10 +0100 | <tomsmeding> | also the spaces at the start of every line but that's probably just from the source |
| 2024-12-18 20:24:12 +0100 | <tomsmeding> | firefox |
| 2024-12-18 20:24:17 +0100 | <int-e> | hmm for me (without JS) there are proper empty lines |
| 2024-12-18 20:24:35 +0100 | <int-e> | the first line of the code block has some extra indentation though |
| 2024-12-18 20:24:40 +0100 | int-e | shrugs |
| 2024-12-18 20:24:42 +0100 | <zzz> | (yes the indentation is from the source) |
| 2024-12-18 20:24:46 +0100 | <int-e> | I'm happy that it works without JS! |
| 2024-12-18 20:25:09 +0100 | <zzz> | i designed it with text-based browsers in mind even |
| 2024-12-18 20:25:10 +0100 | <tomsmeding> | yeah no this simply does not have a case tree structure |
| 2024-12-18 20:25:39 +0100 | <tomsmeding> | I like case trees when they work, they give you the structure of the case analysis in a single glance |
| 2024-12-18 20:25:44 +0100 | <tomsmeding> | but they don't always work |
| 2024-12-18 20:25:49 +0100 | <tomsmeding> | here they empathetically don't |
| 2024-12-18 20:26:27 +0100 | <zzz> | i can replicate the bug in firefox. thanks, i'll fix it |
| 2024-12-18 20:26:35 +0100 | <tomsmeding> | yay :) |
| 2024-12-18 20:26:39 +0100 | <int-e> | there's a bit of a tree structure; all the 'targeted' cases could be grouped together (with the 'targeted' check first) |
| 2024-12-18 20:26:48 +0100 | <tomsmeding> | yes I found that too |
| 2024-12-18 20:26:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-18 20:26:57 +0100 | <tomsmeding> | but the Pause stuff is very ad-hoc |
| 2024-12-18 20:27:02 +0100 | <int-e> | yeah |
| 2024-12-18 20:27:26 +0100 | <tomsmeding> | also the selected/adjacent cases I'd write as `| select -> case lambda st of Elemental -> white; _ -> Cyan Dull` etc |
| 2024-12-18 20:27:27 +0100 | <zzz> | int-e: until you want to add another case that involves targeted and/or selected in non trivial way |
| 2024-12-18 20:28:22 +0100 | <zzz> | the goal is to make this easily editable, so ergonomic for the programmer |
| 2024-12-18 20:28:36 +0100 | <tomsmeding> | as I said, for this code I think this is the nicest you can make it |
| 2024-12-18 20:28:50 +0100 | <tomsmeding> | but that doesn't make it any easier to understand for me :p |
| 2024-12-18 20:29:00 +0100 | <int-e> | I find that it's readable and we could quibble endlessly about how to make it more so. |
| 2024-12-18 20:29:28 +0100 | <int-e> | But it will probably just be bikeshedding. |
| 2024-12-18 20:29:32 +0100 | <tomsmeding> | I mean that it's not clear on a single glance what the result will be for a particular input state; you have to go top-to-bottom checking each case |
| 2024-12-18 20:29:40 +0100 | <tomsmeding> | but then, that's precisely what the intended semantics is |
| 2024-12-18 20:29:46 +0100 | <tomsmeding> | so there's not much to improve :p |
| 2024-12-18 20:30:16 +0100 | <zzz> | with a big enough screen i can even align the patterns so that each pattern sits in its own column :) |
| 2024-12-18 20:30:47 +0100 | <tomsmeding> | that just means the reader's eyes will have to travel longer distances horizontally :p |
| 2024-12-18 20:30:54 +0100 | <tomsmeding> | aligning the = is good though |
| 2024-12-18 20:30:59 +0100 | <zzz> | makes it good for consulting |
| 2024-12-18 20:31:23 +0100 | <int-e> | I dislike the spaces before the commas ;-) |
| 2024-12-18 20:31:59 +0100 | <int-e> | (seriously, the bikeshed should be blue with red polka dots. any other choice would be insufferable.) |
| 2024-12-18 20:32:05 +0100 | <zzz> | i hate commas |
| 2024-12-18 20:32:25 +0100 | <int-e> | so you should make them inconspicuous ;-) |
| 2024-12-18 20:32:35 +0100 | <tomsmeding> | (no! pale blue with yellow stars!) |
| 2024-12-18 20:32:43 +0100 | <zzz> | no no |
| 2024-12-18 20:32:44 +0100 | <zzz> | you see |
| 2024-12-18 20:32:55 +0100 | <zzz> | i don't pollute other words with it |
| 2024-12-18 20:32:56 +0100 | <tomsmeding> | you're secretly an Agda programmer? |
| 2024-12-18 20:33:08 +0100 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-12-18 20:33:11 +0100 | <glguy> | Since we're really getting down in the weeds, you could make it nicer getting rid of the couple uses of $ you have |
| 2024-12-18 20:34:06 +0100 | <int-e> | zzz: has anyone pointed out that all the 'targeted' cases have the same color and can be combined ;-) |
| 2024-12-18 20:34:19 +0100 | <zzz> | or i could get rid of more parenthesis :) |
| 2024-12-18 20:34:38 +0100 | <glguy> | nah, we're trying to make it nicer |
| 2024-12-18 20:34:41 +0100 | <hellwolf> | co-parenthesis |
| 2024-12-18 20:35:27 +0100 | <zzz> | int-e: they're the same color *now*, but i keep trying different things |
| 2024-12-18 20:36:40 +0100 | <zzz> | eheh |
| 2024-12-18 20:36:50 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
| 2024-12-18 20:37:37 +0100 | <int-e> | zzz: I was just riding the bikeshedding train a bit further. I think I'm good now :) |
| 2024-12-18 20:37:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 20:38:16 +0100 | <zzz> | this is where that's from btw https://asciinema.org/a/531917 |
| 2024-12-18 20:39:34 +0100 | michalz | (~michalz@185.246.207.215) |
| 2024-12-18 20:41:17 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-18 20:42:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-18 20:45:17 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-18 20:45:36 +0100 | student | (~student@85.172.111.189) (Ping timeout: 252 seconds) |
| 2024-12-18 20:45:44 +0100 | michalz | (~michalz@185.246.207.215) (Ping timeout: 264 seconds) |
| 2024-12-18 20:47:33 +0100 | student | (~student@85.172.111.189) |
| 2024-12-18 20:48:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-18 20:48:00 +0100 | ljdarj1 | ljdarj |
| 2024-12-18 20:48:32 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-18 20:50:38 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-18 20:51:27 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-18 20:53:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 20:53:58 +0100 | Everything | (~Everythin@195.138.86.118) (Ping timeout: 252 seconds) |
| 2024-12-18 20:55:53 +0100 | Everything | (~Everythin@46.211.107.216) Everything |
| 2024-12-18 20:57:11 +0100 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-12-18 21:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-18 21:00:27 +0100 | michalz | (~michalz@185.246.207.193) |
| 2024-12-18 21:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-18 21:00:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-18 21:05:26 +0100 | <zzz> | i'm working in the firefox table formatting probling and all i can say is that i miss Haskell already |
| 2024-12-18 21:05:52 +0100 | <zzz> | and the simpler web |
| 2024-12-18 21:08:07 +0100 | <zzz> | s/in/on s/probling/problem |
| 2024-12-18 21:11:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 21:16:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-18 21:16:21 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-12-18 21:22:48 +0100 | Everything | (~Everythin@46.211.107.216) (Ping timeout: 265 seconds) |
| 2024-12-18 21:24:30 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
| 2024-12-18 21:26:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 21:26:52 +0100 | michalz | (~michalz@185.246.207.193) (Ping timeout: 272 seconds) |
| 2024-12-18 21:31:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-18 21:32:57 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-12-18 21:33:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 21:37:42 +0100 | cheater_ | (~Username@user/cheater) cheater |
| 2024-12-18 21:37:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-18 21:37:59 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-12-18 21:39:28 +0100 | cheater__ | (~Username@user/cheater) cheater |
| 2024-12-18 21:40:36 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2024-12-18 21:40:42 +0100 | cheater__ | cheater |
| 2024-12-18 21:42:07 +0100 | homo_ | (~homo@82-128-217-24.bb.dnainternet.fi) |
| 2024-12-18 21:42:33 +0100 | homo_ | (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 2024-12-18 21:42:33 +0100 | homo_ | (~homo@user/homo) homo |
| 2024-12-18 21:43:06 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2024-12-18 21:43:32 +0100 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-12-18 21:43:37 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2024-12-18 21:45:59 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-18 21:47:46 +0100 | Square | (~Square4@user/square) Square |
| 2024-12-18 21:48:10 +0100 | homo_ | homo |
| 2024-12-18 21:48:21 +0100 | michalz | (~michalz@185.246.207.197) |
| 2024-12-18 21:48:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 21:48:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-18 21:50:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-18 21:51:30 +0100 | Square2 | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-12-18 21:51:40 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-18 21:53:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 22:01:09 +0100 | Guest16 | (~Guest16@host188.190-139-68.telecom.net.ar) |
| 2024-12-18 22:03:49 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-12-18 22:04:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 22:06:23 +0100 | Guest16 | (~Guest16@host188.190-139-68.telecom.net.ar) (Quit: Client closed) |
| 2024-12-18 22:11:00 +0100 | michalz | (~michalz@185.246.207.197) (Ping timeout: 260 seconds) |
| 2024-12-18 22:11:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-18 22:11:53 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-18 22:13:04 +0100 | sprotte24 | (~sprotte24@p200300d16f0dce00c42912c31568f36e.dip0.t-ipconnect.de) |
| 2024-12-18 22:13:37 +0100 | sonolin | (~michael@user/sonolin) sonolin |
| 2024-12-18 22:14:44 +0100 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2024-12-18 22:15:26 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-18 22:15:33 +0100 | <rstromlund> | Good afternoon (in my TZ anyway) all. I have a haskell function that has 2 clauses; one needs a parameter and the second could be point free. But haskell says the two equations have different number of parameters. They really don't but the compiler doesn't calculate the number of parameters the point free clause may take. |
| 2024-12-18 22:17:02 +0100 | <geekosaur> | correct, and required by the Haskell Language Report |
| 2024-12-18 22:17:12 +0100 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-18 22:17:29 +0100 | <tomsmeding> | rstromlund: suggestion: move the excess parameters from the pointful clause to a lambda on the right-hand side |
| 2024-12-18 22:17:59 +0100 | <rstromlund> | thanks geekosaur, and good idea tomsmeding. |
| 2024-12-18 22:18:22 +0100 | <rstromlund> | Actually the reason I have a param is to pattern match : "decompose 0 = [0]" |
| 2024-12-18 22:19:00 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-12-18 22:19:07 +0100 | <rstromlund> | I don't have to have point-free; just thought I'd ask. I've seen the error before and figured that the compiler couldn't (reasonably) project the param count. |
| 2024-12-18 22:19:24 +0100 | dpratt | (~dpratt@165.225.220.148) (Client Quit) |
| 2024-12-18 22:20:27 +0100 | <tomsmeding> | indeed |
| 2024-12-18 22:20:51 +0100 | <tomsmeding> | you can also pattern-match on the right-hand side; if it's just a single parameter, you can use LambdaCase (\case); if it's multiple, there is \cases syntax in new GHCs |
| 2024-12-18 22:20:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-18 22:21:03 +0100 | <geekosaur> | https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-840004.4.3.1 if you care |
| 2024-12-18 22:21:03 +0100 | <tomsmeding> | (or simply do a traditional case on a tuple) |
| 2024-12-18 22:21:39 +0100 | <geekosaur> | "Note that all clauses defining a function must be contiguous, and the number of patterns in each clause must be the same." |
| 2024-12-18 22:22:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 22:23:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-18 22:25:59 +0100 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-18 22:26:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 22:27:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 22:28:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-18 22:30:56 +0100 | <zzz> | i remember reading about why that's actually a sensible limitation but i forget |
| 2024-12-18 22:32:49 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-12-18 22:36:44 +0100 | <geekosaur> | while the current world is basically "only ghc exists", the original idea was to have multiple compilers (and indeed, back in the day there were also hugs and nhc98) and the same-arity restriction makes it easier to implement |
| 2024-12-18 22:38:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-18 22:42:41 +0100 | <geekosaur> | (I think things like the primitive reader monad make arity checking trickier than it looks) |
| 2024-12-18 22:49:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 22:51:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-12-18 22:52:16 +0100 | <tomsmeding> | there's also the fact that GHC uses the fact that a function has a well-defined arity to make certain inlining decisions |
| 2024-12-18 22:52:37 +0100 | <tomsmeding> | if you fully-apply a function, it's more likely to get inlined, and "fully apply" is only well-defined if you have a well-defined arity |
| 2024-12-18 22:52:52 +0100 | <tomsmeding> | now this is not a reason to put it in the standard, but it may be what zzz was thinking of? |
| 2024-12-18 22:53:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 22:54:26 +0100 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
| 2024-12-18 22:56:40 +0100 | rstromlund | (~user@user/rstromlund) (Ping timeout: 244 seconds) |
| 2024-12-18 23:04:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 23:05:25 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Remote host closed the connection) |
| 2024-12-18 23:05:36 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-18 23:07:24 +0100 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-18 23:09:46 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-12-18 23:10:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-18 23:10:29 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-18 23:11:33 +0100 | <geekosaur> | maybe |
| 2024-12-18 23:20:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 23:22:24 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2024-12-18 23:25:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-18 23:26:07 +0100 | michalz | (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
| 2024-12-18 23:31:46 +0100 | dostoevsky_ | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-18 23:32:20 +0100 | dostoevsky_ | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2024-12-18 23:32:40 +0100 | dostoevsky_ | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-18 23:33:29 +0100 | <haskellbridge> | <Bowuigi> A syntactical reason is that a function definition with differeng number of visible arguments on each clause just looks weird |
| 2024-12-18 23:34:08 +0100 | <haskellbridge> | <Bowuigi> That implies it is somewhat error prone, so even tho you will get a type error, it wouldn't be the most human friendly thing |
| 2024-12-18 23:35:14 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Ping timeout: 265 seconds) |
| 2024-12-18 23:35:39 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-12-18 23:35:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 23:36:02 +0100 | <haskellbridge> | <Bowuigi> Using eliminators instead of pattern matching gets you this kind of granularity if you need it |
| 2024-12-18 23:36:27 +0100 | <haskellbridge> | <Bowuigi> While not looking confusing or being hard to optimize |
| 2024-12-18 23:38:37 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-18 23:40:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-18 23:43:56 +0100 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-12-18 23:49:09 +0100 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) () |
| 2024-12-18 23:49:16 +0100 | catties | (~catties@user/meow/catties) (Remote host closed the connection) |
| 2024-12-18 23:51:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-18 23:51:38 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-18 23:54:22 +0100 | catties | (~catties@user/meow/catties) catties |
| 2024-12-18 23:56:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-18 23:56:08 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-12-18 23:56:18 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-18 23:56:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-18 23:56:49 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-12-18 23:57:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |