| 2022-07-25 00:00:38 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-25 00:00:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Write error: Connection reset by peer) |
| 2022-07-25 00:00:38 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer) |
| 2022-07-25 00:00:38 +0200 | noteness | (~noteness@user/noteness) (Write error: Connection reset by peer) |
| 2022-07-25 00:00:38 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
| 2022-07-25 00:00:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2022-07-25 00:00:38 +0200 | winny | (~weechat@user/winny) (Write error: Connection reset by peer) |
| 2022-07-25 00:01:06 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 00:01:08 +0200 | winny | (~weechat@user/winny) |
| 2022-07-25 00:01:27 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-25 00:01:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-25 00:02:08 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-25 00:03:01 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-25 00:03:40 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 00:04:44 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 00:04:58 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-25 00:06:04 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-25 00:07:13 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-25 00:09:58 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-25 00:11:10 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-25 00:11:29 +0200 | acidjnk | (~acidjnk@p200300d6e7058637f54efc3ca710685a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-07-25 00:11:34 +0200 | <dsal> | ober: Yeah, it sounds like you just want a normal test target. |
| 2022-07-25 00:12:01 +0200 | <dsal> | Writing tests in your normal module is kind of strange, limiting, and will require more dependencies than you'd otherwise need. |
| 2022-07-25 00:13:09 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 276 seconds) |
| 2022-07-25 00:14:04 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 00:16:48 +0200 | shapr | (~user@2600:4040:2d31:7100:8def:886e:cd92:bc2d) (Remote host closed the connection) |
| 2022-07-25 00:17:29 +0200 | mmhat | (~mmh@p200300f1c705593dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-07-25 00:18:51 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-25 00:23:28 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-25 00:23:53 +0200 | liz | (~liz@host86-187-239-68.range86-187.btcentralplus.com) |
| 2022-07-25 00:24:19 +0200 | yroomd^ | (~yroomd@73.54.250.255) |
| 2022-07-25 00:32:55 +0200 | <sm> | ober: I do this, and I don't bother with flags. It's just a little test code, what's the big deal |
| 2022-07-25 00:32:56 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 255 seconds) |
| 2022-07-25 00:33:59 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-25 00:34:30 +0200 | califax | (~califax@user/califx) |
| 2022-07-25 00:35:35 +0200 | <sm> | ah for a library , yes I guess that's different |
| 2022-07-25 00:40:27 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-25 00:46:13 +0200 | <hpc> | ah, the age-old struggle |
| 2022-07-25 00:46:33 +0200 | <hpc> | put tests in your modules, or compromise on your api to make it more testable when imported |
| 2022-07-25 00:49:19 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-25 00:49:19 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-25 00:49:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-25 00:49:19 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-25 00:49:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-25 00:49:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-25 00:49:20 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Broken pipe) |
| 2022-07-25 00:49:20 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Broken pipe) |
| 2022-07-25 00:49:20 +0200 | noteness | (~noteness@user/noteness) (Write error: Broken pipe) |
| 2022-07-25 00:49:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-25 00:49:51 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 00:49:59 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-25 00:49:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-25 00:50:10 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-25 00:50:12 +0200 | winny | (~weechat@user/winny) |
| 2022-07-25 00:51:18 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 00:51:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-25 00:53:40 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 00:58:00 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-25 00:58:27 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 00:59:43 +0200 | liz | (~liz@host86-187-239-68.range86-187.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-07-25 01:01:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-25 01:01:56 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-07-25 01:01:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-25 01:02:12 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-25 01:09:23 +0200 | talismanick | (~talismani@2601:644:8300:c010::8544) (Ping timeout: 244 seconds) |
| 2022-07-25 01:12:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 01:14:15 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Remote host closed the connection) |
| 2022-07-25 01:16:59 +0200 | liz | (~liz@host86-187-232-20.range86-187.btcentralplus.com) |
| 2022-07-25 01:19:30 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2022-07-25 01:21:08 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-25 01:21:32 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-25 01:22:14 +0200 | <jackdk> | ober: this is one of the reasons I use hedgehog for PBT - its generators are values instead of typeclass instances, so I don't have to fight the tension between "no orphan instances" and "test dependencies mixed with library code". |
| 2022-07-25 01:25:08 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) |
| 2022-07-25 01:25:17 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) |
| 2022-07-25 01:29:39 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-25 01:31:52 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-25 01:32:31 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-25 01:35:51 +0200 | yroomd^ | (~yroomd@73.54.250.255) (Ping timeout: 268 seconds) |
| 2022-07-25 01:43:28 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5) |
| 2022-07-25 01:44:10 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 01:44:14 +0200 | crns | (~netcrns@user/crns) |
| 2022-07-25 01:47:40 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-07-25 01:48:11 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-07-25 01:48:40 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-25 01:51:50 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 01:57:56 +0200 | <SamBellamy> | if I have certain edge cases where I don't want a specific argument to go below a specific value i.e. 0 or above a certain value how would I go about adding this? |
| 2022-07-25 01:58:50 +0200 | <SamBellamy> | my function takes 3 arguments and I need to keep 2 of them within certain ranges |
| 2022-07-25 01:59:42 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2022-07-25 02:00:56 +0200 | <Hecate> | SamBellamy: recursive function that pattern-matches on said argument to handle the fail cases where the threshold is reached |
| 2022-07-25 02:01:01 +0200 | <Hecate> | let me write something |
| 2022-07-25 02:01:50 +0200 | <jackdk> | Wouldn't guards make more sense here, since you're running a computation to decide whether or not it's an error? |
| 2022-07-25 02:02:16 +0200 | <Hecate> | if the computation is more involved than "== 0" yeah guards are appropriate |
| 2022-07-25 02:02:25 +0200 | <Hecate> | but guards are pattern matching in the end |
| 2022-07-25 02:02:55 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-25 02:03:36 +0200 | <exarkun> | Or introduce a type that can't represent out-of-bounds values? |
| 2022-07-25 02:04:10 +0200 | <SamBellamy> | paste link is not working :? |
| 2022-07-25 02:04:36 +0200 | <Hecate> | SamBellamy: https://paste.debian.net/plain/1248300 |
| 2022-07-25 02:04:50 +0200 | <Hecate> | SamBellamy: nah, tomsmeding seems to have an issue on his server |
| 2022-07-25 02:05:15 +0200 | <Hecate> | erm, with better alignment: https://paste.debian.net/plain/1248301 |
| 2022-07-25 02:05:53 +0200 | <Hecate> | exarkun: not always appropriate when you're incrementing or decrementing a counter! :) |
| 2022-07-25 02:06:55 +0200 | <exarkun> | Sure. I don't have evidence that other cases don't exist, though. |
| 2022-07-25 02:07:31 +0200 | <Hecate> | not sure I understand your sentence but ok 👍 |
| 2022-07-25 02:07:36 +0200 | <qrpnxz> | crap, can one even just ready raw bytes from a file with base? |
| 2022-07-25 02:07:45 +0200 | <SamBellamy> | https://paste.debian.net/1248302 |
| 2022-07-25 02:07:56 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-07-25 02:08:08 +0200 | <geekosaur> | yes but you need to switch to binary mode and then use iirc hGetSome |
| 2022-07-25 02:08:11 +0200 | <monochrom> | hGet can read raw bytes. There are also nicer ways with the bytestring library |
| 2022-07-25 02:08:38 +0200 | <monochrom> | and yeah use openBinary or set binary mode |
| 2022-07-25 02:09:11 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Remote host closed the connection) |
| 2022-07-25 02:09:22 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/9.2.3/docs/html/libraries/base-4.16.2.0/System-IO.html#g:21 |
| 2022-07-25 02:09:34 +0200 | <SamBellamy> | Hecate: I'm going to try with guards like you showed |
| 2022-07-25 02:10:10 +0200 | <qrpnxz> | i see thanks. Gotta open the file the right way, then can just use the bytestring functions alright |
| 2022-07-25 02:10:12 +0200 | <geekosaur> | and yes, binary file reading is a good use case for ByteString instead of base |
| 2022-07-25 02:11:16 +0200 | <qrpnxz> | which i can then plug into streaming library alright neat :) |
| 2022-07-25 02:13:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) |
| 2022-07-25 02:15:49 +0200 | vysn | (~vysn@user/vysn) |
| 2022-07-25 02:20:10 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-25 02:20:37 +0200 | <SamBellamy> | I'm getting indentation error but in a different part of my programme where I made my own ADT :/ it's literally the start of the line |
| 2022-07-25 02:20:56 +0200 | <SamBellamy> | parse error |
| 2022-07-25 02:22:34 +0200 | yroomd^ | (~yroomd@73.54.250.255) |
| 2022-07-25 02:24:57 +0200 | <geekosaur> | usually means the error is just above that |
| 2022-07-25 02:26:16 +0200 | <monochrom> | Use bisection to comment out code to find out who's to blame. |
| 2022-07-25 02:26:45 +0200 | <Bulby[m]> | lol |
| 2022-07-25 02:26:53 +0200 | <Bulby[m]> | "now who did this" |
| 2022-07-25 02:27:15 +0200 | <monochrom> | Prof. Plum in the kitchen using a pipe. |
| 2022-07-25 02:27:48 +0200 | <monochrom> | Or perhaps SPJ in base using conduit? |
| 2022-07-25 02:28:30 +0200 | <monochrom> | More seriously, it works great for LaTeX errors. |
| 2022-07-25 02:29:06 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 02:29:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-25 02:29:17 +0200 | <monochrom> | I just don't know whether it means bisection is great or LaTeX is fragile. :) |
| 2022-07-25 02:29:24 +0200 | <SamBellamy> | :'( |
| 2022-07-25 02:31:32 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-25 02:32:55 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-25 02:32:55 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-25 02:32:55 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-25 02:33:55 +0200 | <jackdk> | monochrom: I don't need `git bisect` to know that the answer is always "me, six $UNITS ago" |
| 2022-07-25 02:35:03 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-25 02:35:18 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 02:38:16 +0200 | <SamBellamy> | geekosaur: https://paste.debian.net/plain/1248303 could you take a look? |
| 2022-07-25 02:39:18 +0200 | liz | (~liz@host86-187-232-20.range86-187.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-07-25 02:40:31 +0200 | <geekosaur> | if the error is on the first line then the actual problem is somewhere above it. but I note that you didn't finish the second guard |
| 2022-07-25 02:41:02 +0200 | <geekosaur> | actually that whole thing looks a bit weird |
| 2022-07-25 02:41:10 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2022-07-25 02:41:31 +0200 | <geekosaur> | `| Hyphens' (n+1)>=m m c = Hyphens' n m c` ?? |
| 2022-07-25 02:42:31 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-25 02:43:12 +0200 | <SamBellamy> | apologies |
| 2022-07-25 02:43:59 +0200 | <geekosaur> | Hyphens' appears to be a constructor, and it needs more than one parameter. I'm not sure what `Hyphens' (n+1)>=m m c` is trying to say |
| 2022-07-25 02:44:48 +0200 | <SamBellamy> | ((n+1)>=m) should be the first arguement then m and then c |
| 2022-07-25 02:44:53 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-07-25 02:45:24 +0200 | ober | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-07-25 02:45:27 +0200 | <geekosaur> | you can't use spacing that way to delimit a parameter; you must use parentheses |
| 2022-07-25 02:46:38 +0200 | <geekosaur> | even with that change it seems wrong. are you simply trying to test `(n + 1) >= m`? if so, why the rest? You already extracted `n` and `m` |
| 2022-07-25 02:46:39 +0200 | <SamBellamy> | geekosaur: ((n+1>=m) would return a Bool right? |
| 2022-07-25 02:46:46 +0200 | <geekosaur> | you can just use them |
| 2022-07-25 02:47:32 +0200 | <geekosaur> | right, that also is part of what makes no sense. you say you want that to be the first argument, but then it has the wrong type |
| 2022-07-25 02:47:44 +0200 | <SamBellamy> | aaaaaaaaa |
| 2022-07-25 02:47:50 +0200 | <SamBellamy> | apologies |
| 2022-07-25 02:48:00 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-25 02:49:37 +0200 | <SamBellamy> | geekosaur: I fixed it, thank you for pointing that out, I think I got it working, it's 2am perhaps I need to sleep so I can think clearly |
| 2022-07-25 02:49:44 +0200 | <geekosaur> | the best I can figure for what you intended with that is https://bpa.st/453Q |
| 2022-07-25 02:49:52 +0200 | <geekosaur> | oh, sorry |
| 2022-07-25 02:50:11 +0200 | <SamBellamy> | my fault |
| 2022-07-25 02:50:24 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-25 02:50:48 +0200 | <SamBellamy> | I appreciate you talking through it, I had been staring at it for so long I couldn't even see the obvious stuff |
| 2022-07-25 02:53:43 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-25 02:57:35 +0200 | hasbae | (~hippoid@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-07-25 03:00:29 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 244 seconds) |
| 2022-07-25 03:00:33 +0200 | <hasbae> | the cardinality of a->b is |b|^|a|. so would the cardinality of c->a->b be |c|^(|b| ^ |a|)? |
| 2022-07-25 03:01:13 +0200 | <hasbae> | apprently not, and it's instead |c|^(|b| * |a|) |
| 2022-07-25 03:01:28 +0200 | <hasbae> | which I can't wrap my head around yet |
| 2022-07-25 03:02:09 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-25 03:02:38 +0200 | califax | (~califax@user/califx) |
| 2022-07-25 03:04:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-25 03:04:26 +0200 | <monochrom> | Can you do c->d, then let d=a->b ? |
| 2022-07-25 03:04:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-25 03:08:20 +0200 | <hasbae> | |c->d| = |d|^|c| |
| 2022-07-25 03:09:27 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 03:09:33 +0200 | <hasbae> | |d|^|c| = (|b|^|a|)^|d| ? |
| 2022-07-25 03:10:27 +0200 | <hasbae> | I created some data types with small cardinalities, like 2 or 3, and tried this with concrete types. |
| 2022-07-25 03:11:00 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-25 03:11:03 +0200 | <hasbae> | apparently if the arity of a function is more than 1, you can use the equality a->b->c = (a, b) -> c |
| 2022-07-25 03:11:56 +0200 | <hasbae> | but it seems like the rules for calculating cardinality of a function should yield the same result whether you apply the rules to a->b->c or (a, b) -> c |
| 2022-07-25 03:13:09 +0200 | <monochrom> | (|b|^|a|)^|c| |
| 2022-07-25 03:13:30 +0200 | <monochrom> | aka |b|^(|a|*|c|) |
| 2022-07-25 03:14:24 +0200 | <monochrom> | It may not be wise to work on c->a->b for a while and then suddenly change your mind it's a->b->c. |
| 2022-07-25 03:14:54 +0200 | <hasbae> | good point |
| 2022-07-25 03:17:07 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-25 03:17:23 +0200 | <hasbae> | well it turns out i simply forget the rules of how to do arithmetic with nested exponents |
| 2022-07-25 03:18:23 +0200 | <hasbae> | thanks for setting me straight |
| 2022-07-25 03:18:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-25 03:18:59 +0200 | yroomd^ | (~yroomd@73.54.250.255) (Ping timeout: 255 seconds) |
| 2022-07-25 03:22:05 +0200 | liz | (~liz@host86-187-238-164.range86-187.btcentralplus.com) |
| 2022-07-25 03:25:40 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Remote host closed the connection) |
| 2022-07-25 03:30:07 +0200 | hasbae | (~hippoid@c-98-220-13-8.hsd1.il.comcast.net) (WeeChat 3.5) |
| 2022-07-25 03:30:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 03:31:00 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-25 03:31:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-25 03:35:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-25 03:37:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-25 03:38:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-25 03:39:03 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-25 03:41:44 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-25 03:42:53 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.5) |
| 2022-07-25 03:43:51 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-25 03:44:13 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-25 03:44:27 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-07-25 03:46:26 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-25 03:47:35 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-25 03:50:13 +0200 | jargon | (~jargon@184.101.188.251) |
| 2022-07-25 03:50:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 03:57:21 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-25 03:59:37 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+) |
| 2022-07-25 04:00:07 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
| 2022-07-25 04:00:56 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-25 04:01:54 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-25 04:02:37 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-25 04:02:55 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-25 04:03:23 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 04:03:46 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-25 04:04:08 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-25 04:04:54 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-07-25 04:08:42 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-25 04:09:46 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) () |
| 2022-07-25 04:09:46 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 04:17:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) |
| 2022-07-25 04:18:13 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 04:19:21 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-25 04:19:36 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-07-25 04:26:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-07-25 04:26:35 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-25 04:26:35 +0200 | finn_elija | FinnElija |
| 2022-07-25 04:27:36 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+) |
| 2022-07-25 04:28:02 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
| 2022-07-25 04:30:22 +0200 | <albet70> | lista= ["a","b","c"], listb=["awe","eb","wed","fc"...] is there a function that could show that listb's element which contain lista's element? |
| 2022-07-25 04:31:12 +0200 | <albet70> | it's like lista is a subset of listb, but every element in lista is also a subset of listb's element |
| 2022-07-25 04:35:13 +0200 | <albet70> | in other language it could be 'for i in slist: for e in rlist: if i in e: print(e) ' |
| 2022-07-25 04:38:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-25 04:40:51 +0200 | <Haskelytic> | is `lista :: [String]` or `[Char]` |
| 2022-07-25 04:41:04 +0200 | <Haskelytic> | your imperative code suggests `[Char]` |
| 2022-07-25 04:41:32 +0200 | <Haskelytic> | you can try fmap if you just want to compute membership in `lista` |
| 2022-07-25 04:41:32 +0200 | <albet70> | lista :: [String] |
| 2022-07-25 04:41:46 +0200 | <albet70> | yeah, fmap . fmap |
| 2022-07-25 04:41:55 +0200 | <albet70> | is that ugly? |
| 2022-07-25 04:42:27 +0200 | <monochrom> | I won't duplicate the "print(e)" part. But I can [ e | i <- lista, e <- listb, elem i e ] |
| 2022-07-25 04:42:57 +0200 | <albet70> | aha, list comprehesion! |
| 2022-07-25 04:43:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-25 04:43:49 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-07-25 04:44:29 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 2022-07-25 04:46:15 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-07-25 04:49:14 +0200 | <albet70> | fmap (\y -> fmap (\x -> flip isSubsequenceOf x) ["awe","wed","fc"]) ["a","b","c"] I don't know how to complete this... |
| 2022-07-25 04:50:43 +0200 | td_ | (~td@muedsl-82-207-238-027.citykom.de) (Ping timeout: 268 seconds) |
| 2022-07-25 04:52:13 +0200 | td_ | (~td@94.134.91.242) |
| 2022-07-25 04:53:59 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 04:54:36 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-07-25 04:57:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-25 04:58:40 +0200 | <Haskelytic> | the listcomp would probably be nicer |
| 2022-07-25 04:58:48 +0200 | <Haskelytic> | `[letter | word <- listb, letters <- lista, letter <- letters, letter `elem` word]` |
| 2022-07-25 05:05:00 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 276 seconds) |
| 2022-07-25 05:06:30 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-25 05:10:01 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 05:12:04 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-07-25 05:16:31 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-25 05:17:39 +0200 | dos__^^ | (~user@user/dos/x-1723657) |
| 2022-07-25 05:18:36 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-07-25 05:22:11 +0200 | <Haskelytic> | https://en.wikibooks.org/wiki/Haskell/Understanding_monads/State#Monadic_Control_Structures |
| 2022-07-25 05:22:27 +0200 | <Haskelytic> | "This very nicely illustrates how the finite-state machine is a transducer: it converts an ordered sequence of inputs to an ordered sequence of outputs, maintaining the state as it goes along." |
| 2022-07-25 05:22:43 +0200 | <Haskelytic> | Never heard the term "transducer" used anywhere else |
| 2022-07-25 05:23:08 +0200 | <Haskelytic> | w resp. to Haskell I mean |
| 2022-07-25 05:24:09 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-25 05:26:35 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-07-25 05:36:15 +0200 | ubert1 | (~Thunderbi@178.165.164.216.wireless.dyn.drei.com) |
| 2022-07-25 05:37:35 +0200 | ubert | (~Thunderbi@77.119.221.210.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2022-07-25 05:56:31 +0200 | <Clinton[m]> | Just curious, with GHC, if I'm using `OverloadedStrings`, will my literal strings be compiled into say, `Text` bytearrays, or will they be compiled as `Char` lists and then converted into `Text` at runtime? And furthermore, if these string literals are inside a function, will the conversion potentially happen everytime the function is called, or will this only happen once? |
| 2022-07-25 05:57:00 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 276 seconds) |
| 2022-07-25 06:00:24 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-25 06:01:42 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-07-25 06:03:28 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-07-25 06:03:52 +0200 | <Axman6> | I think that's a difficult question to answer, because it likely depends on optimisations in the compiler. |
| 2022-07-25 06:05:54 +0200 | <Axman6> | string literals in GHC are compiled to something like fromCString "My String"# (roughly - where "foo"# is a Ptr or something primitive, which contains a C string). if Text or bytestring had an optimisation for Text.pack (fromCString x) = Text.fromCString x then it might and up being mostly a no-op. I don't know any f this for sure though. |
| 2022-07-25 06:07:00 +0200 | liz | (~liz@host86-187-238-164.range86-187.btcentralplus.com) (Quit: Lost terminal) |
| 2022-07-25 06:13:57 +0200 | <EvanR> | does processing a string literal at compile time make sense in general |
| 2022-07-25 06:14:13 +0200 | <EvanR> | what if there's an encoding stafu |
| 2022-07-25 06:14:15 +0200 | <EvanR> | snafu |
| 2022-07-25 06:14:46 +0200 | <EvanR> | waiting for "it's ascii" xD |
| 2022-07-25 06:23:47 +0200 | <Haskelytic> | speaking of ghc magic, any good resources for learning about GHC internals? |
| 2022-07-25 06:25:19 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-07-25 06:33:47 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-25 06:34:25 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-07-25 06:34:45 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-07-25 06:35:10 +0200 | <qrpnxz> | built a test echo program with streaming and bytestring. It copies 10GB from stdin to stdout in 1.760s. C program I wrote takes 0.973s. Not bad :) |
| 2022-07-25 06:35:35 +0200 | winny | (~weechat@user/winny) |
| 2022-07-25 06:42:28 +0200 | <duckie> | How are you doing it in C? |
| 2022-07-25 06:48:02 +0200 | <qrpnxz> | duckie: nothing special, just created a buffer, try to read, write what i get. Rudimentary error detection (exits on error) |
| 2022-07-25 06:51:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-07-25 06:53:31 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-25 06:53:31 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-25 06:53:31 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-25 06:55:15 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 06:55:15 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-07-25 06:55:21 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-25 06:56:03 +0200 | califax | (~califax@user/califx) |
| 2022-07-25 06:56:25 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-07-25 07:00:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-25 07:04:06 +0200 | tdammers | (~tdammers@77.109.72.118.res.static.edpnet.net) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | ente` | (~daemon@inferno.barfooze.de) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | marienz | (marienz@libera/staff/marienz) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | Henkru | (henkru@kapsi.fi) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | andjjj23_ | (~irc@107.170.228.47) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | asm | (~alexander@user/asm) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | canta | (~canta@user/canta) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2022-07-25 07:04:06 +0200 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2022-07-25 07:04:07 +0200 | anderson | (~ande@user/anderson) (*.net *.split) |
| 2022-07-25 07:04:07 +0200 | axel-bee | (~axel-bee@alexbenishek.com) (*.net *.split) |
| 2022-07-25 07:04:14 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-07-25 07:04:14 +0200 | Henkru | (henkru@kapsi.fi) |
| 2022-07-25 07:04:16 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-07-25 07:04:17 +0200 | marienz | (marienz@libera/staff/marienz) |
| 2022-07-25 07:04:21 +0200 | meejah | (~meejah@rutas.meejah.ca) |
| 2022-07-25 07:04:24 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2022-07-25 07:04:24 +0200 | tdammers | (~tdammers@77.109.72.118.res.static.edpnet.net) |
| 2022-07-25 07:04:28 +0200 | canta | (~canta@cvm0.d5k.one) |
| 2022-07-25 07:04:29 +0200 | asm | (~alexander@burner.asm89.io) |
| 2022-07-25 07:04:34 +0200 | canta | (~canta@cvm0.d5k.one) (Changing host) |
| 2022-07-25 07:04:34 +0200 | canta | (~canta@user/canta) |
| 2022-07-25 07:04:38 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2022-07-25 07:04:41 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-07-25 07:04:43 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2022-07-25 07:04:53 +0200 | axel-bee | (~axel-bee@alexbenishek.com) |
| 2022-07-25 07:04:53 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2022-07-25 07:04:54 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-07-25 07:05:07 +0200 | andjjj23_ | (~irc@107.170.228.47) |
| 2022-07-25 07:05:11 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2022-07-25 07:05:17 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-07-25 07:06:08 +0200 | ephaptic | (~mbomba@cpe1c9eccdb0b75-cm1c9eccdb0b73.cpe.net.cable.rogers.com) |
| 2022-07-25 07:07:29 +0200 | anderson | (~ande@user/anderson) |
| 2022-07-25 07:07:34 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | ldlework | (~hexeme@user/hexeme) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | kitzman | (~kitzman@user/dekenevs) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | Trattue | (~Trattue@152.70.182.158) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | SIben_ | (~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | darkling | (~darkling@savella.carfax.org.uk) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | sm[i]_ | (~user@li229-222.members.linode.com) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | kosmikus_ | (~kosmikus@nullzig.kosmikus.org) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | Dashkal | (~dashkal@user/dashkal) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | sshine | (~simon@exocortex.online) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | Logio | (em@kapsi.fi) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | stilgart_ | (~Christoph@chezlefab.net) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | opqdonut_ | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | int-e | (~noone@int-e.eu) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | urdh | (~urdh@user/urdh) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | energizer | (~energizer@user/energizer) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | sabx | (~sabbas@user/sabbas) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | micro | (~micro@user/micro) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | toms | (~foobar@pogostick.net) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | drdo | (~drdo@roach0.drdo.eu) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | omantere_ | (~pi@85-156-109-34.elisa-laajakaista.fi) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | akhesacaro | (~caro@212-83-144-58.rev.poneytelecom.eu) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | noctux1 | (VLbL74JH3j@user/noctux) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) (*.net *.split) |
| 2022-07-25 07:07:34 +0200 | bollu | (~bollu@159.65.151.13) (*.net *.split) |
| 2022-07-25 07:07:41 +0200 | micro | (~micro@user/micro) |
| 2022-07-25 07:07:42 +0200 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) |
| 2022-07-25 07:07:42 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2022-07-25 07:07:42 +0200 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2022-07-25 07:07:42 +0200 | Jonno_FTW | (~come@api.carswap.me) |
| 2022-07-25 07:07:43 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2022-07-25 07:07:43 +0200 | toms | (~foobar@pogostick.net) |
| 2022-07-25 07:07:44 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2022-07-25 07:07:45 +0200 | akhesacaro | (~caro@212-83-144-58.rev.poneytelecom.eu) |
| 2022-07-25 07:07:46 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2022-07-25 07:07:46 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2022-07-25 07:07:47 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2022-07-25 07:07:47 +0200 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) |
| 2022-07-25 07:07:48 +0200 | int-e | (~noone@int-e.eu) |
| 2022-07-25 07:07:48 +0200 | omantere | (~pi@85-156-109-34.elisa-laajakaista.fi) |
| 2022-07-25 07:07:48 +0200 | Logio | (em@kapsi.fi) |
| 2022-07-25 07:07:51 +0200 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2022-07-25 07:07:51 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2022-07-25 07:07:54 +0200 | sshine | (~simon@exocortex.online) |
| 2022-07-25 07:08:05 +0200 | stilgart | (~Christoph@chezlefab.net) |
| 2022-07-25 07:08:07 +0200 | noctux1 | (KOx7x4g3XX@karif.server-speed.net) |
| 2022-07-25 07:08:10 +0200 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-07-25 07:08:20 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2022-07-25 07:08:36 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2022-07-25 07:08:50 +0200 | urdh | (~urdh@user/urdh) |
| 2022-07-25 07:08:52 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2022-07-25 07:08:52 +0200 | Dashkal | (~dashkal@user/dashkal) |
| 2022-07-25 07:08:55 +0200 | kitzman | (~kitzman@user/dekenevs) |
| 2022-07-25 07:08:55 +0200 | hexeme | (~hexeme@user/hexeme) |
| 2022-07-25 07:09:33 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2022-07-25 07:11:23 +0200 | dminuoso | (~dminuoso@user/dminuoso) |
| 2022-07-25 07:12:27 +0200 | energizer | (~energizer@user/energizer) |
| 2022-07-25 07:12:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-07-25 07:12:49 +0200 | sabx | (~sabbas@user/sabbas) |
| 2022-07-25 07:12:54 +0200 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) |
| 2022-07-25 07:12:55 +0200 | Trattue | (~Trattue@152.70.182.158) |
| 2022-07-25 07:13:03 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 07:14:25 +0200 | ephaptic | (~mbomba@cpe1c9eccdb0b75-cm1c9eccdb0b73.cpe.net.cable.rogers.com) (Quit: WeeChat 3.6) |
| 2022-07-25 07:15:40 +0200 | sm[i]_ | (~user@li229-222.members.linode.com) |
| 2022-07-25 07:15:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-25 07:19:38 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-25 07:19:57 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 07:21:42 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 2022-07-25 07:27:37 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-25 07:27:58 +0200 | califax | (~califax@user/califx) |
| 2022-07-25 07:29:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 07:30:31 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-25 07:31:08 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-25 07:31:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-25 07:32:39 +0200 | winny | (~weechat@user/winny) |
| 2022-07-25 07:33:49 +0200 | mmhat | (~mmh@p200300f1c705593dee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-25 07:35:27 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-25 07:36:09 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-25 07:39:36 +0200 | yroomd^ | (~yroomd@73.54.250.255) |
| 2022-07-25 07:45:06 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-25 08:06:02 +0200 | michalz | (~michalz@185.246.204.72) |
| 2022-07-25 08:08:07 +0200 | mncheckm | (~mncheck@193.224.205.254) |
| 2022-07-25 08:08:08 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-07-25 08:09:02 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-07-25 08:10:04 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2022-07-25 08:10:21 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-07-25 08:14:12 +0200 | <tomsmeding> | Hecate and others: sorry pastebin is online again, large wtf with systemd permissions that suddenly appeared after a system update |
| 2022-07-25 08:18:39 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:6822:a1ed:e2bc:fba) |
| 2022-07-25 08:20:43 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-25 08:23:33 +0200 | acidjnk | (~acidjnk@p200300d6e705867899aca44c992582c9.dip0.t-ipconnect.de) |
| 2022-07-25 08:23:57 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-25 08:27:00 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-25 08:27:59 +0200 | yoneda | (~mike@193.206.102.122) |
| 2022-07-25 08:29:02 +0200 | Guest59 | (~Guest59@136.158.11.103) |
| 2022-07-25 08:29:42 +0200 | Guest59 | (~Guest59@136.158.11.103) (Client Quit) |
| 2022-07-25 08:31:34 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-25 08:32:50 +0200 | yroomd^ | (~yroomd@73.54.250.255) (Ping timeout: 240 seconds) |
| 2022-07-25 08:33:13 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 08:34:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-25 08:35:11 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-07-25 08:35:30 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:6822:a1ed:e2bc:fba) (Ping timeout: 240 seconds) |
| 2022-07-25 08:35:48 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-07-25 08:37:20 +0200 | ubert | (~Thunderbi@178.165.164.216.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2022-07-25 08:39:20 +0200 | <Hecate> | tomsmeding: absolutely no problem!! :) |
| 2022-07-25 08:41:06 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-25 08:41:19 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-25 08:44:30 +0200 | lortabac | (~lortabac@62.98.20.17) |
| 2022-07-25 08:47:19 +0200 | ubert | (~Thunderbi@178.165.164.216.wireless.dyn.drei.com) |
| 2022-07-25 08:47:43 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-25 08:48:42 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 08:50:54 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-25 08:51:56 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-25 08:52:27 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 08:53:46 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-25 08:55:17 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-07-25 08:56:06 +0200 | jonathanx | (~jonathan@c-5eea72bd-74736162.cust.telenor.se) |
| 2022-07-25 08:56:48 +0200 | ccntrq | (~Thunderbi@2a01:c23:9058:8a00:1ed0:9d50:c10f:d2e9) |
| 2022-07-25 08:58:16 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-a1d6-3a5c-933d-2600.pool6.digikabel.hu) |
| 2022-07-25 09:00:52 +0200 | jonathanx | (~jonathan@c-5eea72bd-74736162.cust.telenor.se) (Ping timeout: 245 seconds) |
| 2022-07-25 09:01:55 +0200 | bahamas | (~lucian@86.120.77.115) |
| 2022-07-25 09:02:39 +0200 | <bahamas> | I have a string and I want to remove a prefix from it. do I have to go through Text to do this? |
| 2022-07-25 09:02:41 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-25 09:03:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 09:07:53 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:c553:ccab:7bda:db3b) |
| 2022-07-25 09:08:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-25 09:09:07 +0200 | ccntrq | (~Thunderbi@2a01:c23:9058:8a00:1ed0:9d50:c10f:d2e9) (Remote host closed the connection) |
| 2022-07-25 09:09:25 +0200 | ccntrq | (~Thunderbi@2a01:c23:9058:8a00:1ed0:9d50:c10f:d2e9) |
| 2022-07-25 09:09:34 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-07-25 09:10:25 +0200 | yroomd^ | (~yroomd@73.54.250.255) |
| 2022-07-25 09:14:09 +0200 | <c_wraith> | :t stripPrefix -- bahamas |
| 2022-07-25 09:14:10 +0200 | <lambdabot> | Eq a => [a] -> [a] -> Maybe [a] |
| 2022-07-25 09:15:10 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 240 seconds) |
| 2022-07-25 09:15:16 +0200 | <bahamas> | c_wraith: thanks! |
| 2022-07-25 09:17:08 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-07-25 09:20:58 +0200 | <Axman6> | A lot of the time, "I have a string" can be replaced with "I have a list" |
| 2022-07-25 09:21:48 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-07-25 09:22:08 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-25 09:22:40 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 268 seconds) |
| 2022-07-25 09:23:02 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-25 09:26:11 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-25 09:26:53 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-25 09:31:04 +0200 | <dibblego> | @type prefixed -- works on Text |
| 2022-07-25 09:31:05 +0200 | <lambdabot> | (Eq a, Choice p, Applicative f) => [a] -> p [a] (f [a]) -> p [a] (f [a]) |
| 2022-07-25 09:33:45 +0200 | <c_wraith> | I've got a really silly pattern synonym for stripping a string prefix. That's not something pattern synonyms are supposed to be able to do. |
| 2022-07-25 09:34:36 +0200 | <c_wraith> | but it turns out you can pass arguments to pattern synonyms as long as they're types |
| 2022-07-25 09:34:58 +0200 | <tomsmeding> | I feel like I've seen such a pattern synonym before |
| 2022-07-25 09:35:01 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-a1d6-3a5c-933d-2600.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-25 09:35:10 +0200 | <tomsmeding> | Where the string to strip is a Symbol? |
| 2022-07-25 09:35:20 +0200 | <c_wraith> | I mentioned it here when I first wrote it because it's so silly. |
| 2022-07-25 09:35:33 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-07-25 09:35:42 +0200 | <tomsmeding> | Ah it might have been you in the first place :) |
| 2022-07-25 09:36:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 09:36:17 +0200 | <c_wraith> | ghc has improved since then, you don't need a proxy to use TypeApplications in a pattern now |
| 2022-07-25 09:43:06 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-25 09:44:50 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 09:46:00 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-25 09:50:20 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-25 09:52:12 +0200 | fserucas | (~fserucas@22.70.114.89.rev.vodafone.pt) |
| 2022-07-25 09:52:27 +0200 | eod|fserucas | (~eod|fseru@22.70.114.89.rev.vodafone.pt) |
| 2022-07-25 09:52:46 +0200 | eod|fserucas | (~eod|fseru@22.70.114.89.rev.vodafone.pt) (Client Quit) |
| 2022-07-25 09:52:46 +0200 | fserucas | (~fserucas@22.70.114.89.rev.vodafone.pt) (Client Quit) |
| 2022-07-25 09:53:02 +0200 | eod|fserucas | (~eod|fseru@22.70.114.89.rev.vodafone.pt) |
| 2022-07-25 09:56:18 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-25 09:56:27 +0200 | sandydoo | (~sandydoo@185.209.196.146) |
| 2022-07-25 09:56:50 +0200 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 240 seconds) |
| 2022-07-25 09:59:09 +0200 | alp_ | (~alp@user/alp) |
| 2022-07-25 09:59:43 +0200 | bahamas | (~lucian@86.120.77.115) |
| 2022-07-25 10:02:15 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-07-25 10:05:46 +0200 | <bahamas> | the Debug module is not available by default? |
| 2022-07-25 10:06:38 +0200 | <bahamas> | oh, it's Debug.Trace. nvm |
| 2022-07-25 10:06:39 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-07-25 10:10:16 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-07-25 10:10:21 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-25 10:10:25 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-fc6d-2b94-16ee-4aa3.pool6.digikabel.hu) |
| 2022-07-25 10:10:51 +0200 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-07-25 10:11:17 +0200 | yroomd^ | (~yroomd@73.54.250.255) (Ping timeout: 245 seconds) |
| 2022-07-25 10:11:28 +0200 | alp_ | (~alp@user/alp) |
| 2022-07-25 10:13:28 +0200 | <bahamas> | can anyone tell me how I can debug a scotty app? I don't see the output of Debug.Trace.trace in the console when running the server |
| 2022-07-25 10:14:15 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-07-25 10:14:24 +0200 | chele | (~chele@user/chele) |
| 2022-07-25 10:15:34 +0200 | <[exa]> | bahamas: then the thing may not be evaluated at all. What's the specific problem? |
| 2022-07-25 10:16:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-25 10:17:44 +0200 | <bahamas> | [exa]: my app is reading a path from the command line and I want to check what the path is. or to make sure it is what I think it is |
| 2022-07-25 10:18:08 +0200 | <bahamas> | [exa]: the actual problem is that I'm trying to serve static files but I get 404 file not found |
| 2022-07-25 10:19:07 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-07-25 10:22:26 +0200 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-07-25 10:23:50 +0200 | <bahamas> | maybe you know how I can show all the request paths that my app receives |
| 2022-07-25 10:23:52 +0200 | <[exa]> | can you print the path out using an IO action in the Action monad handler? |
| 2022-07-25 10:25:22 +0200 | <[exa]> | a more systematic possibility is to make a WAI middleware for printing out everything, I'd say that might be prepared somewhere |
| 2022-07-25 10:28:25 +0200 | <[exa]> | ha, perhaps this: https://github.com/scotty-web/scotty-starter/blob/master/Main.hs#L21 |
| 2022-07-25 10:28:51 +0200 | <[exa]> | in `wai-extra` package |
| 2022-07-25 10:29:27 +0200 | <bahamas> | [exa]: thanks. I'll check it out |
| 2022-07-25 10:33:30 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2022-07-25 10:34:01 +0200 | <bahamas> | great! I can see the path of all requests |
| 2022-07-25 10:36:21 +0200 | CiaoSen | (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-07-25 10:36:30 +0200 | <[exa]> | \o/ |
| 2022-07-25 10:41:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-25 10:48:20 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-07-25 10:50:34 +0200 | <bahamas> | hm. I still need to find a way to get the filesystem that wai-middleware-static uses to try to serve files. any ideas? |
| 2022-07-25 10:50:43 +0200 | <bahamas> | *filesystem path |
| 2022-07-25 10:51:38 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:db:db5e:e93a:47a2) |
| 2022-07-25 10:52:09 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Remote host closed the connection) |
| 2022-07-25 10:54:20 +0200 | ccntrq | (~Thunderbi@2a01:c23:9058:8a00:1ed0:9d50:c10f:d2e9) (Ping timeout: 260 seconds) |
| 2022-07-25 10:57:20 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-25 10:59:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 11:01:21 +0200 | <albet70> | in the list comprehesion, it just has if-then, no else? |
| 2022-07-25 11:02:11 +0200 | <merijn> | albet70: eh, sound like you just want an if/else in the value side of things |
| 2022-07-25 11:02:35 +0200 | <merijn> | > [ if even x then "Even!" else "Odd!" | x <-[0..5]] |
| 2022-07-25 11:02:37 +0200 | <lambdabot> | ["Even!","Odd!","Even!","Odd!","Even!","Odd!"] |
| 2022-07-25 11:03:46 +0200 | <merijn> | albet70: Don't see a reason that has to be part of list comprehension syntax |
| 2022-07-25 11:04:32 +0200 | <tomsmeding> | merijn: enthousiastic code |
| 2022-07-25 11:06:00 +0200 | <pavonia> | > take 6 $ cycle ["Even!", "Odd!"] |
| 2022-07-25 11:06:02 +0200 | <lambdabot> | ["Even!","Odd!","Even!","Odd!","Even!","Odd!"] |
| 2022-07-25 11:06:25 +0200 | ccntrq | (~Thunderbi@exit-1.office.han.de.mhd.medondo.com) |
| 2022-07-25 11:08:58 +0200 | yroomd^ | (~yroomd@73.54.250.255) |
| 2022-07-25 11:09:51 +0200 | CiaoSen | (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2022-07-25 11:11:23 +0200 | CiaoSen | (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-07-25 11:12:34 +0200 | ccntrq1 | (~Thunderbi@217.92.6.206) |
| 2022-07-25 11:13:45 +0200 | ccntrq | (~Thunderbi@exit-1.office.han.de.mhd.medondo.com) (Ping timeout: 252 seconds) |
| 2022-07-25 11:15:31 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-07-25 11:16:59 +0200 | <albet70> | like this [ e | i <- lista, e <- listb, elem i e ], if elem i e then e, no else |
| 2022-07-25 11:17:25 +0200 | <merijn> | albet70: What would the else even do? |
| 2022-07-25 11:17:52 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-07-25 11:18:03 +0200 | <albet70> | merijn: the syntax, if-then, it must have an else, right? |
| 2022-07-25 11:18:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-25 11:18:17 +0200 | <merijn> | albet70: There is no "if then" there? |
| 2022-07-25 11:18:21 +0200 | <albet70> | the way not in list comprehesion |
| 2022-07-25 11:18:32 +0200 | <merijn> | albet70: The list comprehension has a guard |
| 2022-07-25 11:18:34 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 11:18:41 +0200 | <merijn> | :t guard |
| 2022-07-25 11:18:42 +0200 | <lambdabot> | Alternative f => Bool -> f () |
| 2022-07-25 11:18:58 +0200 | <albet70> | merijn, so it has a bottom value? |
| 2022-07-25 11:19:00 +0200 | <merijn> | > [n | n <- [1..5], even n] |
| 2022-07-25 11:19:01 +0200 | <lambdabot> | [2,4] |
| 2022-07-25 11:19:05 +0200 | <merijn> | albet70: What? |
| 2022-07-25 11:19:31 +0200 | <merijn> | > do { n <- [1..5]; guard (even n); return n } |
| 2022-07-25 11:19:33 +0200 | <lambdabot> | [2,4] |
| 2022-07-25 11:19:45 +0200 | mmhat | (~mmh@p200300f1c705593dee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-07-25 11:21:12 +0200 | <albet70> | merijn, I mean 'otherwise' in guard |
| 2022-07-25 11:21:30 +0200 | <albet70> | is _ a bottom type? |
| 2022-07-25 11:21:51 +0200 | <albet70> | that thing fit everything else? |
| 2022-07-25 11:22:17 +0200 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 272 seconds) |
| 2022-07-25 11:22:31 +0200 | <pavonia> | There's no otherwise in guard |
| 2022-07-25 11:27:06 +0200 | <Hecate> | there seems to be a mis-understanding |
| 2022-07-25 11:27:09 +0200 | <Hecate> | guard is a function |
| 2022-07-25 11:27:15 +0200 | <Hecate> | "guards" is a syntactic concept |
| 2022-07-25 11:29:57 +0200 | <merijn> | there's a lot of confusion and misunderstanding here :p |
| 2022-07-25 11:30:03 +0200 | <merijn> | Hecate: Just buy the damn pricy keyboard ;) |
| 2022-07-25 11:32:42 +0200 | mmhat | (~mmh@p200300f1c70559aeee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-25 11:41:30 +0200 | <tomsmeding> | albet70: if the condition is false, the corresponding element is simply _omitted_ from the result list |
| 2022-07-25 11:45:05 +0200 | <ridcully> | albet70: you can also put the if/then/else in a let inside the list comprehension, if you want to transform something conditionally |
| 2022-07-25 11:49:50 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
| 2022-07-25 11:52:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-25 11:56:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 240 seconds) |
| 2022-07-25 11:58:52 +0200 | lortabac | (~lortabac@62.98.20.17) (Quit: WeeChat 2.8) |
| 2022-07-25 12:00:57 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-25 12:01:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-25 12:05:17 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-07-25 12:06:48 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-25 12:07:20 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-07-25 12:08:14 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 12:11:07 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-25 12:12:07 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 12:14:06 +0200 | asm | (~alexander@burner.asm89.io) (Changing host) |
| 2022-07-25 12:14:06 +0200 | asm | (~alexander@user/asm) |
| 2022-07-25 12:15:29 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds) |
| 2022-07-25 12:15:38 +0200 | yroomd^ | (~yroomd@73.54.250.255) (Remote host closed the connection) |
| 2022-07-25 12:16:26 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-25 12:19:49 +0200 | Guest3540 | (~Guest35@cpc110795-lewi20-2-0-cust299.2-4.cable.virginm.net) |
| 2022-07-25 12:21:17 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-25 12:25:27 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
| 2022-07-25 12:27:40 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2022-07-25 12:29:17 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2022-07-25 12:30:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-25 12:31:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 12:31:44 +0200 | <Guest3540> | Hey all - I was hoping someone could help me out, I'm new to Haskell and am having some difficulty. I've been looking into hosting a backend with Haskell, and have been using Servant and working through their guides. I am trying to implement OpenID authentication, but am having some trouble compiling my project. It seems the guide uses a very |
| 2022-07-25 12:31:44 +0200 | <Guest3540> | outdated version of Web.OIDC.Client, so I have had to make some changes so that it works with the newer versions of the library (and GHC). Here is the faulty code, and the resulting error: https://paste.tomsmeding.com/IYeZV9ho Any help would be appreciated, many thanks. |
| 2022-07-25 12:33:59 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Remote host closed the connection) |
| 2022-07-25 12:35:10 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-25 12:41:51 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-25 12:43:15 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-25 12:47:21 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-fc6d-2b94-16ee-4aa3.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-25 12:48:36 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-25 12:51:50 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-07-25 12:58:31 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
| 2022-07-25 13:00:01 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-25 13:03:05 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2022-07-25 13:06:55 +0200 | <sm> | Guest3540: one thing to try is look at the changelog for involved packages (aeson) for clues, like breaking change/migration notes |
| 2022-07-25 13:07:58 +0200 | <sm> | also search the web / issue trackers for involved projects for that error message |
| 2022-07-25 13:09:46 +0200 | <sm> | also for this kind of error, try adding type annotations to things on that line to see if one of them makes it go away |
| 2022-07-25 13:17:03 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-07-25 13:19:56 +0200 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) |
| 2022-07-25 13:20:07 +0200 | <Guest3540> | Perfect - thank you for the pointers about the changelog, I'll look into that. I've tried adding type annotations on the line (and the function definition) but to no avail, it seemed nothing I did worked ahaha |
| 2022-07-25 13:20:27 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2022-07-25 13:22:42 +0200 | <[exa]> | Guest3540: what is the type of your `tokens` there? |
| 2022-07-25 13:34:16 +0200 | sandydoo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
| 2022-07-25 13:36:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-25 13:37:22 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-07-25 13:39:14 +0200 | raym | (~raym@user/raym) |
| 2022-07-25 13:39:55 +0200 | <Guest3540> | requestTokens returns type IO (Tokens a). Hovering over tokens I see it's type :: Tokens Any |
| 2022-07-25 13:41:00 +0200 | <[exa]> | yeah it can't technically return `Tokens a` with an unknown type variable |
| 2022-07-25 13:41:39 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
| 2022-07-25 13:43:31 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 268 seconds) |
| 2022-07-25 13:43:51 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-25 13:45:05 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 13:45:05 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 13:45:06 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-25 13:46:18 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 13:46:41 +0200 | <[exa]> | maybe try enforcing the type of the tokens to (tokens :: Tokens () ) somewhere -- you might get a more guiding error |
| 2022-07-25 13:47:06 +0200 | <[exa]> | (in the paste I'd put it to line 8: ... $ (tokens :: Tokens ()) |
| 2022-07-25 13:47:14 +0200 | <[exa]> | ) |
| 2022-07-25 13:50:22 +0200 | <[exa]> | my guess is that the error stems from the fact that `a` in `Tokens a` isn't resolved, so it doesn't know the way it should parse the whole tokens from JSON |
| 2022-07-25 13:52:25 +0200 | <sm> | FYI: maerwald's GHC install override that recently landed in stack: |
| 2022-07-25 13:52:25 +0200 | <sm> | https://github.com/commercialhaskell/stack/blob/6a7bd5d/doc/yaml_configuration.md#ghc-installation… |
| 2022-07-25 13:54:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-25 13:54:36 +0200 | <sm> | I believe it means ghcup will be able install stack configured to use ghcup for managing GHCs |
| 2022-07-25 13:55:42 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-25 13:55:47 +0200 | <maerwald> | glorious times to be alive |
| 2022-07-25 13:56:56 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2022-07-25 13:57:31 +0200 | <sm> | great work maerwald. It only took a year, not bad considering there was no active maintainer |
| 2022-07-25 13:57:34 +0200 | <[exa]> | b e a u t i f u l |
| 2022-07-25 13:58:22 +0200 | <sm> | do you think, at some point, the script could be done away with, and built in to stack ? |
| 2022-07-25 13:58:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 13:58:45 +0200 | Inst_ | (~Inst@2601:6c4:4080:3f80:85e6:bff4:3f7c:363d) |
| 2022-07-25 13:58:58 +0200 | <sm> | (and the PR for those interested: https://github.com/commercialhaskell/stack/pull/5585) |
| 2022-07-25 13:59:07 +0200 | Inst_ | (~Inst@2601:6c4:4080:3f80:85e6:bff4:3f7c:363d) (Read error: Connection reset by peer) |
| 2022-07-25 13:59:21 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 272 seconds) |
| 2022-07-25 14:00:46 +0200 | <maerwald> | sm: why? the script is more powerful |
| 2022-07-25 14:01:01 +0200 | <maerwald> | you could even use your package manager or nix to install GHC that way |
| 2022-07-25 14:01:23 +0200 | <sm> | more power not always good ? It seems like a complex important bit of logic kept statefully on disk per project that will easily be screwed up |
| 2022-07-25 14:01:36 +0200 | <chreekat> | sm: That's what I was effectively asking on the PR. I'm not convinced that anyone besides ghcup needs an install hook that can bypass the regular install mechanism. Powerful /= better unless it's actually needed |
| 2022-07-25 14:02:50 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) (Ping timeout: 244 seconds) |
| 2022-07-25 14:02:58 +0200 | <Guest3540> | [exa] Oh hey, that seemed to just outright solve the problem, that bit compiles successfully now (albeit I have problems elsewhere..) |
| 2022-07-25 14:03:06 +0200 | <Guest3540> | Thanks! |
| 2022-07-25 14:03:16 +0200 | <maerwald> | sm: yes, it's good... this is common unix design pattern |
| 2022-07-25 14:03:21 +0200 | <maerwald> | git does that too |
| 2022-07-25 14:03:22 +0200 | <Guest3540> | Very much appreciated :)) |
| 2022-07-25 14:03:29 +0200 | <sm> | oh that's alright then :) |
| 2022-07-25 14:03:38 +0200 | <[exa]> | Guest3540: the `a` there refers to some kind of tokenstream thing that I don't really understand, by putting () there you say it's always gonna be json `null` |
| 2022-07-25 14:03:47 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-07-25 14:03:55 +0200 | <[exa]> | Guest3540: so you might have a surprise later in the process but at least the type ambiguity is resolved |
| 2022-07-25 14:06:34 +0200 | <Guest3540> | Yeah, I can gain a little more insight this way atleast and see what needs to be done. |
| 2022-07-25 14:07:18 +0200 | <chreekat> | Not all ideas from unix are good 🤷♂️ |
| 2022-07-25 14:07:24 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-25 14:07:25 +0200 | <sm> | maerwald, a trivial example: someone doesn't understand the importance of .hook/ in their project and cleans it up (just as you might with .stack-work, dist, etc.) - now they broke stack in this project ? If that's right, I think it shouldn't be that easy to break tools |
| 2022-07-25 14:07:41 +0200 | <[exa]> | Guest3540: anyway the error was literally a simple ambiguity, unknown typeclass in a middle of a function. You may check out how a function like `let f = show . read in f "123"` fails |
| 2022-07-25 14:07:49 +0200 | bahamas | (~lucian@82.76.59.69) |
| 2022-07-25 14:08:17 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-25 14:08:53 +0200 | <[exa]> | chreekat: [unix voice:] symlinking the hook script from a veritable central location in 3 2 1 |
| 2022-07-25 14:09:19 +0200 | <maerwald> | sm: there's no .hooks in your project |
| 2022-07-25 14:09:34 +0200 | <maerwald> | if you delete stack root, then everything is broken, yes... regardless of this patch |
| 2022-07-25 14:09:38 +0200 | <sm> | oh, I didn't understand what "stack root" meant then |
| 2022-07-25 14:09:43 +0200 | <sm> | is it ~/.stack ? |
| 2022-07-25 14:09:45 +0200 | <maerwald> | yes |
| 2022-07-25 14:10:43 +0200 | <sm> | I see, that's better |
| 2022-07-25 14:12:47 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-25 14:12:47 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-25 14:12:47 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Write error: Broken pipe) |
| 2022-07-25 14:12:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-25 14:13:13 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-25 14:13:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-25 14:13:43 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-25 14:13:55 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 14:14:25 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-25 14:15:05 +0200 | alp_ | (~alp@user/alp) |
| 2022-07-25 14:15:17 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 14:17:28 +0200 | <chreekat> | I don't even use stack anymore. 🙈 This has already been useful to some stack users, and I think that's what matters. So that's great |
| 2022-07-25 14:17:30 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-25 14:17:34 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-25 14:18:42 +0200 | <bahamas> | so, I'm using Debug.Trace.trace and the string that I pass as the first argument is displayed, but not the value I want to see. why would this be? |
| 2022-07-25 14:19:36 +0200 | <merijn> | bahamas: Because it's not supposed to? |
| 2022-07-25 14:19:50 +0200 | <merijn> | bahamas: trace == "id, but prints a string when evaluated" |
| 2022-07-25 14:20:23 +0200 | <sm> | traceShowId should work, if it's a showable value |
| 2022-07-25 14:20:39 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-25 14:21:23 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 14:21:51 +0200 | <bahamas> | so what's the point of trace? |
| 2022-07-25 14:22:00 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 14:22:17 +0200 | <merijn> | bahamas: It prints a string |
| 2022-07-25 14:22:34 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-25 14:22:35 +0200 | <sm> | control. You might just want to print a small string (.). You might not want or be able to print the value. |
| 2022-07-25 14:22:35 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 252 seconds) |
| 2022-07-25 14:22:40 +0200 | <geekosaur> | it printds a string during evaluation, so it shows you when something is actually lazily evaluated |
| 2022-07-25 14:22:58 +0200 | <sm> | look at the haddock and you'll see the other variants, all documented |
| 2022-07-25 14:23:07 +0200 | <geekosaur> | ("forced", as we usually describe it) |
| 2022-07-25 14:23:18 +0200 | <bahamas> | got it |
| 2022-07-25 14:23:38 +0200 | merijn | . o O (I should give my expressions a safe word...) |
| 2022-07-25 14:23:53 +0200 | <geekosaur> | also it can be used in pure code, without having to thread IO through it for debugging |
| 2022-07-25 14:23:56 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-25 14:24:03 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 272 seconds) |
| 2022-07-25 14:25:34 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-25 14:27:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 14:28:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 14:28:52 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 14:29:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 14:29:54 +0200 | <chreekat> | I usually want traceShowId 99% of the time... It's probably what I would have given the name "trace" |
| 2022-07-25 14:30:41 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-25 14:30:57 +0200 | <merijn> | I usually want traceM/traceShowM or just trace, so YMMV :p |
| 2022-07-25 14:31:22 +0200 | dude86 | (~dude@a95-93-162-124.cpe.netcabo.pt) |
| 2022-07-25 14:31:47 +0200 | <geekosaur> | except trace came first and all the others are derived from it |
| 2022-07-25 14:31:58 +0200 | <geekosaur> | whne I started out with Haskell only trace was there |
| 2022-07-25 14:32:11 +0200 | <geekosaur> | and traceM |
| 2022-07-25 14:32:23 +0200 | dude86 | (~dude@a95-93-162-124.cpe.netcabo.pt) (Client Quit) |
| 2022-07-25 14:35:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 14:35:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 14:36:15 +0200 | sm | uses fancier pretty debug-level-aware tracers .. but trace seems the simplest and right default.. not every value should be dumped to stderr |
| 2022-07-25 14:38:34 +0200 | <sm> | or can be.. but ignore me. Back to maerwald who is on fire lately: https://hasufell.github.io/posts/2022-06-29-fixing-haskell-filepaths.html is also a good read |
| 2022-07-25 14:38:37 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-07-25 14:38:40 +0200 | dude_ | (~dude@a95-93-162-124.cpe.netcabo.pt) |
| 2022-07-25 14:38:40 +0200 | lortabac | (~lortabac@62.98.20.17) |
| 2022-07-25 14:39:11 +0200 | <sm> | I'm a month late with my discourse reading. Sorry |
| 2022-07-25 14:39:45 +0200 | alp__ | (~alp@user/alp) |
| 2022-07-25 14:39:51 +0200 | <dude_> | Hi everyone, i'm new here |
| 2022-07-25 14:40:31 +0200 | <dude_> | trying to get ghc-mod to work, but it is complaining that it is compatible with base <4.10 |
| 2022-07-25 14:40:38 +0200 | <maerwald> | sm: and cleaning up unix package ;) |
| 2022-07-25 14:41:04 +0200 | <sm> | got a link ? |
| 2022-07-25 14:41:04 +0200 | <merijn> | dude_: ghc-mod is dead and deprecated as of 4 or so years ago |
| 2022-07-25 14:41:06 +0200 | <__monty__> | Hello new here, IIRC ghc-mod hasn't been a thing for multiple years now? : / |
| 2022-07-25 14:41:14 +0200 | <maerwald> | sm: https://github.com/haskell/unix/commits/master |
| 2022-07-25 14:41:17 +0200 | <merijn> | __monty__: Correct |
| 2022-07-25 14:41:22 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 14:41:49 +0200 | <maerwald> | sm: bytestring variant of putEnv was broken for a decade or so |
| 2022-07-25 14:42:03 +0200 | <dude_> | merijn: yes that is what i read :), is there an alternative to get code suggestion in IntelliJ ? |
| 2022-07-25 14:42:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 14:42:08 +0200 | <maerwald> | and we're adding bytestring variants of fdRead/fdWrite |
| 2022-07-25 14:42:10 +0200 | <__monty__> | I think the only sort of alternative would be HIE, Haskell IDE Engine? |
| 2022-07-25 14:42:11 +0200 | <merijn> | dude_: You probably want HLS |
| 2022-07-25 14:42:18 +0200 | <maerwald> | fdRead with String is half-broken anyway |
| 2022-07-25 14:42:25 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 272 seconds) |
| 2022-07-25 14:42:49 +0200 | <sm> | awesome, thank you |
| 2022-07-25 14:43:25 +0200 | <sm> | dude_: hls, which you can install with ghcup |
| 2022-07-25 14:44:17 +0200 | <sm> | oh wait you said IntelliJ. Not sure it can talk to hls actually |
| 2022-07-25 14:44:26 +0200 | <dude_> | merijn: thanks, any pointers how to get it working with IntelliJ ? |
| 2022-07-25 14:44:53 +0200 | <dude_> | sm: yes, I haven't seen any plugins for it :( |
| 2022-07-25 14:46:36 +0200 | <merijn> | No clue |
| 2022-07-25 14:47:01 +0200 | <merijn> | dude_: But I suspect IntelliJ supports LSP? |
| 2022-07-25 14:47:15 +0200 | <sm> | dude_: painful as it may sound, I think you just need to use vs code for now (or build hls integration yourself) |
| 2022-07-25 14:47:36 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 14:47:36 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 14:47:44 +0200 | <merijn> | HLS just speaks LSP, so the basics should Just Work (TM) |
| 2022-07-25 14:48:43 +0200 | <sm> | oh certainly it probably totally just works %-] |
| 2022-07-25 14:49:00 +0200 | jespada | (~jespada@190.7.36.46) |
| 2022-07-25 14:49:07 +0200 | <dude_> | thanks, just reading now about LSP |
| 2022-07-25 14:49:11 +0200 | <merijn> | Vim seems to pick stuff up without me having gotten around to fixing it yet :p |
| 2022-07-25 14:49:58 +0200 | sm | switched from lovely intellij to vs code for this reason and is mostly happy with the move |
| 2022-07-25 14:50:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-25 14:50:35 +0200 | <dude_> | oh no, letting go IntelliJ is hard, i have been dreading it |
| 2022-07-25 14:50:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-25 14:50:53 +0200 | <sm> | run em both for a while |
| 2022-07-25 14:52:36 +0200 | <kuribas> | dude_: there is a haskell plugin fo intellij |
| 2022-07-25 14:52:50 +0200 | <sm> | it doesn't use hls though |
| 2022-07-25 14:52:54 +0200 | <kuribas> | dude_: works only with stack. |
| 2022-07-25 14:53:10 +0200 | <kuribas> | no, but hls was still problematic last time I tried. |
| 2022-07-25 14:53:16 +0200 | <kuribas> | Which is a while now I admit... |
| 2022-07-25 14:53:23 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-25 14:53:27 +0200 | <sm> | and I could never get it to work even semi reliably.. hls has been somewhat better.. but YMMV |
| 2022-07-25 14:53:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 14:53:49 +0200 | <kuribas> | tomsmeding: re better names, I am open for suggestion :) |
| 2022-07-25 14:54:23 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 14:54:23 +0200 | <dude_> | kuribas: yes the IntelliJ plugin uses stack which I have also avoided, the other plugin HaskForce but relies on ghc-mod which is why i first asked about it |
| 2022-07-25 14:54:40 +0200 | <sm> | bitrotted.. it can't have released recently |
| 2022-07-25 14:54:44 +0200 | <kuribas> | tomsmeding: I am using the convention of the hkd package. |
| 2022-07-25 14:55:33 +0200 | <kuribas> | dude_: but that plugin worked reasonably well |
| 2022-07-25 14:56:07 +0200 | <dude_> | kuribas: and it did auto completion? |
| 2022-07-25 14:59:47 +0200 | <kuribas> | dude_: yes |
| 2022-07-25 15:00:01 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 15:00:15 +0200 | <kuribas> | as far as I remember, I don't use it myself |
| 2022-07-25 15:01:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 15:04:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-25 15:05:23 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-25 15:06:01 +0200 | <dude_> | kuribas, sm and merijn: thanks for your help, i will try to get the intellij plugin working that relies on stack and if not then will install vs code |
| 2022-07-25 15:07:14 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 15:07:42 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 15:08:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 15:09:17 +0200 | dude_ | (~dude@a95-93-162-124.cpe.netcabo.pt) (Quit: Leaving) |
| 2022-07-25 15:09:30 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:c553:ccab:7bda:db3b) (Ping timeout: 240 seconds) |
| 2022-07-25 15:10:07 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-25 15:10:31 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-25 15:10:33 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-25 15:10:48 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-25 15:10:53 +0200 | sandydoo | (~sandydoo@185.209.196.146) |
| 2022-07-25 15:11:09 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:e514:c9e6:92ac:14d9) |
| 2022-07-25 15:11:53 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-25 15:13:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 15:13:49 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 15:13:53 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-25 15:14:11 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-25 15:15:00 +0200 | dude_ | (~dude@a95-93-162-124.cpe.netcabo.pt) |
| 2022-07-25 15:16:07 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 15:17:25 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:e514:c9e6:92ac:14d9) (Ping timeout: 260 seconds) |
| 2022-07-25 15:19:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 15:19:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 15:22:18 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-07-25 15:23:44 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) |
| 2022-07-25 15:24:30 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-25 15:25:06 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 276 seconds) |
| 2022-07-25 15:25:06 +0200 | elkcl_ | elkcl |
| 2022-07-25 15:25:56 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-07-25 15:26:23 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-07-25 15:26:39 +0200 | dude_ | duded |
| 2022-07-25 15:26:39 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2022-07-25 15:26:57 +0200 | duded | dudek |
| 2022-07-25 15:27:05 +0200 | dudek | dudem |
| 2022-07-25 15:27:28 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) (Quit: WeeChat 3.5) |
| 2022-07-25 15:30:27 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-25 15:30:47 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-07-25 15:31:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-25 15:31:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 15:31:31 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
| 2022-07-25 15:31:31 +0200 | elkcl_ | elkcl |
| 2022-07-25 15:32:38 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-25 15:33:52 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-25 15:36:15 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2022-07-25 15:36:16 +0200 | elkcl_ | elkcl |
| 2022-07-25 15:40:41 +0200 | bahamas | (~lucian@82.76.59.69) (Ping timeout: 252 seconds) |
| 2022-07-25 15:42:01 +0200 | bahamas | (~lucian@188.24.132.215) |
| 2022-07-25 15:44:50 +0200 | acidjnk | (~acidjnk@p200300d6e705867899aca44c992582c9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-25 15:46:03 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-07-25 15:46:11 +0200 | <sm> | dude_: let us know how it turns out |
| 2022-07-25 15:50:23 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Read error: Connection reset by peer) |
| 2022-07-25 15:53:57 +0200 | ober | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) |
| 2022-07-25 15:55:47 +0200 | xff0x | (~xff0x@ae131185.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-25 15:56:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-25 15:58:50 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-25 16:00:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 244 seconds) |
| 2022-07-25 16:01:03 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-25 16:02:10 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-07-25 16:02:53 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-25 16:05:11 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-25 16:06:20 +0200 | ober | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-07-25 16:06:39 +0200 | ober | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) |
| 2022-07-25 16:08:54 +0200 | sandy_doo | (~sandydoo@185.209.196.146) |
| 2022-07-25 16:09:01 +0200 | Guest3540 | (~Guest35@cpc110795-lewi20-2-0-cust299.2-4.cable.virginm.net) (Quit: Client closed) |
| 2022-07-25 16:09:04 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) |
| 2022-07-25 16:10:02 +0200 | sandydoo | (~sandydoo@185.209.196.146) (Ping timeout: 245 seconds) |
| 2022-07-25 16:13:16 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-25 16:17:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-25 16:19:07 +0200 | ober_ | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) |
| 2022-07-25 16:19:15 +0200 | xff0x | (~xff0x@ae131185.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 244 seconds) |
| 2022-07-25 16:19:29 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-25 16:21:19 +0200 | xff0x | (~xff0x@ae135018.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-25 16:21:23 +0200 | sandy_doo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
| 2022-07-25 16:21:36 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-25 16:21:42 +0200 | ober | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Ping timeout: 245 seconds) |
| 2022-07-25 16:21:52 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-25 16:22:31 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-25 16:22:39 +0200 | ober__ | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) |
| 2022-07-25 16:23:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 16:23:34 +0200 | noteness | (~noteness@user/noteness) (Quit: bye) |
| 2022-07-25 16:23:54 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-25 16:25:02 +0200 | ober_ | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Ping timeout: 245 seconds) |
| 2022-07-25 16:25:05 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-25 16:25:09 +0200 | ober_ | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) |
| 2022-07-25 16:25:10 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-25 16:25:31 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-07-25 16:25:44 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-25 16:25:47 +0200 | ober_ | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Client Quit) |
| 2022-07-25 16:26:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-25 16:26:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-25 16:26:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 16:27:32 +0200 | xff0x | (~xff0x@ae135018.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 245 seconds) |
| 2022-07-25 16:27:37 +0200 | ober__ | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2022-07-25 16:27:59 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2022-07-25 16:28:35 +0200 | xff0x | (~xff0x@ae129013.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-25 16:32:23 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds) |
| 2022-07-25 16:32:49 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-07-25 16:38:18 +0200 | bahamas | (~lucian@188.24.132.215) (Quit: Lost terminal) |
| 2022-07-25 16:39:38 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2022-07-25 16:40:04 +0200 | idontget` | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) |
| 2022-07-25 16:40:22 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-07-25 16:40:57 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:175e:8c5b:e001:c3ec) |
| 2022-07-25 16:41:26 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-25 16:41:38 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-25 16:42:12 +0200 | sandy_doo | (~sandydoo@185.209.196.146) |
| 2022-07-25 16:42:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-25 16:43:35 +0200 | idontgetoutmuch | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-25 16:45:38 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-07-25 16:46:10 +0200 | zachel_ | (~zachel@user/zachel) |
| 2022-07-25 16:46:38 +0200 | zachel | (~zachel@user/zachel) (Ping timeout: 240 seconds) |
| 2022-07-25 16:49:10 +0200 | <dudem> | sm: so far VS code has been a smooth experience and good plugins, going fwd i will use VS Code for Haskell and IntelliJ for everything else |
| 2022-07-25 16:52:00 +0200 | <sm> | dudem: 👍🏻 |
| 2022-07-25 16:55:48 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-07-25 16:57:06 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2022-07-25 16:58:43 +0200 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) |
| 2022-07-25 16:59:08 +0200 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) (Remote host closed the connection) |
| 2022-07-25 17:01:17 +0200 | sandy_doo | (~sandydoo@185.209.196.146) (Ping timeout: 245 seconds) |
| 2022-07-25 17:05:11 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-07-25 17:11:47 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-25 17:12:12 +0200 | sandy_doo | (~sandydoo@185.209.196.146) |
| 2022-07-25 17:12:29 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-25 17:12:45 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-25 17:13:24 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 17:23:40 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 268 seconds) |
| 2022-07-25 17:24:37 +0200 | ccntrq | (~Thunderbi@217.92.6.206) (Ping timeout: 245 seconds) |
| 2022-07-25 17:25:39 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-07-25 17:28:26 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-07-25 17:30:49 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2022-07-25 17:37:14 +0200 | malte | (~malte@mal.tc) (Ping timeout: 268 seconds) |
| 2022-07-25 17:37:26 +0200 | malte | (~malte@mal.tc) |
| 2022-07-25 17:38:53 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-25 17:39:21 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 17:40:56 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-25 17:45:27 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 245 seconds) |
| 2022-07-25 17:48:20 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-25 17:49:01 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-07-25 17:49:52 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-07-25 17:50:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-25 17:51:25 +0200 | xff0x | (~xff0x@ae129013.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 268 seconds) |
| 2022-07-25 17:53:06 +0200 | xff0x | (~xff0x@ae133234.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-25 17:58:45 +0200 | xff0x | (~xff0x@ae133234.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 272 seconds) |
| 2022-07-25 18:00:10 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-07-25 18:00:20 +0200 | xff0x | (~xff0x@ae133174.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-25 18:00:43 +0200 | lortabac | (~lortabac@62.98.20.17) (Read error: Connection reset by peer) |
| 2022-07-25 18:01:28 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-07-25 18:06:13 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-25 18:09:51 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-07-25 18:10:28 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 18:14:06 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-25 18:18:15 +0200 | <qrpnxz> | omg! if you pick the functor of streaming's Stream to be reader, you get a consumer haha |
| 2022-07-25 18:20:17 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-07-25 18:22:07 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 245 seconds) |
| 2022-07-25 18:22:24 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | sm2n | (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection) |
| 2022-07-25 18:22:24 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection) |
| 2022-07-25 18:22:25 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2022-07-25 18:22:25 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection) |
| 2022-07-25 18:22:25 +0200 | dawdler | (035b60b5aa@user/dawdler) (Write error: Connection reset by peer) |
| 2022-07-25 18:22:25 +0200 | jakzale | (3f138254b4@user/jakzale) (Write error: Connection reset by peer) |
| 2022-07-25 18:22:25 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection) |
| 2022-07-25 18:22:25 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Remote host closed the connection) |
| 2022-07-25 18:22:25 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Write error: Connection reset by peer) |
| 2022-07-25 18:22:25 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 2022-07-25 18:24:06 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-25 18:24:37 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:db:db5e:e93a:47a2) (Remote host closed the connection) |
| 2022-07-25 18:24:44 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-07-25 18:24:56 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:484d:b4da:8443:3fc3) |
| 2022-07-25 18:26:49 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2022-07-25 18:26:49 +0200 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) |
| 2022-07-25 18:26:50 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2022-07-25 18:26:51 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2022-07-25 18:26:51 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2022-07-25 18:26:51 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2022-07-25 18:26:52 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2022-07-25 18:26:54 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2022-07-25 18:26:59 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2022-07-25 18:27:00 +0200 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) (Changing host) |
| 2022-07-25 18:27:00 +0200 | dawdler | (035b60b5aa@user/dawdler) |
| 2022-07-25 18:27:04 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2022-07-25 18:27:04 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2022-07-25 18:27:06 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-07-25 18:27:11 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 2022-07-25 18:27:11 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-07-25 18:27:15 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2022-07-25 18:27:22 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2022-07-25 18:27:22 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2022-07-25 18:27:22 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2022-07-25 18:27:29 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) |
| 2022-07-25 18:32:26 +0200 | johnw | (~johnw@2600:1700:cf00:db0:e87e:9cff:3897:94f) |
| 2022-07-25 18:34:27 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | dawdler | (035b60b5aa@user/dawdler) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | sm2n | (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
| 2022-07-25 18:34:27 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Write error: Connection reset by peer) |
| 2022-07-25 18:34:27 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 2022-07-25 18:35:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-25 18:36:18 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2022-07-25 18:36:18 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2022-07-25 18:36:19 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2022-07-25 18:36:19 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2022-07-25 18:36:20 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2022-07-25 18:36:20 +0200 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) |
| 2022-07-25 18:36:21 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 2022-07-25 18:36:28 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2022-07-25 18:36:33 +0200 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) (Changing host) |
| 2022-07-25 18:36:33 +0200 | dawdler | (035b60b5aa@user/dawdler) |
| 2022-07-25 18:36:33 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2022-07-25 18:36:42 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-07-25 18:36:47 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2022-07-25 18:36:47 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2022-07-25 18:36:47 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2022-07-25 18:36:52 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2022-07-25 18:36:52 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
| 2022-07-25 18:36:58 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2022-07-25 18:36:59 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) |
| 2022-07-25 18:36:59 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-07-25 18:36:59 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2022-07-25 18:38:00 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2022-07-25 18:47:41 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-07-25 18:49:50 +0200 | idontget` | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-07-25 18:52:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-25 18:52:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 18:53:02 +0200 | dudem | (~dude@a95-93-162-124.cpe.netcabo.pt) (Quit: Leaving) |
| 2022-07-25 18:54:06 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 18:56:30 +0200 | idontget` | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) |
| 2022-07-25 18:56:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-25 18:58:18 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds) |
| 2022-07-25 19:00:42 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-25 19:05:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-07-25 19:05:25 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 268 seconds) |
| 2022-07-25 19:07:18 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-25 19:09:37 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2022-07-25 19:10:54 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-25 19:11:07 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-07-25 19:12:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 19:15:19 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-07-25 19:15:49 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-25 19:19:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-25 19:21:39 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection) |
| 2022-07-25 19:21:39 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection) |
| 2022-07-25 19:21:39 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Write error: Connection reset by peer) |
| 2022-07-25 19:21:39 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Write error: Broken pipe) |
| 2022-07-25 19:21:39 +0200 | sm2n | (ae95cb1267@user/sm2n) (Write error: Connection reset by peer) |
| 2022-07-25 19:21:39 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Write error: Broken pipe) |
| 2022-07-25 19:21:39 +0200 | jakzale | (6291399afa@user/jakzale) (Write error: Connection reset by peer) |
| 2022-07-25 19:21:39 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection) |
| 2022-07-25 19:21:39 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection) |
| 2022-07-25 19:21:39 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Write error: Connection reset by peer) |
| 2022-07-25 19:21:39 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Write error: Broken pipe) |
| 2022-07-25 19:21:39 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Write error: Broken pipe) |
| 2022-07-25 19:21:39 +0200 | dawdler | (035b60b5aa@user/dawdler) (Remote host closed the connection) |
| 2022-07-25 19:21:39 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection) |
| 2022-07-25 19:21:39 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection) |
| 2022-07-25 19:21:39 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) (Remote host closed the connection) |
| 2022-07-25 19:21:39 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2022-07-25 19:21:40 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2022-07-25 19:21:40 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 2022-07-25 19:21:40 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection) |
| 2022-07-25 19:22:39 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2022-07-25 19:22:39 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2022-07-25 19:22:40 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2022-07-25 19:22:40 +0200 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) |
| 2022-07-25 19:22:40 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2022-07-25 19:22:40 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2022-07-25 19:22:55 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2022-07-25 19:22:56 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-07-25 19:22:57 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2022-07-25 19:22:57 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) |
| 2022-07-25 19:23:04 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
| 2022-07-25 19:23:04 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-07-25 19:23:04 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2022-07-25 19:23:04 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2022-07-25 19:23:12 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 2022-07-25 19:23:13 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2022-07-25 19:23:14 +0200 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) (Changing host) |
| 2022-07-25 19:23:14 +0200 | dawdler | (035b60b5aa@user/dawdler) |
| 2022-07-25 19:23:55 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2022-07-25 19:24:26 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2022-07-25 19:24:27 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2022-07-25 19:24:31 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2022-07-25 19:24:53 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 19:25:01 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-25 19:25:01 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-25 19:25:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-25 19:25:10 +0200 | <gurkenglas> | Is there a good ML library for Haskell yet? |
| 2022-07-25 19:26:41 +0200 | econo | (uid147250@user/econo) |
| 2022-07-25 19:27:00 +0200 | alp__ | (~alp@user/alp) |
| 2022-07-25 19:27:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-25 19:28:25 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-25 19:29:23 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-25 19:31:17 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Ping timeout: 245 seconds) |
| 2022-07-25 19:31:19 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 19:32:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 19:33:31 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-07-25 19:34:25 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-25 19:35:23 +0200 | <HaxCPU> | Machine learning? |
| 2022-07-25 19:35:27 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2022-07-25 19:36:06 +0200 | <[exa]> | (hopefully OcaML and pals) |
| 2022-07-25 19:37:14 +0200 | <Franciman> | is OCaml banned from this channel? |
| 2022-07-25 19:38:55 +0200 | pavonia | (~user@user/siracusa) |
| 2022-07-25 19:39:27 +0200 | <geekosaur> | there are more appropriate channels, unless your question is about interfacing it to Haskell |
| 2022-07-25 19:41:14 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-25 19:41:51 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-07-25 19:47:04 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-07-25 19:47:51 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-25 19:47:52 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-07-25 19:48:19 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 19:49:55 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-25 19:50:31 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-25 19:50:31 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-25 19:50:36 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-25 19:50:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-25 19:51:22 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-25 19:51:23 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 19:51:28 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 19:51:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2022-07-25 19:52:25 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-07-25 19:53:18 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-25 19:53:30 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) |
| 2022-07-25 19:54:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Remote host closed the connection) |
| 2022-07-25 19:56:37 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 252 seconds) |
| 2022-07-25 19:58:14 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:d18c:aab6:fc87:3dca) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2022-07-25 19:58:34 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:8c87:c49c:8d33:7100) |
| 2022-07-25 19:58:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2022-07-25 19:58:48 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-25 20:00:14 +0200 | eod|fserucas | (~eod|fseru@22.70.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-07-25 20:01:30 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-07-25 20:02:44 +0200 | JannisO | (~JannisO@dyndsl-089-166-213-108.ewe-ip-backbone.de) |
| 2022-07-25 20:03:56 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-25 20:11:20 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-25 20:15:02 +0200 | stanrifkin | (~stanrifki@p200300dbcf0b4500f069cf5149373874.dip0.t-ipconnect.de) |
| 2022-07-25 20:15:35 +0200 | <stanrifkin> | is there a searchable reference for haskell as chm file? |
| 2022-07-25 20:17:20 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-25 20:18:48 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 268 seconds) |
| 2022-07-25 20:19:17 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-25 20:19:33 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-25 20:19:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 20:20:02 +0200 | sandy_doo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
| 2022-07-25 20:20:08 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-25 20:21:00 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 20:24:12 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-25 20:24:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-25 20:24:34 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 20:24:59 +0200 | sandy_doo | (~sandydoo@185.209.196.146) |
| 2022-07-25 20:26:14 +0200 | acidjnk | (~acidjnk@p200300d6e7058678904436ef15c24ae8.dip0.t-ipconnect.de) |
| 2022-07-25 20:27:26 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-25 20:27:55 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-25 20:27:59 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-07-25 20:34:50 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 268 seconds) |
| 2022-07-25 20:35:59 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-25 20:40:13 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-07-25 20:45:51 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-25 20:46:33 +0200 | sandy_doo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
| 2022-07-25 20:48:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-25 20:49:53 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
| 2022-07-25 20:51:50 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 240 seconds) |
| 2022-07-25 20:52:42 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-25 20:52:45 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Remote host closed the connection) |
| 2022-07-25 20:55:20 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-25 21:09:25 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-25 21:10:59 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-07-25 21:10:59 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2022-07-25 21:10:59 +0200 | jinsun__ | jinsun |
| 2022-07-25 21:12:29 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-25 21:12:29 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-25 21:12:29 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-25 21:12:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 21:13:59 +0200 | JannisO | (~JannisO@dyndsl-089-166-213-108.ewe-ip-backbone.de) (Ping timeout: 252 seconds) |
| 2022-07-25 21:14:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-25 21:14:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 21:19:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-25 21:19:25 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Remote host closed the connection) |
| 2022-07-25 21:22:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-07-25 21:24:40 +0200 | <[exa]> | stanrifkin: you mean the microsoft compressed helpfiles? |
| 2022-07-25 21:25:18 +0200 | <stanrifkin> | [exa]: yes |
| 2022-07-25 21:25:30 +0200 | <[exa]> | I'd say it's unlikely, but you should be able to generate e.g. library docs using some modification of haddock |
| 2022-07-25 21:26:33 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:484d:b4da:8443:3fc3) (Remote host closed the connection) |
| 2022-07-25 21:26:51 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:484d:b4da:8443:3fc3) |
| 2022-07-25 21:27:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-07-25 21:28:47 +0200 | <[exa]> | is the format somehow documented/open? |
| 2022-07-25 21:29:03 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-25 21:29:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 21:29:33 +0200 | winny | (~weechat@user/winny) |
| 2022-07-25 21:30:29 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-07-25 21:31:56 +0200 | ente` | (~daemon@inferno.barfooze.de) (Quit: Reconnecting) |
| 2022-07-25 21:32:04 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-07-25 21:33:20 +0200 | <stanrifkin> | [exa]: i think so. there are tools which makes a chm file from plain html. but i have no experience with it. |
| 2022-07-25 21:33:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-25 21:34:14 +0200 | <stanrifkin> | [exa]: is use this at the moment for offline help. https://zealdocs.org/ |
| 2022-07-25 21:34:46 +0200 | <stanrifkin> | [exa]: i installed hoogle via cabal. but it wasn't what i hoped for. |
| 2022-07-25 21:35:33 +0200 | <geekosaur> | calibre can produce chm from a number of formats apparently |
| 2022-07-25 21:37:05 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-07-25 21:38:40 +0200 | <stanrifkin> | geekosaur: i can't find that option in calibre |
| 2022-07-25 21:39:41 +0200 | <geekosaur> | wonder if it got removed, I was looking at an older message. I haven't actually used it in some years |
| 2022-07-25 21:40:25 +0200 | <stanrifkin> | what do you use for offline help? |
| 2022-07-25 21:42:51 +0200 | <[exa]> | good question, I never really thought much about it. I have a local hoogle, and I usually read at least the "toplevel" docs before using a package, to avoid getting trapped by bad help searches. |
| 2022-07-25 21:43:14 +0200 | <[exa]> | many other people have vscode integration here which I kinda assume includes a help system |
| 2022-07-25 21:43:39 +0200 | sandy_doo | (~sandydoo@185.209.196.146) |
| 2022-07-25 21:44:34 +0200 | <[exa]> | still that doesn't really solve fulltext searches or discovering packages. |
| 2022-07-25 21:44:59 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2022-07-25 21:45:04 +0200 | <geekosaur> | looks like chm is input only these days |
| 2022-07-25 21:45:25 +0200 | <[exa]> | doxygen can generate it |
| 2022-07-25 21:45:32 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-07-25 21:45:41 +0200 | <[exa]> | (w h e w) |
| 2022-07-25 21:46:06 +0200 | <stanrifkin> | https://github.com/crea7or/cppreference2mshelp/blob/master/cppreference.chm |
| 2022-07-25 21:46:13 +0200 | <stanrifkin> | here to give you an example |
| 2022-07-25 21:46:33 +0200 | <stanrifkin> | it's cppreference.com for c++ as chm file |
| 2022-07-25 21:46:39 +0200 | zmt01 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-07-25 21:46:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 21:47:53 +0200 | [exa] | sees .exe pushed in git, eyes hurt |
| 2022-07-25 21:48:38 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-07-25 21:49:12 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-25 21:49:33 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-07-25 21:55:42 +0200 | jese | (~nikola@93-86-165-247.dynamic.isp.telekom.rs) |
| 2022-07-25 21:58:00 +0200 | alp__ | (~alp@user/alp) |
| 2022-07-25 22:01:49 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 22:02:35 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-25 22:03:29 +0200 | stanrifkin | (~stanrifki@p200300dbcf0b4500f069cf5149373874.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2022-07-25 22:03:47 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 245 seconds) |
| 2022-07-25 22:03:48 +0200 | elkcl_ | elkcl |
| 2022-07-25 22:04:36 +0200 | jese | (~nikola@93-86-165-247.dynamic.isp.telekom.rs) (Quit: leaving) |
| 2022-07-25 22:06:03 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-07-25 22:06:22 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-25 22:08:05 +0200 | <sm> | stanrifkin: Dash (on mac) |
| 2022-07-25 22:10:44 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-25 22:11:12 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-25 22:11:30 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 22:13:47 +0200 | sandy_doo | (~sandydoo@185.209.196.146) (Ping timeout: 245 seconds) |
| 2022-07-25 22:14:47 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-25 22:15:31 +0200 | winny | (~weechat@user/winny) |
| 2022-07-25 22:17:49 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-25 22:19:15 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-25 22:19:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-25 22:22:55 +0200 | idontget` | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-07-25 22:23:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 240 seconds) |
| 2022-07-25 22:29:50 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:175e:8c5b:e001:c3ec) (Ping timeout: 240 seconds) |
| 2022-07-25 22:31:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-07-25 22:32:44 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-25 22:34:00 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-07-25 22:34:42 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 22:35:07 +0200 | mastarija | (~mastarija@2a05:4f46:e02:8c00:69bd:c6a3:acec:3f6c) |
| 2022-07-25 22:37:50 +0200 | mastarija | (~mastarija@2a05:4f46:e02:8c00:69bd:c6a3:acec:3f6c) (Client Quit) |
| 2022-07-25 22:38:10 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-25 22:42:08 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-07-25 22:45:40 +0200 | sandy_doo | (~sandydoo@185.209.196.146) |
| 2022-07-25 22:49:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-25 22:52:37 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-25 22:55:10 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2022-07-25 22:55:27 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2022-07-25 22:57:47 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 22:58:47 +0200 | <tomsmeding> | [exa]: seems those .exe's are upstream from microsoft (and other places), not built in-repo |
| 2022-07-25 22:59:42 +0200 | <tomsmeding> | And considering that windows doesn't have the luxury of pacman/apt/yum/etc... |
| 2022-07-25 23:03:22 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-25 23:03:22 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-25 23:03:22 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-25 23:03:38 +0200 | califax | (~califax@user/califx) |
| 2022-07-25 23:03:49 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-25 23:04:25 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-25 23:04:30 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-25 23:04:36 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-25 23:05:30 +0200 | winny | (~weechat@user/winny) |
| 2022-07-25 23:06:59 +0200 | sandydoo | (~sandydoo@185.115.4.178) |
| 2022-07-25 23:07:47 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-25 23:08:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-25 23:08:45 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-07-25 23:09:37 +0200 | sandy_doo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
| 2022-07-25 23:12:20 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 23:19:02 +0200 | <pavonia> | Is there anything obviously wrong with the inner loop of this function? https://bpa.st/K2RA It seems to allocate a lot of memory quickly, even for small inputs, while it should run in constant space, IMHO |
| 2022-07-25 23:19:38 +0200 | acidjnk | (~acidjnk@p200300d6e7058678904436ef15c24ae8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-25 23:21:59 +0200 | sandy_doo | (~sandydoo@185.209.196.166) |
| 2022-07-25 23:24:18 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-07-25 23:24:25 +0200 | sandydoo | (~sandydoo@185.115.4.178) (Ping timeout: 268 seconds) |
| 2022-07-25 23:26:39 +0200 | noteness_ | (~noteness@user/noteness) |
| 2022-07-25 23:26:58 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-25 23:26:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-25 23:27:07 +0200 | funkyindieeee17 | (~funkyindi@user/funkyindieeee1) |
| 2022-07-25 23:27:35 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-07-25 23:27:35 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-25 23:28:45 +0200 | <glguy> | pavonia: is 'a' getting instantiated as 'Integer'? |
| 2022-07-25 23:29:21 +0200 | funkyindieeee1 | (~funkyindi@user/funkyindieeee1) (Ping timeout: 272 seconds) |
| 2022-07-25 23:29:21 +0200 | funkyindieeee17 | funkyindieeee1 |
| 2022-07-25 23:29:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-25 23:29:28 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-25 23:29:32 +0200 | <pavonia> | I think so, that's the default, no? |
| 2022-07-25 23:30:04 +0200 | <glguy> | If you're making big integers that'll take big ram. Are you testing in compiled code or GHCi? |
| 2022-07-25 23:30:15 +0200 | <pavonia> | In GHCi |
| 2022-07-25 23:30:45 +0200 | <glguy> | all bets are off for performance in GHCi |
| 2022-07-25 23:31:16 +0200 | <pavonia> | But the numbers are really small, like 8131, and it grabs 200 MB extra or so |
| 2022-07-25 23:31:41 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-25 23:32:29 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-25 23:33:54 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-07-25 23:34:17 +0200 | <pavonia> | Are the let variables released in the recursive call? Because they are not needed anymore |
| 2022-07-25 23:34:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-25 23:35:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-07-25 23:37:59 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-25 23:38:05 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-07-25 23:40:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-25 23:43:29 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-25 23:46:18 +0200 | <geekosaur> | let variables aren't necessarily even created |
| 2022-07-25 23:46:52 +0200 | yaroot_ | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 2022-07-25 23:47:04 +0200 | <int-e> | FWIW I'd expect that part of the code to be fine even in ghci. |
| 2022-07-25 23:47:40 +0200 | <int-e> | There's the helpers though (isqrt, possiblyRoot) which we know nothing about |
| 2022-07-25 23:47:42 +0200 | <geekosaur> | ghci doesn't even optimize away intermediates by default (and can't, before 9.0) |
| 2022-07-25 23:47:42 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 244 seconds) |
| 2022-07-25 23:47:43 +0200 | yaroot_ | yaroot |
| 2022-07-25 23:47:59 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-07-25 23:49:53 +0200 | <int-e> | Well, as I see it, you don't need any optimization here to keep memory usage down; once go (a+1) is reached the rest can be collected. |
| 2022-07-25 23:50:13 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-25 23:50:37 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-25 23:51:26 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-25 23:54:37 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 245 seconds) |
| 2022-07-25 23:58:49 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+) |
| 2022-07-25 23:59:14 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |