| 2022-12-17 00:00:20 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-17 00:00:20 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-17 00:00:20 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-17 00:01:31 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 260 seconds) |
| 2022-12-17 00:01:54 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-12-17 00:02:26 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-12-17 00:07:56 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Read error: Connection reset by peer) |
| 2022-12-17 00:08:12 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 00:08:19 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-12-17 00:10:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 2022-12-17 00:12:53 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Read error: Connection reset by peer) |
| 2022-12-17 00:13:37 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 00:14:26 +0100 | akegalj | (~akegalj@141-136-165-175.dsl.iskon.hr) (Quit: leaving) |
| 2022-12-17 00:19:22 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-12-17 00:19:41 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-12-17 00:20:02 +0100 | merijn | (~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 +0100 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 2022-12-17 00:47:25 +0100 | zer0bitz | (~zer0bitz@196.244.192.57) (Read error: Connection reset by peer) |
| 2022-12-17 00:57:39 +0100 | mmhat | (~mmh@p200300f1c72368bbee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 2022-12-17 00:58:47 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 256 seconds) |
| 2022-12-17 01:04:06 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-17 01:12:42 +0100 | darkstardevx | (~darkstard@50.53.3.186) (Read error: Connection reset by peer) |
| 2022-12-17 01:16:26 +0100 | michalz | (~michalz@185.246.204.94) (Remote host closed the connection) |
| 2022-12-17 01:18:42 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-17 01:20:20 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 01:20:35 +0100 | Topsi | (~Topsi@dyndsl-095-033-142-138.ewe-ip-backbone.de) |
| 2022-12-17 01:23:28 +0100 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-12-17 01:24:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-17 01:25:29 +0100 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2022-12-17 01:31:45 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-17 01:36:20 +0100 | motherfsck | (~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 +0100 | masterbuilder | (~master@user/masterbuilder) (Quit: Lost terminal) |
| 2022-12-17 01:41:51 +0100 | money_ | (~money@50.228.131.54) |
| 2022-12-17 01:42:53 +0100 | Topsi | (~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 +0100 | crazazy` | (~user@2001:67c:2564:a307:7b7f:642d:4b93:662d) |
| 2022-12-17 01:50:54 +0100 | crazazy | (~user@130.89.171.62) (Ping timeout: 272 seconds) |
| 2022-12-17 01:52:23 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-12-17 01:54:38 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-12-17 01:55:30 +0100 | crazazy` | (~user@2001:67c:2564:a307:7b7f:642d:4b93:662d) (Remote host closed the connection) |
| 2022-12-17 01:55:43 +0100 | crazazy` | (~user@2001:67c:2564:a307:7b7f:642d:4b93:662d) |
| 2022-12-17 01:56:38 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-17 02:02:34 +0100 | crazazy` | (~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 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-12-17 02:13:18 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.7.1) |
| 2022-12-17 02:15:05 +0100 | ix | (~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 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-12-17 02:18:04 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-12-17 02:35:20 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-17 02:35:20 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-17 02:35:20 +0100 | wroathe | (~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 +0100 | tomokojun | (~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 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2022-12-17 02:55:34 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-17 02:55:50 +0100 | dtman34 | (~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 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 2022-12-17 03:00:04 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-12-17 03:00:05 +0100 | dtman34 | (~dtman34@76.156.89.180) |
| 2022-12-17 03:05:00 +0100 | eggplantade | (~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 +0100 | money_ | (~money@50.228.131.54) (Quit: late) |
| 2022-12-17 03:11:16 +0100 | wroathe | (~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 +0100 | money_ | (~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 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 03:18:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) |
| 2022-12-17 03:18:51 +0100 | asthasr | (~asthasr@208.80.78.154) (Quit: asthasr) |
| 2022-12-17 03:20:59 +0100 | xff0x_ | (~xff0x@ai071162.d.east.v6connect.net) (Quit: xff0x_) |
| 2022-12-17 03:21:11 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-12-17 03:30:00 +0100 | razetime | (~quassel@49.207.203.213) |
| 2022-12-17 03:31:04 +0100 | TonyStone | (~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 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 272 seconds) |
| 2022-12-17 03:36:44 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2022-12-17 03:36:56 +0100 | tompaw | (~tompaw@static-47-206-100-136.tamp.fl.frontiernet.net) (Quit: leaving) |
| 2022-12-17 03:38:19 +0100 | money__ | (~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 +0100 | money_ | (~money@50.228.131.54) (Ping timeout: 256 seconds) |
| 2022-12-17 03:42:22 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2022-12-17 03:43:54 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-17 03:44:08 +0100 | TonyStone | (~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 +0100 | razetime | (~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 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 255 seconds) |
| 2022-12-17 03:49:44 +0100 | merijn | (~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 +0100 | money_ | (~money@50.228.131.54) |
| 2022-12-17 03:56:58 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
| 2022-12-17 03:57:17 +0100 | money__ | (~money@2607:fb90:e90c:2c0a:423:811f:7783:1ea8) (Ping timeout: 256 seconds) |
| 2022-12-17 04:04:18 +0100 | money_ | (~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 +0100 | goober | (~goober@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2022-12-17 04:18:36 +0100 | Guest75 | (Guest75@2a01:7e01::f03c:92ff:fe5d:7b18) |
| 2022-12-17 04:19:28 +0100 | money_ | (~money@50.228.131.54) |
| 2022-12-17 04:20:44 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-17 04:21:05 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-17 04:23:12 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-12-17 04:25:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-12-17 04:25:26 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-17 04:25:26 +0100 | finn_elija | FinnElija |
| 2022-12-17 04:33:39 +0100 | Guest73 | (~Guest73@191.126.227.69) |
| 2022-12-17 04:34:08 +0100 | td_ | (~td@83.135.9.25) (Ping timeout: 252 seconds) |
| 2022-12-17 04:35:58 +0100 | td_ | (~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 +0100 | McBoog | (~McBoog@172-10-253-252.lightspeed.fyvlar.sbcglobal.net) |
| 2022-12-17 04:40:37 +0100 | McBoog | (~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 +0100 | j4cc3b | (~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 +0100 | jao | (~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 +0100 | Guest73 | (~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 +0100 | tzh | (~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 +0100 | tzh | (~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 +0100 | jargon | (~jargon@174-22-192-24.phnx.qwest.net) (Remote host closed the connection) |
| 2022-12-17 05:15:48 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-12-17 05:16:07 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-17 05:16:07 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-17 05:16:07 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-17 05:16:11 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-12-17 05:17:17 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 05:17:26 +0100 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-12-17 05:17:44 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2022-12-17 05:21:50 +0100 | money_ | (~money@50.228.131.54) (Quit: late) |
| 2022-12-17 05:22:22 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-12-17 05:23:20 +0100 | jrm | (~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 +0100 | jrm | (~jrm@user/jrm) |
| 2022-12-17 05:24:58 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2022-12-17 05:26:16 +0100 | Unicorn_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 +0100 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2022-12-17 05:30:45 +0100 | tzh | (~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 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds) |
| 2022-12-17 05:42:43 +0100 | TonyStone | (~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 +0100 | arkeet | (arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-12-17 05:51:15 +0100 | arkeet | (arkeet@moriya.ca) |
| 2022-12-17 05:54:37 +0100 | fizbin | (~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 +0100 | tabaqui | (~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 +0100 | wroathe | (~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 +0100 | money_ | (~money@216-131-83-77.nyc.as62651.net) |
| 2022-12-17 06:01:08 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 246 seconds) |
| 2022-12-17 06:01:13 +0100 | Guest73 | (~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 +0100 | razetime | (~quassel@49.207.203.213) |
| 2022-12-17 06:05:24 +0100 | Guest73 | (~Guest73@191.126.227.69) (Client Quit) |
| 2022-12-17 06:14:03 +0100 | Guest75 | (Guest75@2a01:7e01::f03c:92ff:fe5d:7b18) (Ping timeout: 260 seconds) |
| 2022-12-17 06:25:34 +0100 | phma | (~phma@host-67-44-208-106.hnremote.net) (Read error: Connection reset by peer) |
| 2022-12-17 06:26:29 +0100 | phma | (phma@2001:5b0:211f:d528:ab67:ad29:6dde:4757) |
| 2022-12-17 06:34:21 +0100 | thegeekinside | (~thegeekin@189.217.82.244) (Remote host closed the connection) |
| 2022-12-17 06:46:51 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 06:47:38 +0100 | mbuf | (~Shakthi@49.205.82.86) |
| 2022-12-17 06:52:18 +0100 | money_ | (~money@216-131-83-77.nyc.as62651.net) (Quit: late) |
| 2022-12-17 07:03:30 +0100 | arahael | (~arahael@193-119-109-208.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-12-17 07:11:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-17 07:13:05 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-17 07:15:47 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-12-17 07:17:04 +0100 | califax | (~califax@user/califx) |
| 2022-12-17 07:19:52 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-12-17 07:20:57 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-17 07:23:24 +0100 | rnat | (uid73555@id-73555.lymington.irccloud.com) |
| 2022-12-17 07:25:08 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-17 07:29:17 +0100 | zanc | (~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 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Remote host closed the connection) |
| 2022-12-17 07:32:48 +0100 | zanc | (~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 +0100 | money__ | (~money@50.228.131.54) |
| 2022-12-17 07:41:19 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-12-17 07:44:47 +0100 | tomokojun | (~tomokojun@75.164.24.44) (Quit: じゃあね〜。) |
| 2022-12-17 07:48:33 +0100 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2022-12-17 07:52:13 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-12-17 07:53:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-17 07:59:35 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds) |
| 2022-12-17 08:00:59 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-12-17 08:03:26 +0100 | Red_Swan | (~jared@174-23-134-43.slkc.qwest.net) |
| 2022-12-17 08:03:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 08:03:56 +0100 | RedSwan | (~jared@174-23-134-43.slkc.qwest.net) (Ping timeout: 272 seconds) |
| 2022-12-17 08:04:40 +0100 | money__ | (~money@50.228.131.54) (Quit: late) |
| 2022-12-17 08:08:41 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-17 08:09:47 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-17 08:10:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-17 08:21:29 +0100 | trev | (~trev@user/trev) |
| 2022-12-17 08:23:09 +0100 | money_ | (~money@50.228.131.54) |
| 2022-12-17 08:27:23 +0100 | bilegeek | (~bilegeek@2600:1008:b052:8346:de04:a93d:286:99ed) |
| 2022-12-17 08:30:54 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) |
| 2022-12-17 08:31:14 +0100 | arahael | (~arahael@193-119-109-208.tpgi.com.au) |
| 2022-12-17 08:35:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Ping timeout: 255 seconds) |
| 2022-12-17 08:46:50 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 08:55:55 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-12-17 08:57:57 +0100 | silverwhitefish | (~hidden@47.202.101.238) |
| 2022-12-17 09:02:19 +0100 | money_ | (~money@50.228.131.54) (Quit: late) |
| 2022-12-17 09:02:20 +0100 | Vajb | (~Vajb@2001:999:250:c9:8588:6e93:7809:7816) (Read error: Connection reset by peer) |
| 2022-12-17 09:02:48 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-12-17 09:02:52 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-12-17 09:02:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2022-12-17 09:03:59 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-12-17 09:04:30 +0100 | Vajb | (~Vajb@2001:999:250:c9:8588:6e93:7809:7816) |
| 2022-12-17 09:07:40 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2022-12-17 09:09:21 +0100 | silverwhitefish | (~hidden@47.202.101.238) (Quit: One for all, all for One (2 Corinthians 5)) |
| 2022-12-17 09:10:03 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-12-17 09:10:37 +0100 | mmhat | (~mmh@p200300f1c721be8cee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-12-17 09:10:54 +0100 | mmhat | (~mmh@p200300f1c721be8cee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2022-12-17 09:12:08 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-12-17 09:21:12 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-12-17 09:42:04 +0100 | arahael | (~arahael@193-119-109-208.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2022-12-17 09:42:23 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2022-12-17 09:42:48 +0100 | zer0bitz | (~zer0bitz@196.244.192.59) |
| 2022-12-17 09:54:28 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 09:56:17 +0100 | money_ | (~money@50.228.131.54) |
| 2022-12-17 10:03:41 +0100 | arahael | (~arahael@193-119-109-208.tpgi.com.au) |
| 2022-12-17 10:09:36 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-12-17 10:10:49 +0100 | money_ | (~money@50.228.131.54) (Quit: late) |
| 2022-12-17 10:31:39 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Read error: Connection reset by peer) |
| 2022-12-17 10:32:18 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 10:32:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) |
| 2022-12-17 10:37:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Ping timeout: 260 seconds) |
| 2022-12-17 10:44:48 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Read error: Connection reset by peer) |
| 2022-12-17 10:45:17 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-17 10:45:54 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-17 10:46:12 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 10:49:03 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-12-17 10:52:17 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-12-17 10:52:48 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Read error: Connection reset by peer) |
| 2022-12-17 10:53:28 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 10:58:29 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-12-17 11:01:29 +0100 | cdoltb^ | (~cdoltb@76.145.185.103) |
| 2022-12-17 11:02:48 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-12-17 11:03:22 +0100 | kaskal | (~kaskal@213-147-167-253.nat.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 2022-12-17 11:09:38 +0100 | kaskal | (~kaskal@213-147-167-253.nat.highway.webapn.at) |
| 2022-12-17 11:10:20 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-12-17 11:14:29 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds) |
| 2022-12-17 11:21:25 +0100 | levinlevinlevin | (~levin@ip5f584d02.dynamic.kabel-deutschland.de) |
| 2022-12-17 11:21:45 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-12-17 11:22:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-12-17 11:23:01 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-12-17 11:35:19 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-12-17 11:36:09 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-12-17 11:39:51 +0100 | Guest8 | (~Guest8@106.202.231.3) |
| 2022-12-17 11:40:25 +0100 | Guest8 | (~Guest8@106.202.231.3) (Client Quit) |
| 2022-12-17 11:43:05 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-12-17 11:54:16 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 11:59:32 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-12-17 11:59:44 +0100 | levinlevinlevin | (~levin@ip5f584d02.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2022-12-17 12:01:35 +0100 | bilegeek | (~bilegeek@2600:1008:b052:8346:de04:a93d:286:99ed) (Quit: Leaving) |
| 2022-12-17 12:02:44 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-12-17 12:08:18 +0100 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-12-17 12:15:34 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-17 12:16:17 +0100 | cdoltb^ | (~cdoltb@76.145.185.103) (Remote host closed the connection) |
| 2022-12-17 12:17:41 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) |
| 2022-12-17 12:19:41 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-17 12:30:29 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-17 12:30:49 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-12-17 12:35:43 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 12:40:12 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-12-17 12:42:38 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-12-17 12:44:47 +0100 | dextaa1 | (~DV@user/dextaa) |
| 2022-12-17 12:47:02 +0100 | dextaa | (~DV@user/dextaa) (Ping timeout: 272 seconds) |
| 2022-12-17 12:47:02 +0100 | dextaa1 | dextaa |
| 2022-12-17 12:53:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-12-17 12:54:39 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-12-17 12:58:55 +0100 | crazazy | (~user@130.89.173.127) |
| 2022-12-17 13:04:08 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Ping timeout: 272 seconds) |
| 2022-12-17 13:04:48 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-17 13:05:42 +0100 | crazazy | (~user@130.89.173.127) (Remote host closed the connection) |
| 2022-12-17 13:06:17 +0100 | razetime | (~quassel@49.207.203.213) (Remote host closed the connection) |
| 2022-12-17 13:06:37 +0100 | crazazy | (~user@130.89.173.127) |
| 2022-12-17 13:08:09 +0100 | Topsi | (~Topsi@dyndsl-095-033-228-128.ewe-ip-backbone.de) |
| 2022-12-17 13:11:13 +0100 | rnat | (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-17 13:14:01 +0100 | freeside | (~mengwong@46.183.103.17) |
| 2022-12-17 13:16:09 +0100 | crazazy | (~user@130.89.173.127) (Ping timeout: 255 seconds) |
| 2022-12-17 13:19:58 +0100 | freeside | (~mengwong@46.183.103.17) (Ping timeout: 272 seconds) |
| 2022-12-17 13:22:08 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-17 13:22:35 +0100 | beefbambi | (~beefbambi@27.62.74.202) |
| 2022-12-17 13:23:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 13:25:44 +0100 | beefbambi | (~beefbambi@27.62.74.202) (Read error: Connection reset by peer) |
| 2022-12-17 13:26:02 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 13:27:05 +0100 | poscat0x04 | (~poscat@2408:8206:4821:f702:d964:a961:eb17:d7fd) (Quit: Bye) |
| 2022-12-17 13:32:24 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Read error: Connection reset by peer) |
| 2022-12-17 13:32:33 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 13:32:58 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-17 13:33:16 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-17 13:34:26 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-12-17 13:35:14 +0100 | poscat | (~poscat@2408:8206:4823:14c6:2d43:62ac:d2b8:b823) |
| 2022-12-17 13:36:17 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 13:41:10 +0100 | freeside | (~mengwong@46.183.103.8) |
| 2022-12-17 13:43:24 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2022-12-17 13:50:03 +0100 | goober | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-12-17 13:50:13 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2022-12-17 13:50:57 +0100 | kuribas | (~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) |
| 2022-12-17 13:56:22 +0100 | danza | (~francesco@151.36.243.89) |
| 2022-12-17 13:59:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-17 14:10:46 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-12-17 14:12:25 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Ping timeout: 252 seconds) |
| 2022-12-17 14:12:56 +0100 | beefbambi | (~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 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-12-17 14:17:56 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-12-17 14:24:53 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-12-17 14:25:21 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-12-17 14:30:58 +0100 | Guest75 | (Guest75@2a01:7e01::f03c:92ff:fe5d:7b18) |
| 2022-12-17 14:33:03 +0100 | danza | (~francesco@151.36.243.89) (Ping timeout: 268 seconds) |
| 2022-12-17 14:36:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) |
| 2022-12-17 14:38:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 14:40:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Ping timeout: 255 seconds) |
| 2022-12-17 14:41:28 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-17 14:41:31 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-12-17 14:43:51 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-12-17 14:45:25 +0100 | lottaquestions | (~nick@2607:fa49:503e:7100:80c9:a594:75a5:27d3) (Remote host closed the connection) |
| 2022-12-17 14:45:51 +0100 | lottaquestions | (~nick@2607:fa49:503e:7100:83b1:b98a:c83f:3b94) |
| 2022-12-17 14:54:32 +0100 | kuribas | (~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-12-17 14:54:48 +0100 | kuribas | (~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) |
| 2022-12-17 14:54:58 +0100 | freeside | (~mengwong@46.183.103.8) (Ping timeout: 272 seconds) |
| 2022-12-17 15:00:51 +0100 | kuribas | (~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) (Ping timeout: 256 seconds) |
| 2022-12-17 15:01:16 +0100 | freeside | (~mengwong@46.183.103.8) |
| 2022-12-17 15:04:20 +0100 | kuribas | (~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) |
| 2022-12-17 15:06:17 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-12-17 15:06:42 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 15:06:50 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-12-17 15:06:58 +0100 | freeside | (~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 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-12-17 15:19:59 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-17 15:20:05 +0100 | califax | (~califax@user/califx) |
| 2022-12-17 15:20:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-12-17 15:20:16 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-17 15:20:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-12-17 15:22:09 +0100 | CiaoSen | (~Jura@p200300c95718c3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-12-17 15:26:08 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-17 15:28:54 +0100 | taeaad | (~taeaad@user/taeaad) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2022-12-17 15:32:17 +0100 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2022-12-17 15:32:18 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2022-12-17 15:35:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2022-12-17 15:37:33 +0100 | CiaoSen | (~Jura@p200300c95718c3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-12-17 15:37:41 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-12-17 15:41:10 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-12-17 15:42:45 +0100 | drvitek | (~drvitek@2601:85:c300:7940:3c36:ff9:964b:5f11) |
| 2022-12-17 15:45:44 +0100 | freeside | (~mengwong@46.183.103.8) |
| 2022-12-17 15:47:18 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-17 15:47:23 +0100 | acarrico | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (Quit: Leaving.) |
| 2022-12-17 15:47:59 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 16:04:09 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2022-12-17 16:08:46 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-12-17 16:12:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-17 16:15:25 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-17 16:18:25 +0100 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-12-17 16:19:15 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2022-12-17 16:37:12 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 16:43:14 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Ping timeout: 260 seconds) |
| 2022-12-17 16:44:09 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-17 16:44:15 +0100 | rnat | (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 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2022-12-17 16:49:05 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-17 16:49:27 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Remote host closed the connection) |
| 2022-12-17 16:49:29 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 16:49:51 +0100 | Kaiepi | (~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 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2022-12-17 17:03:53 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Read error: Connection reset by peer) |
| 2022-12-17 17:03:54 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-12-17 17:04:11 +0100 | beefbambi | (~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 +0100 | tromp | (~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 +0100 | drvitek | (~drvitek@2601:85:c300:7940:3c36:ff9:964b:5f11) (Quit: Konversation terminated!) |
| 2022-12-17 17:11:46 +0100 | merijn | (~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 +0100 | tok | (~user@mobile-access-d98cd1-96.dhcp.inet.fi) |
| 2022-12-17 17:17:27 +0100 | kenaryn | (~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 +0100 | tromp | (~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 +0100 | beefbambi | (~beefbambi@138.199.22.101) (Ping timeout: 272 seconds) |
| 2022-12-17 17:34:59 +0100 | beefbambi | (~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 +0100 | doyougnu | (~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 +0100 | stef204 | (~stef204@user/stef204) |
| 2022-12-17 17:44:53 +0100 | stef204 | (~stef204@user/stef204) (Client Quit) |
| 2022-12-17 17:51:21 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-12-17 17:53:14 +0100 | dsrt^ | (~dsrt@76.145.185.103) |
| 2022-12-17 17:56:08 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-12-17 17:57:00 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-12-17 18:00:15 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2022-12-17 18:04:06 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-17 18:04:23 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Ping timeout: 265 seconds) |
| 2022-12-17 18:04:35 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-17 18:05:36 +0100 | tok | (~user@mobile-access-d98cd1-96.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-12-17 18:05:39 +0100 | masterbuilder | (~master@user/masterbuilder) |
| 2022-12-17 18:07:05 +0100 | ddellacosta | (~ddellacos@143.244.47.75) |
| 2022-12-17 18:07:51 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 18:12:58 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-12-17 18:13:01 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-17 18:13:12 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-12-17 18:14:59 +0100 | tok | (~user@mobile-access-d98cd1-96.dhcp.inet.fi) |
| 2022-12-17 18:15:06 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-17 18:15:28 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 18:18:41 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-12-17 18:19:27 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2022-12-17 18:20:26 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2022-12-17 18:21:05 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-12-17 18:23:39 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-12-17 18:26:45 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-12-17 18:30:53 +0100 | econo | (uid147250@user/econo) |
| 2022-12-17 18:32:50 +0100 | ddellacosta | (~ddellacos@143.244.47.75) (Ping timeout: 272 seconds) |
| 2022-12-17 18:34:28 +0100 | dolio | (~dolio@130.44.134.54) |
| 2022-12-17 18:34:51 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-12-17 18:37:15 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Ping timeout: 268 seconds) |
| 2022-12-17 18:37:39 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-17 18:38:39 +0100 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-12-17 18:39:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) |
| 2022-12-17 18:41:14 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2022-12-17 18:41:46 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-17 18:43:38 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-17 18:43:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Ping timeout: 260 seconds) |
| 2022-12-17 18:49:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 18:53:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-17 18:53:20 +0100 | rnat | (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-17 18:55:02 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Remote host closed the connection) |
| 2022-12-17 19:02:20 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-17 19:03:35 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 19:08:46 +0100 | merijn | (~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 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-12-17 19:12:02 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 19:12:39 +0100 | jonathanx | (~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 +0100 | freeside | (~mengwong@46.183.103.8) (Ping timeout: 260 seconds) |
| 2022-12-17 19:14:52 +0100 | <geekosaur> | hi |
| 2022-12-17 19:15:04 +0100 | Ranhir | (~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 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Remote host closed the connection) |
| 2022-12-17 19:19:31 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-12-17 19:20:07 +0100 | morby | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 19:20:14 +0100 | morby | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Leaving...) |
| 2022-12-17 19:20:58 +0100 | crazazy | (~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 +0100 | mbuf | (~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 +0100 | morby | (~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 +0100 | morby | (~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 +0100 | morby | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 19:31:17 +0100 | morby | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) () |
| 2022-12-17 19:33:14 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 255 seconds) |
| 2022-12-17 19:34:37 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2022-12-17 19:34:56 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 19:38:46 +0100 | sm1 | sm |
| 2022-12-17 19:39:38 +0100 | TheCoffeMaker_ | (~TheCoffeM@190.245.123.30) (Quit: So long and thanks for all the fish) |
| 2022-12-17 19:39:52 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) |
| 2022-12-17 19:40:01 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-12-17 19:40:44 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 19:42:17 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 19:42:58 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-12-17 19:44:54 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 19:44:54 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-12-17 19:47:54 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Read error: Connection reset by peer) |
| 2022-12-17 19:48:07 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-17 19:48:07 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-17 19:48:07 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-17 19:48:12 +0100 | beefbambi | (~beefbambi@37.19.205.195) |
| 2022-12-17 19:48:22 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 19:56:10 +0100 | crazazy` | (~user@130.89.173.127) |
| 2022-12-17 19:56:17 +0100 | tok | (~user@mobile-access-d98cd1-96.dhcp.inet.fi) (Remote host closed the connection) |
| 2022-12-17 19:58:02 +0100 | crazazy | (~user@130.89.171.62) (Ping timeout: 268 seconds) |
| 2022-12-17 19:59:13 +0100 | ksqsf | (~user@134.209.106.31) (Remote host closed the connection) |
| 2022-12-17 20:00:14 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-12-17 20:00:59 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 20:01:51 +0100 | johnw | (~johnw@2600:1700:cf00:db0:fc6e:5acb:13f7:b72d) (Quit: ZNC - http://znc.in) |
| 2022-12-17 20:04:02 +0100 | beefbambi | (~beefbambi@37.19.205.195) (Ping timeout: 272 seconds) |
| 2022-12-17 20:04:36 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 20:04:40 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 272 seconds) |
| 2022-12-17 20:06:21 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-12-17 20:12:54 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2022-12-17 20:17:52 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-17 20:19:09 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 20:21:35 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 20:21:56 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2022-12-17 20:23:40 +0100 | wroathe | (~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 +0100 | ksqsf | (~user@134.209.106.31) (Remote host closed the connection) |
| 2022-12-17 20:27:17 +0100 | ksqsf | (~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 +0100 | rsm5560 | (~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 +0100 | ksqsf | (~user@134.209.106.31) (Remote host closed the connection) |
| 2022-12-17 20:31:43 +0100 | rsm5560 | (~rsm5560@c-24-0-153-56.hsd1.nj.comcast.net) (Client Quit) |
| 2022-12-17 20:31:50 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 20:35:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 20:37:21 +0100 | Guest20 | (~Guest20@180.217.70.207) |
| 2022-12-17 20:37:43 +0100 | cheater | (~Username@user/cheater) (Remote host closed the connection) |
| 2022-12-17 20:37:46 +0100 | Guest20 | (~Guest20@180.217.70.207) (Client Quit) |
| 2022-12-17 20:38:51 +0100 | Guest20 | (~Guest20@180.217.70.207) |
| 2022-12-17 20:39:01 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 20:40:07 +0100 | Guest20 | (~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 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Ping timeout: 252 seconds) |
| 2022-12-17 20:40:41 +0100 | beefbambi | (~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 +0100 | eggplantade | (~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 +0100 | beefbambi | (~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 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 20:45:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-17 20:46:39 +0100 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-12-17 20:49:38 +0100 | Guest75 | (Guest75@2a01:7e01::f03c:92ff:fe5d:7b18) (Quit: Client closed) |
| 2022-12-17 20:51:32 +0100 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 272 seconds) |
| 2022-12-17 20:52:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) |
| 2022-12-17 21:01:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 21:07:19 +0100 | ksqsf | (~user@134.209.106.31) (Remote host closed the connection) |
| 2022-12-17 21:08:29 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 21:08:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) (Remote host closed the connection) |
| 2022-12-17 21:13:25 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-12-17 21:13:25 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-12-17 21:13:25 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-17 21:13:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1d8d:a4c9:4743:ee41) |
| 2022-12-17 21:13:42 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-12-17 21:16:16 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-17 21:17:44 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Remote host closed the connection) |
| 2022-12-17 21:18:02 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 21:19:51 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-12-17 21:20:27 +0100 | ksqsf | (~user@134.209.106.31) (Remote host closed the connection) |
| 2022-12-17 21:20:49 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 21:23:45 +0100 | elevenkb | (~elevenkb@105.224.37.128) |
| 2022-12-17 21:24:17 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1d8d:a4c9:4743:ee41) (Quit: WeeChat 2.8) |
| 2022-12-17 21:26:13 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 268 seconds) |
| 2022-12-17 21:27:56 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-17 21:28:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-17 21:31:19 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-12-17 21:31:19 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-12-17 21:31:19 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-17 21:33:03 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2022-12-17 21:33:29 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-17 21:34:32 +0100 | gdd | (~gdd@2001:470:1f13:187:f1d9:2c39:d075:f0d3) |
| 2022-12-17 21:36:45 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 21:37:33 +0100 | elevenkb | (~elevenkb@105.224.37.128) (Quit: Client closed) |
| 2022-12-17 21:38:16 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 21:39:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b575:bbf6:df74:2100) |
| 2022-12-17 21:41:08 +0100 | hexagoxel | (~hexagoxel@hexagoxel.de) |
| 2022-12-17 21:42:50 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-12-17 21:42:50 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-12-17 21:42:50 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-17 21:42:52 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 268 seconds) |
| 2022-12-17 21:42:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 21:43:26 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2022-12-17 21:43:40 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-12-17 21:43:40 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-12-17 21:43:40 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-17 21:45:29 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 21:47:01 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-12-17 21:52:34 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-12-17 21:54:35 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 21:55:55 +0100 | morb | (~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 +0100 | elevenkb | (~elevenkb@105.224.37.128) |
| 2022-12-17 22:00:34 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 272 seconds) |
| 2022-12-17 22:01:01 +0100 | simple | (skralg@user/simple) (Ping timeout: 252 seconds) |
| 2022-12-17 22:02:37 +0100 | elevenkb | (~elevenkb@105.224.37.128) (Client Quit) |
| 2022-12-17 22:03:24 +0100 | danza | (~francesco@151.68.200.31) |
| 2022-12-17 22:04:29 +0100 | simple | (skralg@user/simple) |
| 2022-12-17 22:05:34 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 265 seconds) |
| 2022-12-17 22:05:35 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 22:05:45 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-12-17 22:06:07 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 22:07:47 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 22:08:42 +0100 | img | (~img@user/img) |
| 2022-12-17 22:08:56 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 22:09:55 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 22:09:58 +0100 | dgpratt[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 +0100 | danza | (~francesco@151.68.200.31) (Ping timeout: 268 seconds) |
| 2022-12-17 22:12:34 +0100 | ksqsf | (~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 +0100 | kuribas | (~user@ptr-17d51enla0coycbea6j.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-12-17 22:16:42 +0100 | tromp | (~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 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-12-17 22:23:04 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-12-17 22:26:42 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 22:27:14 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 22:35:34 +0100 | money_ | (~money@2601:40:c580:8530:d40e:c734:2e6d:1560) |
| 2022-12-17 22:35:50 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-12-17 22:36:03 +0100 | money_ | (~money@2601:40:c580:8530:d40e:c734:2e6d:1560) (Client Quit) |
| 2022-12-17 22:36:04 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 22:36:18 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-12-17 22:36:18 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-12-17 22:36:18 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-17 22:37:01 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 22:37:03 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-12-17 22:38:37 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2022-12-17 22:38:56 +0100 | fizbin | (~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 +0100 | money_ | (~money@2601:40:c580:8530:d40e:c734:2e6d:1560) |
| 2022-12-17 22:41:44 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Ping timeout: 272 seconds) |
| 2022-12-17 22:42:31 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-17 22:43:18 +0100 | money_ | (~money@2601:40:c580:8530:d40e:c734:2e6d:1560) (Client Quit) |
| 2022-12-17 22:43:38 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-12-17 22:45:02 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-17 22:46:26 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 252 seconds) |
| 2022-12-17 22:46:57 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 22:48:00 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-17 22:49:21 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-17 22:49:55 +0100 | beefbambi | (~beefbambi@183.82.176.168) |
| 2022-12-17 22:50:36 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2022-12-17 22:52:38 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-17 22:53:31 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-17 22:58:27 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 23:00:34 +0100 | ksqsf | (~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 +0100 | zns | (~zns@user/zns) |
| 2022-12-17 23:14:05 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-17 23:14:28 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-12-17 23:14:42 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-12-17 23:14:42 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-12-17 23:14:42 +0100 | wroathe | (~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 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-12-17 23:24:24 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-12-17 23:24:33 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-12-17 23:25:14 +0100 | beefbambi | (~beefbambi@183.82.176.168) (Ping timeout: 268 seconds) |
| 2022-12-17 23:25:40 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-17 23:26:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 23:26:30 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-12-17 23:27:39 +0100 | crazazy` | (~user@130.89.173.127) (Remote host closed the connection) |
| 2022-12-17 23:27:52 +0100 | crazazy` | (~user@130.89.173.127) |
| 2022-12-17 23:29:18 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-12-17 23:29:20 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 252 seconds) |
| 2022-12-17 23:30:47 +0100 | cheater | (~Username@user/cheater) (Remote host closed the connection) |
| 2022-12-17 23:33:08 +0100 | Me-me | (~Me-me@146.102.215.218.dyn.iprimus.net.au) |
| 2022-12-17 23:34:50 +0100 | crazazy` | (~user@130.89.173.127) (Ping timeout: 252 seconds) |
| 2022-12-17 23:39:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-17 23:40:16 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-17 23:41:25 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-12-17 23:41:54 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-17 23:41:59 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-17 23:42:14 +0100 | beefbambi | (~beefbambi@183.82.31.128) |
| 2022-12-17 23:45:34 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-12-17 23:46:04 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2022-12-17 23:46:07 +0100 | ddellacosta | (~ddellacos@143.244.47.75) |
| 2022-12-17 23:50:11 +0100 | ksqsf | (~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 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-12-17 23:53:04 +0100 | cheater | (~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 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 268 seconds) |
| 2022-12-17 23:56:01 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-17 23:57:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-17 23:59:52 +0100 | j4cc3b | (~jeffreybe@pool-74-105-2-138.nwrknj.fios.verizon.net) |