2025-09-11 00:00:09 +0200 | <biberao> | sm i dont? |
2025-09-11 00:00:13 +0200 | <biberao> | to install ghcup» |
2025-09-11 00:00:15 +0200 | <biberao> | ? |
2025-09-11 00:00:20 +0200 | <biberao> | i was advise to do that |
2025-09-11 00:00:30 +0200 | <biberao> | how do i now use ghcup with vscode? |
2025-09-11 00:00:43 +0200 | <biberao> | do i need to install vscode on wsl? |
2025-09-11 00:02:57 +0200 | <haskellbridge> | <sm> ah yes, it looks like you maybe do need wsl to make ghcup run on windows. I would just use stack personally. |
2025-09-11 00:03:29 +0200 | <haskellbridge> | <sm> I'm pretty sure vscode does not require wsl. ghcup is the only tool that needs it. |
2025-09-11 00:03:57 +0200 | <geekosaur> | uh? ghcup was fixed for windows some time back, including `ghcup tui`. it even has a PowerShell invocation to download and run it initially |
2025-09-11 00:04:18 +0200 | <haskellbridge> | <sm> that's what I thought too. I'm just looking at the options at https://www.haskell.org/ghcup/# |
2025-09-11 00:04:38 +0200 | <geekosaur> | Click "show all platforms" |
2025-09-11 00:04:39 +0200 | <biberao> | oh so i dont need wsl then? |
2025-09-11 00:04:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-11 00:04:50 +0200 | <haskellbridge> | <sm> ah, you have to click Show all platforms. page needs an update maybe, maerwald |
2025-09-11 00:05:17 +0200 | <biberao> | so ill remove wsl |
2025-09-11 00:05:43 +0200 | <biberao> | i dont see that |
2025-09-11 00:05:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-09-11 00:05:48 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-11 00:05:49 +0200 | <biberao> | show all platforms |
2025-09-11 00:06:21 +0200 | <biberao> | can you link please? |
2025-09-11 00:07:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-11 00:07:36 +0200 | <biberao> | do i need to install msys2? |
2025-09-11 00:07:43 +0200 | <haskellbridge> | <sm> https://kf8nh.com/_heisenbridge/media/matrix.org/iLBLcdfMQQpypjSGmPcQVjqa/tTWuaB_EmLU/Screenshot%2… |
2025-09-11 00:08:06 +0200 | <geekosaur> | it's in small text (and hard to see against the background) right under the Linux/POSIX/WSL2 instruction box |
2025-09-11 00:08:40 +0200 | <haskellbridge> | <sm> biberao maybe.. what makes you ask that ? |
2025-09-11 00:09:07 +0200 | <biberao> | i was asking the place |
2025-09-11 00:09:28 +0200 | <geekosaur> | ghc installs msys2 itself since it needs a specific non-default msys2 toolchain |
2025-09-11 00:10:06 +0200 | <biberao> | s i do the curl and then do that command? |
2025-09-11 00:10:36 +0200 | <geekosaur> | if you're using the windows instructions there should be a PowerShell invocation |
2025-09-11 00:10:40 +0200 | <biberao> | ok |
2025-09-11 00:10:42 +0200 | <biberao> | thanks |
2025-09-11 00:10:46 +0200 | <geekosaur> | you won't have curl unless you are using wsl2 |
2025-09-11 00:10:54 +0200 | <biberao> | oh i didnt see the url embedded sorry |
2025-09-11 00:11:03 +0200 | <biberao> | thank you |
2025-09-11 00:11:05 +0200 | <biberao> | ! |
2025-09-11 00:11:10 +0200 | <biberao> | ill remove wsl2 i dont need ikt |
2025-09-11 00:12:03 +0200 | <biberao> | thank you very much |
2025-09-11 00:12:17 +0200 | <haskellbridge> | <sm> no problem |
2025-09-11 00:15:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 00:16:02 +0200 | Taneb | (~Taneb@ip87-106-35-210.pbiaas.com) (Ping timeout: 260 seconds) |
2025-09-11 00:20:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-11 00:26:40 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-11 00:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 00:36:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-11 00:37:44 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
2025-09-11 00:45:17 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
2025-09-11 00:45:41 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 00:47:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 00:49:24 +0200 | trickard_ | trickard |
2025-09-11 00:50:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-09-11 00:52:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-11 00:53:44 +0200 | <monochrom> | Belated: I will design a CPU such that every program is "one" instruction. >:) (Related: a library, called Tweeter, that contains every function implementable in 150 bytes or less.) |
2025-09-11 00:54:11 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-11 00:54:26 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-11 00:58:41 +0200 | <arahael> | Big library! |
2025-09-11 01:03:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 01:03:52 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-11 01:04:23 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
2025-09-11 01:05:14 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
2025-09-11 01:05:27 +0200 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
2025-09-11 01:05:51 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-11 01:06:06 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-11 01:06:37 +0200 | <monochrom> | It answers the kind of questions like "I'm defining foo f g h x y = f (g x) (h x y), why isn't it in Prelude already!" |
2025-09-11 01:09:27 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
2025-09-11 01:10:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 01:11:14 +0200 | acidjnk | (~acidjnk@p200300d6e7171978f1deda3d99afd1a1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-09-11 01:13:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-09-11 01:14:55 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-09-11 01:17:52 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-09-11 01:21:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 01:22:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-09-11 01:22:14 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 256 seconds) |
2025-09-11 01:23:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-11 01:26:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 01:27:03 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-11 01:28:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2025-09-11 01:28:16 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-09-11 01:28:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-09-11 01:32:10 +0200 | karenw | (~karenw@user/karenw) karenw |
2025-09-11 01:33:08 +0200 | sprotte24 | (~sprotte24@p5b039f5e.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-09-11 01:37:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 01:40:38 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-11 01:40:39 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-11 01:42:00 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-09-11 01:42:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-11 01:43:18 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-09-11 01:46:15 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
2025-09-11 01:47:20 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-09-11 01:47:23 +0200 | acidjnk | (~acidjnk@p200300d6e717192649d3cadc2eaa05e5.dip0.t-ipconnect.de) acidjnk |
2025-09-11 01:53:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 01:58:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-11 02:01:06 +0200 | mikess | (~sam@user/mikess) mikess |
2025-09-11 02:02:14 +0200 | acidjnk | (~acidjnk@p200300d6e717192649d3cadc2eaa05e5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-09-11 02:03:19 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-09-11 02:04:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-11 02:05:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-11 02:08:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 02:10:39 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-11 02:14:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 02:15:16 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-11 02:21:10 +0200 | otto_s | (~user@p5b0442fa.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2025-09-11 02:22:49 +0200 | otto_s | (~user@p5de2f433.dip0.t-ipconnect.de) |
2025-09-11 02:24:18 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
2025-09-11 02:24:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 02:31:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-11 02:31:42 +0200 | mange | (~mange@user/mange) mange |
2025-09-11 02:35:25 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-09-11 02:36:19 +0200 | Axma39609 | Axman6 |
2025-09-11 02:37:43 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 265 seconds) |
2025-09-11 02:38:54 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2025-09-11 02:40:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c68c:683e:9c65:6f0a) (Ping timeout: 265 seconds) |
2025-09-11 02:41:27 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 258 seconds) |
2025-09-11 02:46:03 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-11 02:57:07 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-11 02:58:17 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
2025-09-11 03:13:01 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-09-11 03:18:38 +0200 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 258 seconds) |
2025-09-11 03:19:22 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
2025-09-11 03:22:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-11 03:34:15 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-09-11 03:40:22 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-11 03:42:03 +0200 | <L29Ah> | https://bpa.st/RAGA how can this sad state of affairs be helped, except perhaps putting every record type in its own module? |
2025-09-11 03:56:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 03:59:27 +0200 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
2025-09-11 04:00:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 04:02:38 +0200 | <pavonia> | Wasn't there an extension for that purpose? |
2025-09-11 04:03:00 +0200 | <jackdk> | Try enabling `{-# LANGUAGE DisambiguateRecordFields #-}` |
2025-09-11 04:03:26 +0200 | <pavonia> | Yeah https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/disambiguate_record_fields.html |
2025-09-11 04:07:21 +0200 | <L29Ah> | jackdk: i did |
2025-09-11 04:07:33 +0200 | <L29Ah> | this is the result |
2025-09-11 04:07:45 +0200 | <jackdk> | It might be `DuplicateRecordFields` that you need |
2025-09-11 04:07:49 +0200 | <L29Ah> | jackdk: i did |
2025-09-11 04:08:28 +0200 | <pavonia> | The ambiguity cannot be resolved in all cases, adding type annotations should help in those cases |
2025-09-11 04:08:31 +0200 | <L29Ah> | apparently it can't do anything when it doesn't see the constructor right at the record mutation |
2025-09-11 04:08:31 +0200 | <jackdk> | Then, respectfully, why did you not open with this information? |
2025-09-11 04:08:40 +0200 | <L29Ah> | i added the type annotation as you can see |
2025-09-11 04:08:59 +0200 | <Leary> | I don't believe there's any extension that allows this out-of-the-box. Technically, I think you can do it with OverloadedRecordUpdate and some boilerplate, but I wouldn't say it's better than the alternative. |
2025-09-11 04:09:02 +0200 | <L29Ah> | jackdk: because i thought it is obvious |
2025-09-11 04:09:41 +0200 | <L29Ah> | Leary: the current boilerplate is crazy and seems like it will go on like that for a while -- https://gitlab.haskell.org/ghc/ghc/-/issues/16232 |
2025-09-11 04:09:58 +0200 | <jackdk> | I just noticed the record update is applied to the `def` and then you do the type application. You may have luck with `def @LlamaRequest` because then GHC may figure out the type of the record being updated |
2025-09-11 04:10:41 +0200 | <glguy> | that isn't enough (I tried earlier) |
2025-09-11 04:11:31 +0200 | <glguy> | in the case the work around is to use the named default value for that type and avoid def |
2025-09-11 04:11:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 04:13:17 +0200 | <L29Ah> | glguy: named default value doesn't seem to change anything |
2025-09-11 04:13:34 +0200 | <L29Ah> | deff :: LlamaRequest |
2025-09-11 04:13:34 +0200 | <L29Ah> | defined at the top level, that is |
2025-09-11 04:14:03 +0200 | <glguy> | Oh, I forgot which issue you were running into. sorry. your original separate module solution seems best if you have to use duplicate record fields |
2025-09-11 04:15:19 +0200 | <L29Ah> | i don't strictly have to but aeson's generics work the best without mangling the field names |
2025-09-11 04:16:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 04:17:25 +0200 | <jackdk> | L29Ah: GHC 9.8.4 accepts this code but warns that type-directed record updates will be eventually deprecated and removed. The key difference is using a type annotation on `def` instead of a type application (either before or after the record update) https://www.irccloud.com/pastebin/kc8TPwKu/Encode.hs |
2025-09-11 04:18:41 +0200 | <L29Ah> | jackdk: it is already removed in 9.12 IIRC |
2025-09-11 04:18:49 +0200 | <glguy> | that file loads in 9.12 |
2025-09-11 04:19:22 +0200 | <L29Ah> | nvm thanks |
2025-09-11 04:19:31 +0200 | <glguy> | but it doesn't seem great to rely on it sticking around in any case |
2025-09-11 04:20:41 +0200 | <L29Ah> | i have a gut feeling that it won't be purged before 16232 gets in |
2025-09-11 04:22:22 +0200 | <L29Ah> | https://gitlab.haskell.org/ghc/ghc/-/issues/25075#note_576241 |
2025-09-11 04:23:55 +0200 | <L29Ah> | https://github.com/ghc-proposals/ghc-proposals/pull/366 me pushe dislike so very hard!! |
2025-09-11 04:23:59 +0200 | <jackdk> | https://github.com/ghc-proposals/ghc-proposals/pull/537#issuecomment-1327646670 there is an open proposal around having some form of type-signature-directed record updates stick around |
2025-09-11 04:26:00 +0200 | <jackdk> | Remark: I generally recommend against using `class Default` because it's got no laws, and so it's very difficult to write a function that usefully generalises over `Default` instances, which to me is one of the two main points of having a typeclass (the other being to have GHC build a function in a type-directed manner, which also doesn't apply here). |
2025-09-11 04:26:54 +0200 | <jackdk> | I tend to use generic-lens or generic-optics to do record updates unless I'm building a library where I need to not blow out the dependency footprint, which can look pretty nice with OverloadedLabels |
2025-09-11 04:27:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 04:32:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-11 04:33:52 +0200 | <geekosaur> | Default can also bite you with unexpected types having Default instances |
2025-09-11 04:34:06 +0200 | <geekosaur> | xmonad has already had a bug caused by it |
2025-09-11 04:36:37 +0200 | <L29Ah> | could be argued about Monoid/mempty likewise |
2025-09-11 04:37:11 +0200 | <L29Ah> | i try not to forget toplevel function signatures and decomposition to help with that |
2025-09-11 04:38:57 +0200 | <jackdk> | Hard disagree re: Monoid because `mempty` has sensible behavior because of the laws that describe its interactions with `(<>)` |
2025-09-11 04:39:15 +0200 | <geekosaur> | ^ |
2025-09-11 04:39:38 +0200 | <geekosaur> | Default just does whatever whoever added the instance wanted… but defaults depend on context |
2025-09-11 04:40:06 +0200 | <geekosaur> | like, arguments could be made that the Default instance for Int should be 1 (think the addition vs. multiplication divide) |
2025-09-11 04:40:28 +0200 | <monochrom> | I just cite the PHP example. Call it a strawman or anecdotal or whatever. There is a time type in PHP, then someone decreed that it has a default value and it is 0. Fortunately, someone else has the sanity to point out what's wrong with it. |
2025-09-11 04:40:34 +0200 | <L29Ah> | oh Int has Default, great |
2025-09-11 04:41:06 +0200 | <jackdk> | https://hackage.haskell.org/package/acme-default has much better instances |
2025-09-11 04:41:11 +0200 | <geekosaur> | (->) e has a default |
2025-09-11 04:41:20 +0200 | <geekosaur> | (which is what bit us) |
2025-09-11 04:41:43 +0200 | <geekosaur> | _lots_ of things have defaults. are they useful in all cases? not a chance |
2025-09-11 04:43:02 +0200 | <monochrom> | I am OK with Default as long as you don't inflict your personalized idea of "default Int" on me. |
2025-09-11 04:43:27 +0200 | <monochrom> | But then that's just another way to say that I accept Monoid not Default. |
2025-09-11 04:43:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 04:44:00 +0200 | <monochrom> | (Int, (+)) has a default. (Int, (*)) has a default. There are others. Int alone has no default. |
2025-09-11 04:44:01 +0200 | <geekosaur> | there's no way to not inflict a personalized idea if it's a typeclass |
2025-09-11 04:44:51 +0200 | <geekosaur> | the typeclass police should arrest Default |
2025-09-11 04:45:28 +0200 | <mauke> | (->) e had a default |
2025-09-11 04:46:26 +0200 | <monochrom> | Actually, isn't (->)e the wrong kind for Default? |
2025-09-11 04:46:53 +0200 | <mauke> | implied (Default a) => Default ((->) e a) |
2025-09-11 04:47:00 +0200 | <monochrom> | Oh, that. |
2025-09-11 04:47:03 +0200 | <dibblego> | every time I look at Default, it is worse than my imagination approximates, but I assume it is ((->) e e) |
2025-09-11 04:47:09 +0200 | <dibblego> | oh |
2025-09-11 04:47:39 +0200 | <monochrom> | Hey at least it's palatable to math "pointwise extension" :) |
2025-09-11 04:48:00 +0200 | <geekosaur> | hint: const |
2025-09-11 04:48:00 +0200 | <dibblego> | :) |
2025-09-11 04:48:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-11 04:48:27 +0200 | <jackdk> | monochrom: I think "(Int, (+)) has a default" muddies the waters. I would say "(Int, (+)) has an identity element" or "... a neutral element" |
2025-09-11 04:48:57 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-09-11 04:49:01 +0200 | <mauke> | because what I really wanted was (Default a, Applicative f) => Default (f a), but that's not legal |
2025-09-11 04:49:08 +0200 | <geekosaur> | I took the point as "that's a better notion of "default" than Default is |
2025-09-11 04:49:10 +0200 | <geekosaur> | " |
2025-09-11 04:49:11 +0200 | <monochrom> | I want to muddle the water so much it wraps around and clarifies to "why not do it properly and make a Monoid". |
2025-09-11 04:49:27 +0200 | <jackdk> | OK |
2025-09-11 04:50:24 +0200 | <monochrom> | Alternatively or equivalently I want to hijack the "plain English" word "default" and re-define it to be monoid identity. |
2025-09-11 04:51:40 +0200 | <mauke> | anyway, the controversial (e -> a) and (IO a) instances have been removed |
2025-09-11 04:51:52 +0200 | <mauke> | and the controversial Bool instance added |
2025-09-11 04:52:00 +0200 | <dibblego> | alternatively, s/Default/Hyperfault |
2025-09-11 04:52:17 +0200 | <geekosaur> | how about just "Fault" |
2025-09-11 04:52:53 +0200 | <monochrom> | I thought people knew better than a default Bool. |
2025-09-11 04:53:08 +0200 | <monochrom> | You have like 50% chance of being wrong. |
2025-09-11 04:53:13 +0200 | <mauke> | I do, but it was a user request |
2025-09-11 04:53:44 +0200 | <monochrom> | But OK, there is a selection bias. The Default library is doomed to attract a certain kind of people... |
2025-09-11 04:54:01 +0200 | <mauke> | by Neil Mitchell, possibly? |
2025-09-11 04:59:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 05:05:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-11 05:10:38 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-09-11 05:17:07 +0200 | aforemny_ | (~aforemny@i59F4C711.versanet.de) aforemny |
2025-09-11 05:17:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 05:17:24 +0200 | aforemny | (~aforemny@i59F4C7D6.versanet.de) (Ping timeout: 256 seconds) |
2025-09-11 05:22:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-11 05:33:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 05:38:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 05:48:11 +0200 | Googulator61 | Googulator |
2025-09-11 05:48:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 05:49:30 +0200 | <probie> | monochrom: the default Bool should be `False`. I flipped a coin and that was the result (also, just having false and implication gives us everything in classical logic, so maybe it is a slightly better choice than true) |
2025-09-11 05:52:26 +0200 | Square2 | (~Square@user/square) Square |
2025-09-11 05:52:30 +0200 | <L29Ah> | i did an anonymous mmap and that was the result of unsafeCoerce |
2025-09-11 05:53:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 05:56:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-09-11 06:04:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 06:10:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-09-11 06:11:29 +0200 | <monochrom> | probie: That is just not true. (pun! don't take it seriously >:) ) |
2025-09-11 06:12:03 +0200 | hjj123 | (~hjj123@178.155.115.231) |
2025-09-11 06:13:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-11 06:23:40 +0200 | hjj123 | (~hjj123@178.155.115.231) (Quit: Client closed) |
2025-09-11 06:24:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 06:26:14 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-11 06:26:27 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 06:29:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-11 06:30:42 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-11 06:33:45 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 258 seconds) |
2025-09-11 06:34:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-11 06:39:27 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-11 06:39:40 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 06:40:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 06:42:26 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-11 06:45:39 +0200 | michalz | (~michalz@185.246.207.201) |
2025-09-11 06:46:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 06:58:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 07:03:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-11 07:11:43 +0200 | mulk | (~mulk@p5b2dc694.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-09-11 07:13:06 +0200 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) mulk |
2025-09-11 07:14:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-11 07:14:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 07:18:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-09-11 07:18:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-11 07:19:08 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-09-11 07:21:09 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-11 07:21:23 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 07:29:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 07:34:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-11 07:37:28 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 248 seconds) |
2025-09-11 07:45:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 07:46:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-11 07:47:24 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
2025-09-11 07:50:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 07:50:25 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 258 seconds) |
2025-09-11 07:51:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
2025-09-11 07:56:43 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
2025-09-11 07:57:44 +0200 | kaskal | (~kaskal@84-115-230-9.cable.dynamic.surfer.at) (Ping timeout: 248 seconds) |
2025-09-11 07:58:11 +0200 | kaskal | (~kaskal@2a02:8388:15bf:c200:3edd:e10d:d41e:f619) kaskal |
2025-09-11 08:01:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 08:02:59 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
2025-09-11 08:03:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-09-11 08:06:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-11 08:07:24 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
2025-09-11 08:09:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 08:10:45 +0200 | m1dnight_ | (~m1dnight@109.236.62.133) (Read error: Connection reset by peer) |
2025-09-11 08:11:52 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-11 08:12:06 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 08:14:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-11 08:16:35 +0200 | m1dnight_ | (~m1dnight@109.236.62.134) m1dnight |
2025-09-11 08:23:46 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
2025-09-11 08:23:52 +0200 | ridcully | (~ridcully@p508ac996.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-09-11 08:24:05 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 08:25:41 +0200 | Guest59 | (~Guest59@205.254.174.179) |
2025-09-11 08:29:18 +0200 | jcarpenter2 | (~lol@96.78.87.197) (Ping timeout: 260 seconds) |
2025-09-11 08:32:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-11 08:36:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2025-09-11 08:42:47 +0200 | posixlycorrect | (~posixlyco@user/posixlycorrect) posixlycorrect |
2025-09-11 08:43:19 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 258 seconds) |
2025-09-11 08:45:14 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
2025-09-11 08:45:30 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-11 08:45:41 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
2025-09-11 08:45:52 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-11 08:46:15 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-11 08:49:45 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b980:50d7:d756:5d4d:269d) |
2025-09-11 08:50:53 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-11 08:51:13 +0200 | Guest59 | (~Guest59@205.254.174.179) (Quit: Client closed) |
2025-09-11 08:51:39 +0200 | <kqr> | tomsmeding, you know, I might be able to un-duplicate a few of the duplicate cards by adding spurious information that doesn't affect the game. however, it's still going to be over 100 cards, so 64 bits are not enough. |
2025-09-11 08:53:00 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
2025-09-11 08:53:42 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
2025-09-11 08:54:03 +0200 | <kqr> | tomsmeding, I'm thinking of two possible avenues forward, both representing a card with a Word8. either keeping the possibility of duplicates and storing hands as short bytestrings... or setting some extra bits, making the conditionals more complicated, and trying to store them in an intset |
2025-09-11 08:54:31 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-11 08:58:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4ca2:8197:56e4:708) |
2025-09-11 08:59:57 +0200 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
2025-09-11 09:00:03 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-11 09:00:44 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-11 09:02:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-11 09:03:24 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-11 09:07:55 +0200 | <probie> | kqr: What is the maximum number of cards in a hand, the maximum number of distinct cards and that maximum number of duplicates? |
2025-09-11 09:08:05 +0200 | <probie> | s/that maximum/the maximum/ |
2025-09-11 09:27:22 +0200 | ubert | (~Thunderbi@178.165.191.145.wireless.dyn.drei.com) ubert |
2025-09-11 09:28:56 +0200 | acidjnk | (~acidjnk@p200300d6e7171926a81168b3bd2506b7.dip0.t-ipconnect.de) acidjnk |
2025-09-11 09:32:53 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2025-09-11 09:33:15 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-09-11 09:38:34 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-09-11 09:42:48 +0200 | <kqr> | probie, maximum number of cards in a hand is theoretically just over 50, but that rarely happens in practice. just over half of them can be duplicates (almost all cards exist in pairs, some in quadruples). but all 50 in a hand could also be distinct. |
2025-09-11 09:43:11 +0200 | chele | (~chele@user/chele) chele |
2025-09-11 09:44:06 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-09-11 09:45:14 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
2025-09-11 09:47:09 +0200 | <probie> | So unique cards held in hand is storable in a Word64. |
2025-09-11 09:48:49 +0200 | m1dnight_ | (~m1dnight@109.236.62.134) (Ping timeout: 255 seconds) |
2025-09-11 09:49:52 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-09-11 09:51:16 +0200 | <probie> | If we assume 52 distinct cards with maximally 4 copies of each, there is a pretty naive representation that fits into 4 `Word64`s |
2025-09-11 09:52:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-11 09:53:22 +0200 | <tomsmeding> | at that point you're 4*8 = 32 bytes in though, and it's not fully clear whether that's better than a ShortByteString of length ~15 (one byte per card in hand) |
2025-09-11 09:53:41 +0200 | <kqr> | I agree |
2025-09-11 09:53:49 +0200 | <tomsmeding> | (be sure to use ShortByteString, not ByteString, because the latter is pinned and that is complete overkill in this situation) |
2025-09-11 09:55:11 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds) |
2025-09-11 09:55:46 +0200 | <tomsmeding> | also the 4-Word64 representation is not naturally canonical; if you remove a card from the hand, either you now have to deal with duplicates living in unpredictable Word64s, or you have to explicitly normalise the bits to the left-most Word64s or something |
2025-09-11 09:55:52 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-09-11 09:56:11 +0200 | <tomsmeding> | the solution is clearly to just model a different game where duplicates are not a thing and use a single Word64 |
2025-09-11 09:56:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-09-11 09:59:10 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-09-11 10:00:29 +0200 | <dminuoso> | Oh my. I found something that Python genuinely got right compared to Haskell: They have 1-tuples. |
2025-09-11 10:00:47 +0200 | <dminuoso> | Very happy about it, too. |
2025-09-11 10:01:11 +0200 | <dminuoso> | (Except the moments you accidentally create them, they they are annoying due to lack of a functional type system, but hey you cant have everything) |
2025-09-11 10:02:36 +0200 | <probie> | doesn't `Solo` exist? |
2025-09-11 10:06:14 +0200 | <tomsmeding> | dminuoso: a friend of mine has somehow accidentally ended up with a comma at the end of a line multiple times |
2025-09-11 10:06:29 +0200 | <tomsmeding> | the resulting bugs were interesting |
2025-09-11 10:07:04 +0200 | <tomsmeding> | also, what do you use 1-tuples for? |
2025-09-11 10:07:19 +0200 | <[exa]> | tuplic consistency!!1 |
2025-09-11 10:07:55 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-11 10:08:17 +0200 | <[exa]> | the only good use I found for tuples was with DB-ish and CSV-ish frontends, there it nicely says that the thing is a row not just a piece of data |
2025-09-11 10:08:24 +0200 | <[exa]> | *1-tuples |
2025-09-11 10:08:46 +0200 | <tomsmeding> | right |
2025-09-11 10:08:59 +0200 | <tomsmeding> | % import qualified Language.Haskell.TH as TH |
2025-09-11 10:08:59 +0200 | <yahb2> | <no output> |
2025-09-11 10:09:04 +0200 | <tomsmeding> | % :seti -XTemplateHaskell |
2025-09-11 10:09:04 +0200 | <yahb2> | <no output> |
2025-09-11 10:09:05 +0200 | <[exa]> | also I recall it was called Only instd of Solo, kinda wondering what's the difference there |
2025-09-11 10:09:16 +0200 | <tomsmeding> | % $(pure $ TH.TupE [Just (TH.LitE (TH.IntegerL 42))]) |
2025-09-11 10:09:16 +0200 | <yahb2> | MkSolo 42 |
2025-09-11 10:09:17 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-09-11 10:09:17 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 260 seconds) |
2025-09-11 10:09:23 +0200 | <tomsmeding> | [exa]: Only was a library |
2025-09-11 10:09:25 +0200 | <tomsmeding> | @hackage only |
2025-09-11 10:09:25 +0200 | <lambdabot> | https://hackage.haskell.org/package/only |
2025-09-11 10:09:29 +0200 | <tomsmeding> | oh |
2025-09-11 10:09:39 +0200 | <tomsmeding> | bastards |
2025-09-11 10:09:41 +0200 | <tomsmeding> | @hackage Only |
2025-09-11 10:09:41 +0200 | <lambdabot> | https://hackage.haskell.org/package/Only |
2025-09-11 10:10:09 +0200 | <[exa]> | O_o |
2025-09-11 10:10:29 +0200 | <[exa]> | ^ lexical form of wtfface very relevant in this situation |
2025-09-11 10:10:47 +0200 | <tomsmeding> | :D |
2025-09-11 10:12:14 +0200 | <[exa]> | interestingly all Only definitions in the packages are newtypes but Solo from base is `data` |
2025-09-11 10:13:41 +0200 | <[exa]> | which kinda makes sense for more consistency with tuples I guess, the actual workalike of the newtypish Only in base would rather be `Identity` then |
2025-09-11 10:13:46 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-09-11 10:13:52 +0200 | <tomsmeding> | [exa]: this one isn't https://hackage.haskell.org/package/OneTuple-0.4.1.1/docs/Data-Tuple-Solo.html |
2025-09-11 10:14:03 +0200 | <tomsmeding> | I had this one in mind actually but forgot that it wasn't called Only |
2025-09-11 10:15:17 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-11 10:15:22 +0200 | <[exa]> | that looks kinda isomorphic to the one from base actually |
2025-09-11 10:16:27 +0200 | <tomsmeding> | it's meant to, it's a compatibility package |
2025-09-11 10:17:23 +0200 | Square3 | (~Square4@user/square) Square |
2025-09-11 10:17:37 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-11 10:17:41 +0200 | <[exa]> | ok tuplic consistency has been reached |
2025-09-11 10:21:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |