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