2022/12/17

2022-12-17 00:00:20 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-17 00:00:20 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-17 00:00:20 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 00:01:31 +0100fserucas(~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 260 seconds)
2022-12-17 00:01:54 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-12-17 00:02:26 +0100chele(~chele@user/chele) (Remote host closed the connection)
2022-12-17 00:07:56 +0100beefbambi(~beefbambi@183.82.176.168) (Read error: Connection reset by peer)
2022-12-17 00:08:12 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 00:08:19 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2022-12-17 00:10:12 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Ping timeout: 272 seconds)
2022-12-17 00:12:53 +0100beefbambi(~beefbambi@183.82.176.168) (Read error: Connection reset by peer)
2022-12-17 00:13:37 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 00:14:26 +0100akegalj(~akegalj@141-136-165-175.dsl.iskon.hr) (Quit: leaving)
2022-12-17 00:19:22 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-12-17 00:19:41 +0100wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-12-17 00:20:02 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-12-17 00:44:45 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-12-17 00:46:04 +0100mncheck(~mncheck@193.224.205.254) (Ping timeout: 252 seconds)
2022-12-17 00:47:25 +0100zer0bitz(~zer0bitz@196.244.192.57) (Read error: Connection reset by peer)
2022-12-17 00:57:39 +0100mmhat(~mmh@p200300f1c72368bbee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1)
2022-12-17 00:58:47 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 256 seconds)
2022-12-17 01:04:06 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-17 01:12:42 +0100darkstardevx(~darkstard@50.53.3.186) (Read error: Connection reset by peer)
2022-12-17 01:16:26 +0100michalz(~michalz@185.246.204.94) (Remote host closed the connection)
2022-12-17 01:18:42 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-17 01:20:20 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 01:20:35 +0100Topsi(~Topsi@dyndsl-095-033-142-138.ewe-ip-backbone.de)
2022-12-17 01:23:28 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection)
2022-12-17 01:24:32 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-17 01:25:29 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com)
2022-12-17 01:31:45 +0100fizbin(~fizbin@user/fizbin)
2022-12-17 01:36:20 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 272 seconds)
2022-12-17 01:39:15 +0100 <dsal> I feel like every time I use parMap I have to learn how to use parMap again.
2022-12-17 01:39:47 +0100masterbuilder(~master@user/masterbuilder) (Quit: Lost terminal)
2022-12-17 01:41:51 +0100money_(~money@50.228.131.54)
2022-12-17 01:42:53 +0100Topsi(~Topsi@dyndsl-095-033-142-138.ewe-ip-backbone.de) (Quit: Leaving.)
2022-12-17 01:46:44 +0100 <glguy> dsal: maybe try learning it in parallel with trying to use it?
2022-12-17 01:46:52 +0100 <dsal> heh.
2022-12-17 01:47:08 +0100 <dsal> One of my runs finished in 6s. One in like, 13s. The rest aren't sparking.
2022-12-17 01:49:02 +0100crazazy`(~user@2001:67c:2564:a307:7b7f:642d:4b93:662d)
2022-12-17 01:50:54 +0100crazazy(~user@130.89.171.62) (Ping timeout: 272 seconds)
2022-12-17 01:52:23 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-12-17 01:54:38 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-12-17 01:55:30 +0100crazazy`(~user@2001:67c:2564:a307:7b7f:642d:4b93:662d) (Remote host closed the connection)
2022-12-17 01:55:43 +0100crazazy`(~user@2001:67c:2564:a307:7b7f:642d:4b93:662d)
2022-12-17 01:56:38 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-12-17 02:02:34 +0100crazazy`(~user@2001:67c:2564:a307:7b7f:642d:4b93:662d) (Ping timeout: 252 seconds)
2022-12-17 02:03:40 +0100 <dsal> Alright… it's not sparking anymore. How do I make it spark harder?
2022-12-17 02:05:46 +0100 <dsal> Ah. I finally banged hard enough, I think.
2022-12-17 02:06:45 +0100 <dsal> Nope. Just a fluke. Ran it again and it didn't go.
2022-12-17 02:08:48 +0100 <dsal> SPARKS: 26410527 (11799 converted, 97 overflowed, 0 dud, 24783085 GC'd, 1607354 fizzled)
2022-12-17 02:10:37 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-12-17 02:13:18 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.7.1)
2022-12-17 02:15:05 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-12-17 02:16:24 +0100 <mauke> this does not spark joy
2022-12-17 02:16:44 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-12-17 02:18:04 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-12-17 02:35:20 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-17 02:35:20 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-17 02:35:20 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 02:35:49 +0100 <dsal> It's kind of random. Sometimes 40s. Sometimes 30s. Sometimes 6s. Sometimes 18s.
2022-12-17 02:37:23 +0100tomokojun(~tomokojun@75.164.24.44)
2022-12-17 02:53:01 +0100 <iqubic> dsal: I don't know how tries work well enough to make the instance for (HasTrie a) => HasTrie (Set a)
2022-12-17 02:53:45 +0100 <dsal> It's probably easier than spark voodoo. :)
2022-12-17 02:55:10 +0100fizbin(~fizbin@user/fizbin) (Remote host closed the connection)
2022-12-17 02:55:34 +0100fizbin(~fizbin@user/fizbin)
2022-12-17 02:55:50 +0100dtman34(~dtman34@2601:447:d000:93c9:5a3c:a3a1:a91d:2efa) (Ping timeout: 260 seconds)
2022-12-17 02:56:15 +0100 <iqubic> What's spark voodoo?
2022-12-17 02:56:46 +0100 <iqubic> Anyways, if you figure out how to make this work, I could speed up my Advent Day16 code quite a bit
2022-12-17 02:57:10 +0100 <iqubic> But for now, I need dinner
2022-12-17 02:58:40 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 272 seconds)
2022-12-17 03:00:04 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-12-17 03:00:05 +0100dtman34(~dtman34@76.156.89.180)
2022-12-17 03:05:00 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-17 03:07:14 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds)
2022-12-17 03:10:26 +0100money_(~money@50.228.131.54) (Quit: late)
2022-12-17 03:11:16 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-12-17 03:11:31 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-12-17 03:13:10 +0100 <dsal> iqubic: I'm doing parMap in last night's part 2 and it's sometimes much faster. But often it just doesn't run the sparks in parallel and it's not faster.
2022-12-17 03:13:57 +0100money_(~money@50.228.131.54)
2022-12-17 03:14:06 +0100 <dsal> It's not like those things that are obviously right and work or obviously wrong and don't work. Just sometimes it decides to do the thing I want and sometimes it doesn't with no code changes. But it'll do that *while* I'm changing code and make me think I've figured it out, but then doesn't work on a reinvocation.
2022-12-17 03:15:26 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 03:18:42 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100)
2022-12-17 03:18:51 +0100asthasr(~asthasr@208.80.78.154) (Quit: asthasr)
2022-12-17 03:20:59 +0100xff0x_(~xff0x@ai071162.d.east.v6connect.net) (Quit: xff0x_)
2022-12-17 03:21:11 +0100xff0x(~xff0x@ai071162.d.east.v6connect.net)
2022-12-17 03:30:00 +0100razetime(~quassel@49.207.203.213)
2022-12-17 03:31:04 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Ping timeout: 252 seconds)
2022-12-17 03:34:21 +0100 <sm1> damp weather
2022-12-17 03:35:24 +0100inversed(~inversed@bcdcac82.skybroadband.com) (Ping timeout: 272 seconds)
2022-12-17 03:36:44 +0100inversed(~inversed@bcdcac82.skybroadband.com)
2022-12-17 03:36:56 +0100tompaw(~tompaw@static-47-206-100-136.tamp.fl.frontiernet.net) (Quit: leaving)
2022-12-17 03:38:19 +0100money__(~money@2607:fb90:e90c:2c0a:423:811f:7783:1ea8)
2022-12-17 03:41:12 +0100 <mauke> I must be doing something very wrong. I'm currently trying to solve AoC day 15 part 2, and it seems I can reuse very little code from part 1
2022-12-17 03:41:59 +0100money_(~money@50.228.131.54) (Ping timeout: 256 seconds)
2022-12-17 03:42:22 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-17 03:43:54 +0100fizbin(~fizbin@user/fizbin)
2022-12-17 03:44:08 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com)
2022-12-17 03:45:45 +0100 <iqubic> What's parMap?
2022-12-17 03:46:14 +0100razetime(~quassel@49.207.203.213) (Ping timeout: 260 seconds)
2022-12-17 03:47:02 +0100 <iqubic> mauke: Actuall, that happens sometimes. Day 15 had a different part 1 and part 2
2022-12-17 03:48:13 +0100 <mauke> https://hackage.haskell.org/package/parallel-3.2.2.0/docs/Control-Parallel-Strategies.html#v:parMap
2022-12-17 03:48:42 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 255 seconds)
2022-12-17 03:49:44 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-12-17 03:50:20 +0100 <iqubic> dsal: My code isn't parallel or concurrent.
2022-12-17 03:54:11 +0100money_(~money@50.228.131.54)
2022-12-17 03:56:58 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 260 seconds)
2022-12-17 03:57:17 +0100money__(~money@2607:fb90:e90c:2c0a:423:811f:7783:1ea8) (Ping timeout: 256 seconds)
2022-12-17 04:04:18 +0100money_(~money@50.228.131.54) (Read error: Connection reset by peer)
2022-12-17 04:07:54 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-12-17 04:17:09 +0100 <mauke> not really closer to solving part 2, but switching from Data.IntSet to a custom set type changed the runtime from 0.53s to 0.00s, so that's fun
2022-12-17 04:17:23 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 260 seconds)
2022-12-17 04:18:36 +0100Guest75(Guest75@2a01:7e01::f03c:92ff:fe5d:7b18)
2022-12-17 04:19:28 +0100money_(~money@50.228.131.54)
2022-12-17 04:20:44 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-12-17 04:21:05 +0100fizbin(~fizbin@user/fizbin)
2022-12-17 04:23:12 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2022-12-17 04:25:26 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-12-17 04:25:26 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-12-17 04:25:26 +0100finn_elijaFinnElija
2022-12-17 04:33:39 +0100Guest73(~Guest73@191.126.227.69)
2022-12-17 04:34:08 +0100td_(~td@83.135.9.25) (Ping timeout: 252 seconds)
2022-12-17 04:35:58 +0100td_(~td@83.135.9.26)
2022-12-17 04:39:22 +0100 <Guest73> Strict monads can be characterized as those that when using do notation each line is executed one after the other. If I combine a strict state with a lazy writer (StateT Int (Writer (Sum Int)) a) is it strict respect to the rule above ?
2022-12-17 04:40:05 +0100McBoog(~McBoog@172-10-253-252.lightspeed.fyvlar.sbcglobal.net)
2022-12-17 04:40:37 +0100McBoog(~McBoog@172-10-253-252.lightspeed.fyvlar.sbcglobal.net) (Remote host closed the connection)
2022-12-17 04:42:06 +0100 <EvanR> depends what you mean by executed
2022-12-17 04:43:30 +0100 <Guest73> I am mostly interested on `seq` pure values so they can be forced.
2022-12-17 04:43:58 +0100 <mauke> man, I sure wish the links in the haddock synopsis section worked
2022-12-17 04:44:51 +0100 <mauke> but there is an onclick handler on the whole "synopsis" flyout container that prevents the default link action and closes the synopsis instead :-(
2022-12-17 04:45:23 +0100 <EvanR> Guest73, the other day we discussed how even strict state doesn't evaluate updates to the state immediately
2022-12-17 04:45:41 +0100 <EvanR> you need to seq it yourself or use modify'
2022-12-17 04:48:04 +0100j4cc3b(~jeffreybe@pool-74-105-2-138.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
2022-12-17 04:52:19 +0100 <Guest73> EvanR yeah, you are right. But strict state gives you the feeling that each line is executed after the previous one. That helps with `seq` pure data.
2022-12-17 04:53:00 +0100 <EvanR> 🤔
2022-12-17 04:53:07 +0100 <Guest73> I am interested on what happens to that feeling when you combine a strict and lazy monad transformer.
2022-12-17 04:53:53 +0100 <davean> how are you observing it?
2022-12-17 04:54:13 +0100 <EvanR> this is pretty wishy washy. Do you have some example code
2022-12-17 04:54:26 +0100 <Guest73> Say for example WriterT (Sum Int) State Char () where WriterT is lazy and State is strict.
2022-12-17 04:54:27 +0100 <EvanR> a StateT over Writer program
2022-12-17 04:54:36 +0100 <davean> transformers effectively write out a version of the monad they're wrapping, transforming it. What it produces executes like it is because it is
2022-12-17 04:55:08 +0100 <EvanR> like, are you using >>= or state or writer methods
2022-12-17 04:55:12 +0100 <davean> this is wishywashy because theres no specified observation method!
2022-12-17 04:56:59 +0100 <EvanR> Guest73, in lieu of specific examples, you can go through the code of mtl to see how these transformers work. Where they put ~ patterns, where they don't
2022-12-17 04:57:53 +0100 <davean> I actually have a suggestion for something that won't answer it directly but will perhaps get them to an understanding of how to think about it.
2022-12-17 04:58:00 +0100 <EvanR> lazy WriterT uses ~ in the implementation of >>=
2022-12-17 04:58:03 +0100 <EvanR> same for lazy StateT
2022-12-17 04:58:12 +0100 <EvanR> strict doesn't
2022-12-17 04:58:14 +0100 <davean> Guest73: What happens when use Reverse StateT here?
2022-12-17 04:59:23 +0100 <Guest73> I have seen the code. ~ matches work like `let` and normal bindings work like `case of`.
2022-12-17 05:00:02 +0100 <Guest73> That does not tell if the composition of monad transfomer works as of executing line by line when one of the stacks is lazy.
2022-12-17 05:00:17 +0100 <EvanR> yeah and the outer monad is the one that happens... on the outside (in some sense, "first")
2022-12-17 05:00:37 +0100 <Guest73> davean: I don't know
2022-12-17 05:00:38 +0100 <EvanR> the outer transformer
2022-12-17 05:01:09 +0100 <davean> Guest73: the outer one produces steps of the inner one
2022-12-17 05:01:18 +0100 <davean> litterly
2022-12-17 05:02:01 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2022-12-17 05:02:40 +0100 <EvanR> and I don't fully understand the "`seq` on pure values" part of the question
2022-12-17 05:03:38 +0100Guest73(~Guest73@191.126.227.69) (Quit: Client closed)
2022-12-17 05:04:11 +0100 <EvanR> seq can be understood in terms of evaluation of expressions, StateT on Writer or vice versa is a pure value and nothing's really being executed
2022-12-17 05:04:26 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 246 seconds)
2022-12-17 05:04:53 +0100 <EvanR> I think of it as an expression being evaluated, exactly what that means depends on what you do with the whole thing
2022-12-17 05:04:58 +0100 <davean> Thats why I kept going about on the observational basis
2022-12-17 05:05:01 +0100 <EvanR> yeah
2022-12-17 05:06:36 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-12-17 05:09:59 +0100 <davean> it'll evalaute the dependency chain you demand - strict puts a dep chain on the match
2022-12-17 05:10:16 +0100 <davean> So strict reverse state it is
2022-12-17 05:13:02 +0100jargon(~jargon@174-22-192-24.phnx.qwest.net) (Remote host closed the connection)
2022-12-17 05:15:48 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-12-17 05:16:07 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-17 05:16:07 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-17 05:16:07 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 05:16:11 +0100motherfsck(~motherfsc@user/motherfsck)
2022-12-17 05:17:17 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 05:17:26 +0100tzh_(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-12-17 05:17:44 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection)
2022-12-17 05:21:50 +0100money_(~money@50.228.131.54) (Quit: late)
2022-12-17 05:22:22 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-12-17 05:23:20 +0100jrm(~jrm@user/jrm) (Remote host closed the connection)
2022-12-17 05:24:15 +0100 <iqubic> What is strict reverse state?
2022-12-17 05:24:25 +0100jrm(~jrm@user/jrm)
2022-12-17 05:24:58 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-17 05:26:16 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2022-12-17 05:26:16 +0100 <davean> Its a StateT that is strict and runs in the "opposite" direction
2022-12-17 05:27:40 +0100 <davean> Theres nothing saying which order the sets and gets go in State
2022-12-17 05:28:43 +0100 <davean> we can pass the state from the "end" to the "begining" instead of from the "begining" to the "end"
2022-12-17 05:29:41 +0100 <davean> Now what sorts of strictness does that allow? Does it allow the one you think is strict?
2022-12-17 05:30:34 +0100tzh_(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2022-12-17 05:30:45 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-12-17 05:32:40 +0100 <mauke> mx >>= f = State (\s -> let (y, s') = runState (f x) s; (x, s'') = runState mx s' in (y, s''))
2022-12-17 05:32:51 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds)
2022-12-17 05:42:43 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Quit: Leaving)
2022-12-17 05:45:25 +0100 <iqubic> Oh, so it's like the other, less useful half of the Tardis Monad.
2022-12-17 05:47:00 +0100 <iqubic> @hackage Tardis
2022-12-17 05:47:00 +0100 <lambdabot> https://hackage.haskell.org/package/Tardis
2022-12-17 05:49:01 +0100 <iqubic> @hackage tardis
2022-12-17 05:49:01 +0100 <lambdabot> https://hackage.haskell.org/package/tardis
2022-12-17 05:49:39 +0100 <EvanR> :k Reverse
2022-12-17 05:49:40 +0100 <lambdabot> error:
2022-12-17 05:49:40 +0100 <lambdabot> Not in scope: type constructor or class ‘Reverse’
2022-12-17 05:49:47 +0100 <EvanR> what's Reverse
2022-12-17 05:51:04 +0100arkeet(arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2022-12-17 05:51:15 +0100arkeet(arkeet@moriya.ca)
2022-12-17 05:54:37 +0100fizbin(~fizbin@user/fizbin)
2022-12-17 05:56:48 +0100 <iqubic> In base, it's a Newtype wrapper that turns turns all Foldable and Traversable operations of a given type into foldl's, instead of the default foldr direstion. But I doubt that's what is being referred to here.
2022-12-17 05:57:35 +0100 <iqubic> Wait... Reverse isn't in base but in transformers.
2022-12-17 05:57:49 +0100tabaqui(~root@88.231.62.215) (Quit: WeeChat 3.7.1)
2022-12-17 05:59:11 +0100 <EvanR> cool
2022-12-17 05:59:14 +0100 <[Leary]> In this particular case, the relevance is that it reverses an arbitrary applicative.
2022-12-17 05:59:48 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-12-17 06:00:04 +0100 <iqubic> Oh, am I mixing up Reverse and Backwards?
2022-12-17 06:00:13 +0100 <[Leary]> Oh, maybe I am...
2022-12-17 06:00:32 +0100money_(~money@216-131-83-77.nyc.as62651.net)
2022-12-17 06:01:08 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 246 seconds)
2022-12-17 06:01:13 +0100Guest73(~Guest73@191.126.227.69)
2022-12-17 06:01:17 +0100 <[Leary]> Yeah, you're right, though I suspect davean meant Backwards.
2022-12-17 06:04:54 +0100razetime(~quassel@49.207.203.213)
2022-12-17 06:05:24 +0100Guest73(~Guest73@191.126.227.69) (Client Quit)
2022-12-17 06:14:03 +0100Guest75(Guest75@2a01:7e01::f03c:92ff:fe5d:7b18) (Ping timeout: 260 seconds)
2022-12-17 06:25:34 +0100phma(~phma@host-67-44-208-106.hnremote.net) (Read error: Connection reset by peer)
2022-12-17 06:26:29 +0100phma(phma@2001:5b0:211f:d528:ab67:ad29:6dde:4757)
2022-12-17 06:34:21 +0100thegeekinside(~thegeekin@189.217.82.244) (Remote host closed the connection)
2022-12-17 06:46:51 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 06:47:38 +0100mbuf(~Shakthi@49.205.82.86)
2022-12-17 06:52:18 +0100money_(~money@216-131-83-77.nyc.as62651.net) (Quit: late)
2022-12-17 07:03:30 +0100arahael(~arahael@193-119-109-208.tpgi.com.au) (Ping timeout: 268 seconds)
2022-12-17 07:11:20 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-12-17 07:13:05 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-12-17 07:15:47 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2022-12-17 07:17:04 +0100califax(~califax@user/califx)
2022-12-17 07:19:52 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-12-17 07:20:57 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-12-17 07:23:24 +0100rnat(uid73555@id-73555.lymington.irccloud.com)
2022-12-17 07:25:08 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-17 07:29:17 +0100zanc(~azure@103.154.231.231)
2022-12-17 07:29:39 +0100 <zanc> does this channel have an archive?
2022-12-17 07:30:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Remote host closed the connection)
2022-12-17 07:32:48 +0100zanc(~azure@103.154.231.231) (Client Quit)
2022-12-17 07:36:04 +0100 <pavonia> See topic for channel logs
2022-12-17 07:39:34 +0100money__(~money@50.228.131.54)
2022-12-17 07:41:19 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2022-12-17 07:44:47 +0100tomokojun(~tomokojun@75.164.24.44) (Quit: じゃあね〜。)
2022-12-17 07:48:33 +0100Me-me(~me-me@user/me-me) (Remote host closed the connection)
2022-12-17 07:52:13 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-12-17 07:53:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 07:59:35 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds)
2022-12-17 08:00:59 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-12-17 08:03:26 +0100Red_Swan(~jared@174-23-134-43.slkc.qwest.net)
2022-12-17 08:03:40 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 08:03:56 +0100RedSwan(~jared@174-23-134-43.slkc.qwest.net) (Ping timeout: 272 seconds)
2022-12-17 08:04:40 +0100money__(~money@50.228.131.54) (Quit: late)
2022-12-17 08:08:41 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2022-12-17 08:09:47 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-12-17 08:10:46 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 08:21:29 +0100trev(~trev@user/trev)
2022-12-17 08:23:09 +0100money_(~money@50.228.131.54)
2022-12-17 08:27:23 +0100bilegeek(~bilegeek@2600:1008:b052:8346:de04:a93d:286:99ed)
2022-12-17 08:30:54 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100)
2022-12-17 08:31:14 +0100arahael(~arahael@193-119-109-208.tpgi.com.au)
2022-12-17 08:35:20 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Ping timeout: 255 seconds)
2022-12-17 08:46:50 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 08:55:55 +0100gmg(~user@user/gehmehgeh)
2022-12-17 08:57:57 +0100silverwhitefish(~hidden@47.202.101.238)
2022-12-17 09:02:19 +0100money_(~money@50.228.131.54) (Quit: late)
2022-12-17 09:02:20 +0100Vajb(~Vajb@2001:999:250:c9:8588:6e93:7809:7816) (Read error: Connection reset by peer)
2022-12-17 09:02:48 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2022-12-17 09:02:52 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-12-17 09:02:59 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2022-12-17 09:03:59 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-12-17 09:04:30 +0100Vajb(~Vajb@2001:999:250:c9:8588:6e93:7809:7816)
2022-12-17 09:07:40 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2022-12-17 09:09:21 +0100silverwhitefish(~hidden@47.202.101.238) (Quit: One for all, all for One (2 Corinthians 5))
2022-12-17 09:10:03 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-12-17 09:10:37 +0100mmhat(~mmh@p200300f1c721be8cee086bfffe095315.dip0.t-ipconnect.de)
2022-12-17 09:10:54 +0100mmhat(~mmh@p200300f1c721be8cee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2022-12-17 09:12:08 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-12-17 09:21:12 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-12-17 09:42:04 +0100arahael(~arahael@193-119-109-208.tpgi.com.au) (Ping timeout: 260 seconds)
2022-12-17 09:42:23 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-12-17 09:42:48 +0100zer0bitz(~zer0bitz@196.244.192.59)
2022-12-17 09:54:28 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 09:56:17 +0100money_(~money@50.228.131.54)
2022-12-17 10:03:41 +0100arahael(~arahael@193-119-109-208.tpgi.com.au)
2022-12-17 10:09:36 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-12-17 10:10:49 +0100money_(~money@50.228.131.54) (Quit: late)
2022-12-17 10:31:39 +0100beefbambi(~beefbambi@183.82.176.168) (Read error: Connection reset by peer)
2022-12-17 10:32:18 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 10:32:57 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100)
2022-12-17 10:37:35 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Ping timeout: 260 seconds)
2022-12-17 10:44:48 +0100beefbambi(~beefbambi@183.82.176.168) (Read error: Connection reset by peer)
2022-12-17 10:45:17 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 10:45:54 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 10:46:12 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 10:49:03 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-12-17 10:52:17 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-12-17 10:52:48 +0100beefbambi(~beefbambi@183.82.176.168) (Read error: Connection reset by peer)
2022-12-17 10:53:28 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 10:58:29 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-12-17 11:01:29 +0100cdoltb^(~cdoltb@76.145.185.103)
2022-12-17 11:02:48 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-12-17 11:03:22 +0100kaskal(~kaskal@213-147-167-253.nat.highway.webapn.at) (Quit: ZNC - https://znc.in)
2022-12-17 11:09:38 +0100kaskal(~kaskal@213-147-167-253.nat.highway.webapn.at)
2022-12-17 11:10:20 +0100kenaryn(~aurele@89-88-44-27.abo.bbox.fr)
2022-12-17 11:14:29 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds)
2022-12-17 11:21:25 +0100levinlevinlevin(~levin@ip5f584d02.dynamic.kabel-deutschland.de)
2022-12-17 11:21:45 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-12-17 11:22:59 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2022-12-17 11:23:01 +0100Lord_of_Life_Lord_of_Life
2022-12-17 11:35:19 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-12-17 11:36:09 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-12-17 11:39:51 +0100Guest8(~Guest8@106.202.231.3)
2022-12-17 11:40:25 +0100Guest8(~Guest8@106.202.231.3) (Client Quit)
2022-12-17 11:43:05 +0100random-jellyfish(~random-je@user/random-jellyfish)
2022-12-17 11:54:16 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 11:59:32 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-12-17 11:59:44 +0100levinlevinlevin(~levin@ip5f584d02.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2022-12-17 12:01:35 +0100bilegeek(~bilegeek@2600:1008:b052:8346:de04:a93d:286:99ed) (Quit: Leaving)
2022-12-17 12:02:44 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-12-17 12:08:18 +0100shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-12-17 12:15:34 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-17 12:16:17 +0100cdoltb^(~cdoltb@76.145.185.103) (Remote host closed the connection)
2022-12-17 12:17:41 +0100thyriaen(~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1)
2022-12-17 12:19:41 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-17 12:30:29 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-17 12:30:49 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-12-17 12:35:43 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 12:40:12 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-12-17 12:42:38 +0100random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-12-17 12:44:47 +0100dextaa1(~DV@user/dextaa)
2022-12-17 12:47:02 +0100dextaa(~DV@user/dextaa) (Ping timeout: 272 seconds)
2022-12-17 12:47:02 +0100dextaa1dextaa
2022-12-17 12:53:56 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-12-17 12:54:39 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-12-17 12:58:55 +0100crazazy(~user@130.89.173.127)
2022-12-17 13:04:08 +0100beefbambi(~beefbambi@183.82.176.168) (Ping timeout: 272 seconds)
2022-12-17 13:04:48 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 13:05:42 +0100crazazy(~user@130.89.173.127) (Remote host closed the connection)
2022-12-17 13:06:17 +0100razetime(~quassel@49.207.203.213) (Remote host closed the connection)
2022-12-17 13:06:37 +0100crazazy(~user@130.89.173.127)
2022-12-17 13:08:09 +0100Topsi(~Topsi@dyndsl-095-033-228-128.ewe-ip-backbone.de)
2022-12-17 13:11:13 +0100rnat(uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-17 13:14:01 +0100freeside(~mengwong@46.183.103.17)
2022-12-17 13:16:09 +0100crazazy(~user@130.89.173.127) (Ping timeout: 255 seconds)
2022-12-17 13:19:58 +0100freeside(~mengwong@46.183.103.17) (Ping timeout: 272 seconds)
2022-12-17 13:22:08 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 13:22:35 +0100beefbambi(~beefbambi@27.62.74.202)
2022-12-17 13:23:05 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 13:25:44 +0100beefbambi(~beefbambi@27.62.74.202) (Read error: Connection reset by peer)
2022-12-17 13:26:02 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 13:27:05 +0100poscat0x04(~poscat@2408:8206:4821:f702:d964:a961:eb17:d7fd) (Quit: Bye)
2022-12-17 13:32:24 +0100beefbambi(~beefbambi@183.82.176.168) (Read error: Connection reset by peer)
2022-12-17 13:32:33 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 13:32:58 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-17 13:33:16 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-17 13:34:26 +0100Lycurgus(~juan@user/Lycurgus)
2022-12-17 13:35:14 +0100poscat(~poscat@2408:8206:4823:14c6:2d43:62ac:d2b8:b823)
2022-12-17 13:36:17 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 13:41:10 +0100freeside(~mengwong@46.183.103.8)
2022-12-17 13:43:24 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2022-12-17 13:50:03 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com)
2022-12-17 13:50:13 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2022-12-17 13:50:57 +0100kuribas(~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be)
2022-12-17 13:56:22 +0100danza(~francesco@151.36.243.89)
2022-12-17 13:59:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 14:10:46 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-12-17 14:12:25 +0100beefbambi(~beefbambi@183.82.176.168) (Ping timeout: 252 seconds)
2022-12-17 14:12:56 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 14:15:51 +0100__monty__(~toonn@user/toonn)
2022-12-17 14:17:52 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2022-12-17 14:17:56 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-12-17 14:24:53 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection)
2022-12-17 14:25:21 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-12-17 14:30:58 +0100Guest75(Guest75@2a01:7e01::f03c:92ff:fe5d:7b18)
2022-12-17 14:33:03 +0100danza(~francesco@151.36.243.89) (Ping timeout: 268 seconds)
2022-12-17 14:36:16 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100)
2022-12-17 14:38:08 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 14:40:44 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Ping timeout: 255 seconds)
2022-12-17 14:41:28 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-12-17 14:41:31 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-12-17 14:43:51 +0100jespada(~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net)
2022-12-17 14:45:25 +0100lottaquestions(~nick@2607:fa49:503e:7100:80c9:a594:75a5:27d3) (Remote host closed the connection)
2022-12-17 14:45:51 +0100lottaquestions(~nick@2607:fa49:503e:7100:83b1:b98a:c83f:3b94)
2022-12-17 14:54:32 +0100kuribas(~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer)
2022-12-17 14:54:48 +0100kuribas(~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be)
2022-12-17 14:54:58 +0100freeside(~mengwong@46.183.103.8) (Ping timeout: 272 seconds)
2022-12-17 15:00:51 +0100kuribas(~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) (Ping timeout: 256 seconds)
2022-12-17 15:01:16 +0100freeside(~mengwong@46.183.103.8)
2022-12-17 15:04:20 +0100kuribas(~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be)
2022-12-17 15:06:17 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-12-17 15:06:42 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 15:06:50 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-12-17 15:06:58 +0100freeside(~mengwong@46.183.103.8) (Ping timeout: 268 seconds)
2022-12-17 15:15:13 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-12-17 15:19:05 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2022-12-17 15:19:59 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-12-17 15:20:05 +0100califax(~califax@user/califx)
2022-12-17 15:20:11 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-12-17 15:20:16 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-12-17 15:20:26 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds)
2022-12-17 15:22:09 +0100CiaoSen(~Jura@p200300c95718c3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-12-17 15:26:08 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-12-17 15:28:54 +0100taeaad(~taeaad@user/taeaad) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2022-12-17 15:32:17 +0100ss4(~wootehfoo@user/wootehfoot)
2022-12-17 15:32:18 +0100ss4(~wootehfoo@user/wootehfoot) (Remote host closed the connection)
2022-12-17 15:35:57 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds)
2022-12-17 15:37:33 +0100CiaoSen(~Jura@p200300c95718c3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-12-17 15:37:41 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-12-17 15:41:10 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-12-17 15:42:45 +0100drvitek(~drvitek@2601:85:c300:7940:3c36:ff9:964b:5f11)
2022-12-17 15:45:44 +0100freeside(~mengwong@46.183.103.8)
2022-12-17 15:47:18 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 15:47:23 +0100acarrico(~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (Quit: Leaving.)
2022-12-17 15:47:59 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 16:04:09 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 260 seconds)
2022-12-17 16:08:46 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-12-17 16:12:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 16:15:25 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-17 16:18:25 +0100doyougnu(~doyougnu@cpe-74-69-132-225.stny.res.rr.com)
2022-12-17 16:19:15 +0100infinity0(~infinity0@pwned.gg)
2022-12-17 16:37:12 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 16:43:14 +0100beefbambi(~beefbambi@183.82.176.168) (Ping timeout: 260 seconds)
2022-12-17 16:44:09 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 16:44:15 +0100rnat(uid73555@id-73555.lymington.irccloud.com)
2022-12-17 16:44:27 +0100 <Jade[m]> @pl f x ++ y ++ f z
2022-12-17 16:44:27 +0100 <lambdabot> f x ++ y ++ f z
2022-12-17 16:45:39 +0100 <geekosaur> you need to give it points to remove by making them lambdas
2022-12-17 16:45:53 +0100 <geekosaur> @pl \f -> f x ++ y ++ f z
2022-12-17 16:45:53 +0100 <lambdabot> liftM2 (++) ($ x) ((y ++) . ($ z))
2022-12-17 16:46:02 +0100 <geekosaur> …not worth it
2022-12-17 16:46:50 +0100jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2022-12-17 16:49:05 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 16:49:27 +0100Kaiepi(~Kaiepi@108.175.84.104) (Remote host closed the connection)
2022-12-17 16:49:29 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 16:49:51 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-12-17 16:52:55 +0100 <trev> is there a span/splitOn function that doesn't include what you're splitting on?
2022-12-17 16:53:33 +0100 <davean> ou mean like break? Its not clear what you're asking
2022-12-17 16:53:49 +0100 <davean> You have to have some decision mechanism
2022-12-17 16:54:19 +0100 <c_wraith> doesn't splitOn from the split package already not include what you're splitting on
2022-12-17 16:55:12 +0100 <trev> c_wraith let me check. i was using the one from Data.Text
2022-12-17 16:55:32 +0100 <c_wraith> oh, then the split package isn't relevant
2022-12-17 16:56:02 +0100 <trev> it might have something useful...
2022-12-17 16:56:31 +0100 <trev> davean yeah, any of them. they are always including the thing i want to split on
2022-12-17 16:57:20 +0100 <Rembane> If you go full on parser there's e.g. sepBy in Megaparsec.
2022-12-17 17:02:08 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2022-12-17 17:03:53 +0100beefbambi(~beefbambi@183.82.176.168) (Read error: Connection reset by peer)
2022-12-17 17:03:54 +0100gmg(~user@user/gehmehgeh)
2022-12-17 17:04:11 +0100beefbambi(~beefbambi@138.199.22.101)
2022-12-17 17:05:11 +0100 <trev> nooo
2022-12-17 17:05:23 +0100 <trev> maybe i'll just write my own function -_-
2022-12-17 17:06:50 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 17:10:07 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-12-17 17:11:00 +0100drvitek(~drvitek@2601:85:c300:7940:3c36:ff9:964b:5f11) (Quit: Konversation terminated!)
2022-12-17 17:11:46 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-12-17 17:13:18 +0100 <maerwald> never write your own function
2022-12-17 17:15:14 +0100 <int-e> no code, no bugs.
2022-12-17 17:15:17 +0100 <geekosaur> if a hoogle search gives me something under Distribution then yes,m I write my own 🙂
2022-12-17 17:15:55 +0100 <geekosaur> s/,m/,
2022-12-17 17:16:37 +0100tok(~user@mobile-access-d98cd1-96.dhcp.inet.fi)
2022-12-17 17:17:27 +0100kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-12-17 17:20:53 +0100 <trev> i've only been searching by "included in ghc"
2022-12-17 17:23:10 +0100 <geekosaur> that's a gradually decreasing number
2022-12-17 17:24:33 +0100 <trev> is haskell taking the rust route and making a small std lib?
2022-12-17 17:25:27 +0100 <geekosaur> yes
2022-12-17 17:25:48 +0100 <geekosaur> because anything bundled with ghc is effectively frozen
2022-12-17 17:31:35 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 17:32:59 +0100 <geekosaur> but we also have two different build managers, one of which is based on a resolver setup which amounts to a huge stdlib
2022-12-17 17:33:56 +0100beefbambi(~beefbambi@138.199.22.101) (Ping timeout: 272 seconds)
2022-12-17 17:34:59 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 17:35:38 +0100 <trev> geekosaur yes, i like this a lot...i think it's better for production (industrial) software
2022-12-17 17:35:55 +0100 <trev> rust dependency hell has not been nice to me
2022-12-17 17:36:29 +0100 <geekosaur> it does mean you're stuck with whatever the resolver gives you, including the associated ghc
2022-12-17 17:36:44 +0100 <geekosaur> and you often don't care about much of what's in the resolver
2022-12-17 17:37:29 +0100 <trev> i set my resolver to a ghc version...not sure what the standard way is
2022-12-17 17:37:49 +0100doyougnu(~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Ping timeout: 256 seconds)
2022-12-17 17:38:30 +0100 <geekosaur> if you set your resolver that way then the resolver consists of what's shipped with that ghc. normally you set it to an LTS which contains a lot of software (see stackage.org, where you can look up specific LTS and nightly resolvers)
2022-12-17 17:42:10 +0100stef204(~stef204@user/stef204)
2022-12-17 17:44:53 +0100stef204(~stef204@user/stef204) (Client Quit)
2022-12-17 17:51:21 +0100thyriaen(~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2022-12-17 17:53:14 +0100dsrt^(~dsrt@76.145.185.103)
2022-12-17 17:56:08 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-12-17 17:57:00 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-12-17 18:00:15 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 268 seconds)
2022-12-17 18:04:06 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-17 18:04:23 +0100beefbambi(~beefbambi@183.82.176.168) (Ping timeout: 265 seconds)
2022-12-17 18:04:35 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 18:05:36 +0100tok(~user@mobile-access-d98cd1-96.dhcp.inet.fi) (Ping timeout: 272 seconds)
2022-12-17 18:05:39 +0100masterbuilder(~master@user/masterbuilder)
2022-12-17 18:07:05 +0100ddellacosta(~ddellacos@143.244.47.75)
2022-12-17 18:07:51 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 18:12:58 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-12-17 18:13:01 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-17 18:13:12 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-12-17 18:14:59 +0100tok(~user@mobile-access-d98cd1-96.dhcp.inet.fi)
2022-12-17 18:15:06 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 18:15:28 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 18:18:41 +0100motherfsck(~motherfsc@user/motherfsck)
2022-12-17 18:19:27 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2022-12-17 18:20:26 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2022-12-17 18:21:05 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-12-17 18:23:39 +0100gmg(~user@user/gehmehgeh)
2022-12-17 18:26:45 +0100dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2022-12-17 18:30:53 +0100econo(uid147250@user/econo)
2022-12-17 18:32:50 +0100ddellacosta(~ddellacos@143.244.47.75) (Ping timeout: 272 seconds)
2022-12-17 18:34:28 +0100dolio(~dolio@130.44.134.54)
2022-12-17 18:34:51 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-12-17 18:37:15 +0100beefbambi(~beefbambi@183.82.176.168) (Ping timeout: 268 seconds)
2022-12-17 18:37:39 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 18:38:39 +0100shriekingnoise(~shrieking@186.137.167.202)
2022-12-17 18:39:16 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100)
2022-12-17 18:41:14 +0100Digit(~user@user/digit) (Remote host closed the connection)
2022-12-17 18:41:46 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-17 18:43:38 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-17 18:43:45 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Ping timeout: 260 seconds)
2022-12-17 18:49:43 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 18:53:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 18:53:20 +0100rnat(uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-17 18:55:02 +0100motherfsck(~motherfsc@user/motherfsck) (Remote host closed the connection)
2022-12-17 19:02:20 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 19:03:35 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 19:08:46 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 19:11:27 +0100`2jt(~jtomas@84.red-88-17-186.dynamicip.rima-tde.net)
2022-12-17 19:11:47 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-12-17 19:12:02 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 19:12:39 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Client Quit)
2022-12-17 19:12:55 +0100 <morb> hello
2022-12-17 19:13:44 +0100freeside(~mengwong@46.183.103.8) (Ping timeout: 260 seconds)
2022-12-17 19:14:52 +0100 <geekosaur> hi
2022-12-17 19:15:04 +0100Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2022-12-17 19:17:25 +0100 <morb> pretty new to haskell and FP in general, any well-regarded sources for learning?
2022-12-17 19:17:47 +0100 <geekosaur> @where cis194
2022-12-17 19:17:47 +0100 <lambdabot> <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html>
2022-12-17 19:18:05 +0100 <geekosaur> that's the one we usually recommend
2022-12-17 19:18:53 +0100 <morb> good stuff, thanks!
2022-12-17 19:19:07 +0100Kaiepi(~Kaiepi@108.175.84.104) (Remote host closed the connection)
2022-12-17 19:19:31 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-12-17 19:20:07 +0100morby(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 19:20:14 +0100morby(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Leaving...)
2022-12-17 19:20:58 +0100crazazy(~user@130.89.171.62)
2022-12-17 19:22:23 +0100 <sm1> @where books
2022-12-17 19:22:23 +0100 <lambdabot> See `LYAH',`RWH',`YAHT',`SOE',`HR',`PIH',`TFwH',`wikibook',`PCPH',`HPFFP',`FSAF',`HftVB',`HTAC',`TwT',`FoP',`PFAD',`WYAH',`non-haskell-books'. Also https://www.extrema.is/articles/haskell-books,
2022-12-17 19:22:23 +0100 <lambdabot> https://www.vex.net/~trebla/haskell/learn-sources
2022-12-17 19:23:07 +0100mbuf(~Shakthi@49.205.82.86) (Quit: Leaving)
2022-12-17 19:23:12 +0100 <morb> looks like vex.net is a dead link
2022-12-17 19:23:25 +0100 <geekosaur> huh?
2022-12-17 19:23:35 +0100 <morb> bot's link
2022-12-17 19:23:38 +0100 <sm1> just noticed, I'll remove it. Simpler anyhow
2022-12-17 19:23:57 +0100 <geekosaur> ow
2022-12-17 19:24:14 +0100 <geekosaur> monochrom? did your site expire?
2022-12-17 19:25:26 +0100 <geekosaur> was fine just a few days ago
2022-12-17 19:27:22 +0100 <sm1> just the page
2022-12-17 19:28:19 +0100morby(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 19:28:29 +0100 <monochrom> No, it's https://www.vex.net/~trebla/haskell/learn-sources.html , someone dropped the .html
2022-12-17 19:28:29 +0100 <maerwald> new stack released
2022-12-17 19:28:34 +0100 <sm1> @where+ books https://www.extrema.is/articles/haskell-books is the best list of Haskell books. See also: LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, FSAF, HftVB, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books
2022-12-17 19:28:34 +0100 <lambdabot> It is stored.
2022-12-17 19:29:39 +0100 <monochrom> oh well
2022-12-17 19:29:53 +0100 <sm1> ah there it is.. monochrom are you ok with me focussing 'books' on a single url ? that's the norm and more useful I feel. Could add yours as it's own topic ?
2022-12-17 19:29:58 +0100morby(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 19:30:31 +0100 <sm1> yours is not just books, also
2022-12-17 19:30:32 +0100morby(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 19:31:17 +0100morby(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) ()
2022-12-17 19:33:14 +0100Xeroine(~Xeroine@user/xeroine) (Ping timeout: 255 seconds)
2022-12-17 19:34:37 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Quit: Client closed)
2022-12-17 19:34:56 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 19:38:46 +0100sm1sm
2022-12-17 19:39:38 +0100TheCoffeMaker_(~TheCoffeM@190.245.123.30) (Quit: So long and thanks for all the fish)
2022-12-17 19:39:52 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100)
2022-12-17 19:40:01 +0100Xeroine(~Xeroine@user/xeroine)
2022-12-17 19:40:44 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 19:42:17 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 19:42:58 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-12-17 19:44:54 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 19:44:54 +0100Ranhir(~Ranhir@157.97.53.139)
2022-12-17 19:47:54 +0100beefbambi(~beefbambi@183.82.176.168) (Read error: Connection reset by peer)
2022-12-17 19:48:07 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-17 19:48:07 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-17 19:48:07 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 19:48:12 +0100beefbambi(~beefbambi@37.19.205.195)
2022-12-17 19:48:22 +0100ksqsf(~user@134.209.106.31)
2022-12-17 19:56:10 +0100crazazy`(~user@130.89.173.127)
2022-12-17 19:56:17 +0100tok(~user@mobile-access-d98cd1-96.dhcp.inet.fi) (Remote host closed the connection)
2022-12-17 19:58:02 +0100crazazy(~user@130.89.171.62) (Ping timeout: 268 seconds)
2022-12-17 19:59:13 +0100ksqsf(~user@134.209.106.31) (Remote host closed the connection)
2022-12-17 20:00:14 +0100Lycurgus(~juan@user/Lycurgus)
2022-12-17 20:00:59 +0100ksqsf(~user@134.209.106.31)
2022-12-17 20:01:51 +0100johnw(~johnw@2600:1700:cf00:db0:fc6e:5acb:13f7:b72d) (Quit: ZNC - http://znc.in)
2022-12-17 20:04:02 +0100beefbambi(~beefbambi@37.19.205.195) (Ping timeout: 272 seconds)
2022-12-17 20:04:36 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 20:04:40 +0100Xeroine(~Xeroine@user/xeroine) (Ping timeout: 272 seconds)
2022-12-17 20:06:21 +0100Xeroine(~Xeroine@user/xeroine)
2022-12-17 20:12:54 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2022-12-17 20:17:52 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-17 20:19:09 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 20:21:35 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 20:21:56 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2022-12-17 20:23:40 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-12-17 20:25:45 +0100 <dminuoso> monochrom: Can you share some details how this is done?
2022-12-17 20:26:51 +0100ksqsf(~user@134.209.106.31) (Remote host closed the connection)
2022-12-17 20:27:17 +0100ksqsf(~user@134.209.106.31)
2022-12-17 20:27:25 +0100 <DigitalKiwi> what happened to dibblego github
2022-12-17 20:29:53 +0100 <dminuoso> And regarding the simple subsumption, it is mildly annoying, but I guess eta-expanding is not a horrible workaround, especially given that with deep subsumption this would happen regardless.
2022-12-17 20:30:22 +0100rsm5560(~rsm5560@c-24-0-153-56.hsd1.nj.comcast.net)
2022-12-17 20:30:59 +0100 <DigitalKiwi> huttons book is the best
2022-12-17 20:31:24 +0100ksqsf(~user@134.209.106.31) (Remote host closed the connection)
2022-12-17 20:31:43 +0100rsm5560(~rsm5560@c-24-0-153-56.hsd1.nj.comcast.net) (Client Quit)
2022-12-17 20:31:50 +0100ksqsf(~user@134.209.106.31)
2022-12-17 20:35:02 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 20:37:21 +0100Guest20(~Guest20@180.217.70.207)
2022-12-17 20:37:43 +0100cheater(~Username@user/cheater) (Remote host closed the connection)
2022-12-17 20:37:46 +0100Guest20(~Guest20@180.217.70.207) (Client Quit)
2022-12-17 20:38:51 +0100Guest20(~Guest20@180.217.70.207)
2022-12-17 20:39:01 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 20:40:07 +0100Guest20(~Guest20@180.217.70.207) (Client Quit)
2022-12-17 20:40:14 +0100 <monochrom> dminuoso: If you mean emacs haskell-mode and ghci and error integration: I'm just a user, I don't know how it's done, I guess haskell-mode parses ghci output, but all the standard expectations of C-x ` "goto next error" and highlights in source code buffer and hover to see error messages are met.
2022-12-17 20:40:18 +0100beefbambi(~beefbambi@183.82.176.168) (Ping timeout: 252 seconds)
2022-12-17 20:40:41 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 20:41:05 +0100 <dminuoso> monochrom: And how do you wire ghci in? Or is it jsut an option you turn on in a customize-group somewhere?
2022-12-17 20:41:23 +0100 <monochrom> It also helps that haskell-mode uses -ferror-spans
2022-12-17 20:41:45 +0100 <monochrom> (add-hook 'haskell-mode-hook 'interactive-haskell-mode)
2022-12-17 20:41:48 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Remote host closed the connection)
2022-12-17 20:42:08 +0100 <monochrom> Hrm actually I wonder if that's the default today.
2022-12-17 20:42:31 +0100 <dminuoso> Oh haha, I always thought that was a mode to launch ghci in an eshell or something
2022-12-17 20:43:14 +0100 <dminuoso> Will that properly load an entire project?
2022-12-17 20:43:23 +0100 <monochrom> Ugh not default. Why would it not be the default today?! As if there were actually any viable alternative. (No, the very old legacy dumb alternative doesn't count.)
2022-12-17 20:43:24 +0100 <dminuoso> Or is this just a ghci session that will :r each module as you go?
2022-12-17 20:43:34 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 20:45:16 +0100 <monochrom> haskell-mode knows about foo.cabal and runs "cabal repl" instead.
2022-12-17 20:45:18 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 20:45:57 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 20:46:39 +0100instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-12-17 20:49:38 +0100Guest75(Guest75@2a01:7e01::f03c:92ff:fe5d:7b18) (Quit: Client closed)
2022-12-17 20:51:32 +0100instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 272 seconds)
2022-12-17 20:52:49 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100)
2022-12-17 21:01:28 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 21:07:19 +0100ksqsf(~user@134.209.106.31) (Remote host closed the connection)
2022-12-17 21:08:29 +0100ksqsf(~user@134.209.106.31)
2022-12-17 21:08:45 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Remote host closed the connection)
2022-12-17 21:13:25 +0100wroathe(~wroathe@50.205.197.50)
2022-12-17 21:13:25 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2022-12-17 21:13:25 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 21:13:38 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:1d8d:a4c9:4743:ee41)
2022-12-17 21:13:42 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-12-17 21:16:16 +0100cheater(~Username@user/cheater)
2022-12-17 21:17:44 +0100beefbambi(~beefbambi@183.82.176.168) (Remote host closed the connection)
2022-12-17 21:18:02 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 21:19:51 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-12-17 21:20:27 +0100ksqsf(~user@134.209.106.31) (Remote host closed the connection)
2022-12-17 21:20:49 +0100ksqsf(~user@134.209.106.31)
2022-12-17 21:23:45 +0100elevenkb(~elevenkb@105.224.37.128)
2022-12-17 21:24:17 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:1d8d:a4c9:4743:ee41) (Quit: WeeChat 2.8)
2022-12-17 21:26:13 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 268 seconds)
2022-12-17 21:27:56 +0100trev(~trev@user/trev) (Remote host closed the connection)
2022-12-17 21:28:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 21:31:19 +0100wroathe(~wroathe@50.205.197.50)
2022-12-17 21:31:19 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2022-12-17 21:31:19 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 21:33:03 +0100wroathe(~wroathe@user/wroathe) (Client Quit)
2022-12-17 21:33:29 +0100fizbin(~fizbin@user/fizbin)
2022-12-17 21:34:32 +0100gdd(~gdd@2001:470:1f13:187:f1d9:2c39:d075:f0d3)
2022-12-17 21:36:45 +0100ksqsf(~user@134.209.106.31)
2022-12-17 21:37:33 +0100elevenkb(~elevenkb@105.224.37.128) (Quit: Client closed)
2022-12-17 21:38:16 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 21:39:08 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100)
2022-12-17 21:41:08 +0100hexagoxel(~hexagoxel@hexagoxel.de)
2022-12-17 21:42:50 +0100wroathe(~wroathe@50.205.197.50)
2022-12-17 21:42:50 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2022-12-17 21:42:50 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 21:42:52 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 268 seconds)
2022-12-17 21:42:59 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 21:43:26 +0100wroathe(~wroathe@user/wroathe) (Client Quit)
2022-12-17 21:43:40 +0100wroathe(~wroathe@50.205.197.50)
2022-12-17 21:43:40 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2022-12-17 21:43:40 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 21:45:29 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 21:47:01 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-12-17 21:52:34 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-12-17 21:54:35 +0100ksqsf(~user@134.209.106.31)
2022-12-17 21:55:55 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 21:59:22 +0100`2jt(~jtomas@84.red-88-17-186.dynamicip.rima-tde.net) (Remote host closed the connection)
2022-12-17 21:59:32 +0100elevenkb(~elevenkb@105.224.37.128)
2022-12-17 22:00:34 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 272 seconds)
2022-12-17 22:01:01 +0100simple(skralg@user/simple) (Ping timeout: 252 seconds)
2022-12-17 22:02:37 +0100elevenkb(~elevenkb@105.224.37.128) (Client Quit)
2022-12-17 22:03:24 +0100danza(~francesco@151.68.200.31)
2022-12-17 22:04:29 +0100simple(skralg@user/simple)
2022-12-17 22:05:34 +0100kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 265 seconds)
2022-12-17 22:05:35 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 22:05:45 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-12-17 22:06:07 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 22:07:47 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 22:08:42 +0100img(~img@user/img)
2022-12-17 22:08:56 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 22:09:55 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 22:09:58 +0100dgpratt[m](~dgprattma@2001:470:69fc:105::1:dcdd)
2022-12-17 22:10:00 +0100 <glguy> None of the links in the haddocks on hackage in the synopsis section actually work for me. Clicking one just closes the synopsis. Is anyone else experiencing this?
2022-12-17 22:10:39 +0100 <glguy> (current Chrome)
2022-12-17 22:11:00 +0100 <glguy> same with Safari
2022-12-17 22:11:14 +0100danza(~francesco@151.68.200.31) (Ping timeout: 268 seconds)
2022-12-17 22:12:34 +0100ksqsf(~user@134.209.106.31)
2022-12-17 22:13:01 +0100 <geekosaur> same. chrome, current as of a couple days ago
2022-12-17 22:13:16 +0100 <glguy> It's been like this for months, but I just figured it was something temporary I'd done
2022-12-17 22:14:12 +0100 <geekosaur> the synopsis has always been wonky in one way or another for me, so I got out of the habit of using it
2022-12-17 22:14:36 +0100 <geekosaur> especially after the time when they did something that caused it to not be closable once opened, several years back
2022-12-17 22:15:57 +0100kuribas(~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
2022-12-17 22:16:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 22:17:11 +0100 <dgpratt[m]> I feel like I remember there was a mathy name for something like: f(x) == f(g(f(x))) -- anyone have a clue what I'm trying to remember? right adjoint? adjunct?
2022-12-17 22:20:49 +0100[exa](~exa@user/exa/x-3587197) (Remote host closed the connection)
2022-12-17 22:21:11 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-12-17 22:23:04 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-12-17 22:26:42 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 22:27:14 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 22:35:34 +0100money_(~money@2601:40:c580:8530:d40e:c734:2e6d:1560)
2022-12-17 22:35:50 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-12-17 22:36:03 +0100money_(~money@2601:40:c580:8530:d40e:c734:2e6d:1560) (Client Quit)
2022-12-17 22:36:04 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 22:36:18 +0100wroathe(~wroathe@50.205.197.50)
2022-12-17 22:36:18 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2022-12-17 22:36:18 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 22:37:01 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 22:37:03 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-12-17 22:38:37 +0100fizbin(~fizbin@user/fizbin) (Remote host closed the connection)
2022-12-17 22:38:56 +0100fizbin(~fizbin@user/fizbin)
2022-12-17 22:39:18 +0100 <darkling> I recall meeting an A.B.A^-1 in linear algebra (gives you the B matrix after a change of basis represented by A; I may have the inverse in the wrong place). I don't recall what it's called, though.
2022-12-17 22:40:03 +0100 <mauke> glguy: same, firefox
2022-12-17 22:41:07 +0100money_(~money@2601:40:c580:8530:d40e:c734:2e6d:1560)
2022-12-17 22:41:44 +0100beefbambi(~beefbambi@183.82.176.168) (Ping timeout: 272 seconds)
2022-12-17 22:42:31 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 22:43:18 +0100money_(~money@2601:40:c580:8530:d40e:c734:2e6d:1560) (Client Quit)
2022-12-17 22:43:38 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-12-17 22:45:02 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-12-17 22:46:26 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 252 seconds)
2022-12-17 22:46:57 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 22:48:00 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-17 22:49:21 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 22:49:55 +0100beefbambi(~beefbambi@183.82.176.168)
2022-12-17 22:50:36 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-17 22:52:38 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-12-17 22:53:31 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-17 22:58:27 +0100ksqsf(~user@134.209.106.31)
2022-12-17 23:00:34 +0100ksqsf(~user@134.209.106.31) (Remote host closed the connection)
2022-12-17 23:05:35 +0100 <monochrom> darkling: conjugation
2022-12-17 23:07:00 +0100 <monochrom> Or you can continue calling it change of basis if it's specifically matrices and linear algebra :)
2022-12-17 23:08:24 +0100 <monochrom> conjugation is broadly whenever x * y * x^-1 (or the other way round, I forgot like you did) working in any group.
2022-12-17 23:14:01 +0100zns(~zns@user/zns)
2022-12-17 23:14:05 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-17 23:14:28 +0100wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-12-17 23:14:42 +0100wroathe(~wroathe@50.205.197.50)
2022-12-17 23:14:42 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2022-12-17 23:14:42 +0100wroathe(~wroathe@user/wroathe)
2022-12-17 23:14:55 +0100 <justsomeguy> Is there a package that will allow me to write the equivalent of curl -H "API Token: $token" "http://www.ncdc.noaa.gov/cdo-web/api/v2/datasets" as a one-liner in Haskell?
2022-12-17 23:24:11 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-12-17 23:24:24 +0100ksqsf(~user@134.209.106.31)
2022-12-17 23:24:33 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-12-17 23:25:14 +0100beefbambi(~beefbambi@183.82.176.168) (Ping timeout: 268 seconds)
2022-12-17 23:25:40 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-17 23:26:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 23:26:30 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-12-17 23:27:39 +0100crazazy`(~user@130.89.173.127) (Remote host closed the connection)
2022-12-17 23:27:52 +0100crazazy`(~user@130.89.173.127)
2022-12-17 23:29:18 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-12-17 23:29:20 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 252 seconds)
2022-12-17 23:30:47 +0100cheater(~Username@user/cheater) (Remote host closed the connection)
2022-12-17 23:33:08 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-12-17 23:34:50 +0100crazazy`(~user@130.89.173.127) (Ping timeout: 252 seconds)
2022-12-17 23:39:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-17 23:40:16 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-17 23:41:25 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2022-12-17 23:41:54 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-17 23:41:59 +0100cheater(~Username@user/cheater)
2022-12-17 23:42:14 +0100beefbambi(~beefbambi@183.82.31.128)
2022-12-17 23:45:34 +0100kritzefitz(~kritzefit@debian/kritzefitz)
2022-12-17 23:46:04 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2022-12-17 23:46:07 +0100ddellacosta(~ddellacos@143.244.47.75)
2022-12-17 23:50:11 +0100ksqsf(~user@134.209.106.31)
2022-12-17 23:52:30 +0100 <ddellacosta> is there anything other than Aeson that folks are using for reading/exporting JSON to/from types? I feel like I read about some alternatives a little while ago but poking around online now I couldn't find anything. I have no beef with Aeson, actually I have always found it to work well for my needs, I'm just curious
2022-12-17 23:52:45 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-12-17 23:53:04 +0100cheater(~Username@user/cheater) (Quit: BitchX: the ONLY IRC client on Viagra!)
2022-12-17 23:53:34 +0100 <geekosaur> waargonaut is one
2022-12-17 23:54:27 +0100 <ddellacosta> geekosaur: neat, thanks--looks pretty substantial
2022-12-17 23:55:27 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 268 seconds)
2022-12-17 23:56:01 +0100fizbin(~fizbin@user/fizbin)
2022-12-17 23:57:52 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-17 23:59:52 +0100j4cc3b(~jeffreybe@pool-74-105-2-138.nwrknj.fios.verizon.net)