2022/07/25

2022-07-25 00:00:38 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-25 00:00:38 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Write error: Connection reset by peer)
2022-07-25 00:00:38 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer)
2022-07-25 00:00:38 +0200noteness(~noteness@user/noteness) (Write error: Connection reset by peer)
2022-07-25 00:00:38 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer)
2022-07-25 00:00:38 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer)
2022-07-25 00:00:38 +0200winny(~weechat@user/winny) (Write error: Connection reset by peer)
2022-07-25 00:01:06 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 00:01:08 +0200winny(~weechat@user/winny)
2022-07-25 00:01:27 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-07-25 00:01:29 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-25 00:02:08 +0200noteness(~noteness@user/noteness)
2022-07-25 00:03:01 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-25 00:03:40 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 00:04:44 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 00:04:58 +0200zeenk(~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 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-25 00:09:58 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-07-25 00:11:10 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-25 00:11:29 +0200acidjnk(~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 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 276 seconds)
2022-07-25 00:14:04 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 00:16:48 +0200shapr(~user@2600:4040:2d31:7100:8def:886e:cd92:bc2d) (Remote host closed the connection)
2022-07-25 00:17:29 +0200mmhat(~mmh@p200300f1c705593dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6)
2022-07-25 00:18:51 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-25 00:23:28 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-25 00:23:53 +0200liz(~liz@host86-187-239-68.range86-187.btcentralplus.com)
2022-07-25 00:24:19 +0200yroomd^(~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 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 255 seconds)
2022-07-25 00:33:59 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-25 00:34:30 +0200califax(~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 +0200zeenk(~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 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-25 00:49:19 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-25 00:49:19 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-25 00:49:19 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-25 00:49:19 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-07-25 00:49:20 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-25 00:49:20 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Write error: Broken pipe)
2022-07-25 00:49:20 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Write error: Broken pipe)
2022-07-25 00:49:20 +0200noteness(~noteness@user/noteness) (Write error: Broken pipe)
2022-07-25 00:49:49 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-25 00:49:51 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 00:49:59 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-07-25 00:49:59 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-25 00:50:10 +0200noteness(~noteness@user/noteness)
2022-07-25 00:50:12 +0200winny(~weechat@user/winny)
2022-07-25 00:51:18 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 00:51:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-25 00:53:40 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 00:58:00 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-25 00:58:27 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 00:59:43 +0200liz(~liz@host86-187-239-68.range86-187.btcentralplus.com) (Ping timeout: 272 seconds)
2022-07-25 01:01:46 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-25 01:01:56 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-07-25 01:01:57 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-25 01:02:12 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-25 01:09:23 +0200talismanick(~talismani@2601:644:8300:c010::8544) (Ping timeout: 244 seconds)
2022-07-25 01:12:19 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 01:14:15 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Remote host closed the connection)
2022-07-25 01:16:59 +0200liz(~liz@host86-187-232-20.range86-187.btcentralplus.com)
2022-07-25 01:19:30 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-25 01:21:08 +0200noteness(~noteness@user/noteness) (Ping timeout: 268 seconds)
2022-07-25 01:21:32 +0200noteness(~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 +0200EsoAlgo(~EsoAlgo@129.146.136.145)
2022-07-25 01:25:17 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78)
2022-07-25 01:29:39 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-25 01:31:52 +0200dextaa(~DV@user/dextaa)
2022-07-25 01:32:31 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-07-25 01:35:51 +0200yroomd^(~yroomd@73.54.250.255) (Ping timeout: 268 seconds)
2022-07-25 01:43:28 +0200causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5)
2022-07-25 01:44:10 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 01:44:14 +0200crns(~netcrns@user/crns)
2022-07-25 01:47:40 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2022-07-25 01:48:11 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-07-25 01:48:40 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-07-25 01:51:50 +0200segfaultfizzbuzz(~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 +0200ezzieyguywuf(~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 +0200yauhsien(~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 +0200yauhsien(~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 +0200eggplantade(~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 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78)
2022-07-25 02:15:49 +0200vysn(~vysn@user/vysn)
2022-07-25 02:20:10 +0200adanwan(~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 +0200yroomd^(~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 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 02:29:15 +0200azimut(~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 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds)
2022-07-25 02:32:55 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-25 02:32:55 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-25 02:32:55 +0200wroathe(~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 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-25 02:35:18 +0200adanwan(~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 +0200liz(~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 +0200byorgey(~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 +0200merijn(~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 +0200tremon(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2022-07-25 02:45:24 +0200ober(~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 +0200stiell(~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 +0200stiell(~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 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-07-25 02:57:35 +0200hasbae(~hippoid@c-98-220-13-8.hsd1.il.comcast.net)
2022-07-25 03:00:29 +0200xff0x(~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 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-25 03:02:38 +0200califax(~califax@user/califx)
2022-07-25 03:04:12 +0200azimut(~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 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-25 03:08:20 +0200 <hasbae> |c->d| = |d|^|c|
2022-07-25 03:09:27 +0200segfaultfizzbuzz(~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 +0200albet70(~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 +0200albet70(~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 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-25 03:18:59 +0200yroomd^(~yroomd@73.54.250.255) (Ping timeout: 255 seconds)
2022-07-25 03:22:05 +0200liz(~liz@host86-187-238-164.range86-187.btcentralplus.com)
2022-07-25 03:25:40 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Remote host closed the connection)
2022-07-25 03:30:07 +0200hasbae(~hippoid@c-98-220-13-8.hsd1.il.comcast.net) (WeeChat 3.5)
2022-07-25 03:30:58 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 03:31:00 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-25 03:31:21 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-25 03:35:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-25 03:37:44 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-25 03:38:01 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-25 03:39:03 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-07-25 03:41:44 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-25 03:42:53 +0200vysn(~vysn@user/vysn) (Quit: WeeChat 3.5)
2022-07-25 03:43:51 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-25 03:44:13 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-25 03:44:27 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-07-25 03:46:26 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-07-25 03:47:35 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-25 03:50:13 +0200jargon(~jargon@184.101.188.251)
2022-07-25 03:50:14 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 03:57:21 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-07-25 03:59:37 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+)
2022-07-25 04:00:07 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)
2022-07-25 04:00:56 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-07-25 04:01:54 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-25 04:02:37 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-07-25 04:02:55 +0200lemonsnicks(~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 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 04:03:46 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-25 04:04:08 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-25 04:04:54 +0200zaquest(~notzaques@5.130.79.72)
2022-07-25 04:08:42 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-25 04:09:46 +0200SamBellamy(~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) ()
2022-07-25 04:09:46 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 04:17:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78)
2022-07-25 04:18:13 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 04:19:21 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-25 04:19:36 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-07-25 04:26:35 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-07-25 04:26:35 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-07-25 04:26:35 +0200finn_elijaFinnElija
2022-07-25 04:27:36 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+)
2022-07-25 04:28:02 +0200drlkf(~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 +0200merijn(~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 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-25 04:43:49 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-07-25 04:44:29 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 255 seconds)
2022-07-25 04:46:15 +0200pretty_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 +0200td_(~td@muedsl-82-207-238-027.citykom.de) (Ping timeout: 268 seconds)
2022-07-25 04:52:13 +0200td_(~td@94.134.91.242)
2022-07-25 04:53:59 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 04:54:36 +0200jao(~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 +0200alp_(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-25 05:06:30 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-25 05:10:01 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 05:12:04 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-07-25 05:16:31 +0200notzmv(~zmv@user/notzmv)
2022-07-25 05:17:39 +0200dos__^^(~user@user/dos/x-1723657)
2022-07-25 05:18:36 +0200hgolden(~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 +0200talismanick(~talismani@2601:200:c100:3850::dd64)
2022-07-25 05:26:35 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-07-25 05:36:15 +0200ubert1(~Thunderbi@178.165.164.216.wireless.dyn.drei.com)
2022-07-25 05:37:35 +0200ubert(~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 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 276 seconds)
2022-07-25 06:00:24 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-07-25 06:01:42 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds)
2022-07-25 06:03:28 +0200vglfr(~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 +0200liz(~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 +0200Haskelytic(~Haskelyti@118.179.211.17) (Quit: Client closed)
2022-07-25 06:33:47 +0200winny(~weechat@user/winny) (Ping timeout: 268 seconds)
2022-07-25 06:34:25 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2022-07-25 06:34:45 +0200EvanR(~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 +0200winny(~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 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-07-25 06:53:31 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-25 06:53:31 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-25 06:53:31 +0200califax(~califax@user/califx) (Ping timeout: 268 seconds)
2022-07-25 06:55:15 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 06:55:15 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection)
2022-07-25 06:55:21 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-25 06:56:03 +0200califax(~califax@user/califx)
2022-07-25 06:56:25 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2022-07-25 07:00:51 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-25 07:04:06 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net) (*.net *.split)
2022-07-25 07:04:06 +0200ente`(~daemon@inferno.barfooze.de) (*.net *.split)
2022-07-25 07:04:06 +0200marienz(marienz@libera/staff/marienz) (*.net *.split)
2022-07-25 07:04:06 +0200mcfrdy(~mcfrdy@user/mcfrdy) (*.net *.split)
2022-07-25 07:04:06 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2022-07-25 07:04:06 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split)
2022-07-25 07:04:06 +0200madnight(~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split)
2022-07-25 07:04:06 +0200lyxia(~lyxia@poisson.chat) (*.net *.split)
2022-07-25 07:04:06 +0200Henkru(henkru@kapsi.fi) (*.net *.split)
2022-07-25 07:04:06 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (*.net *.split)
2022-07-25 07:04:06 +0200andjjj23_(~irc@107.170.228.47) (*.net *.split)
2022-07-25 07:04:06 +0200asm(~alexander@user/asm) (*.net *.split)
2022-07-25 07:04:06 +0200canta(~canta@user/canta) (*.net *.split)
2022-07-25 07:04:06 +0200robbert-vdh(~robbert@robbertvanderhelm.nl) (*.net *.split)
2022-07-25 07:04:06 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2022-07-25 07:04:06 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2022-07-25 07:04:06 +0200meejah(~meejah@rutas.meejah.ca) (*.net *.split)
2022-07-25 07:04:07 +0200anderson(~ande@user/anderson) (*.net *.split)
2022-07-25 07:04:07 +0200axel-bee(~axel-bee@alexbenishek.com) (*.net *.split)
2022-07-25 07:04:14 +0200ente`(~daemon@inferno.barfooze.de)
2022-07-25 07:04:14 +0200Henkru(henkru@kapsi.fi)
2022-07-25 07:04:16 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2022-07-25 07:04:17 +0200marienz(marienz@libera/staff/marienz)
2022-07-25 07:04:21 +0200meejah(~meejah@rutas.meejah.ca)
2022-07-25 07:04:24 +0200lyxia(~lyxia@poisson.chat)
2022-07-25 07:04:24 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net)
2022-07-25 07:04:28 +0200canta(~canta@cvm0.d5k.one)
2022-07-25 07:04:29 +0200asm(~alexander@burner.asm89.io)
2022-07-25 07:04:34 +0200canta(~canta@cvm0.d5k.one) (Changing host)
2022-07-25 07:04:34 +0200canta(~canta@user/canta)
2022-07-25 07:04:38 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2022-07-25 07:04:41 +0200madnight(~madnight@static.59.103.201.195.clients.your-server.de)
2022-07-25 07:04:43 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de)
2022-07-25 07:04:53 +0200axel-bee(~axel-bee@alexbenishek.com)
2022-07-25 07:04:53 +0200mcfrdy(~mcfrdy@user/mcfrdy)
2022-07-25 07:04:54 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-07-25 07:05:07 +0200andjjj23_(~irc@107.170.228.47)
2022-07-25 07:05:11 +0200robbert-vdh(~robbert@robbertvanderhelm.nl)
2022-07-25 07:05:17 +0200c_wraith(~c_wraith@adjoint.us)
2022-07-25 07:06:08 +0200ephaptic(~mbomba@cpe1c9eccdb0b75-cm1c9eccdb0b73.cpe.net.cable.rogers.com)
2022-07-25 07:07:29 +0200anderson(~ande@user/anderson)
2022-07-25 07:07:34 +0200Taneb(~Taneb@runciman.hacksoc.org) (*.net *.split)
2022-07-25 07:07:34 +0200ldlework(~hexeme@user/hexeme) (*.net *.split)
2022-07-25 07:07:34 +0200kitzman(~kitzman@user/dekenevs) (*.net *.split)
2022-07-25 07:07:34 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (*.net *.split)
2022-07-25 07:07:34 +0200Trattue(~Trattue@152.70.182.158) (*.net *.split)
2022-07-25 07:07:34 +0200SIben_(~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split)
2022-07-25 07:07:34 +0200eL_Bart0(eL_Bart0@dietunichtguten.org) (*.net *.split)
2022-07-25 07:07:34 +0200darkling(~darkling@savella.carfax.org.uk) (*.net *.split)
2022-07-25 07:07:34 +0200sm[i]_(~user@li229-222.members.linode.com) (*.net *.split)
2022-07-25 07:07:34 +0200kosmikus_(~kosmikus@nullzig.kosmikus.org) (*.net *.split)
2022-07-25 07:07:34 +0200Dashkal(~dashkal@user/dashkal) (*.net *.split)
2022-07-25 07:07:34 +0200sshine(~simon@exocortex.online) (*.net *.split)
2022-07-25 07:07:34 +0200absence(torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2022-07-25 07:07:34 +0200Logio(em@kapsi.fi) (*.net *.split)
2022-07-25 07:07:34 +0200stilgart_(~Christoph@chezlefab.net) (*.net *.split)
2022-07-25 07:07:34 +0200opqdonut_(opqdonut@pseudo.fixme.fi) (*.net *.split)
2022-07-25 07:07:34 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (*.net *.split)
2022-07-25 07:07:34 +0200int-e(~noone@int-e.eu) (*.net *.split)
2022-07-25 07:07:34 +0200Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split)
2022-07-25 07:07:34 +0200urdh(~urdh@user/urdh) (*.net *.split)
2022-07-25 07:07:34 +0200energizer(~energizer@user/energizer) (*.net *.split)
2022-07-25 07:07:34 +0200sabx(~sabbas@user/sabbas) (*.net *.split)
2022-07-25 07:07:34 +0200micro(~micro@user/micro) (*.net *.split)
2022-07-25 07:07:34 +0200toms(~foobar@pogostick.net) (*.net *.split)
2022-07-25 07:07:34 +0200markasoftware(~quassel@107.161.26.124) (*.net *.split)
2022-07-25 07:07:34 +0200dminuoso(~dminuoso@user/dminuoso) (*.net *.split)
2022-07-25 07:07:34 +0200drdo(~drdo@roach0.drdo.eu) (*.net *.split)
2022-07-25 07:07:34 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2022-07-25 07:07:34 +0200omantere_(~pi@85-156-109-34.elisa-laajakaista.fi) (*.net *.split)
2022-07-25 07:07:34 +0200totte(~totte@h-82-196-112-155.A166.priv.bahnhof.se) (*.net *.split)
2022-07-25 07:07:34 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (*.net *.split)
2022-07-25 07:07:34 +0200akhesacaro(~caro@212-83-144-58.rev.poneytelecom.eu) (*.net *.split)
2022-07-25 07:07:34 +0200noctux1(VLbL74JH3j@user/noctux) (*.net *.split)
2022-07-25 07:07:34 +0200Cheery(~cheery@7-239-179-185.static.tentacle.fi) (*.net *.split)
2022-07-25 07:07:34 +0200bollu(~bollu@159.65.151.13) (*.net *.split)
2022-07-25 07:07:41 +0200micro(~micro@user/micro)
2022-07-25 07:07:42 +0200Cheery(~cheery@7-239-179-185.static.tentacle.fi)
2022-07-25 07:07:42 +0200absence(torgeihe@hildring.pvv.ntnu.no)
2022-07-25 07:07:42 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu)
2022-07-25 07:07:42 +0200Jonno_FTW(~come@api.carswap.me)
2022-07-25 07:07:43 +0200darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space)
2022-07-25 07:07:43 +0200toms(~foobar@pogostick.net)
2022-07-25 07:07:44 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2022-07-25 07:07:45 +0200akhesacaro(~caro@212-83-144-58.rev.poneytelecom.eu)
2022-07-25 07:07:46 +0200piele(~piele@tbonesteak.creativeserver.net)
2022-07-25 07:07:46 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2022-07-25 07:07:47 +0200kosmikus(~kosmikus@nullzig.kosmikus.org)
2022-07-25 07:07:47 +0200totte(~totte@h-82-196-112-155.A166.priv.bahnhof.se)
2022-07-25 07:07:48 +0200int-e(~noone@int-e.eu)
2022-07-25 07:07:48 +0200omantere(~pi@85-156-109-34.elisa-laajakaista.fi)
2022-07-25 07:07:48 +0200Logio(em@kapsi.fi)
2022-07-25 07:07:51 +0200Jonno_FTW(~come@api.carswap.me) (Changing host)
2022-07-25 07:07:51 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346)
2022-07-25 07:07:54 +0200sshine(~simon@exocortex.online)
2022-07-25 07:08:05 +0200stilgart(~Christoph@chezlefab.net)
2022-07-25 07:08:07 +0200noctux1(KOx7x4g3XX@karif.server-speed.net)
2022-07-25 07:08:10 +0200drdo(~drdo@roach0.drdo.eu)
2022-07-25 07:08:20 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2022-07-25 07:08:36 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2022-07-25 07:08:50 +0200urdh(~urdh@user/urdh)
2022-07-25 07:08:52 +0200Taneb(~Taneb@runciman.hacksoc.org)
2022-07-25 07:08:52 +0200Dashkal(~dashkal@user/dashkal)
2022-07-25 07:08:55 +0200kitzman(~kitzman@user/dekenevs)
2022-07-25 07:08:55 +0200hexeme(~hexeme@user/hexeme)
2022-07-25 07:09:33 +0200markasoftware(~quassel@107.161.26.124)
2022-07-25 07:11:23 +0200dminuoso(~dminuoso@user/dminuoso)
2022-07-25 07:12:27 +0200energizer(~energizer@user/energizer)
2022-07-25 07:12:45 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2022-07-25 07:12:49 +0200sabx(~sabbas@user/sabbas)
2022-07-25 07:12:54 +0200Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com)
2022-07-25 07:12:55 +0200Trattue(~Trattue@152.70.182.158)
2022-07-25 07:13:03 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 07:14:25 +0200ephaptic(~mbomba@cpe1c9eccdb0b75-cm1c9eccdb0b73.cpe.net.cable.rogers.com) (Quit: WeeChat 3.6)
2022-07-25 07:15:40 +0200sm[i]_(~user@li229-222.members.linode.com)
2022-07-25 07:15:43 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-25 07:19:38 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-25 07:19:57 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 07:21:42 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds)
2022-07-25 07:27:37 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-25 07:27:58 +0200califax(~califax@user/califx)
2022-07-25 07:29:51 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 07:30:31 +0200winny(~weechat@user/winny) (Ping timeout: 268 seconds)
2022-07-25 07:31:08 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds)
2022-07-25 07:31:38 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-25 07:32:39 +0200winny(~weechat@user/winny)
2022-07-25 07:33:49 +0200mmhat(~mmh@p200300f1c705593dee086bfffe095315.dip0.t-ipconnect.de)
2022-07-25 07:35:27 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
2022-07-25 07:36:09 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-07-25 07:39:36 +0200yroomd^(~yroomd@73.54.250.255)
2022-07-25 07:45:06 +0200mbuf(~Shakthi@122.165.55.71)
2022-07-25 08:06:02 +0200michalz(~michalz@185.246.204.72)
2022-07-25 08:08:07 +0200mncheckm(~mncheck@193.224.205.254)
2022-07-25 08:08:08 +0200mncheck(~mncheck@193.224.205.254)
2022-07-25 08:09:02 +0200Midjak(~Midjak@82.66.147.146)
2022-07-25 08:10:04 +0200mncheck(~mncheck@193.224.205.254) (Remote host closed the connection)
2022-07-25 08:10:21 +0200mncheck(~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 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:6822:a1ed:e2bc:fba)
2022-07-25 08:20:43 +0200coot(~coot@213.134.190.95)
2022-07-25 08:23:33 +0200acidjnk(~acidjnk@p200300d6e705867899aca44c992582c9.dip0.t-ipconnect.de)
2022-07-25 08:23:57 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-25 08:27:00 +0200mzan(~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-07-25 08:27:59 +0200yoneda(~mike@193.206.102.122)
2022-07-25 08:29:02 +0200Guest59(~Guest59@136.158.11.103)
2022-07-25 08:29:42 +0200Guest59(~Guest59@136.158.11.103) (Client Quit)
2022-07-25 08:31:34 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-25 08:32:50 +0200yroomd^(~yroomd@73.54.250.255) (Ping timeout: 240 seconds)
2022-07-25 08:33:13 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 08:34:14 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-25 08:35:11 +0200mzan(~quassel@mail.asterisell.com)
2022-07-25 08:35:30 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:6822:a1ed:e2bc:fba) (Ping timeout: 240 seconds)
2022-07-25 08:35:48 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-07-25 08:37:20 +0200ubert(~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 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-25 08:41:19 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-25 08:44:30 +0200lortabac(~lortabac@62.98.20.17)
2022-07-25 08:47:19 +0200ubert(~Thunderbi@178.165.164.216.wireless.dyn.drei.com)
2022-07-25 08:47:43 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-25 08:48:42 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 08:50:54 +0200Batzy(~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-07-25 08:51:56 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-25 08:52:27 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 08:53:46 +0200gmg(~user@user/gehmehgeh)
2022-07-25 08:55:17 +0200Batzy(~quassel@user/batzy)
2022-07-25 08:56:06 +0200jonathanx(~jonathan@c-5eea72bd-74736162.cust.telenor.se)
2022-07-25 08:56:48 +0200ccntrq(~Thunderbi@2a01:c23:9058:8a00:1ed0:9d50:c10f:d2e9)
2022-07-25 08:58:16 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-a1d6-3a5c-933d-2600.pool6.digikabel.hu)
2022-07-25 09:00:52 +0200jonathanx(~jonathan@c-5eea72bd-74736162.cust.telenor.se) (Ping timeout: 245 seconds)
2022-07-25 09:01:55 +0200bahamas(~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 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-07-25 09:03:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 09:07:53 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:c553:ccab:7bda:db3b)
2022-07-25 09:08:08 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-25 09:09:07 +0200ccntrq(~Thunderbi@2a01:c23:9058:8a00:1ed0:9d50:c10f:d2e9) (Remote host closed the connection)
2022-07-25 09:09:25 +0200ccntrq(~Thunderbi@2a01:c23:9058:8a00:1ed0:9d50:c10f:d2e9)
2022-07-25 09:09:34 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-07-25 09:10:25 +0200yroomd^(~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 +0200vglfr(~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 +0200vglfr(~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 +0200tzh_(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-07-25 09:22:08 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-25 09:22:40 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 268 seconds)
2022-07-25 09:23:02 +0200gmg(~user@user/gehmehgeh)
2022-07-25 09:26:11 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-25 09:26:53 +0200gmg(~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 +0200dschrempf(~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 +0200tzh_(~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 +0200matthewmosior(~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 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-25 09:44:50 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 09:46:00 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-25 09:50:20 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-25 09:52:12 +0200fserucas(~fserucas@22.70.114.89.rev.vodafone.pt)
2022-07-25 09:52:27 +0200eod|fserucas(~eod|fseru@22.70.114.89.rev.vodafone.pt)
2022-07-25 09:52:46 +0200eod|fserucas(~eod|fseru@22.70.114.89.rev.vodafone.pt) (Client Quit)
2022-07-25 09:52:46 +0200fserucas(~fserucas@22.70.114.89.rev.vodafone.pt) (Client Quit)
2022-07-25 09:53:02 +0200eod|fserucas(~eod|fseru@22.70.114.89.rev.vodafone.pt)
2022-07-25 09:56:18 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-25 09:56:27 +0200sandydoo(~sandydoo@185.209.196.146)
2022-07-25 09:56:50 +0200bahamas(~lucian@86.120.77.115) (Ping timeout: 240 seconds)
2022-07-25 09:59:09 +0200alp_(~alp@user/alp)
2022-07-25 09:59:43 +0200bahamas(~lucian@86.120.77.115)
2022-07-25 10:02:15 +0200yauhsien(~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 +0200kuribas(~user@silversquare.silversquare.eu)
2022-07-25 10:10:16 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com)
2022-07-25 10:10:21 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-25 10:10:25 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-fc6d-2b94-16ee-4aa3.pool6.digikabel.hu)
2022-07-25 10:10:51 +0200alp_(~alp@user/alp) (Remote host closed the connection)
2022-07-25 10:11:17 +0200yroomd^(~yroomd@73.54.250.255) (Ping timeout: 245 seconds)
2022-07-25 10:11:28 +0200alp_(~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 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-07-25 10:14:24 +0200chele(~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 +0200gmg(~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 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-07-25 10:22:26 +0200jargon(~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 +0200perrierjouet(~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 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-07-25 10:36:30 +0200 <[exa]> \o/
2022-07-25 10:41:51 +0200matthewmosior(~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 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:db:db5e:e93a:47a2)
2022-07-25 10:52:09 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Remote host closed the connection)
2022-07-25 10:54:20 +0200ccntrq(~Thunderbi@2a01:c23:9058:8a00:1ed0:9d50:c10f:d2e9) (Ping timeout: 260 seconds)
2022-07-25 10:57:20 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-25 10:59:17 +0200matthewmosior(~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 +0200ccntrq(~Thunderbi@exit-1.office.han.de.mhd.medondo.com)
2022-07-25 11:08:58 +0200yroomd^(~yroomd@73.54.250.255)
2022-07-25 11:09:51 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen)
2022-07-25 11:11:23 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-07-25 11:12:34 +0200ccntrq1(~Thunderbi@217.92.6.206)
2022-07-25 11:13:45 +0200ccntrq(~Thunderbi@exit-1.office.han.de.mhd.medondo.com) (Ping timeout: 252 seconds)
2022-07-25 11:15:31 +0200vglfr(~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 +0200perrierjouet(~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 +0200adanwan(~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 +0200adanwan(~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 +0200mmhat(~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 +0200bahamas(~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 +0200mmhat(~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 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-25 11:52:39 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2)
2022-07-25 11:56:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 240 seconds)
2022-07-25 11:58:52 +0200lortabac(~lortabac@62.98.20.17) (Quit: WeeChat 2.8)
2022-07-25 12:00:57 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-25 12:01:17 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-07-25 12:05:17 +0200Kaiepi(~Kaiepi@156.34.47.253) (Read error: Connection reset by peer)
2022-07-25 12:06:48 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-25 12:07:20 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-07-25 12:08:14 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 12:11:07 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-25 12:12:07 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 12:14:06 +0200asm(~alexander@burner.asm89.io) (Changing host)
2022-07-25 12:14:06 +0200asm(~alexander@user/asm)
2022-07-25 12:15:29 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds)
2022-07-25 12:15:38 +0200yroomd^(~yroomd@73.54.250.255) (Remote host closed the connection)
2022-07-25 12:16:26 +0200Pickchea(~private@user/pickchea)
2022-07-25 12:19:49 +0200Guest3540(~Guest35@cpc110795-lewi20-2-0-cust299.2-4.cable.virginm.net)
2022-07-25 12:21:17 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-07-25 12:25:27 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2022-07-25 12:27:40 +0200Pickchea(~private@user/pickchea) (Ping timeout: 268 seconds)
2022-07-25 12:29:17 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 252 seconds)
2022-07-25 12:30:00 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-25 12:31:35 +0200matthewmosior(~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 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Remote host closed the connection)
2022-07-25 12:35:10 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-25 12:41:51 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-07-25 12:43:15 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-25 12:47:21 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-fc6d-2b94-16ee-4aa3.pool6.digikabel.hu) (Quit: WeeChat 3.6)
2022-07-25 12:48:36 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-25 12:51:50 +0200alp_(~alp@user/alp) (Ping timeout: 240 seconds)
2022-07-25 12:58:31 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-25 13:00:01 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-25 13:03:05 +0200jmdaemon(~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 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-07-25 13:19:56 +0200obabo(~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 +0200jmjj(~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 +0200sandydoo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-25 13:36:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-25 13:37:22 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-07-25 13:39:14 +0200raym(~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 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-25 13:43:31 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 268 seconds)
2022-07-25 13:43:51 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-25 13:45:05 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 13:45:05 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 13:45:06 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-25 13:46:18 +0200bitdex_(~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 +0200eggplantade(~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 +0200jakalx(~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 +0200Sciencentistguy(~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 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 13:58:45 +0200Inst_(~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 +0200Inst_(~Inst@2601:6c4:4080:3f80:85e6:bff4:3f7c:363d) (Read error: Connection reset by peer)
2022-07-25 13:59:21 +0200eggplantade(~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 +0200Inst(~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 +0200bontaq(~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 +0200gmg(~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 +0200bahamas(~lucian@82.76.59.69)
2022-07-25 14:08:17 +0200gmg(~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 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-25 14:12:47 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-07-25 14:12:47 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Write error: Broken pipe)
2022-07-25 14:12:47 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-25 14:13:13 +0200noteness(~noteness@user/noteness)
2022-07-25 14:13:20 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-25 14:13:43 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-25 14:13:55 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 14:14:25 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-25 14:15:05 +0200alp_(~alp@user/alp)
2022-07-25 14:15:17 +0200justsomeguy(~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 +0200coot(~coot@213.134.190.95)
2022-07-25 14:17:34 +0200jakalx(~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 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-25 14:21:23 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 14:21:51 +0200 <bahamas> so what's the point of trace?
2022-07-25 14:22:00 +0200justsomeguy(~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 +0200jakalx(~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 +0200coot(~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 +0200merijn. 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 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-25 14:24:03 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 272 seconds)
2022-07-25 14:25:34 +0200SamBellamy(~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-25 14:27:38 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 14:28:28 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2022-07-25 14:28:52 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 14:29:07 +0200justsomeguy(~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 +0200jakalx(~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 +0200dude86(~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 +0200dude86(~dude@a95-93-162-124.cpe.netcabo.pt) (Client Quit)
2022-07-25 14:35:09 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 14:35:37 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2022-07-25 14:36:15 +0200smuses 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 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-07-25 14:38:40 +0200dude_(~dude@a95-93-162-124.cpe.netcabo.pt)
2022-07-25 14:38:40 +0200lortabac(~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 +0200alp__(~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 +0200justsomeguy(~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 +0200justsomeguy(~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 +0200alp_(~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 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 14:47:36 +0200justsomeguy(~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 +0200jespada(~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 +0200smswitched from lovely intellij to vs code for this reason and is mostly happy with the move
2022-07-25 14:50:10 +0200azimut(~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 +0200azimut(~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 +0200naso(~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 +0200justsomeguy(~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 +0200justsomeguy(~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 +0200justsomeguy(~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 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2022-07-25 15:04:59 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-25 15:05:23 +0200naso(~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 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 15:07:42 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2022-07-25 15:08:50 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 15:09:17 +0200dude_(~dude@a95-93-162-124.cpe.netcabo.pt) (Quit: Leaving)
2022-07-25 15:09:30 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:c553:ccab:7bda:db3b) (Ping timeout: 240 seconds)
2022-07-25 15:10:07 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-25 15:10:31 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-07-25 15:10:33 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-25 15:10:48 +0200noteness(~noteness@user/noteness)
2022-07-25 15:10:53 +0200sandydoo(~sandydoo@185.209.196.146)
2022-07-25 15:11:09 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:e514:c9e6:92ac:14d9)
2022-07-25 15:11:53 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-25 15:13:28 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 15:13:49 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2022-07-25 15:13:53 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-25 15:14:11 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-25 15:15:00 +0200dude_(~dude@a95-93-162-124.cpe.netcabo.pt)
2022-07-25 15:16:07 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 15:17:25 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:e514:c9e6:92ac:14d9) (Ping timeout: 260 seconds)
2022-07-25 15:19:43 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 15:19:43 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2022-07-25 15:22:18 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-07-25 15:23:44 +0200coco(~coco@212-51-146-199.fiber7.init7.net)
2022-07-25 15:24:30 +0200elkcl_(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-07-25 15:25:06 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 276 seconds)
2022-07-25 15:25:06 +0200elkcl_elkcl
2022-07-25 15:25:56 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-25 15:26:23 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-07-25 15:26:39 +0200dude_duded
2022-07-25 15:26:39 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2022-07-25 15:26:57 +0200dudeddudek
2022-07-25 15:27:05 +0200dudekdudem
2022-07-25 15:27:28 +0200coco(~coco@212-51-146-199.fiber7.init7.net) (Quit: WeeChat 3.5)
2022-07-25 15:30:27 +0200elkcl_(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-07-25 15:30:47 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-07-25 15:31:10 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-25 15:31:17 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 15:31:31 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 252 seconds)
2022-07-25 15:31:31 +0200elkcl_elkcl
2022-07-25 15:32:38 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-25 15:33:52 +0200elkcl_(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-07-25 15:36:15 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 272 seconds)
2022-07-25 15:36:16 +0200elkcl_elkcl
2022-07-25 15:40:41 +0200bahamas(~lucian@82.76.59.69) (Ping timeout: 252 seconds)
2022-07-25 15:42:01 +0200bahamas(~lucian@188.24.132.215)
2022-07-25 15:44:50 +0200acidjnk(~acidjnk@p200300d6e705867899aca44c992582c9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-25 15:46:03 +0200cyphase(~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 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Read error: Connection reset by peer)
2022-07-25 15:53:57 +0200ober(~ober@c-24-61-81-45.hsd1.ma.comcast.net)
2022-07-25 15:55:47 +0200xff0x(~xff0x@ae131185.dynamic.ppp.asahi-net.or.jp)
2022-07-25 15:56:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2)
2022-07-25 15:58:50 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-25 16:00:39 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 244 seconds)
2022-07-25 16:01:03 +0200dextaa(~DV@user/dextaa)
2022-07-25 16:02:10 +0200zxx7529(~Thunderbi@user/zxx7529) (Quit: zxx7529)
2022-07-25 16:02:53 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-25 16:05:11 +0200dextaa(~DV@user/dextaa)
2022-07-25 16:06:20 +0200ober(~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-07-25 16:06:39 +0200ober(~ober@c-24-61-81-45.hsd1.ma.comcast.net)
2022-07-25 16:08:54 +0200sandy_doo(~sandydoo@185.209.196.146)
2022-07-25 16:09:01 +0200Guest3540(~Guest35@cpc110795-lewi20-2-0-cust299.2-4.cable.virginm.net) (Quit: Client closed)
2022-07-25 16:09:04 +0200coco(~coco@212-51-146-199.fiber7.init7.net)
2022-07-25 16:10:02 +0200sandydoo(~sandydoo@185.209.196.146) (Ping timeout: 245 seconds)
2022-07-25 16:13:16 +0200Sgeo(~Sgeo@user/sgeo)
2022-07-25 16:17:17 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-25 16:19:07 +0200ober_(~ober@c-24-61-81-45.hsd1.ma.comcast.net)
2022-07-25 16:19:15 +0200xff0x(~xff0x@ae131185.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 244 seconds)
2022-07-25 16:19:29 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-25 16:21:19 +0200xff0x(~xff0x@ae135018.dynamic.ppp.asahi-net.or.jp)
2022-07-25 16:21:23 +0200sandy_doo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-25 16:21:36 +0200dextaa(~DV@user/dextaa)
2022-07-25 16:21:42 +0200ober(~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Ping timeout: 245 seconds)
2022-07-25 16:21:52 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-25 16:22:31 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-25 16:22:39 +0200ober__(~ober@c-24-61-81-45.hsd1.ma.comcast.net)
2022-07-25 16:23:15 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 16:23:34 +0200noteness(~noteness@user/noteness) (Quit: bye)
2022-07-25 16:23:54 +0200noteness(~noteness@user/noteness)
2022-07-25 16:25:02 +0200ober_(~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Ping timeout: 245 seconds)
2022-07-25 16:25:05 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-25 16:25:09 +0200ober_(~ober@c-24-61-81-45.hsd1.ma.comcast.net)
2022-07-25 16:25:10 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds)
2022-07-25 16:25:31 +0200zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-07-25 16:25:44 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-25 16:25:47 +0200ober_(~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Client Quit)
2022-07-25 16:26:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-25 16:26:11 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-25 16:26:13 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 16:27:32 +0200xff0x(~xff0x@ae135018.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 245 seconds)
2022-07-25 16:27:37 +0200ober__(~ober@c-24-61-81-45.hsd1.ma.comcast.net) (Ping timeout: 252 seconds)
2022-07-25 16:27:59 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds)
2022-07-25 16:28:35 +0200xff0x(~xff0x@ae129013.dynamic.ppp.asahi-net.or.jp)
2022-07-25 16:32:23 +0200zxx7529(~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds)
2022-07-25 16:32:49 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-07-25 16:38:18 +0200bahamas(~lucian@188.24.132.215) (Quit: Lost terminal)
2022-07-25 16:39:38 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 240 seconds)
2022-07-25 16:40:04 +0200idontget`(~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net)
2022-07-25 16:40:22 +0200causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e)
2022-07-25 16:40:57 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:175e:8c5b:e001:c3ec)
2022-07-25 16:41:26 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-25 16:41:38 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-07-25 16:42:12 +0200sandy_doo(~sandydoo@185.209.196.146)
2022-07-25 16:42:18 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-25 16:43:35 +0200idontgetoutmuch(~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 268 seconds)
2022-07-25 16:45:38 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-07-25 16:46:10 +0200zachel_(~zachel@user/zachel)
2022-07-25 16:46:38 +0200zachel(~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 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-25 16:57:06 +0200mrmr(~mrmr@user/mrmr)
2022-07-25 16:58:43 +0200haskell_(~haskell@65-102-32-32.ptld.qwest.net)
2022-07-25 16:59:08 +0200haskell_(~haskell@65-102-32-32.ptld.qwest.net) (Remote host closed the connection)
2022-07-25 17:01:17 +0200sandy_doo(~sandydoo@185.209.196.146) (Ping timeout: 245 seconds)
2022-07-25 17:05:11 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-07-25 17:11:47 +0200coot(~coot@213.134.190.95)
2022-07-25 17:12:12 +0200sandy_doo(~sandydoo@185.209.196.146)
2022-07-25 17:12:29 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-07-25 17:12:45 +0200noteness(~noteness@user/noteness)
2022-07-25 17:13:24 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 17:23:40 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 268 seconds)
2022-07-25 17:24:37 +0200ccntrq(~Thunderbi@217.92.6.206) (Ping timeout: 245 seconds)
2022-07-25 17:25:39 +0200cyphase(~cyphase@user/cyphase)
2022-07-25 17:28:26 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl)
2022-07-25 17:30:49 +0200yoneda(~mike@193.206.102.122) (Quit: leaving)
2022-07-25 17:37:14 +0200malte(~malte@mal.tc) (Ping timeout: 268 seconds)
2022-07-25 17:37:26 +0200malte(~malte@mal.tc)
2022-07-25 17:38:53 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-25 17:39:21 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 17:40:56 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-07-25 17:45:27 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 245 seconds)
2022-07-25 17:48:20 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-07-25 17:49:01 +0200qrpnxz(~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds)
2022-07-25 17:49:52 +0200qrpnxz(~qrpnxz@fsf/member/qrpnxz)
2022-07-25 17:50:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-07-25 17:51:25 +0200xff0x(~xff0x@ae129013.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 268 seconds)
2022-07-25 17:53:06 +0200xff0x(~xff0x@ae133234.dynamic.ppp.asahi-net.or.jp)
2022-07-25 17:58:45 +0200xff0x(~xff0x@ae133234.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 272 seconds)
2022-07-25 18:00:10 +0200alp__(~alp@user/alp) (Ping timeout: 260 seconds)
2022-07-25 18:00:20 +0200xff0x(~xff0x@ae133174.dynamic.ppp.asahi-net.or.jp)
2022-07-25 18:00:43 +0200lortabac(~lortabac@62.98.20.17) (Read error: Connection reset by peer)
2022-07-25 18:01:28 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-07-25 18:06:13 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-07-25 18:09:51 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer)
2022-07-25 18:10:28 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 18:14:06 +0200merijn(~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 +0200kuribas(~user@silversquare.silversquare.eu) (Quit: ERC (IRC client for Emacs 26.3))
2022-07-25 18:22:07 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 245 seconds)
2022-07-25 18:22:24 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection)
2022-07-25 18:22:24 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection)
2022-07-25 18:22:24 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a) (Remote host closed the connection)
2022-07-25 18:22:24 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection)
2022-07-25 18:22:24 +0200jleightcap(7bc4014b62@user/jleightcap) (Remote host closed the connection)
2022-07-25 18:22:24 +0200sm2n(ae95cb1267@user/sm2n) (Remote host closed the connection)
2022-07-25 18:22:24 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection)
2022-07-25 18:22:24 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection)
2022-07-25 18:22:24 +0200jkoshy(99b9359beb@user/jkoshy) (Remote host closed the connection)
2022-07-25 18:22:24 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection)
2022-07-25 18:22:24 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection)
2022-07-25 18:22:24 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection)
2022-07-25 18:22:25 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (Remote host closed the connection)
2022-07-25 18:22:25 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection)
2022-07-25 18:22:25 +0200dawdler(035b60b5aa@user/dawdler) (Write error: Connection reset by peer)
2022-07-25 18:22:25 +0200jakzale(3f138254b4@user/jakzale) (Write error: Connection reset by peer)
2022-07-25 18:22:25 +0200filwisher(2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection)
2022-07-25 18:22:25 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (Remote host closed the connection)
2022-07-25 18:22:25 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Write error: Connection reset by peer)
2022-07-25 18:22:25 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection)
2022-07-25 18:24:06 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-25 18:24:37 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:db:db5e:e93a:47a2) (Remote host closed the connection)
2022-07-25 18:24:44 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl)
2022-07-25 18:24:56 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:484d:b4da:8443:3fc3)
2022-07-25 18:26:49 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2022-07-25 18:26:49 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6)
2022-07-25 18:26:50 +0200filwisher(2e6936c793@2604:bf00:561:2000::170)
2022-07-25 18:26:51 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2022-07-25 18:26:51 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2022-07-25 18:26:51 +0200jkoshy(99b9359beb@user/jkoshy)
2022-07-25 18:26:52 +0200samhh(7569f027cf@2604:bf00:561:2000::e4)
2022-07-25 18:26:54 +0200shreyasminocha(51fdc93eda@user/shreyasminocha)
2022-07-25 18:26:59 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2022-07-25 18:27:00 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6) (Changing host)
2022-07-25 18:27:00 +0200dawdler(035b60b5aa@user/dawdler)
2022-07-25 18:27:04 +0200jakzale(6291399afa@user/jakzale)
2022-07-25 18:27:04 +0200sm2n(ae95cb1267@user/sm2n)
2022-07-25 18:27:06 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2022-07-25 18:27:11 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8)
2022-07-25 18:27:11 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2022-07-25 18:27:15 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2022-07-25 18:27:22 +0200jleightcap(7bc4014b62@user/jleightcap)
2022-07-25 18:27:22 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7)
2022-07-25 18:27:22 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2022-07-25 18:27:29 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a)
2022-07-25 18:32:26 +0200johnw(~johnw@2600:1700:cf00:db0:e87e:9cff:3897:94f)
2022-07-25 18:34:27 +0200jkoshy(99b9359beb@user/jkoshy) (Remote host closed the connection)
2022-07-25 18:34:27 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection)
2022-07-25 18:34:27 +0200dawdler(035b60b5aa@user/dawdler) (Remote host closed the connection)
2022-07-25 18:34:27 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection)
2022-07-25 18:34:27 +0200filwisher(2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection)
2022-07-25 18:34:27 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection)
2022-07-25 18:34:27 +0200sm2n(ae95cb1267@user/sm2n) (Remote host closed the connection)
2022-07-25 18:34:27 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection)
2022-07-25 18:34:27 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (Remote host closed the connection)
2022-07-25 18:34:27 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a) (Remote host closed the connection)
2022-07-25 18:34:27 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection)
2022-07-25 18:34:27 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection)
2022-07-25 18:34:27 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection)
2022-07-25 18:34:27 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection)
2022-07-25 18:34:27 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (Remote host closed the connection)
2022-07-25 18:34:27 +0200jleightcap(7bc4014b62@user/jleightcap) (Remote host closed the connection)
2022-07-25 18:34:27 +0200jakzale(6291399afa@user/jakzale) (Remote host closed the connection)
2022-07-25 18:34:27 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Write error: Connection reset by peer)
2022-07-25 18:34:27 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection)
2022-07-25 18:35:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-25 18:36:18 +0200filwisher(2e6936c793@2604:bf00:561:2000::170)
2022-07-25 18:36:18 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2022-07-25 18:36:19 +0200samhh(7569f027cf@2604:bf00:561:2000::e4)
2022-07-25 18:36:19 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2022-07-25 18:36:20 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2022-07-25 18:36:20 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6)
2022-07-25 18:36:21 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8)
2022-07-25 18:36:28 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7)
2022-07-25 18:36:33 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6) (Changing host)
2022-07-25 18:36:33 +0200dawdler(035b60b5aa@user/dawdler)
2022-07-25 18:36:33 +0200jakzale(6291399afa@user/jakzale)
2022-07-25 18:36:42 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2022-07-25 18:36:47 +0200shreyasminocha(51fdc93eda@user/shreyasminocha)
2022-07-25 18:36:47 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2022-07-25 18:36:47 +0200jkoshy(99b9359beb@user/jkoshy)
2022-07-25 18:36:52 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2022-07-25 18:36:52 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0)
2022-07-25 18:36:58 +0200sm2n(ae95cb1267@user/sm2n)
2022-07-25 18:36:59 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a)
2022-07-25 18:36:59 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2022-07-25 18:36:59 +0200jleightcap(7bc4014b62@user/jleightcap)
2022-07-25 18:38:00 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2022-07-25 18:47:41 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-07-25 18:49:50 +0200idontget`(~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-07-25 18:52:25 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-25 18:52:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 18:53:02 +0200dudem(~dude@a95-93-162-124.cpe.netcabo.pt) (Quit: Leaving)
2022-07-25 18:54:06 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 18:56:30 +0200idontget`(~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net)
2022-07-25 18:56:57 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-25 18:58:18 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds)
2022-07-25 19:00:42 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-25 19:05:17 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-07-25 19:05:25 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 268 seconds)
2022-07-25 19:07:18 +0200naso(~naso@193-116-244-197.tpgi.com.au) ()
2022-07-25 19:09:37 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds)
2022-07-25 19:10:54 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-25 19:11:07 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-07-25 19:12:04 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 19:15:19 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it)
2022-07-25 19:15:49 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-07-25 19:19:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-25 19:21:39 +0200filwisher(2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection)
2022-07-25 19:21:39 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection)
2022-07-25 19:21:39 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Write error: Connection reset by peer)
2022-07-25 19:21:39 +0200jleightcap(7bc4014b62@user/jleightcap) (Write error: Broken pipe)
2022-07-25 19:21:39 +0200sm2n(ae95cb1267@user/sm2n) (Write error: Connection reset by peer)
2022-07-25 19:21:39 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Write error: Broken pipe)
2022-07-25 19:21:39 +0200jakzale(6291399afa@user/jakzale) (Write error: Connection reset by peer)
2022-07-25 19:21:39 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection)
2022-07-25 19:21:39 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection)
2022-07-25 19:21:39 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (Write error: Connection reset by peer)
2022-07-25 19:21:39 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0) (Write error: Broken pipe)
2022-07-25 19:21:39 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (Write error: Broken pipe)
2022-07-25 19:21:39 +0200dawdler(035b60b5aa@user/dawdler) (Remote host closed the connection)
2022-07-25 19:21:39 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection)
2022-07-25 19:21:39 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection)
2022-07-25 19:21:39 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a) (Remote host closed the connection)
2022-07-25 19:21:39 +0200jkoshy(99b9359beb@user/jkoshy) (Remote host closed the connection)
2022-07-25 19:21:40 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (Remote host closed the connection)
2022-07-25 19:21:40 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection)
2022-07-25 19:21:40 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection)
2022-07-25 19:22:39 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2022-07-25 19:22:39 +0200samhh(7569f027cf@2604:bf00:561:2000::e4)
2022-07-25 19:22:40 +0200filwisher(2e6936c793@2604:bf00:561:2000::170)
2022-07-25 19:22:40 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6)
2022-07-25 19:22:40 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2022-07-25 19:22:40 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2022-07-25 19:22:55 +0200sm2n(ae95cb1267@user/sm2n)
2022-07-25 19:22:56 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2022-07-25 19:22:57 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2022-07-25 19:22:57 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a)
2022-07-25 19:23:04 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0)
2022-07-25 19:23:04 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2022-07-25 19:23:04 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2022-07-25 19:23:04 +0200shreyasminocha(51fdc93eda@user/shreyasminocha)
2022-07-25 19:23:12 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8)
2022-07-25 19:23:13 +0200jakzale(6291399afa@user/jakzale)
2022-07-25 19:23:14 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6) (Changing host)
2022-07-25 19:23:14 +0200dawdler(035b60b5aa@user/dawdler)
2022-07-25 19:23:55 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2022-07-25 19:24:26 +0200jleightcap(7bc4014b62@user/jleightcap)
2022-07-25 19:24:27 +0200jkoshy(99b9359beb@user/jkoshy)
2022-07-25 19:24:31 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7)
2022-07-25 19:24:53 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 19:25:01 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-25 19:25:01 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-25 19:25:01 +0200wroathe(~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 +0200econo(uid147250@user/econo)
2022-07-25 19:27:00 +0200alp__(~alp@user/alp)
2022-07-25 19:27:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2)
2022-07-25 19:28:25 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-25 19:29:23 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-07-25 19:31:17 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Ping timeout: 245 seconds)
2022-07-25 19:31:19 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 19:32:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 19:33:31 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-07-25 19:34:25 +0200zebrag(~chris@user/zebrag)
2022-07-25 19:35:23 +0200 <HaxCPU> Machine learning?
2022-07-25 19:35:27 +0200segfaultfizzbuzz(~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 +0200pavonia(~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 +0200mbuf(~Shakthi@122.165.55.71) (Quit: Leaving)
2022-07-25 19:47:04 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2022-07-25 19:47:51 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-07-25 19:47:52 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2022-07-25 19:48:19 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 19:49:55 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-25 19:50:31 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2022-07-25 19:50:31 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-25 19:50:36 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-07-25 19:50:52 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-07-25 19:51:22 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-25 19:51:23 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 19:51:28 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 19:51:36 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 244 seconds)
2022-07-25 19:52:25 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl)
2022-07-25 19:53:18 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-25 19:53:30 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi)
2022-07-25 19:54:22 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Remote host closed the connection)
2022-07-25 19:56:37 +0200zebrag(~chris@user/zebrag) (Ping timeout: 252 seconds)
2022-07-25 19:58:14 +0200dtman34(~dtman34@2601:446:4400:2ad9:d18c:aab6:fc87:3dca) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2022-07-25 19:58:34 +0200dtman34(~dtman34@2601:446:4400:2ad9:8c87:c49c:8d33:7100)
2022-07-25 19:58:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2022-07-25 19:58:48 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-07-25 20:00:14 +0200eod|fserucas(~eod|fseru@22.70.114.89.rev.vodafone.pt) (Quit: Leaving)
2022-07-25 20:01:30 +0200Lord_of_Life_Lord_of_Life
2022-07-25 20:02:44 +0200JannisO(~JannisO@dyndsl-089-166-213-108.ewe-ip-backbone.de)
2022-07-25 20:03:56 +0200zebrag(~chris@user/zebrag)
2022-07-25 20:11:20 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-25 20:15:02 +0200stanrifkin(~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 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-25 20:18:48 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 268 seconds)
2022-07-25 20:19:17 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-25 20:19:33 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-25 20:19:58 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 20:20:02 +0200sandy_doo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-25 20:20:08 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-25 20:21:00 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 20:24:12 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-25 20:24:29 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-25 20:24:34 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 20:24:59 +0200sandy_doo(~sandydoo@185.209.196.146)
2022-07-25 20:26:14 +0200acidjnk(~acidjnk@p200300d6e7058678904436ef15c24ae8.dip0.t-ipconnect.de)
2022-07-25 20:27:26 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-25 20:27:55 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-25 20:27:59 +0200motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-07-25 20:34:50 +0200Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 268 seconds)
2022-07-25 20:35:59 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-25 20:40:13 +0200Haskelytic(~Haskelyti@118.179.211.17) (Quit: Client closed)
2022-07-25 20:45:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2)
2022-07-25 20:46:33 +0200sandy_doo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-25 20:48:30 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-07-25 20:49:53 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-25 20:51:50 +0200talismanick(~talismani@2601:200:c100:3850::dd64) (Ping timeout: 240 seconds)
2022-07-25 20:52:42 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-07-25 20:52:45 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Remote host closed the connection)
2022-07-25 20:55:20 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-07-25 21:09:25 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-25 21:10:59 +0200jinsun__(~jinsun@user/jinsun)
2022-07-25 21:10:59 +0200jinsun(~jinsun@user/jinsun) (Killed (tantalum.libera.chat (Nickname regained by services)))
2022-07-25 21:10:59 +0200jinsun__jinsun
2022-07-25 21:12:29 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-25 21:12:29 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-25 21:12:29 +0200wroathe(~wroathe@user/wroathe)
2022-07-25 21:12:49 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 21:13:59 +0200JannisO(~JannisO@dyndsl-089-166-213-108.ewe-ip-backbone.de) (Ping timeout: 252 seconds)
2022-07-25 21:14:12 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-25 21:14:58 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 21:19:23 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-25 21:19:25 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Remote host closed the connection)
2022-07-25 21:22:03 +0200wootehfoot(~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 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:484d:b4da:8443:3fc3) (Remote host closed the connection)
2022-07-25 21:26:51 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:484d:b4da:8443:3fc3)
2022-07-25 21:27:11 +0200raehik(~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 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-25 21:29:15 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 21:29:33 +0200winny(~weechat@user/winny)
2022-07-25 21:30:29 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-07-25 21:31:56 +0200ente`(~daemon@inferno.barfooze.de) (Quit: Reconnecting)
2022-07-25 21:32:04 +0200ente`(~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 +0200matthewmosior(~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 +0200wroathe(~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 +0200sandy_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 +0200catern(~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 +0200catern(~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 +0200zmt01(~zmt00@user/zmt00) (Quit: Leaving)
2022-07-25 21:46:57 +0200matthewmosior(~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 +0200alp__(~alp@user/alp) (Ping timeout: 240 seconds)
2022-07-25 21:49:12 +0200Pickchea(~private@user/pickchea)
2022-07-25 21:49:33 +0200zmt00(~zmt00@user/zmt00)
2022-07-25 21:55:42 +0200jese(~nikola@93-86-165-247.dynamic.isp.telekom.rs)
2022-07-25 21:58:00 +0200alp__(~alp@user/alp)
2022-07-25 22:01:49 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 22:02:35 +0200elkcl_(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-07-25 22:03:29 +0200stanrifkin(~stanrifki@p200300dbcf0b4500f069cf5149373874.dip0.t-ipconnect.de) (Quit: Leaving)
2022-07-25 22:03:47 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 245 seconds)
2022-07-25 22:03:48 +0200elkcl_elkcl
2022-07-25 22:04:36 +0200jese(~nikola@93-86-165-247.dynamic.isp.telekom.rs) (Quit: leaving)
2022-07-25 22:06:03 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-07-25 22:06:22 +0200coot(~coot@213.134.190.95)
2022-07-25 22:08:05 +0200 <sm> stanrifkin: Dash (on mac)
2022-07-25 22:10:44 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-07-25 22:11:12 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-25 22:11:30 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 22:13:47 +0200sandy_doo(~sandydoo@185.209.196.146) (Ping timeout: 245 seconds)
2022-07-25 22:14:47 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-25 22:15:31 +0200winny(~weechat@user/winny)
2022-07-25 22:17:49 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-07-25 22:19:15 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-25 22:19:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2)
2022-07-25 22:22:55 +0200idontget`(~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
2022-07-25 22:23:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 240 seconds)
2022-07-25 22:29:50 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:175e:8c5b:e001:c3ec) (Ping timeout: 240 seconds)
2022-07-25 22:31:43 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2022-07-25 22:32:44 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-07-25 22:34:00 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Remote host closed the connection)
2022-07-25 22:34:42 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 22:35:07 +0200mastarija(~mastarija@2a05:4f46:e02:8c00:69bd:c6a3:acec:3f6c)
2022-07-25 22:37:50 +0200mastarija(~mastarija@2a05:4f46:e02:8c00:69bd:c6a3:acec:3f6c) (Client Quit)
2022-07-25 22:38:10 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-07-25 22:42:08 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-07-25 22:45:40 +0200sandy_doo(~sandydoo@185.209.196.146)
2022-07-25 22:49:12 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-07-25 22:52:37 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-07-25 22:55:10 +0200mrmr(~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds))
2022-07-25 22:55:27 +0200mrmr(~mrmr@user/mrmr)
2022-07-25 22:57:47 +0200segfaultfizzbuzz(~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 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-25 23:03:22 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-25 23:03:22 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-07-25 23:03:38 +0200califax(~califax@user/califx)
2022-07-25 23:03:49 +0200noteness(~noteness@user/noteness)
2022-07-25 23:04:25 +0200gmg(~user@user/gehmehgeh)
2022-07-25 23:04:30 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-25 23:04:36 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-25 23:05:30 +0200winny(~weechat@user/winny)
2022-07-25 23:06:59 +0200sandydoo(~sandydoo@185.115.4.178)
2022-07-25 23:07:47 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-25 23:08:31 +0200gmg(~user@user/gehmehgeh)
2022-07-25 23:08:45 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-07-25 23:09:37 +0200sandy_doo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-25 23:12:20 +0200segfaultfizzbuzz(~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 +0200acidjnk(~acidjnk@p200300d6e7058678904436ef15c24ae8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-25 23:21:59 +0200sandy_doo(~sandydoo@185.209.196.166)
2022-07-25 23:24:18 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl)
2022-07-25 23:24:25 +0200sandydoo(~sandydoo@185.115.4.178) (Ping timeout: 268 seconds)
2022-07-25 23:26:39 +0200noteness_(~noteness@user/noteness)
2022-07-25 23:26:58 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
2022-07-25 23:26:58 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-25 23:27:07 +0200funkyindieeee17(~funkyindi@user/funkyindieeee1)
2022-07-25 23:27:35 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-07-25 23:27:35 +0200noteness(~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 +0200funkyindieeee1(~funkyindi@user/funkyindieeee1) (Ping timeout: 272 seconds)
2022-07-25 23:29:21 +0200funkyindieeee17funkyindieeee1
2022-07-25 23:29:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-25 23:29:28 +0200gmg(~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 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-07-25 23:32:29 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-25 23:33:54 +0200hgolden(~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 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-25 23:35:38 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-07-25 23:37:59 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-07-25 23:38:05 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-07-25 23:40:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-25 23:43:29 +0200yauhsien(~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 +0200yaroot_(~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 +0200yaroot(~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 244 seconds)
2022-07-25 23:47:43 +0200yaroot_yaroot
2022-07-25 23:47:59 +0200yauhsien(~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 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-25 23:50:37 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-07-25 23:51:26 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-25 23:54:37 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 245 seconds)
2022-07-25 23:58:49 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+)
2022-07-25 23:59:14 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)