Logs: liberachat/#haskell
| 2025-12-17 19:09:22 | <milan2> | int-e: Heck :D same result :D |
| 2025-12-17 19:09:58 | <milan2> | Maybe I need to build it with "parallel" support? These special options for ghc. |
| 2025-12-17 19:12:19 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-17 19:13:31 | <int-e> | milan2: do you increment the counter anywhere? |
| 2025-12-17 19:14:14 | <int-e> | Hmm. I'm actually confused about something here. |
| 2025-12-17 19:14:52 | × | arahael quits (~wetfoot@user/arahael) (Ping timeout: 244 seconds) |
| 2025-12-17 19:15:35 | → | arahael joins (~wetfoot@user/arahael) |
| 2025-12-17 19:15:46 | <int-e> | milan2: you also need to use https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp.html#v:runSettings so that it actually uses the settings that include that particular counter. |
| 2025-12-17 19:17:24 | <int-e> | which and that means you need https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp.html#v:setPort for setting the port in the settings. |
| 2025-12-17 19:17:56 | <milan2> | int-e: No I don't I expect wai/warp to update counter. |
| 2025-12-17 19:18:26 | <int-e> | if nobody updates the counter then it will always be 0 |
| 2025-12-17 19:18:40 | <milan2> | int-e: Also it is true that I don't use settings at all.. maybe I really need to runSettings |
| 2025-12-17 19:19:13 | <milan2> | int-e: But how could I? I don't open connections to increment counter. This should be wai/warp work to do right? |
| 2025-12-17 19:20:20 | <int-e> | milan2: But for warp to do it it needs to know about the counter. That information is part of the Settings record that you're not using. |
| 2025-12-17 19:22:29 | <milan2> | int-e: Yes I get your point. So even tho makeSettingsAndCounter returns IO (Counter, Settings) this Counter is bound with Settings and If I don't start app with settings explicitly Counter won't be updated. |
| 2025-12-17 19:22:34 | <milan2> | Well lets try it then. |
| 2025-12-17 19:22:36 | <int-e> | (The thing I was confused about was what the intended use of that `makeSettingsAndCounter` function is, or put differently, why there's utility in tying these two together. The fact that the Settings value has an optional counter for counting connections is what I was missing.) |
| 2025-12-17 19:23:18 | <milan2> | Where do you see that Settings has Counter ? |
| 2025-12-17 19:24:41 | → | sp1ff` joins (~user@2601:1c2:4c00:55a0::59db) |
| 2025-12-17 19:25:34 | <int-e> | The docs for makeSettingsAndCounter say: "Create Settings with a connection counter." |
| 2025-12-17 19:25:45 | × | sp1ff quits (~user@c-73-164-203-114.hsd1.wa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-12-17 19:26:10 | <int-e> | You can also look at the Settings record itself, it's exposed by a ...Internal module: https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp-Internal.html#v:settingsConnectionCounter |
| 2025-12-17 19:28:10 | <milan2> | int-e: You rock! It's there.. It starts to make sense. I am pretty sure it will work now. |
| 2025-12-17 19:30:47 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-12-17 19:31:24 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-12-17 19:32:42 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-17 19:33:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2025-12-17 19:35:27 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-17 19:37:37 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-17 19:38:24 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-12-17 19:42:30 | <milan2> | int-e: It works.. It increased to 6. TO read a documenation of others is a skill in itself :) |
| 2025-12-17 19:58:44 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-17 20:00:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-17 20:00:16 | <chromoblob> | the required skill is in inverse relationship with the quality of documentation. |
| 2025-12-17 20:03:07 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-17 20:04:34 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-17 20:04:35 | ljdarj1 | is now known as ljdarj |
| 2025-12-17 20:05:58 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-17 20:08:48 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 2025-12-17 20:11:31 | <[exa]> | (why are there no documentation competitions? like programming competitions or art exhibitions or performer fairs, we should have a documentation hall of fame or so) |
| 2025-12-17 20:11:43 | → | TMA joins (tma@twin.jikos.cz) |
| 2025-12-17 20:14:55 | <int-e> | hmmmm competitive technical writing |
| 2025-12-17 20:15:28 | <tomsmeding> | who'd be the judges? |
| 2025-12-17 20:15:41 | <monochrom> | Past generation of programmers arising from the selection bias of going into programming because they hated natural languages and/or literature. I know, I was one of them. |
| 2025-12-17 20:15:46 | <tomsmeding> | computer science first-year students? |
| 2025-12-17 20:15:50 | <milan2> | I find writing good documentation more difficult than comparable good code. |
| 2025-12-17 20:16:17 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-17 20:16:33 | <monochrom> | (Then they went on to hide behind the facade of "you can just look at the source code".) |
| 2025-12-17 20:16:59 | <int-e> | milan2: That's okay; it's less rewarding too :P |
| 2025-12-17 20:20:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-17 20:21:48 | <monochrom> | The complementary selection bias being that people who are good at writing in natural languages for other human readers can have much happier careers as writers and/or journalists, or much more wealthy careers as lawyers and/or politicians. |
| 2025-12-17 20:24:09 | <milan2> | hmm |
| 2025-12-17 20:25:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-17 20:28:34 | × | killy quits (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
| 2025-12-17 20:36:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-17 20:40:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 20:47:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-17 20:47:53 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2025-12-17 20:48:24 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-17 20:51:44 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-17 20:52:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-17 20:57:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-17 21:01:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-17 21:01:07 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2025-12-17 21:07:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-17 21:08:08 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-17 21:08:12 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-17 21:08:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-17 21:08:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 21:08:40 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-12-17 21:09:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 21:11:31 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-17 21:13:32 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-17 21:15:15 | × | milan2 quits (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-17 21:15:31 | × | oats quits (~oats@user/oats) (Read error: Connection reset by peer) |
| 2025-12-17 21:15:46 | → | oats joins (~oats@user/oats) |
| 2025-12-17 21:19:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-17 21:19:55 | <yin> | [S] Skip [D] Default (GHCup maintained) [V] Vanilla (Upstream maintained) [?] Help (default is "Skip"). |
| 2025-12-17 21:20:15 | <yin> | do Default is not default |
| 2025-12-17 21:20:36 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-17 21:21:15 | <yin> | what happens if i skip? |
| 2025-12-17 21:21:58 | <haskellbridge> | <sm> a little more context .. ? |
| 2025-12-17 21:22:11 | <geekosaur> | specifically, what's asking you this? |
| 2025-12-17 21:22:15 | Googulator67 | is now known as Googulator |
| 2025-12-17 21:22:21 | <geekosaur> | and wehy/what did you run exactly? |
| 2025-12-17 21:22:22 | <yin> | ghcup installer: "GHCup provides different binary distribution "channels". These are collections of tools and may differ in purpose and philosophy. First, we select the base channel." |
| 2025-12-17 21:23:08 | <yin> | sorry i thought this was obvious due to the Default being "GHCup maintained) |
| 2025-12-17 21:24:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 21:24:14 | <monochrom> | Does "[?] Help" say anything? |
| 2025-12-17 21:24:53 | <yin> | it does. Skip = do nothing and leave config as is |
| 2025-12-17 21:25:14 | <yin> | Default = the default channel maintained by ghcup... |
| 2025-12-17 21:25:16 | <geekosaur> | sounds like you already have a config with a metadata channel in place |
| 2025-12-17 21:25:41 | <yin> | if i do, i don't know about it |
| 2025-12-17 21:25:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-17 21:25:53 | <tomsmeding> | do you have a ~/.ghcup/config.yaml? |
| 2025-12-17 21:26:12 | <geekosaur> | might ask platform first, they won't on Windows 🙂 |
| 2025-12-17 21:26:13 | <yin> | no, this is a fresh box |
| 2025-12-17 21:26:27 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-17 21:26:28 | <yin> | void linux |
| 2025-12-17 21:26:37 | <tomsmeding> | just choose D and not worry about it? |
All times are in UTC.