| 2021-05-23 00:00:32 +0000 | <yushyin> | they left ;D the irony that they won't see your answers after rejoin |
| 2021-05-23 00:00:45 +0000 | <monochrom> | haha |
| 2021-05-23 00:01:21 +0000 | <monochrom> | Why did they even come in the first place? Never saw them on Freenode. |
| 2021-05-23 00:02:52 +0000 | <felixphew> | heard about new IRC net, gave it a try, saw Haskell (this is one of the bigger channels rn so you'd be near the top of the /list) and joined, presumably |
| 2021-05-23 00:04:17 +0000 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving) |
| 2021-05-23 00:05:54 +0000 | <boxscape> | maybe, but only if they confused "server" with "channel", since they specifically said "whenever I go to this channel" |
| 2021-05-23 00:07:23 +0000 | ubuntu_ | (~ubuntu@ec2-13-49-142-87.eu-north-1.compute.amazonaws.com) |
| 2021-05-23 00:07:49 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-05-23 00:12:39 +0000 | ubuntu_ | (~ubuntu@ec2-13-49-142-87.eu-north-1.compute.amazonaws.com) (Quit: leaving) |
| 2021-05-23 00:13:28 +0000 | Guest5439 | (~ubuntu@ec2-13-49-142-87.eu-north-1.compute.amazonaws.com) |
| 2021-05-23 00:14:45 +0000 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:16:31 +0000 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 2021-05-23 00:17:17 +0000 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:22:30 +0000 | Gurkenglas__ | (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2021-05-23 00:30:19 +0000 | <boxscape> | hm, so, if you want to have an action of type `IO A` that doesn't produce the `A` value every time you use it, somewhere in its definition you have to use unsafePerformIO (or another unsafe function), is that right? |
| 2021-05-23 00:30:46 +0000 | <mniip> | no? |
| 2021-05-23 00:30:50 +0000 | <boxscape> | example? |
| 2021-05-23 00:30:57 +0000 | <mniip> | I'm not sure what you mean though |
| 2021-05-23 00:31:32 +0000 | <boxscape> | like I do `do {x <- foo; y <- foo; pure (x, y)}`, and the two elements of the tuple are different |
| 2021-05-23 00:31:48 +0000 | <boxscape> | my assertion is that `foo`'s implementation must use unsafePerformIO, directly or indirectly |
| 2021-05-23 00:32:05 +0000 | seven_three | YY |
| 2021-05-23 00:32:35 +0000 | YY | Guest9574 |
| 2021-05-23 00:32:41 +0000 | <ChaiTRex> | boxscape: No, if foo :: IO Whatever, then it can produce different Whatever values each time it's called. |
| 2021-05-23 00:32:44 +0000 | Guest9574 | X1 |
| 2021-05-23 00:32:51 +0000 | <ChaiTRex> | Like getLine :: IO String |
| 2021-05-23 00:32:58 +0000 | <boxscape> | getLine uses unsafePerformIO |
| 2021-05-23 00:32:59 +0000 | X1 | three_seven |
| 2021-05-23 00:33:02 +0000 | <ChaiTRex> | Produces different lines based on what's typed. |
| 2021-05-23 00:33:04 +0000 | <boxscape> | stdin is defined with it |
| 2021-05-23 00:33:15 +0000 | <boxscape> | https://hackage.haskell.org/package/base-4.15.0.0/docs/src/GHC-IO-Handle-FD.html#stdin |
| 2021-05-23 00:33:29 +0000 | nnm__ | (~nnm@109.252.72.186) |
| 2021-05-23 00:33:35 +0000 | three_seven | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.2)) |
| 2021-05-23 00:33:41 +0000 | <boxscape> | (and `getLine` calls hGetLine `stdin`) |
| 2021-05-23 00:33:49 +0000 | nnm_ | (~nnm@2a00:1370:811d:8e45:e6a3:c3d2:f62c:e07) (Read error: Connection reset by peer) |
| 2021-05-23 00:33:49 +0000 | <boxscape> | err, `hGetLine stdin` |
| 2021-05-23 00:34:19 +0000 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2021-05-23 00:34:38 +0000 | <ChaiTRex> | stdin isn't IO Handle. |
| 2021-05-23 00:34:48 +0000 | <ChaiTRex> | It's Handle |
| 2021-05-23 00:34:50 +0000 | <boxscape> | no, but getLine is IO Srring |
| 2021-05-23 00:34:52 +0000 | <boxscape> | IO String |
| 2021-05-23 00:35:00 +0000 | <boxscape> | and getLine uses stdin in it's implementation |
| 2021-05-23 00:35:07 +0000 | <boxscape> | so it indirectly calls unsafePerformIO |
| 2021-05-23 00:36:03 +0000 | <boxscape> | ...though I guess you could hardcode stdin to some specific value, hope that it's right, and then it would work without unsafePerformIO, hm |
| 2021-05-23 00:36:24 +0000 | <monochrom> | This is an interesting observation but you need to sharpen your mind way more to see what it really means. |
| 2021-05-23 00:36:33 +0000 | <ChaiTRex> | You can also use the stdin definition without unsafePerformIO |
| 2021-05-23 00:36:41 +0000 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:36:45 +0000 | seven_three | _37 |
| 2021-05-23 00:36:53 +0000 | <boxscape> | oh. |
| 2021-05-23 00:36:55 +0000 | <boxscape> | true |
| 2021-05-23 00:36:55 +0000 | <monochrom> | For starters "have" is very open-ended. |
| 2021-05-23 00:37:02 +0000 | <ChaiTRex> | do { stdin <- stdinDefintionWithoutUnsafePerformIO; ... } |
| 2021-05-23 00:37:23 +0000 | <ChaiTRex> | So, no, you don't need unsafePerformIO, strictly speaking. |
| 2021-05-23 00:37:27 +0000 | <boxscape> | yeah |
| 2021-05-23 00:37:50 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-23 00:37:57 +0000 | _37 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit) |
| 2021-05-23 00:38:26 +0000 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:38:42 +0000 | <monochrom> | The role of unsafePerformIO in this case is only to make stdin available at the top level. |
| 2021-05-23 00:38:44 +0000 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2021-05-23 00:39:28 +0000 | justsomeguy | (~chris@24.96.241.90) |
| 2021-05-23 00:39:36 +0000 | _37 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:39:40 +0000 | <boxscape> | right, okay |
| 2021-05-23 00:41:24 +0000 | _37 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit) |
| 2021-05-23 00:41:59 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:43:17 +0000 | pe200012 | (~pe200012@218.107.17.245) (Ping timeout: 272 seconds) |
| 2021-05-23 00:43:25 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit) |
| 2021-05-23 00:43:51 +0000 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:44:49 +0000 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit) |
| 2021-05-23 00:45:05 +0000 | nighmi | (~felix@port-92-196-54-216.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 2021-05-23 00:45:10 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:46:16 +0000 | <hpc> | alternatively, you could imagine the fact that stdin is initialized before main gains control, and in another world haskell programs might start with "main stdin stdout stderr ... = do" |
| 2021-05-23 00:46:33 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit) |
| 2021-05-23 00:46:40 +0000 | sprog | (~1860f15a@ircip2.mibbit.com) (Quit: https://mibbit.com Online IRC Client) |
| 2021-05-23 00:46:59 +0000 | _37 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 00:48:03 +0000 | _37 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit) |
| 2021-05-23 00:52:38 +0000 | <boxscape> | funnily enough the other example I just thought off that is of type `IO Something` is randomIO, but that *also* uses unsafePerformIO |
| 2021-05-23 00:52:55 +0000 | <boxscape> | but I think if you were to read from a file on the harddrive, it wouldn't need unsafePerformIO |
| 2021-05-23 00:53:00 +0000 | <boxscape> | s/off/of |
| 2021-05-23 00:53:14 +0000 | <boxscape> | (and of course the file could change) |
| 2021-05-23 00:53:28 +0000 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-05-23 00:55:57 +0000 | <hpc> | boxscape: there's an even better example, i forget what module it's in but there's a top-level definition of your operating system |
| 2021-05-23 00:56:17 +0000 | ddellacosta | (~ddellacos@86.106.121.100) |
| 2021-05-23 00:56:17 +0000 | <hpc> | i forget if it's at build-time or runtime, and if it has IO in the type, but it's something to contemplate |
| 2021-05-23 00:56:35 +0000 | <boxscape> | hm |
| 2021-05-23 00:57:20 +0000 | <monochrom> | System.Info.os? That one is compiled-time. Basically a cheesy CPP. |
| 2021-05-23 00:58:04 +0000 | <hpc> | ah, boring |
| 2021-05-23 00:58:13 +0000 | <hpc> | maybe that's why i forgot :P |
| 2021-05-23 00:58:25 +0000 | <boxscape> | if it's this one it uses the FFI https://hackage.haskell.org/package/system-info-0.5.2/docs/src/System.OS.html |
| 2021-05-23 00:58:31 +0000 | <monochrom> | Totally exploits the fact that GHC does not do cross-OS-compilation. |
| 2021-05-23 00:59:00 +0000 | <monochrom> | How often do you get to say "linux GHC can't make a windows exe, and that's a good thing"? >:) |
| 2021-05-23 00:59:08 +0000 | <boxscape> | hehe |
| 2021-05-23 00:59:51 +0000 | dmwit | (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-05-23 01:00:49 +0000 | dmwit | (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 2021-05-23 01:00:50 +0000 | ddellacosta | (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 2021-05-23 01:01:35 +0000 | <boxscape> | Perhaps there's some way to make this more rigorous and correct though, IORefs and Random both seem to have this property and both don't get information from outside the haskell program |
| 2021-05-23 01:02:11 +0000 | steve-chavez | (~steve-cha@190.237.35.83) |
| 2021-05-23 01:02:26 +0000 | steve-chavez | (~steve-cha@190.237.35.83) (Client Quit) |
| 2021-05-23 01:02:49 +0000 | steve-chavez | (~steve-cha@190.237.35.83) |
| 2021-05-23 01:03:51 +0000 | <boxscape> | oh, I think it might be the same criterion that lets effects be run in ST instead of in IO |
| 2021-05-23 01:07:05 +0000 | <boxscape> | so |
| 2021-05-23 01:07:19 +0000 | <boxscape> | do actions of type `ST Something` always have to return the same `Something`? |
| 2021-05-23 01:07:50 +0000 | <boxscape> | ah wait |
| 2021-05-23 01:07:55 +0000 | <boxscape> | that's not quite how ST works |
| 2021-05-23 01:11:25 +0000 | hmmmas | (~chenqisu1@183.217.200.8) |
| 2021-05-23 01:11:47 +0000 | xff0x | (~xff0x@2001:1a81:52a0:e100:12d8:511d:ef81:b662) (Ping timeout: 272 seconds) |
| 2021-05-23 01:12:18 +0000 | <boxscape> | I suppose any `IO Something` you can get with `stToIO` must always produce the same value |
| 2021-05-23 01:12:55 +0000 | xff0x | (~xff0x@2001:1a81:52b2:9700:762c:2533:bcf3:80b7) |
| 2021-05-23 01:14:02 +0000 | Morrow | (~MorrowM_@147.161.15.179) (Ping timeout: 264 seconds) |
| 2021-05-23 01:14:12 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-23 01:16:24 +0000 | <yuglg> | That seems right |
| 2021-05-23 01:16:49 +0000 | Morrow | (~Morrow@147.161.15.179) |
| 2021-05-23 01:17:25 +0000 | <boxscape> | okay |
| 2021-05-23 01:18:14 +0000 | Fare | (~fare@2601:184:4a7f:995c:21a2:6e2:303e:7b32) |
| 2021-05-23 01:18:49 +0000 | <boxscape> | what makes a little uncomfortable is that `stToIO` takes a `ST RealWorld a` rather than a `forall s. ST s a`, and I read everywhere that this universal quantification over threads is what makes it pure |
| 2021-05-23 01:19:49 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-05-23 01:19:49 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 272 seconds) |
| 2021-05-23 01:25:56 +0000 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-23 01:27:35 +0000 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) (Ping timeout: 252 seconds) |
| 2021-05-23 01:32:49 +0000 | lwerdna | (~lerdna@97.104.76.14) (Quit: Lost terminal) |
| 2021-05-23 01:34:11 +0000 | waleee-cl | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
| 2021-05-23 01:34:57 +0000 | dy | (~dy@cpe-75-80-50-89.san.res.rr.com) |
| 2021-05-23 01:35:29 +0000 | dy | (~dy@cpe-75-80-50-89.san.res.rr.com) (Client Quit) |
| 2021-05-23 01:35:47 +0000 | dy | (~dy@cpe-75-80-50-89.san.res.rr.com) |
| 2021-05-23 01:41:19 +0000 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-23 01:55:24 +0000 | agander_m | (sid407952@tinside.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-23 01:56:29 +0000 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
| 2021-05-23 02:00:10 +0000 | nnm__ | (~nnm@109.252.72.186) (Ping timeout: 264 seconds) |
| 2021-05-23 02:01:35 +0000 | yin | (~yang@user/yin) () |
| 2021-05-23 02:02:02 +0000 | <nshepperd> | that means it can access a previously created STRef Realworld |
| 2021-05-23 02:02:20 +0000 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-05-23 02:03:05 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-05-23 02:04:00 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 02:06:22 +0000 | barryfm | (~Barry@184-089-175-050.res.spectrum.com) |
| 2021-05-23 02:07:12 +0000 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 2021-05-23 02:08:04 +0000 | <boxscape> | Ah, I see. |
| 2021-05-23 02:08:21 +0000 | <nshepperd> | i think it's only 'forall s. ST s Something' that are guaranteed to always produce the same value |
| 2021-05-23 02:08:28 +0000 | <boxscape> | okay |
| 2021-05-23 02:08:39 +0000 | <nshepperd> | as long as you don't use unsafeIOToST |
| 2021-05-23 02:08:43 +0000 | <boxscape> | right |
| 2021-05-23 02:09:36 +0000 | Techcable | (~Techcable@168.235.93.147) |
| 2021-05-23 02:12:54 +0000 | barryfm | (~Barry@184-089-175-050.res.spectrum.com) (Quit: Leaving) |
| 2021-05-23 02:14:17 +0000 | Erutuon | (~Erutuon@97-116-14-180.mpls.qwest.net) (Ping timeout: 244 seconds) |
| 2021-05-23 02:14:56 +0000 | barryfm | (~Barry@184-089-175-050.res.spectrum.com) |
| 2021-05-23 02:16:32 +0000 | Erutuon | (~Erutuon@97-116-14-180.mpls.qwest.net) |
| 2021-05-23 02:17:30 +0000 | irc_user | (uid423822@id-423822.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-23 02:19:54 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-05-23 02:19:54 +0000 | finn_elija | Guest2589 |
| 2021-05-23 02:19:54 +0000 | Guest2589 | (~finn_elij@user/finn-elija/x-0085643) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2021-05-23 02:19:54 +0000 | FinnElija | finn_elija |
| 2021-05-23 02:21:00 +0000 | Fare | (~fare@2601:184:4a7f:995c:21a2:6e2:303e:7b32) (Ping timeout: 244 seconds) |
| 2021-05-23 02:21:36 +0000 | liv | (~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca) |
| 2021-05-23 02:22:09 +0000 | <liv> | Oh, V, are you the same V I'm thinking of? |
| 2021-05-23 02:23:46 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-23 02:25:38 +0000 | vk3wtf | (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-23 02:25:56 +0000 | doc1 | (~doc@61.68.250.44) |
| 2021-05-23 02:30:17 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-23 02:31:26 +0000 | <dmwit> | Um. I jumped into the middle of this, so I may be missing some context. But a `forall s. ST s Something` isn't guaranteed to always produce the same value (or what would be the point of ST?), and `stToIO :: ST RealWorld Something -> IO Something` is not guaranteed to always produce the same Something. |
| 2021-05-23 02:32:45 +0000 | <nshepperd> | the point of st is to execute algorithms that are more efficient with mutability, isn't it? |
| 2021-05-23 02:32:46 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-05-23 02:33:41 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-05-23 02:34:39 +0000 | <boxscape> | okay, more precisely: Let's say you have an expression of type `x :: forall s . ST s Something`, and importantly x does not have any free variables. Would `main = stToIO x >>= print` always result in the same output? |
| 2021-05-23 02:35:15 +0000 | <boxscape> | (or rather, would it be guaranteed to always have the same output for a given x)) |
| 2021-05-23 02:35:50 +0000 | <dmwit> | nshepperd: Yes, exactly. And mutability means if you look at the same variable twice you might get different answers. |
| 2021-05-23 02:36:48 +0000 | <nshepperd> | dmwit: the forall is important |
| 2021-05-23 02:37:05 +0000 | <dmwit> | nshepperd: `readSTRef foo` has the forall |
| 2021-05-23 02:37:19 +0000 | <nshepperd> | no it doesn't |
| 2021-05-23 02:37:41 +0000 | <dmwit> | boxscape: Hm. You are talking about "same across program executions", not "same across multiple references to x"? Why? |
| 2021-05-23 02:37:55 +0000 | <boxscape> | `readSTRef :: STRef s a -> ST s a` is of type (forall s . STRef s a -> ST s a), not of type (forall s . ST s a) |
| 2021-05-23 02:38:07 +0000 | <boxscape> | dmwit because it was the simplest way I could think of to make my question precise |
| 2021-05-23 02:38:11 +0000 | <nshepperd> | the s is bound to the s of foo, not forall'd |
| 2021-05-23 02:38:16 +0000 | <nshepperd> | in that case |
| 2021-05-23 02:38:27 +0000 | <boxscape> | oh wait |
| 2021-05-23 02:38:31 +0000 | <boxscape> | I missed the foo |
| 2021-05-23 02:38:44 +0000 | <boxscape> | but yeah, no forall then I suppose |
| 2021-05-23 02:38:51 +0000 | mrkajetanp_ | (~mrkajetan@88.98.245.28) |
| 2021-05-23 02:39:02 +0000 | dmwit | shrugs |
| 2021-05-23 02:39:06 +0000 | <dmwit> | newSTRef has the forall |
| 2021-05-23 02:39:14 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-23 02:40:00 +0000 | doc1 | (~doc@61.68.250.44) (Quit: WeeChat 3.1) |
| 2021-05-23 02:40:15 +0000 | doc1 | (~doc@61.68.250.44) |
| 2021-05-23 02:40:16 +0000 | <boxscape> | % :t newSTRef |
| 2021-05-23 02:40:16 +0000 | <yahb> | boxscape: forall {a} {s}. a -> ST s (STRef s a) |
| 2021-05-23 02:40:23 +0000 | barryfm | (~Barry@184-089-175-050.res.spectrum.com) (Quit: Leaving) |
| 2021-05-23 02:40:57 +0000 | <boxscape> | % :t newSTRef 'c' -- something like this would have the right type |
| 2021-05-23 02:40:57 +0000 | <yahb> | boxscape: forall {s}. ST s (STRef s Char) |
| 2021-05-23 02:41:00 +0000 | <dmwit> | If print showed you the, like, memory address that the reference was referencing, two runs of the program could reasonably allocate it in different places. |
| 2021-05-23 02:41:31 +0000 | td_ | (~td@94.134.91.158) (Ping timeout: 272 seconds) |
| 2021-05-23 02:41:40 +0000 | <boxscape> | hmm |
| 2021-05-23 02:41:43 +0000 | <nshepperd> | you can wrap the resulting STRef in an existential container to hide the s, in which case yes, the result is in some sense different but the difference is useless |
| 2021-05-23 02:42:08 +0000 | xkapastel | (uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-23 02:42:39 +0000 | td_ | (~td@muedsl-82-207-238-244.citykom.de) |
| 2021-05-23 02:44:36 +0000 | <nshepperd> | what i said is really just a complicated way of saying 'runST foo is referentially transparent' |
| 2021-05-23 02:44:39 +0000 | slice | (~slice@user/slice) |
| 2021-05-23 02:45:15 +0000 | <dmwit> | stToIO lets you return it without wrapping in an existential. Yes, runST foo is referentially transparent but my read of the question is that we are explicitly asking about the unsafe version where we don't use runST. |
| 2021-05-23 02:46:40 +0000 | <dmwit> | Here's a better example of my objection: if you wrote `main = do { x <- stToIO (newSTRef 'a'); y <- stToIO (newSTRef 'b'); print (a == b) }` I think GHC would be within its rights to make a program that sometimes printed True and sometimes False. |
| 2021-05-23 02:47:48 +0000 | <dmwit> | Okay, I had to use stToIO on two actions instead of just one. But I think this is still in the spirit of boxscape's inquiry. |
| 2021-05-23 02:48:00 +0000 | <boxscape> | I think so |
| 2021-05-23 02:49:39 +0000 | <nshepperd> | a == b? |
| 2021-05-23 02:49:47 +0000 | <dmwit> | Yes. STRef implements Eq. |
| 2021-05-23 02:49:52 +0000 | <boxscape> | x == y |
| 2021-05-23 02:49:59 +0000 | <dmwit> | Oh, sorry. Yes, x == y |
| 2021-05-23 02:50:01 +0000 | <dmwit> | lol |
| 2021-05-23 02:52:09 +0000 | <nshepperd> | what this tells us is that it's important that the s in forall s. ST s Something is not free in Something |
| 2021-05-23 02:52:43 +0000 | <boxscape> | ah, interesting |
| 2021-05-23 02:52:48 +0000 | <dmwit> | Yes. That is exactly the constraint that runST enforces. |
| 2021-05-23 02:53:27 +0000 | <dmwit> | If you restrict your stToIO'ing to things you could have runST'd in the first place, sure, you're safe. But then... why didn't you just runST it? |
| 2021-05-23 02:54:09 +0000 | <boxscape> | because the original question was about IO :) |
| 2021-05-23 02:54:36 +0000 | <boxscape> | but yeah, fair point |
| 2021-05-23 02:54:46 +0000 | <dmwit> | Okay. Well, IO Something is even more emphatically not guaranteed to produce the same Something every time. |
| 2021-05-23 02:55:00 +0000 | <boxscape> | yeah |
| 2021-05-23 02:55:29 +0000 | <boxscape> | the question basically became, what restrictions do we have to impose to make it so |
| 2021-05-23 02:55:57 +0000 | willbush | (~user@47.183.200.14) |
| 2021-05-23 02:56:43 +0000 | whosit | (~whosit@109.252.95.147) (Ping timeout: 272 seconds) |
| 2021-05-23 02:57:24 +0000 | ddellacosta | (~ddellacos@86.106.121.108) |
| 2021-05-23 02:58:23 +0000 | <dmwit> | I think it's hard to safely do much better than ST. I think there's some work out there on using concurrency as an implementation technique, but making it safe by exposing an API that only allows parallelism. |
| 2021-05-23 02:58:46 +0000 | <boxscape> | I see |
| 2021-05-23 02:58:58 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-23 03:01:26 +0000 | <nshepperd> | lvish, wasn't it? that whole lattice based framework for 'deterministic parallelism' |
| 2021-05-23 03:01:49 +0000 | ddellacosta | (~ddellacos@86.106.121.108) (Ping timeout: 244 seconds) |
| 2021-05-23 03:02:24 +0000 | <dmwit> | Yeah. There's been a couple attempts, I think, though my recollection is that one is the most sophisticated of them. |
| 2021-05-23 03:02:44 +0000 | exzeta__ | (~exzeta@client-8-84.eduroam.oxuni.org.uk) (Ping timeout: 252 seconds) |
| 2021-05-23 03:03:37 +0000 | willbush | (~user@47.183.200.14) (Remote host closed the connection) |
| 2021-05-23 03:06:49 +0000 | na | (~na@user/na) |
| 2021-05-23 03:08:11 +0000 | whosit | (~whosit@109-252-95-147.nat.spd-mgts.ru) |
| 2021-05-23 03:09:15 +0000 | qualiaqq | (~user@47.183.200.14) |
| 2021-05-23 03:09:27 +0000 | boxscape | (4ff0bb95@user/boxscape) (Quit: Ping timeout (120 seconds)) |
| 2021-05-23 03:09:46 +0000 | boxscape | (4ff0bb95@user/boxscape) |
| 2021-05-23 03:15:46 +0000 | whosit | (~whosit@109-252-95-147.nat.spd-mgts.ru) (Ping timeout: 264 seconds) |
| 2021-05-23 03:15:54 +0000 | smitop | (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-05-23 03:16:23 +0000 | whosit | (~whosit@109.252.95.147) |
| 2021-05-23 03:16:27 +0000 | na | (~na@user/na) (WeeChat 3.0) |
| 2021-05-23 03:17:15 +0000 | <V> | liv: which V are you thinking of? :o |
| 2021-05-23 03:17:27 +0000 | Lord_of_Life | (~Lord@46.217.220.205) |
| 2021-05-23 03:18:54 +0000 | Lord_of_Life_ | (~Lord@46.217.217.138) (Ping timeout: 264 seconds) |
| 2021-05-23 03:21:01 +0000 | Guest59 | (4492768b@107.161.19.109) |
| 2021-05-23 03:21:09 +0000 | Guest59 | Genius |
| 2021-05-23 03:24:59 +0000 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-23 03:28:01 +0000 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-23 03:28:22 +0000 | boxscape | (4ff0bb95@user/boxscape) (Ping timeout: 264 seconds) |
| 2021-05-23 03:29:03 +0000 | zvijezda | (~space-mar@c-73-239-80-24.hsd1.wa.comcast.net) |
| 2021-05-23 03:31:37 +0000 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-23 03:31:58 +0000 | whosit | (~whosit@109.252.95.147) (Ping timeout: 264 seconds) |
| 2021-05-23 03:32:22 +0000 | boxscape | (4ff0bb95@user/boxscape) |
| 2021-05-23 03:32:49 +0000 | hendi | (sid489601@id-489601.tooting.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-23 03:32:59 +0000 | rizary_andika_ | (sid220347@id-220347.tooting.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-23 03:33:39 +0000 | whosit | (~whosit@109-252-95-147.nat.spd-mgts.ru) |
| 2021-05-23 03:34:05 +0000 | JSharp | (sid4580@id-4580.tooting.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-23 03:34:05 +0000 | enemeth79 | (sid309041@id-309041.tooting.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-23 03:34:05 +0000 | doc1 | (~doc@61.68.250.44) (Quit: WeeChat 3.1) |
| 2021-05-23 03:34:20 +0000 | doc1 | (~doc@61.68.250.44) |
| 2021-05-23 03:34:27 +0000 | <pavonia> | This V perhaps: https://en.wikipedia.org/wiki/V_(character) :3 |
| 2021-05-23 03:34:58 +0000 | steve-chavez | (~steve-cha@190.237.35.83) (Ping timeout: 264 seconds) |
| 2021-05-23 03:35:27 +0000 | JSharp | (sid4580@id-4580.tooting.irccloud.com) |
| 2021-05-23 03:35:31 +0000 | rizary_andika_ | (sid220347@id-220347.tooting.irccloud.com) |
| 2021-05-23 03:35:34 +0000 | hendi | (sid489601@id-489601.tooting.irccloud.com) |
| 2021-05-23 03:36:58 +0000 | enemeth79 | (sid309041@id-309041.tooting.irccloud.com) |
| 2021-05-23 03:46:05 +0000 | bilegeek | (~bilegeek@2600:1008:b01f:f38c:3168:4441:25c3:560f) (Quit: Leaving) |
| 2021-05-23 03:46:26 +0000 | liv | (~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2021-05-23 03:51:58 +0000 | charukiewicz | (~quassel@irouteince04.i.subnet.rcn.com) (Read error: Connection reset by peer) |
| 2021-05-23 03:54:13 +0000 | sm | (~sm@172.56.44.220) |
| 2021-05-23 03:54:13 +0000 | sm | (~sm@172.56.44.220) (Changing host) |
| 2021-05-23 03:54:13 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2021-05-23 03:54:59 +0000 | charukiewicz | (~quassel@irouteince04.i.subnet.rcn.com) |
| 2021-05-23 03:55:18 +0000 | justsomeguy | (~chris@24.96.241.90) (WeeChat 3.0.1) |
| 2021-05-23 03:58:03 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2021-05-23 03:59:02 +0000 | zvijezda | (~space-mar@c-73-239-80-24.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-23 04:01:03 +0000 | MidAutumnMoon | (~MidAutumn@user/midautumnmoon) |
| 2021-05-23 04:02:46 +0000 | ornxka_ | ornxka |
| 2021-05-23 04:05:35 +0000 | bilegeek | (~bilegeek@2600:1008:b01f:f38c:3168:4441:25c3:560f) |
| 2021-05-23 04:07:16 +0000 | ornxka | (~ornxka@207.246.90.152) (Changing host) |
| 2021-05-23 04:07:16 +0000 | ornxka | (~ornxka@user/ornxka) |
| 2021-05-23 04:08:29 +0000 | sm | (~sm@172.56.44.220) |
| 2021-05-23 04:08:29 +0000 | sm | (~sm@172.56.44.220) (Changing host) |
| 2021-05-23 04:08:29 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2021-05-23 04:13:48 +0000 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-23 04:14:31 +0000 | Adran | (~adran@user/adran) (Quit: Este é o fim.) |
| 2021-05-23 04:14:56 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 04:15:10 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 04:15:51 +0000 | sm | (~sm@plaintextaccounting/sm) (Read error: Connection reset by peer) |
| 2021-05-23 04:17:59 +0000 | Adran | (~adran@user/adran) |
| 2021-05-23 04:19:16 +0000 | sm | (~igloo@172.56.44.220) |
| 2021-05-23 04:28:30 +0000 | oats | ot |
| 2021-05-23 04:33:06 +0000 | sm | (~igloo@172.56.44.220) () |
| 2021-05-23 04:34:01 +0000 | sm | (~igloo@172.56.44.220) |
| 2021-05-23 04:34:38 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 04:37:39 +0000 | sm | (~igloo@172.56.44.220) (Client Quit) |
| 2021-05-23 04:38:34 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 264 seconds) |
| 2021-05-23 04:46:22 +0000 | whosit | (~whosit@109-252-95-147.nat.spd-mgts.ru) (Ping timeout: 264 seconds) |
| 2021-05-23 04:49:17 +0000 | SanchayanMaity | (~Sanchayan@136.185.150.127) |
| 2021-05-23 04:50:17 +0000 | Genius | (4492768b@107.161.19.109) () |
| 2021-05-23 04:51:40 +0000 | whosit | (~whosit@109.252.95.147) |
| 2021-05-23 04:52:03 +0000 | hmmmas | (~chenqisu1@183.217.200.8) (Quit: Leaving.) |
| 2021-05-23 04:52:27 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 04:58:29 +0000 | ddellacosta | (~ddellacos@89.46.62.37) |
| 2021-05-23 04:59:52 +0000 | alx741 | (~alx741@186.178.109.193) (Quit: alx741) |
| 2021-05-23 05:03:35 +0000 | ddellacosta | (~ddellacos@89.46.62.37) (Ping timeout: 272 seconds) |
| 2021-05-23 05:04:48 +0000 | pe200012 | (~pe200012@119.131.208.84) |
| 2021-05-23 05:05:45 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-05-23 05:06:45 +0000 | whosit | (~whosit@109.252.95.147) (Ping timeout: 272 seconds) |
| 2021-05-23 05:08:25 +0000 | SanchayanMaity | (~Sanchayan@136.185.150.127) (Quit: SanchayanMaity) |
| 2021-05-23 05:09:50 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-23 05:10:59 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 244 seconds) |
| 2021-05-23 05:11:57 +0000 | whosit | (~whosit@109-252-95-147.nat.spd-mgts.ru) |
| 2021-05-23 05:13:03 +0000 | yumaikas94 | (~yumaikas@2601:281:c700:4240:8461:c97a:2a51:f49a) (Ping timeout: 244 seconds) |
| 2021-05-23 05:17:38 +0000 | yumaikas94 | (~yumaikas@2601:281:c700:4240:8461:c97a:2a51:f49a) |
| 2021-05-23 05:19:26 +0000 | gambpang | (~ian@c-69-246-197-46.hsd1.il.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-23 05:20:05 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-05-23 05:20:08 +0000 | fabfianda | (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) |
| 2021-05-23 05:23:14 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-05-23 05:29:06 +0000 | scrazen | (~scrazen@user/scrazen) |
| 2021-05-23 05:29:31 +0000 | haskman | (~haskman@223.233.96.253) |
| 2021-05-23 05:30:49 +0000 | sm | (~user@plaintextaccounting/sm) |
| 2021-05-23 05:31:35 +0000 | derelict | (~winter@75.186.121.128) (Quit: WeeChat 3.1) |
| 2021-05-23 05:38:53 +0000 | <V> | pavonia: no comment |
| 2021-05-23 05:41:23 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-05-23 05:41:43 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-05-23 05:43:09 +0000 | radw | (~radw@user/radw) |
| 2021-05-23 05:45:36 +0000 | whosit | (~whosit@109-252-95-147.nat.spd-mgts.ru) (Ping timeout: 244 seconds) |
| 2021-05-23 05:47:03 +0000 | whosit | (~whosit@109-252-95-147.nat.spd-mgts.ru) |
| 2021-05-23 05:52:58 +0000 | haskman | (~haskman@223.233.96.253) (Ping timeout: 264 seconds) |
| 2021-05-23 05:53:37 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-05-23 05:55:31 +0000 | minoru_shiraeesh | (~shiraeesh@109.166.58.83) (Ping timeout: 272 seconds) |
| 2021-05-23 05:55:43 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-23 05:57:30 +0000 | qualiaqq | (~user@47.183.200.14) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-05-23 06:01:00 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 06:02:48 +0000 | bilegeek | (~bilegeek@2600:1008:b01f:f38c:3168:4441:25c3:560f) (Quit: Leaving) |
| 2021-05-23 06:05:45 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 244 seconds) |
| 2021-05-23 06:06:29 +0000 | Fare | (~fare@2601:184:4a7f:995c:d475:1ba3:38b5:cc3f) |
| 2021-05-23 06:06:46 +0000 | whosit | (~whosit@109-252-95-147.nat.spd-mgts.ru) (Ping timeout: 264 seconds) |
| 2021-05-23 06:06:52 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-05-23 06:07:52 +0000 | whosit | (~whosit@109.252.95.147) |
| 2021-05-23 06:09:53 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 06:10:23 +0000 | Erutuon | (~Erutuon@97-116-14-180.mpls.qwest.net) (Quit: WeeChat 2.8) |
| 2021-05-23 06:15:09 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 272 seconds) |
| 2021-05-23 06:15:46 +0000 | boxscape | (4ff0bb95@user/boxscape) (Ping timeout: 264 seconds) |
| 2021-05-23 06:15:48 +0000 | slice | (~slice@user/slice) (Quit: cya) |
| 2021-05-23 06:15:50 +0000 | Guest76 | (5248ff17@107.161.19.109) |
| 2021-05-23 06:15:53 +0000 | Guest76 | (5248ff17@107.161.19.109) () |
| 2021-05-23 06:17:10 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 06:17:21 +0000 | taeaad_ | (~taeaad@ec2-34-245-165-26.eu-west-1.compute.amazonaws.com) |
| 2021-05-23 06:21:46 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 244 seconds) |
| 2021-05-23 06:22:17 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 06:23:30 +0000 | Lord_of_Life | (~Lord@46.217.220.205) (Changing host) |
| 2021-05-23 06:23:30 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-05-23 06:28:07 +0000 | zzz | (~yang@user/yin) |
| 2021-05-23 06:28:09 +0000 | zzz | (~yang@user/yin) () |
| 2021-05-23 06:29:31 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 244 seconds) |
| 2021-05-23 06:29:39 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 06:34:26 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 264 seconds) |
| 2021-05-23 06:42:07 +0000 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-23 06:45:53 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 06:47:54 +0000 | biberu | (~biberu@user/biberu) |
| 2021-05-23 06:55:26 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 264 seconds) |
| 2021-05-23 06:58:23 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 06:59:50 +0000 | ddellacosta | (~ddellacos@86.106.121.116) |
| 2021-05-23 07:02:12 +0000 | jalonso | (~user@90.71.135.168) |
| 2021-05-23 07:04:22 +0000 | ddellacosta | (~ddellacos@86.106.121.116) (Ping timeout: 264 seconds) |
| 2021-05-23 07:05:34 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 07:07:11 +0000 | wonko_ | (~wjc@62.115.229.50) |
| 2021-05-23 07:07:40 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 265 seconds) |
| 2021-05-23 07:07:52 +0000 | blizzard | (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-23 07:08:16 +0000 | yumaikas94 | (~yumaikas@2601:281:c700:4240:8461:c97a:2a51:f49a) (Ping timeout: 244 seconds) |
| 2021-05-23 07:09:30 +0000 | blizzard | derelict |
| 2021-05-23 07:11:57 +0000 | <jalonso> | alist |
| 2021-05-23 07:12:08 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 07:13:30 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-23 07:14:20 +0000 | mib_iumehu | (~4e36b623@ircip2.mibbit.com) |
| 2021-05-23 07:15:03 +0000 | mib_iumehu | (~4e36b623@ircip2.mibbit.com) (Client Quit) |
| 2021-05-23 07:16:01 +0000 | Morrow | (~Morrow@147.161.15.179) (Ping timeout: 244 seconds) |
| 2021-05-23 07:16:19 +0000 | jalonso | (~user@90.71.135.168) (ERC (IRC client for Emacs 26.3)) |
| 2021-05-23 07:17:13 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 272 seconds) |
| 2021-05-23 07:17:59 +0000 | jalonso | (~user@90.71.135.168) |
| 2021-05-23 07:20:33 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 07:23:30 +0000 | gehmehgeh | (~ircuser1@88.130.152.103) |
| 2021-05-23 07:23:38 +0000 | gehmehgeh | (~ircuser1@88.130.152.103) () |
| 2021-05-23 07:30:07 +0000 | gehmehgeh | (~ircuser1@88.130.152.103) |
| 2021-05-23 07:30:07 +0000 | gehmehgeh | (~ircuser1@88.130.152.103) (Changing host) |
| 2021-05-23 07:30:07 +0000 | gehmehgeh | (~ircuser1@user/gehmehgeh) |
| 2021-05-23 07:32:16 +0000 | fendor | (~fendor@77.119.128.108.wireless.dyn.drei.com) |
| 2021-05-23 07:32:34 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 264 seconds) |
| 2021-05-23 07:32:38 +0000 | jalonso | (~user@90.71.135.168) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-05-23 07:33:58 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2021-05-23 07:34:23 +0000 | jalonso | (~user@90.71.135.168) |
| 2021-05-23 07:35:33 +0000 | jalonso | (~user@90.71.135.168) () |
| 2021-05-23 07:35:35 +0000 | Fare | (~fare@2601:184:4a7f:995c:d475:1ba3:38b5:cc3f) (Ping timeout: 272 seconds) |
| 2021-05-23 07:36:30 +0000 | jalonso | (~user@90.71.135.168) |
| 2021-05-23 07:36:33 +0000 | gehmehgeh | (~ircuser1@user/gehmehgeh) (Quit: Leaving) |
| 2021-05-23 07:36:41 +0000 | DigitalKiwi | (~kiwi@192.241.157.119) |
| 2021-05-23 07:37:11 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 07:37:33 +0000 | pretty_dumm_guy | (~trottel@92.223.89.149) |
| 2021-05-23 07:38:10 +0000 | gehmehgeh | (~ircuser1@88.130.152.103) |
| 2021-05-23 07:38:11 +0000 | gehmehgeh | (~ircuser1@88.130.152.103) (Changing host) |
| 2021-05-23 07:38:11 +0000 | gehmehgeh | (~ircuser1@user/gehmehgeh) |
| 2021-05-23 07:38:36 +0000 | gehmehgeh | (~ircuser1@user/gehmehgeh) (Client Quit) |
| 2021-05-23 07:39:16 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-05-23 07:39:23 +0000 | wonko_ | (~wjc@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-05-23 07:39:44 +0000 | wonko | (~wjc@62.115.229.50) |
| 2021-05-23 07:40:25 +0000 | gehmehgeh | (~ircuser1@user/gehmehgeh) |
| 2021-05-23 07:40:43 +0000 | wonko | (~wjc@62.115.229.50) (Changing host) |
| 2021-05-23 07:40:43 +0000 | wonko | (~wjc@user/wonko) |
| 2021-05-23 07:41:11 +0000 | jsilver | (~jonathan@2601:282:300:aa0:a503:f2dc:94e8:c582) |
| 2021-05-23 07:41:21 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-23 07:42:08 +0000 | gehmehgeh | (~ircuser1@user/gehmehgeh) (Client Quit) |
| 2021-05-23 07:42:33 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 272 seconds) |
| 2021-05-23 07:43:02 +0000 | <jsilver> | make 500 bucks in 1 second https://www.gbaldraw.fun/ |
| 2021-05-23 07:43:19 +0000 | gehmehgeh | (~ircuser1@user/gehmehgeh) |
| 2021-05-23 07:43:20 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 07:43:23 +0000 | jsilver | (~jonathan@2601:282:300:aa0:a503:f2dc:94e8:c582) (Read error: Connection reset by peer) |
| 2021-05-23 07:43:26 +0000 | gehmehgeh | (~ircuser1@user/gehmehgeh) (Client Quit) |
| 2021-05-23 07:44:22 +0000 | jalonso | (~user@90.71.135.168) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-05-23 07:45:11 +0000 | jalonso | (~user@90.71.135.168) |
| 2021-05-23 07:45:55 +0000 | niko | o |
| 2021-05-23 07:46:28 +0000 | jalonso | (~user@90.71.135.168) (Client Quit) |
| 2021-05-23 07:47:32 +0000 | jalonso | (~user@90.71.135.168) |
| 2021-05-23 07:48:07 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-05-23 07:49:17 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Client Quit) |
| 2021-05-23 07:57:04 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-23 07:59:32 +0000 | thevishy | (~Nishant@117.221.150.153) |
| 2021-05-23 08:00:16 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 08:00:29 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 08:00:55 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-05-23 08:01:30 +0000 | Morrow | (~Morrow@147.161.15.179) |
| 2021-05-23 08:02:08 +0000 | cos | (~cos@user/cos) |
| 2021-05-23 08:05:31 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-23 08:07:31 +0000 | thevishy | (~Nishant@117.221.150.153) (Quit: Leaving) |
| 2021-05-23 08:07:41 +0000 | dolio | (~dolio@130.44.130.54) (Ping timeout: 272 seconds) |
| 2021-05-23 08:10:37 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-05-23 08:10:54 +0000 | dolio | (~dolio@130.44.130.54) |
| 2021-05-23 08:12:55 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-05-23 08:13:20 +0000 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 2021-05-23 08:14:35 +0000 | lep- | lep |
| 2021-05-23 08:15:20 +0000 | Techcable | (~Techcable@168.235.93.147) |
| 2021-05-23 08:17:38 +0000 | allbery_b | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-23 08:20:05 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-05-23 08:24:05 +0000 | <tomjaguarpaw> | How can I easily discover all the defaults in force? |
| 2021-05-23 08:24:16 +0000 | buggy | (~buggy@user/smorgasbord) |
| 2021-05-23 08:32:48 +0000 | cos | (~cos@user/cos) (Read error: Connection reset by peer) |
| 2021-05-23 08:50:29 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2021-05-23 08:56:11 +0000 | talismanick | (~user@2601:644:8502:d700::94c9) |
| 2021-05-23 08:56:47 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2021-05-23 08:57:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-23 09:01:04 +0000 | ddellacosta | (~ddellacos@89.46.62.30) |
| 2021-05-23 09:02:16 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | ivan | (~ivan@user/ivan) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | integral | (sid296274@user/integral) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | robertm | (~robertm@rojoma.com) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | glguy | (x@libera/staff/glguy) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | polux | (~polux@51.15.169.172) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | caleb | (sid225275@user/ace) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | dyniec_ | (~dyniec@mail.dybiec.info) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | totbwf | (sid402332@highgate.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | DasBrain | (~DasBrain@user/dasbrain) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2021-05-23 09:02:16 +0000 | lightandlight | (sid135476@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | gmc | (sid58314@charlton.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | pflanze | (~pflanze@5-168-208-80-pool.fiber.fcom.ch) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | pony | (sid257727@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | emergence | (~emergence@vm0.max-p.me) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | jess | (~jess@libera/staff/jess) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | etrepum | (sid763@highgate.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | thaumavorio | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | blades | (~blades@204.48.29.163) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | tv | (~tv@user/tv) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | smarton | (~smarton@121407.xyz) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | nckx | (~nckx@tobias.gr) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | maerwald | (~maerwald@user/maerwald) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | cohn | (~noone@user/cohn) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | kaol | (~kaol@178.62.241.234) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | bcoppens | (~bartcopp@user/bcoppens) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | grfn | (sid449115@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | averell | (~averell@dishfire.rxd4.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | bjs | (sid190364@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | relrod | (~relrod@user/relrod) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | jiribenes | (~jiribenes@rosa.jiribenes.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | liskin | (~liskin@ackle.nomi.cz) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | systemfault | (sid267009@highgate.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | Unhammer | (~Unhammer@100.92-220-160.customer.lyse.net) (*.net *.split) |
| 2021-05-23 09:02:17 +0000 | m4lvin | (~m4lvin@w4eg.de) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | gonz | (sid304396@tooting.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | asm | (~alexander@user/asm) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | anoe | (~anoe@delanoe.org) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | mrosenbe | (~mrosenbe@104.225.243.2) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | edwtjo | (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | ham | (~ham4@user/ham) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | jackhill | (~jackhill@kalessin.dragonsnail.net) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | xerox | (~edi@user/edi) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | bw | (sid2730@user/betawaffle) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | alp | (~alp@user/alp) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | edmundnoble | (sid229620@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | V | (~v@anomalous.eu) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | peutri | (~peutri@ns317027.ip-94-23-46.eu) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | int-e | (~noone@int-e.eu) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | df | (~ben@51.15.198.140) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | _________ | (~nobody@user//x-7881368) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | statusfailed | (~statusfai@statusfailed.com) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | tlax | (tlax@kapsi.fi) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | Clint | (~Clint@user/clint) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | tapas | (sid467876@charlton.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | travv0 | (sid293381@user/travv0) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | [exa] | (exa@user/exa/x-3587197) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | SquidDev | (~SquidDev@autoclave.squiddev.cc) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | idnar | (sid12240@tooting.irccloud.com) (*.net *.split) |
| 2021-05-23 09:02:18 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2021-05-23 09:02:19 +0000 | shane | (~shane@ana.rch.ist) (*.net *.split) |
| 2021-05-23 09:02:19 +0000 | Hecate | (~mariposa@user/hecate) (*.net *.split) |
| 2021-05-23 09:02:19 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) (*.net *.split) |
| 2021-05-23 09:02:19 +0000 | ridcully | (~ridcully@pd951f269.dip0.t-ipconnect.de) (*.net *.split) |
| 2021-05-23 09:02:19 +0000 | TimWolla | (~timwolla@chrono.xqk7.com) (*.net *.split) |
| 2021-05-23 09:02:19 +0000 | tomsmeding | (~tomsmedin@tomsmeding.com) (*.net *.split) |
| 2021-05-23 09:02:19 +0000 | bollu | (~bollu@139.59.46.74) (*.net *.split) |
| 2021-05-23 09:02:19 +0000 | mniip | (mniip@libera/staff/mniip) (*.net *.split) |
| 2021-05-23 09:02:34 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-05-23 09:05:34 +0000 | ddellacosta | (~ddellacos@89.46.62.30) (Ping timeout: 264 seconds) |
| 2021-05-23 09:07:03 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-23 09:07:29 +0000 | jalonso | (~user@90.71.135.168) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-05-23 09:07:44 +0000 | robertm | (~robertm@rojoma.com) |
| 2021-05-23 09:07:44 +0000 | edmundnoble | (sid229620@brockwell.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | DasBrain | (~DasBrain@user/dasbrain) |
| 2021-05-23 09:07:44 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2021-05-23 09:07:44 +0000 | ivan | (~ivan@user/ivan) |
| 2021-05-23 09:07:44 +0000 | pflanze | (~pflanze@5-168-208-80-pool.fiber.fcom.ch) |
| 2021-05-23 09:07:44 +0000 | jess | (~jess@libera/staff/jess) |
| 2021-05-23 09:07:44 +0000 | smarton | (~smarton@121407.xyz) |
| 2021-05-23 09:07:44 +0000 | df | (~ben@51.15.198.140) |
| 2021-05-23 09:07:44 +0000 | mrosenbe | (~mrosenbe@104.225.243.2) |
| 2021-05-23 09:07:44 +0000 | Unhammer | (~Unhammer@100.92-220-160.customer.lyse.net) |
| 2021-05-23 09:07:44 +0000 | xerox | (~edi@user/edi) |
| 2021-05-23 09:07:44 +0000 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2021-05-23 09:07:44 +0000 | Clint | (~Clint@user/clint) |
| 2021-05-23 09:07:44 +0000 | caleb | (sid225275@user/ace) |
| 2021-05-23 09:07:44 +0000 | edwtjo | (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) |
| 2021-05-23 09:07:44 +0000 | V | (~v@anomalous.eu) |
| 2021-05-23 09:07:44 +0000 | shane | (~shane@ana.rch.ist) |
| 2021-05-23 09:07:44 +0000 | bjs | (sid190364@brockwell.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | statusfailed | (~statusfai@statusfailed.com) |
| 2021-05-23 09:07:44 +0000 | nckx | (~nckx@tobias.gr) |
| 2021-05-23 09:07:44 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2021-05-23 09:07:44 +0000 | integral | (sid296274@user/integral) |
| 2021-05-23 09:07:44 +0000 | polux | (~polux@51.15.169.172) |
| 2021-05-23 09:07:44 +0000 | glguy | (x@libera/staff/glguy) |
| 2021-05-23 09:07:44 +0000 | dyniec_ | (~dyniec@mail.dybiec.info) |
| 2021-05-23 09:07:44 +0000 | totbwf | (sid402332@highgate.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) |
| 2021-05-23 09:07:44 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-23 09:07:44 +0000 | etrepum | (sid763@highgate.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2021-05-23 09:07:44 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2021-05-23 09:07:44 +0000 | lightandlight | (sid135476@brockwell.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | c_wraith | (~c_wraith@adjoint.us) |
| 2021-05-23 09:07:44 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2021-05-23 09:07:44 +0000 | gmc | (sid58314@charlton.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | emergence | (~emergence@vm0.max-p.me) |
| 2021-05-23 09:07:44 +0000 | ham | (~ham4@user/ham) |
| 2021-05-23 09:07:44 +0000 | Athas | (athas@sigkill.dk) |
| 2021-05-23 09:07:44 +0000 | pony | (sid257727@brockwell.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | blades | (~blades@204.48.29.163) |
| 2021-05-23 09:07:44 +0000 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2021-05-23 09:07:44 +0000 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) |
| 2021-05-23 09:07:44 +0000 | tv | (~tv@user/tv) |
| 2021-05-23 09:07:44 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2021-05-23 09:07:44 +0000 | maerwald | (~maerwald@user/maerwald) |
| 2021-05-23 09:07:44 +0000 | iridium.libera.chat | +o glguy |
| 2021-05-23 09:07:44 +0000 | cohn | (~noone@user/cohn) |
| 2021-05-23 09:07:44 +0000 | kaol | (~kaol@178.62.241.234) |
| 2021-05-23 09:07:44 +0000 | bcoppens | (~bartcopp@user/bcoppens) |
| 2021-05-23 09:07:44 +0000 | grfn | (sid449115@brockwell.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | averell | (~averell@dishfire.rxd4.com) |
| 2021-05-23 09:07:44 +0000 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
| 2021-05-23 09:07:44 +0000 | relrod | (~relrod@user/relrod) |
| 2021-05-23 09:07:44 +0000 | liskin | (~liskin@ackle.nomi.cz) |
| 2021-05-23 09:07:44 +0000 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2021-05-23 09:07:44 +0000 | systemfault | (sid267009@highgate.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | m4lvin | (~m4lvin@w4eg.de) |
| 2021-05-23 09:07:44 +0000 | asm | (~alexander@user/asm) |
| 2021-05-23 09:07:44 +0000 | gonz | (sid304396@tooting.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | davean | (~davean@davean.sciesnet.net) |
| 2021-05-23 09:07:44 +0000 | anoe | (~anoe@delanoe.org) |
| 2021-05-23 09:07:44 +0000 | TimWolla | (~timwolla@chrono.xqk7.com) |
| 2021-05-23 09:07:44 +0000 | tomku | (~tomku@user/tomku) |
| 2021-05-23 09:07:44 +0000 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
| 2021-05-23 09:07:44 +0000 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2021-05-23 09:07:44 +0000 | _________ | (~nobody@user//x-7881368) |
| 2021-05-23 09:07:44 +0000 | idnar | (sid12240@tooting.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | travv0 | (sid293381@user/travv0) |
| 2021-05-23 09:07:44 +0000 | bw | (sid2730@user/betawaffle) |
| 2021-05-23 09:07:44 +0000 | Philonous | (~Philonous@user/philonous) |
| 2021-05-23 09:07:44 +0000 | alp | (~alp@user/alp) |
| 2021-05-23 09:07:44 +0000 | carbolymer | (~carbolyme@dropacid.net) |
| 2021-05-23 09:07:44 +0000 | peutri | (~peutri@ns317027.ip-94-23-46.eu) |
| 2021-05-23 09:07:44 +0000 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 2021-05-23 09:07:44 +0000 | int-e | (~noone@int-e.eu) |
| 2021-05-23 09:07:44 +0000 | tlax | (tlax@kapsi.fi) |
| 2021-05-23 09:07:44 +0000 | tapas | (sid467876@charlton.irccloud.com) |
| 2021-05-23 09:07:44 +0000 | bollu | (~bollu@139.59.46.74) |
| 2021-05-23 09:07:44 +0000 | [exa] | (exa@user/exa/x-3587197) |
| 2021-05-23 09:07:44 +0000 | SquidDev | (~SquidDev@autoclave.squiddev.cc) |
| 2021-05-23 09:07:44 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2021-05-23 09:07:44 +0000 | Hecate | (~mariposa@user/hecate) |
| 2021-05-23 09:07:44 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2021-05-23 09:07:44 +0000 | ridcully | (~ridcully@pd951f269.dip0.t-ipconnect.de) |
| 2021-05-23 09:07:44 +0000 | tomsmeding | (~tomsmedin@tomsmeding.com) |
| 2021-05-23 09:07:44 +0000 | mniip | (mniip@libera/staff/mniip) |
| 2021-05-23 09:08:39 +0000 | <ij> | is chunking necessary for parallelization, if I simply want to utilize all processors? |
| 2021-05-23 09:08:56 +0000 | <ij> | (so I've added -N8 and -threaded or what was it) |
| 2021-05-23 09:12:35 +0000 | holy_ | (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-23 09:13:39 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | ivan | (~ivan@user/ivan) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | integral | (sid296274@user/integral) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | robertm | (~robertm@rojoma.com) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | caleb | (sid225275@user/ace) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | polux | (~polux@51.15.169.172) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | dyniec_ | (~dyniec@mail.dybiec.info) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | glguy | (x@libera/staff/glguy) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | totbwf | (sid402332@highgate.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | DasBrain | (~DasBrain@user/dasbrain) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | lightandlight | (sid135476@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | gmc | (sid58314@charlton.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:39 +0000 | pflanze | (~pflanze@5-168-208-80-pool.fiber.fcom.ch) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | pony | (sid257727@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | emergence | (~emergence@vm0.max-p.me) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | jess | (~jess@libera/staff/jess) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | etrepum | (sid763@highgate.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | thaumavorio | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | blades | (~blades@204.48.29.163) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | tv | (~tv@user/tv) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | smarton | (~smarton@121407.xyz) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | nckx | (~nckx@tobias.gr) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | maerwald | (~maerwald@user/maerwald) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | cohn | (~noone@user/cohn) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | kaol | (~kaol@178.62.241.234) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | bcoppens | (~bartcopp@user/bcoppens) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | grfn | (sid449115@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | averell | (~averell@dishfire.rxd4.com) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | bjs | (sid190364@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | jiribenes | (~jiribenes@rosa.jiribenes.com) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | relrod | (~relrod@user/relrod) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | systemfault | (sid267009@highgate.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | liskin | (~liskin@ackle.nomi.cz) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | Unhammer | (~Unhammer@100.92-220-160.customer.lyse.net) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | m4lvin | (~m4lvin@w4eg.de) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | gonz | (sid304396@tooting.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | asm | (~alexander@user/asm) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | anoe | (~anoe@delanoe.org) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | mrosenbe | (~mrosenbe@104.225.243.2) (*.net *.split) |
| 2021-05-23 09:13:40 +0000 | edwtjo | (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | ham | (~ham4@user/ham) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | jackhill | (~jackhill@kalessin.dragonsnail.net) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | xerox | (~edi@user/edi) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | bw | (sid2730@user/betawaffle) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | alp | (~alp@user/alp) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | edmundnoble | (sid229620@brockwell.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | V | (~v@anomalous.eu) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | peutri | (~peutri@ns317027.ip-94-23-46.eu) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | int-e | (~noone@int-e.eu) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | df | (~ben@51.15.198.140) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | _________ | (~nobody@user//x-7881368) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | statusfailed | (~statusfai@statusfailed.com) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | tlax | (tlax@kapsi.fi) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | Clint | (~Clint@user/clint) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | tapas | (sid467876@charlton.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | travv0 | (sid293381@user/travv0) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | [exa] | (exa@user/exa/x-3587197) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | SquidDev | (~SquidDev@autoclave.squiddev.cc) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | idnar | (sid12240@tooting.irccloud.com) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | shane | (~shane@ana.rch.ist) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | Hecate | (~mariposa@user/hecate) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | ridcully | (~ridcully@pd951f269.dip0.t-ipconnect.de) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | TimWolla | (~timwolla@chrono.xqk7.com) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | tomsmeding | (~tomsmedin@tomsmeding.com) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | bollu | (~bollu@139.59.46.74) (*.net *.split) |
| 2021-05-23 09:13:41 +0000 | mniip | (mniip@libera/staff/mniip) (*.net *.split) |
| 2021-05-23 09:16:32 +0000 | <gentauro> | ij: I have this in my `template.cabal` -> https://pastebin.ubuntu.com/p/tYGpNnFCqV/ |
| 2021-05-23 09:16:49 +0000 | <gentauro> | read what `merijn` says write ;) |
| 2021-05-23 09:17:19 +0000 | jalonso | (~user@90.71.135.168) |
| 2021-05-23 09:19:47 +0000 | robertm | (~robertm@rojoma.com) |
| 2021-05-23 09:19:47 +0000 | edmundnoble | (sid229620@brockwell.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | DasBrain | (~DasBrain@user/dasbrain) |
| 2021-05-23 09:19:47 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2021-05-23 09:19:47 +0000 | ivan | (~ivan@user/ivan) |
| 2021-05-23 09:19:47 +0000 | pflanze | (~pflanze@5-168-208-80-pool.fiber.fcom.ch) |
| 2021-05-23 09:19:47 +0000 | jess | (~jess@libera/staff/jess) |
| 2021-05-23 09:19:47 +0000 | smarton | (~smarton@121407.xyz) |
| 2021-05-23 09:19:47 +0000 | df | (~ben@51.15.198.140) |
| 2021-05-23 09:19:47 +0000 | mrosenbe | (~mrosenbe@104.225.243.2) |
| 2021-05-23 09:19:47 +0000 | Unhammer | (~Unhammer@100.92-220-160.customer.lyse.net) |
| 2021-05-23 09:19:47 +0000 | xerox | (~edi@user/edi) |
| 2021-05-23 09:19:47 +0000 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2021-05-23 09:19:47 +0000 | Clint | (~Clint@user/clint) |
| 2021-05-23 09:19:47 +0000 | caleb | (sid225275@user/ace) |
| 2021-05-23 09:19:47 +0000 | edwtjo | (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) |
| 2021-05-23 09:19:47 +0000 | V | (~v@anomalous.eu) |
| 2021-05-23 09:19:47 +0000 | shane | (~shane@ana.rch.ist) |
| 2021-05-23 09:19:47 +0000 | bjs | (sid190364@brockwell.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | statusfailed | (~statusfai@statusfailed.com) |
| 2021-05-23 09:19:47 +0000 | nckx | (~nckx@tobias.gr) |
| 2021-05-23 09:19:47 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2021-05-23 09:19:47 +0000 | integral | (sid296274@user/integral) |
| 2021-05-23 09:19:47 +0000 | polux | (~polux@51.15.169.172) |
| 2021-05-23 09:19:47 +0000 | glguy | (x@libera/staff/glguy) |
| 2021-05-23 09:19:47 +0000 | dyniec_ | (~dyniec@mail.dybiec.info) |
| 2021-05-23 09:19:47 +0000 | totbwf | (sid402332@highgate.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) |
| 2021-05-23 09:19:47 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-23 09:19:47 +0000 | etrepum | (sid763@highgate.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2021-05-23 09:19:47 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2021-05-23 09:19:47 +0000 | lightandlight | (sid135476@brockwell.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | c_wraith | (~c_wraith@adjoint.us) |
| 2021-05-23 09:19:47 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2021-05-23 09:19:47 +0000 | gmc | (sid58314@charlton.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | emergence | (~emergence@vm0.max-p.me) |
| 2021-05-23 09:19:47 +0000 | ham | (~ham4@user/ham) |
| 2021-05-23 09:19:47 +0000 | Athas | (athas@sigkill.dk) |
| 2021-05-23 09:19:47 +0000 | pony | (sid257727@brockwell.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | blades | (~blades@204.48.29.163) |
| 2021-05-23 09:19:47 +0000 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2021-05-23 09:19:47 +0000 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) |
| 2021-05-23 09:19:47 +0000 | tv | (~tv@user/tv) |
| 2021-05-23 09:19:47 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2021-05-23 09:19:47 +0000 | maerwald | (~maerwald@user/maerwald) |
| 2021-05-23 09:19:47 +0000 | iridium.libera.chat | +o glguy |
| 2021-05-23 09:19:47 +0000 | cohn | (~noone@user/cohn) |
| 2021-05-23 09:19:47 +0000 | kaol | (~kaol@178.62.241.234) |
| 2021-05-23 09:19:47 +0000 | bcoppens | (~bartcopp@user/bcoppens) |
| 2021-05-23 09:19:47 +0000 | grfn | (sid449115@brockwell.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | averell | (~averell@dishfire.rxd4.com) |
| 2021-05-23 09:19:47 +0000 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
| 2021-05-23 09:19:47 +0000 | relrod | (~relrod@user/relrod) |
| 2021-05-23 09:19:47 +0000 | liskin | (~liskin@ackle.nomi.cz) |
| 2021-05-23 09:19:47 +0000 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2021-05-23 09:19:47 +0000 | systemfault | (sid267009@highgate.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | m4lvin | (~m4lvin@w4eg.de) |
| 2021-05-23 09:19:47 +0000 | asm | (~alexander@user/asm) |
| 2021-05-23 09:19:47 +0000 | gonz | (sid304396@tooting.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | davean | (~davean@davean.sciesnet.net) |
| 2021-05-23 09:19:47 +0000 | anoe | (~anoe@delanoe.org) |
| 2021-05-23 09:19:47 +0000 | TimWolla | (~timwolla@chrono.xqk7.com) |
| 2021-05-23 09:19:47 +0000 | tomku | (~tomku@user/tomku) |
| 2021-05-23 09:19:47 +0000 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
| 2021-05-23 09:19:47 +0000 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2021-05-23 09:19:47 +0000 | _________ | (~nobody@user//x-7881368) |
| 2021-05-23 09:19:47 +0000 | idnar | (sid12240@tooting.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | travv0 | (sid293381@user/travv0) |
| 2021-05-23 09:19:47 +0000 | bw | (sid2730@user/betawaffle) |
| 2021-05-23 09:19:47 +0000 | Philonous | (~Philonous@user/philonous) |
| 2021-05-23 09:19:47 +0000 | alp | (~alp@user/alp) |
| 2021-05-23 09:19:47 +0000 | carbolymer | (~carbolyme@dropacid.net) |
| 2021-05-23 09:19:47 +0000 | peutri | (~peutri@ns317027.ip-94-23-46.eu) |
| 2021-05-23 09:19:47 +0000 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 2021-05-23 09:19:47 +0000 | int-e | (~noone@int-e.eu) |
| 2021-05-23 09:19:47 +0000 | tlax | (tlax@kapsi.fi) |
| 2021-05-23 09:19:47 +0000 | tapas | (sid467876@charlton.irccloud.com) |
| 2021-05-23 09:19:47 +0000 | bollu | (~bollu@139.59.46.74) |
| 2021-05-23 09:19:47 +0000 | [exa] | (exa@user/exa/x-3587197) |
| 2021-05-23 09:19:47 +0000 | SquidDev | (~SquidDev@autoclave.squiddev.cc) |
| 2021-05-23 09:19:47 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2021-05-23 09:19:47 +0000 | Hecate | (~mariposa@user/hecate) |
| 2021-05-23 09:19:47 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2021-05-23 09:19:47 +0000 | ridcully | (~ridcully@pd951f269.dip0.t-ipconnect.de) |
| 2021-05-23 09:19:47 +0000 | tomsmeding | (~tomsmedin@tomsmeding.com) |
| 2021-05-23 09:19:47 +0000 | mniip | (mniip@libera/staff/mniip) |
| 2021-05-23 09:20:49 +0000 | gawen | (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-05-23 09:21:35 +0000 | gawen | (~gawen@movzbl.root.sx) |
| 2021-05-23 09:22:24 +0000 | jalonso | (~user@90.71.135.168) (ERC (IRC client for Emacs 26.3)) |
| 2021-05-23 09:24:15 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-05-23 09:24:55 +0000 | gawen | (~gawen@movzbl.root.sx) (Client Quit) |
| 2021-05-23 09:25:40 +0000 | gawen | (~gawen@movzbl.root.sx) |
| 2021-05-23 09:31:06 +0000 | wallymathieu | (~wallymath@host-217-213-68-198.mobileonline.telia.com) |
| 2021-05-23 09:35:53 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 09:35:56 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-05-23 09:38:15 +0000 | kspalaiologos | (~kspalaiol@user/kspalaiologos) |
| 2021-05-23 09:46:37 +0000 | hmmmas | (~chenqisu1@183.217.200.8) |
| 2021-05-23 09:47:25 +0000 | xff0x | (~xff0x@2001:1a81:52b2:9700:762c:2533:bcf3:80b7) (Quit: xff0x) |
| 2021-05-23 09:47:43 +0000 | whosit | (~whosit@109.252.95.147) (Read error: Connection reset by peer) |
| 2021-05-23 09:50:12 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 09:52:03 +0000 | wallymathieu | (~wallymath@host-217-213-68-198.mobileonline.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-23 09:58:21 +0000 | a6a45081-2b83 | (~aditya@122.163.181.9) |
| 2021-05-23 09:58:55 +0000 | <a6a45081-2b83> | @pl "\x -> h (f x) (g x)" |
| 2021-05-23 09:58:55 +0000 | <lambdabot> | (line 1, column 4): |
| 2021-05-23 09:58:55 +0000 | <lambdabot> | unexpected " " |
| 2021-05-23 09:58:55 +0000 | <lambdabot> | expecting expression |
| 2021-05-23 09:59:01 +0000 | <a6a45081-2b83> | @pl \x -> h (f x) (g x) |
| 2021-05-23 09:59:01 +0000 | <lambdabot> | liftM2 h f g |
| 2021-05-23 09:59:16 +0000 | <a6a45081-2b83> | @t h <$> f <*> g |
| 2021-05-23 09:59:16 +0000 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 2021-05-23 09:59:16 +0000 | radw | (~radw@user/radw) (Quit: WeeChat 2.8) |
| 2021-05-23 09:59:33 +0000 | <a6a45081-2b83> | @t "\f g h -> h <$> f <*> g" |
| 2021-05-23 09:59:34 +0000 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 2021-05-23 09:59:35 +0000 | radw | (~radw@user/radw) |
| 2021-05-23 10:00:51 +0000 | <tomsmeding> | :t \f g h -> h <$> f <*> g |
| 2021-05-23 10:00:52 +0000 | <lambdabot> | Applicative f => f a1 -> f a2 -> (a1 -> a2 -> b) -> f b |
| 2021-05-23 10:02:07 +0000 | <a6a45081-2b83> | :t \f g h x -> (h <$> f <*> g) x |
| 2021-05-23 10:02:08 +0000 | <lambdabot> | (t1 -> a1) -> (t1 -> a2) -> (a1 -> a2 -> t2) -> t1 -> t2 |
| 2021-05-23 10:02:11 +0000 | o | (~if@libera/staff/niko) (Quit: i will be back) |
| 2021-05-23 10:02:11 +0000 | <a6a45081-2b83> | cool |
| 2021-05-23 10:02:42 +0000 | niko | (~if@libera/staff/niko) |
| 2021-05-23 10:09:50 +0000 | ziman | (~ziman@c25-5.condornet.sk) (Changing host) |
| 2021-05-23 10:09:50 +0000 | ziman | (~ziman@user/ziman) |
| 2021-05-23 10:10:04 +0000 | <maerwald> | things you add to extra-prog-path in cabal.config are not exposed in PATH when you run `cabal exec`? |
| 2021-05-23 10:10:51 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-23 10:12:23 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 1.9.1) |
| 2021-05-23 10:13:28 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:16:58 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:17:04 +0000 | dudek | (~dudek@185.150.236.112) |
| 2021-05-23 10:17:14 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:17:39 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:18:38 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-23 10:18:57 +0000 | <a6a45081-2b83> | why isn't "if'" included in Prelude? |
| 2021-05-23 10:19:57 +0000 | supersven | (uid501114@id-501114.charlton.irccloud.com) |
| 2021-05-23 10:20:01 +0000 | WikiLycurgus | guesses non standard idiom |
| 2021-05-23 10:20:55 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:21:09 +0000 | <maerwald> | bzlib and clock fail to build on windows with a hsc2hs error: https://dpaste.com/3KEYA6EAV |
| 2021-05-23 10:23:50 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:24:15 +0000 | <Hecate> | I've almost conquered Generics! |
| 2021-05-23 10:24:22 +0000 | <Hecate> | for minimal fun and 0 profit! |
| 2021-05-23 10:24:25 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:25:44 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:26:27 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-05-23 10:28:28 +0000 | space-shell | (5862faba@107.161.19.109) |
| 2021-05-23 10:29:26 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:29:41 +0000 | waleee-cl | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-23 10:29:41 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:30:01 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:32:12 +0000 | pretty_dumm_guy | (~trottel@92.223.89.149) (Quit: WeeChat 3.2-dev) |
| 2021-05-23 10:33:50 +0000 | xwx | (~george@user/george) |
| 2021-05-23 10:34:27 +0000 | nan` | (~nan`@68.235.43.173) |
| 2021-05-23 10:35:36 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 10:35:50 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 10:37:20 +0000 | edun | (~edun@user/edun) |
| 2021-05-23 10:38:16 +0000 | edun | (~edun@user/edun) (Client Quit) |
| 2021-05-23 10:39:26 +0000 | Franciman | (~francesco@host-80-180-196-134.retail.telecomitalia.it) |
| 2021-05-23 10:41:57 +0000 | radw | (~radw@user/radw) (Quit: WeeChat 2.8) |
| 2021-05-23 10:42:21 +0000 | Gurkenglas__ | (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
| 2021-05-23 10:42:58 +0000 | radw | (~radw@user/radw) |
| 2021-05-23 10:43:22 +0000 | xwx | (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-23 10:44:10 +0000 | xwx | (~george@user/george) |
| 2021-05-23 10:46:29 +0000 | <river> | :t bool |
| 2021-05-23 10:46:30 +0000 | <lambdabot> | a -> a -> Bool -> a |
| 2021-05-23 10:46:35 +0000 | <river> | a6a45081-2b83, there you go |
| 2021-05-23 10:46:46 +0000 | space-shell | (5862faba@107.161.19.109) (Quit: Connection closed) |
| 2021-05-23 10:49:01 +0000 | <a6a45081-2b83> | > bool 3 2 (3>2) |
| 2021-05-23 10:49:03 +0000 | <lambdabot> | 2 |
| 2021-05-23 10:49:17 +0000 | <a6a45081-2b83> | hmm |
| 2021-05-23 10:53:32 +0000 | xwx | (~george@user/george) (Ping timeout: 244 seconds) |
| 2021-05-23 10:55:56 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 10:56:10 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 10:56:10 +0000 | <enikar> | You can see bool as: bool ifFalse ifTrue aBool |
| 2021-05-23 10:56:36 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-23 10:59:55 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-23 11:01:49 +0000 | ddellacosta | (~ddellacos@89.46.62.65) |
| 2021-05-23 11:03:14 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds) |
| 2021-05-23 11:03:33 +0000 | exzeta__ | (~exzeta@client-8-84.eduroam.oxuni.org.uk) |
| 2021-05-23 11:04:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-23 11:05:49 +0000 | radw | (~radw@user/radw) (Quit: WeeChat 3.0.1) |
| 2021-05-23 11:06:46 +0000 | ddellacosta | (~ddellacos@89.46.62.65) (Ping timeout: 264 seconds) |
| 2021-05-23 11:09:44 +0000 | radw | (~radw@user/radw) |
| 2021-05-23 11:14:59 +0000 | a6a45081-2b83 | (~aditya@122.163.181.9) (Remote host closed the connection) |
| 2021-05-23 11:16:21 +0000 | radw | (~radw@user/radw) (Quit: WeeChat 3.0.1) |
| 2021-05-23 11:16:36 +0000 | radw | (~radw@user/radw) |
| 2021-05-23 11:17:14 +0000 | Mark_ | (uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity) |
| 2021-05-23 11:20:03 +0000 | xwx | (~george@user/george) |
| 2021-05-23 11:25:43 +0000 | barryfm | (~Barry@184-089-175-050.res.spectrum.com) |
| 2021-05-23 11:28:47 +0000 | barryfm | (~Barry@184-089-175-050.res.spectrum.com) (Client Quit) |
| 2021-05-23 11:29:06 +0000 | du | uk |
| 2021-05-23 11:29:43 +0000 | bezik | (~bezik@static.172.45.47.78.clients.your-server.de) (Ping timeout: 245 seconds) |
| 2021-05-23 11:30:45 +0000 | minoru_shiraeesh | (~shiraeesh@109.166.58.83) |
| 2021-05-23 11:34:22 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-05-23 11:40:57 +0000 | edun | (~edun@user/edun) |
| 2021-05-23 11:41:19 +0000 | Deide | (~Deide@217.155.19.23) |
| 2021-05-23 11:41:19 +0000 | Deide | (~Deide@217.155.19.23) (Changing host) |
| 2021-05-23 11:41:19 +0000 | Deide | (~Deide@user/deide) |
| 2021-05-23 11:41:24 +0000 | edun | (~edun@user/edun) (Client Quit) |
| 2021-05-23 11:46:58 +0000 | xwx | (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-23 11:50:06 +0000 | <tomjaguarpaw> | > \case { True -> 3; False -> 2 } $ (3>2) |
| 2021-05-23 11:50:07 +0000 | <lambdabot> | 3 |
| 2021-05-23 11:50:29 +0000 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-05-23 11:56:24 +0000 | xwx | (~george@user/george) |
| 2021-05-23 12:00:58 +0000 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-23 12:01:30 +0000 | horex539 | (~horex539@2a02:a03f:6aa5:a00:453e:7b5d:5266:64cc) |
| 2021-05-23 12:02:01 +0000 | waleee-cl | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds) |
| 2021-05-23 12:03:59 +0000 | waleee-cl | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-05-23 12:04:57 +0000 | oxide_ | (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-05-23 12:06:35 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 12:09:00 +0000 | oxide | (~lambda@user/oxide) |
| 2021-05-23 12:11:12 +0000 | xwx | (~george@user/george) (Ping timeout: 265 seconds) |
| 2021-05-23 12:11:43 +0000 | xwx | (~george@user/george) |
| 2021-05-23 12:21:52 +0000 | smitop | (uid328768@user/smitop) |
| 2021-05-23 12:22:35 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-23 12:24:23 +0000 | jco | (~jco@c83-248-173-38.bredband.tele2.se) |
| 2021-05-23 12:25:55 +0000 | <jco> | Hi! Anyone here using `stylisk-haskell` with Haddock comments? I get this: http://ix.io/3nDi. The comment for each data constructor are moved to after the constructors, when running `stylish-haskell` on a buffer... Any idea if there is a configuration option to fix this? |
| 2021-05-23 12:26:16 +0000 | horex539_ | (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) |
| 2021-05-23 12:26:55 +0000 | codedmart | (~codedmart@li335-49.members.linode.com) |
| 2021-05-23 12:27:02 +0000 | wallymathieu | (~wallymath@host-217-213-68-198.mobileonline.telia.com) |
| 2021-05-23 12:27:09 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 265 seconds) |
| 2021-05-23 12:27:57 +0000 | codedmart | (~codedmart@li335-49.members.linode.com) (Client Quit) |
| 2021-05-23 12:30:03 +0000 | horex539 | (~horex539@2a02:a03f:6aa5:a00:453e:7b5d:5266:64cc) (Ping timeout: 265 seconds) |
| 2021-05-23 12:33:15 +0000 | buggy | (~buggy@user/smorgasbord) (Quit: Lost terminal) |
| 2021-05-23 12:34:37 +0000 | horex539_ | (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection) |
| 2021-05-23 12:35:12 +0000 | horex539 | (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) |
| 2021-05-23 12:37:04 +0000 | unautre_ | unautre |
| 2021-05-23 12:37:56 +0000 | horex539 | (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection) |
| 2021-05-23 12:38:09 +0000 | space-shell | (5862f726@107.161.19.109) |
| 2021-05-23 12:38:11 +0000 | horex539 | (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) |
| 2021-05-23 12:40:01 +0000 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-23 12:40:29 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-05-23 12:43:51 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-05-23 12:45:08 +0000 | xwx | (~george@user/george) (Ping timeout: 244 seconds) |
| 2021-05-23 12:50:23 +0000 | hmmmas | (~chenqisu1@183.217.200.8) (Quit: Leaving.) |
| 2021-05-23 12:51:16 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 12:51:29 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 12:53:14 +0000 | littlefinger | (~00000000@selfhost1.threedot14.com) |
| 2021-05-23 12:53:23 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2021-05-23 12:53:55 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds) |
| 2021-05-23 12:55:58 +0000 | yddern | (~manjaro-u@78.156.4.58) |
| 2021-05-23 12:58:33 +0000 | vclerc | (~vclerc@216.252.75.231) |
| 2021-05-23 13:01:37 +0000 | vclerc | (~vclerc@216.252.75.231) (Client Quit) |
| 2021-05-23 13:03:17 +0000 | ddellacosta | (~ddellacos@89.46.62.35) |
| 2021-05-23 13:07:58 +0000 | ddellacosta | (~ddellacos@89.46.62.35) (Ping timeout: 264 seconds) |
| 2021-05-23 13:08:30 +0000 | cpape | (~user@2a01:4f9:c010:632d::1) |
| 2021-05-23 13:09:15 +0000 | haskman | (~haskman@106.215.24.177) |
| 2021-05-23 13:10:41 +0000 | wallymathieu | (~wallymath@host-217-213-68-198.mobileonline.telia.com) (Read error: Connection reset by peer) |
| 2021-05-23 13:15:32 +0000 | ddellacosta | (~ddellacos@86.106.121.100) |
| 2021-05-23 13:23:11 +0000 | horex539 | (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection) |
| 2021-05-23 13:27:22 +0000 | boxscape | (4ff0bb95@user/boxscape) |
| 2021-05-23 13:27:59 +0000 | Fare | (~fare@c-66-31-47-143.hsd1.ma.comcast.net) |
| 2021-05-23 13:30:13 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-23 13:33:52 +0000 | allbery_b | geekosaur |
| 2021-05-23 13:33:53 +0000 | Morrow | (~Morrow@147.161.15.179) (Read error: Connection reset by peer) |
| 2021-05-23 13:34:50 +0000 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-05-23 13:36:51 +0000 | littlefinger | (~00000000@selfhost1.threedot14.com) (Quit: Client closed) |
| 2021-05-23 13:37:05 +0000 | tose | (~tose@ip-37-188-160-86.eurotel.cz) |
| 2021-05-23 13:41:36 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 13:41:49 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 13:49:22 +0000 | exzeta__ | (~exzeta@client-8-84.eduroam.oxuni.org.uk) (Ping timeout: 264 seconds) |
| 2021-05-23 13:51:10 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-05-23 13:53:34 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-23 13:53:34 +0000 | minoru_shiraeesh | (~shiraeesh@109.166.58.83) (Read error: Connection reset by peer) |
| 2021-05-23 13:53:59 +0000 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2021-05-23 13:54:59 +0000 | edun | (~edun@user/edun) |
| 2021-05-23 13:56:50 +0000 | yorick | (~yorick@user/yorick) |
| 2021-05-23 13:57:02 +0000 | yorick | (~yorick@user/yorick) (Quit: see you on libera) |
| 2021-05-23 13:58:38 +0000 | yorick | (~yorick@user/yorick) |
| 2021-05-23 14:00:42 +0000 | exzeta__ | (~exzeta@client-8-84.eduroam.oxuni.org.uk) |
| 2021-05-23 14:01:23 +0000 | haskman | (~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-23 14:02:02 +0000 | biberu | (~biberu@user/biberu) |
| 2021-05-23 14:11:51 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-05-23 14:12:04 +0000 | cheater | (~Username@user/cheater) |
| 2021-05-23 14:13:26 +0000 | tose | (~tose@ip-37-188-160-86.eurotel.cz) (Ping timeout: 264 seconds) |
| 2021-05-23 14:13:35 +0000 | edun | qb |
| 2021-05-23 14:13:42 +0000 | qb | qbt |
| 2021-05-23 14:14:06 +0000 | xkapastel | (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-23 14:15:32 +0000 | alx741 | (~alx741@186.178.109.193) |
| 2021-05-23 14:15:40 +0000 | qbt | (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-23 14:16:05 +0000 | edun | (~edun@user/edun) |
| 2021-05-23 14:16:52 +0000 | edun | (~edun@user/edun) (Client Quit) |
| 2021-05-23 14:17:40 +0000 | edun | (~edun@user/edun) |
| 2021-05-23 14:18:02 +0000 | edun | (~edun@user/edun) (Client Quit) |
| 2021-05-23 14:18:47 +0000 | edun | (~edun@user/edun) |
| 2021-05-23 14:18:51 +0000 | ixlun | (~user@195.213.99.113) |
| 2021-05-23 14:19:15 +0000 | edun | (~edun@user/edun) (Client Quit) |
| 2021-05-23 14:19:39 +0000 | ddellacosta | (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-05-23 14:20:41 +0000 | qbt | (~edun@user/edun) |
| 2021-05-23 14:20:49 +0000 | bsima1 | bsima |
| 2021-05-23 14:25:21 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-23 14:26:06 +0000 | Reisen | (2d53dcc0@107.161.19.109) |
| 2021-05-23 14:26:07 +0000 | kilolympus | (~kilolympu@5.151.5.180) |
| 2021-05-23 14:26:50 +0000 | Reisen | (2d53dcc0@107.161.19.109) (Client Quit) |
| 2021-05-23 14:27:43 +0000 | Restle | (2d53dcc0@107.161.19.109) |
| 2021-05-23 14:28:15 +0000 | horex539 | (~horex539@2a02:a03f:6aa5:a00:a57b:d14a:ecd6:6d03) |
| 2021-05-23 14:28:32 +0000 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-23 14:28:36 +0000 | Reisen | (2d53dcc0@107.161.19.109) |
| 2021-05-23 14:32:49 +0000 | horex539 | (~horex539@2a02:a03f:6aa5:a00:a57b:d14a:ecd6:6d03) (Ping timeout: 265 seconds) |
| 2021-05-23 14:33:00 +0000 | zfnmxt_ | zfnmxt |
| 2021-05-23 14:33:41 +0000 | xwx | (~george@user/george) |
| 2021-05-23 14:34:14 +0000 | ku | (~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) |
| 2021-05-23 14:36:19 +0000 | haskman | (~haskman@106.215.24.177) |
| 2021-05-23 14:37:09 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 14:40:14 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-23 14:42:39 +0000 | <Restle> | Are there any idiomatic/nice ways to compose smart constructors? I'm imagining something like `mkA . mkB . mkC $ n` where the result is a nest of newtypes but using typeclasses to peel them off later on |
| 2021-05-23 14:42:56 +0000 | xff0x | (~xff0x@2001:1a81:52b2:9700:e0dc:1f9b:63de:5b34) |
| 2021-05-23 14:42:58 +0000 | shiraeeshi | (~shiraeesh@109.166.58.83) |
| 2021-05-23 14:43:05 +0000 | moistoreos | (~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) |
| 2021-05-23 14:43:10 +0000 | moistoreos | (~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Client Quit) |
| 2021-05-23 14:43:50 +0000 | WikiLycurgus | RealLycurgus |
| 2021-05-23 14:44:14 +0000 | RealLycurgus | WikiLycurgus |
| 2021-05-23 14:45:13 +0000 | <Restle> | Something like, `instance (Unwrap a) => Unwrap f a where`, so that no matter how I nest them I can get to the `n` |
| 2021-05-23 14:46:01 +0000 | exzeta__ | (~exzeta@client-8-84.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-05-23 14:46:15 +0000 | qbt | (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-23 14:46:18 +0000 | exzeta__ | (~exzeta@client-8-84.eduroam.oxuni.org.uk) |
| 2021-05-23 14:47:02 +0000 | pretty_dumm_guy | (~trottel@188.241.83.100) |
| 2021-05-23 14:50:46 +0000 | river | (~river@user/river) (Read error: Connection reset by peer) |
| 2021-05-23 14:52:48 +0000 | haskman | (~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-23 14:53:25 +0000 | river | (~river@user/river) |
| 2021-05-23 14:55:03 +0000 | Guest92 | (521cae2a@107.161.19.109) |
| 2021-05-23 14:55:32 +0000 | Guest92 | (521cae2a@107.161.19.109) (Client Quit) |
| 2021-05-23 14:55:59 +0000 | Guest98 | (~textual@47.203.170.49) |
| 2021-05-23 15:02:55 +0000 | <WikiLycurgus> | tactic observed in another channel to force users here: set a low limit on the freenode channel |
| 2021-05-23 15:03:08 +0000 | mrtbbr | (~mrtbbr@159.146.113.223) |
| 2021-05-23 15:03:46 +0000 | mrtbbr | (~mrtbbr@159.146.113.223) (Client Quit) |
| 2021-05-23 15:04:28 +0000 | Tomurb | (~tom@92-17.net.optinet.cz) |
| 2021-05-23 15:07:26 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-05-23 15:08:19 +0000 | Heffalump | (~ganesh@urchin.earth.li) |
| 2021-05-23 15:08:21 +0000 | Heffalump | (~ganesh@urchin.earth.li) () |
| 2021-05-23 15:09:17 +0000 | oxide | (~lambda@user/oxide) |
| 2021-05-23 15:09:59 +0000 | Sakura- | (uid413071@user/scp-2000) |
| 2021-05-23 15:10:36 +0000 | <Guest98> | those tactics don't necessarily force users here, they simply force them off freenode |
| 2021-05-23 15:10:50 +0000 | Sakura- | (uid413071@user/scp-2000) () |
| 2021-05-23 15:11:03 +0000 | <ski> | Restle : question is unclear. elaborate ? |
| 2021-05-23 15:12:10 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-23 15:12:58 +0000 | jess | (~jess@libera/staff/jess) (Quit: Reconnecting) |
| 2021-05-23 15:13:28 +0000 | jess | (~jess@libera/staff/jess) |
| 2021-05-23 15:13:43 +0000 | <hpc> | it does prevent splitting the community, at least |
| 2021-05-23 15:14:34 +0000 | ku | (~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) (Ping timeout: 264 seconds) |
| 2021-05-23 15:14:38 +0000 | <dmwit> | Restle: Is `coerce` good enough for you? |
| 2021-05-23 15:18:09 +0000 | moistoreos | (~moistoreo@2600:1700:1884:90:7408:f8f4:ab1a:e0d2) |
| 2021-05-23 15:19:37 +0000 | <Hafydd> | It seems better to set the channel to +m and state in the topic that the channel has moved to liberachat. |
| 2021-05-23 15:21:06 +0000 | Tomurb | (~tom@92-17.net.optinet.cz) (Remote host closed the connection) |
| 2021-05-23 15:24:06 +0000 | Tomurb | (~tom@92-17.net.optinet.cz) |
| 2021-05-23 15:25:07 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-23 15:25:09 +0000 | <ski> | Hafydd : all of those were employed |
| 2021-05-23 15:27:42 +0000 | <Hafydd> | Oh, good. |
| 2021-05-23 15:29:06 +0000 | <ski> | @hoogle stToIO |
| 2021-05-23 15:29:06 +0000 | <lambdabot> | Error, database does not exist (run 'hoogle generate' first) |
| 2021-05-23 15:29:06 +0000 | <lambdabot> | Filename: /home/lambda/libera/.hoogle/default-haskell-5.0.18.hoo |
| 2021-05-23 15:30:25 +0000 | <ChaiTRex> | Who owns lambdabot? |
| 2021-05-23 15:31:58 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-05-23 15:32:50 +0000 | oxide | (~lambda@user/oxide) |
| 2021-05-23 15:34:13 +0000 | gambpang | (~ian@c-69-246-197-46.hsd1.il.comcast.net) |
| 2021-05-23 15:35:41 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-23 15:39:22 +0000 | pbrisbin | (~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) |
| 2021-05-23 15:39:37 +0000 | <dmwit> | int-e: ^ |
| 2021-05-23 15:39:58 +0000 | <hpc> | Hafydd: scroll back a bit in freenode #haskell, saying the channel has moved in the topic is against the rules now |
| 2021-05-23 15:40:09 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-05-23 15:41:04 +0000 | saturn2 | (~visitant@user/clone-of-saturn/x-1551297) |
| 2021-05-23 15:43:18 +0000 | <mmaruseacph2> | :o |
| 2021-05-23 15:43:44 +0000 | <Hafydd> | hpc: I'm not surprised they implemented such a rule (but it might be worth Disobeying the rule). I've dropped my account on freenode, though, so I'm no longer frequenting that channel. |
| 2021-05-23 15:44:10 +0000 | <hpc> | ah |
| 2021-05-23 15:44:36 +0000 | <hpc> | the current phrasing of the topic is that this channel exists and is "very active" |
| 2021-05-23 15:44:43 +0000 | <hpc> | basically a wink wink nudge nudge kind of thing |
| 2021-05-23 15:45:04 +0000 | <Hafydd> | This kind of reminds me of the partition of Berlin. |
| 2021-05-23 15:45:10 +0000 | Patternmaster | (~georg@li1192-118.members.linode.com) (Quit: leaving) |
| 2021-05-23 15:46:48 +0000 | pretty_dumm_guy | (~trottel@188.241.83.100) (Quit: WeeChat 3.2-dev) |
| 2021-05-23 15:46:54 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-23 15:47:14 +0000 | <Hafydd> | (Would it also be illegal for a liberachat channel to state it has moved to freenode?) |
| 2021-05-23 15:47:28 +0000 | <hpc> | nope |
| 2021-05-23 15:47:42 +0000 | <hpc> | this is west berlin |
| 2021-05-23 15:48:36 +0000 | Patternmaster | (~georg@li1192-118.members.linode.com) |
| 2021-05-23 15:49:26 +0000 | <dmwit> | I would certainly find it a bit odd for a liberachat channel to move, given that liberachat is only days old. |
| 2021-05-23 15:49:42 +0000 | <juri_> | https://github.com/freenode/web-7.0/commit/1194a3e71a427a669ccdddee22006416d46eeb43 |
| 2021-05-23 15:49:49 +0000 | <juri_> | partay. |
| 2021-05-23 15:50:00 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) |
| 2021-05-23 15:50:21 +0000 | <uk> | 22Co-authored-by: Andrew Lee <rasengan@Andrews-MacBook-Air.local> lol |
| 2021-05-23 15:50:57 +0000 | <int-e> | @hoogle stToIO |
| 2021-05-23 15:50:57 +0000 | <lambdabot> | Control.Monad.ST stToIO :: ST RealWorld a -> IO a |
| 2021-05-23 15:50:58 +0000 | <lambdabot> | Control.Monad.ST.Lazy stToIO :: ST RealWorld a -> IO a |
| 2021-05-23 15:50:58 +0000 | <lambdabot> | Control.Monad.ST.Lazy.Safe stToIO :: ST RealWorld a -> IO a |
| 2021-05-23 15:51:41 +0000 | <int-e> | dmwit: thanks |
| 2021-05-23 15:53:37 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-23 15:55:32 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) (Quit: BitchX: a new fragrance for men, by Calvin Klein) |
| 2021-05-23 15:55:55 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-05-23 15:56:02 +0000 | <dmwit> | No, thank YOU! |
| 2021-05-23 15:56:17 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) |
| 2021-05-23 15:56:55 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) () |
| 2021-05-23 15:57:14 +0000 | pbrisbin | (~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-05-23 16:00:03 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@192.252.212.15) |
| 2021-05-23 16:02:23 +0000 | ptr_frac7al | (~char_star@58.161.162.114) |
| 2021-05-23 16:02:38 +0000 | ptr_frac7al | (~char_star@58.161.162.114) (Client Quit) |
| 2021-05-23 16:03:22 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) |
| 2021-05-23 16:03:43 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) (Client Quit) |
| 2021-05-23 16:04:49 +0000 | uk | hrnz |
| 2021-05-23 16:06:41 +0000 | <int-e> | dmwit: it was just a symlink. but I wouldn't have noticed it myself :) |
| 2021-05-23 16:06:50 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) |
| 2021-05-23 16:06:50 +0000 | <int-e> | (well, not soon anyway. probably) |
| 2021-05-23 16:06:54 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) () |
| 2021-05-23 16:07:39 +0000 | <int-e> | maybe I should write about my arcane lambdabot setup just so that people can teach me how to do it better ;) |
| 2021-05-23 16:10:36 +0000 | MorrowM | (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-05-23 16:11:10 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) |
| 2021-05-23 16:11:27 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) () |
| 2021-05-23 16:11:31 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) |
| 2021-05-23 16:11:34 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) () |
| 2021-05-23 16:11:36 +0000 | smitop | (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-05-23 16:12:16 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) |
| 2021-05-23 16:12:20 +0000 | ptr_frac7al | (~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) () |
| 2021-05-23 16:12:36 +0000 | <dmwit> | hah! |
| 2021-05-23 16:15:33 +0000 | ddellacosta | (~ddellacos@86.106.121.65) |
| 2021-05-23 16:16:10 +0000 | safinaskar | (~user@109.252.90.89) |
| 2021-05-23 16:19:30 +0000 | nan` | (~nan`@68.235.43.173) (Quit: Bye, all!) |
| 2021-05-23 16:20:37 +0000 | ddellacosta | (~ddellacos@86.106.121.65) (Ping timeout: 272 seconds) |
| 2021-05-23 16:20:42 +0000 | nan` | (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-23 16:23:29 +0000 | moistoreos | (~moistoreo@2600:1700:1884:90:7408:f8f4:ab1a:e0d2) (Quit: Computer Asleep 😴) |
| 2021-05-23 16:23:56 +0000 | <safinaskar> | i just uploaded my first candidate package |
| 2021-05-23 16:24:05 +0000 | <safinaskar> | http://hackage.haskell.org/package/check-cfg-ambiguity-0.0.0.1/candidate |
| 2021-05-23 16:24:11 +0000 | <safinaskar> | but haddock doc is absent |
| 2021-05-23 16:24:13 +0000 | <safinaskar> | why? |
| 2021-05-23 16:24:25 +0000 | <safinaskar> | it is not generated yet? haddock for candidate packages not supported? or i did something wrong? |
| 2021-05-23 16:24:27 +0000 | derelict | (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-23 16:26:45 +0000 | <fendor> | safinaskar, it takes hackage some time to build the documentation |
| 2021-05-23 16:27:05 +0000 | <safinaskar> | fendor: thanks. how many? |
| 2021-05-23 16:27:19 +0000 | <int-e> | hmm, lambdabot's list has 15 channels so far... surely that can't be all; it used to be 77 (plus a couple that people kept adding manually) :) |
| 2021-05-23 16:27:34 +0000 | <fendor> | with `cabal haddock --haddock-for-hackage`, you can build the documentation manually and upload it to the candidate with `cabal upload -d ...` |
| 2021-05-23 16:27:46 +0000 | Tomurb | (~tom@92-17.net.optinet.cz) (Ping timeout: 264 seconds) |
| 2021-05-23 16:28:00 +0000 | <int-e> | what I'm trying to say, lambdabot can join more channels, just ask |
| 2021-05-23 16:28:00 +0000 | <fendor> | no idea how long, I usually upload it myself or just don't check |
| 2021-05-23 16:28:03 +0000 | <safinaskar> | fendor: i don't want this. i want hackage to generate docs for me to be sure that everything is ok |
| 2021-05-23 16:28:57 +0000 | kewa | (~kewa@5.138.148.77) |
| 2021-05-23 16:29:13 +0000 | <fendor> | safinaskar, according to https://hackage.haskell.org/upload this is basically what hackage does (last paragraph). |
| 2021-05-23 16:31:09 +0000 | <geekosaur> | int-e, can we have lambdabot in #xmonad again? |
| 2021-05-23 16:32:12 +0000 | <int-e> | okay |
| 2021-05-23 16:32:53 +0000 | undvrainbowvita8 | (~pjetcetal@2.95.204.25) (Remote host closed the connection) |
| 2021-05-23 16:33:18 +0000 | <geekosaur> | thank you |
| 2021-05-23 16:33:53 +0000 | <tomsmeding> | Where does @botsnack even come from |
| 2021-05-23 16:37:02 +0000 | <kewa> | @type map |
| 2021-05-23 16:37:03 +0000 | <lambdabot> | (a -> b) -> [a] -> [b] |
| 2021-05-23 16:38:39 +0000 | <int-e> | tomsmeding: https://github.com/lambdabot/lambdabot/blob/master/lambdabot-misc-plugins/src/Lambdabot/Plugin/Mis… ;-) |
| 2021-05-23 16:39:07 +0000 | <int-e> | lambdabot has a long history and a number of silly people were involved in it |
| 2021-05-23 16:39:35 +0000 | <int-e> | but I think the idea is, lambdabot helps you, you feed it a treat :) |
| 2021-05-23 16:39:50 +0000 | <tomsmeding> | @thx |
| 2021-05-23 16:39:50 +0000 | <lambdabot> | you are welcome |
| 2021-05-23 16:39:59 +0000 | <tomsmeding> | :) |
| 2021-05-23 16:40:28 +0000 | eight | (~eight@user/eight) |
| 2021-05-23 16:42:21 +0000 | whitgreenlghtsbr | (~pjetcetal@2.95.204.25) |
| 2021-05-23 16:42:54 +0000 | <lyxia> | safinaskar: I'm not sure it builds the documentation for candidates. For released packages it took 10 minutes for one package of mine recently. |
| 2021-05-23 16:46:19 +0000 | <safinaskar> | lyxia: thanks. 2 hours passed, it seems, hackage really doesn't build docs |
| 2021-05-23 16:47:29 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-23 16:48:28 +0000 | <kewa> | @botsnack |
| 2021-05-23 16:48:28 +0000 | <lambdabot> | :) |
| 2021-05-23 16:48:34 +0000 | <kewa> | so cool |
| 2021-05-23 16:49:58 +0000 | <kewa> | @choose flood notflood |
| 2021-05-23 16:49:58 +0000 | <lambdabot> | notflood |
| 2021-05-23 16:50:04 +0000 | <kewa> | @sorry |
| 2021-05-23 16:50:04 +0000 | <lambdabot> | Unknown command, try @list |
| 2021-05-23 16:52:17 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-05-23 16:53:11 +0000 | cerise8192 | (~cerise819@136.169.243.189) |
| 2021-05-23 16:53:23 +0000 | cerise8192 | (~cerise819@136.169.243.189) (K-Lined) |
| 2021-05-23 16:59:30 +0000 | SIben_ | (~SIben@ns3106586.ip-5-135-191.eu) (Quit: leaving) |
| 2021-05-23 16:59:34 +0000 | <juri_> | @choose cake death |
| 2021-05-23 16:59:34 +0000 | <lambdabot> | death |
| 2021-05-23 16:59:45 +0000 | <juri_> | not the smartest... |
| 2021-05-23 17:00:02 +0000 | <safinaskar> | juri_: :) |
| 2021-05-23 17:00:56 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2021-05-23 17:03:46 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) (Client Quit) |
| 2021-05-23 17:04:42 +0000 | ddellacosta | (~ddellacos@86.106.121.100) |
| 2021-05-23 17:05:41 +0000 | doyougnu | (~user@c-67-168-253-231.hsd1.or.comcast.net) |
| 2021-05-23 17:06:51 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2021-05-23 17:06:57 +0000 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-23 17:07:48 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 17:09:09 +0000 | ddellacosta | (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 2021-05-23 17:09:46 +0000 | kewa | (~kewa@5.138.148.77) (Ping timeout: 264 seconds) |
| 2021-05-23 17:11:58 +0000 | smitop | (uid328768@user/smitop) |
| 2021-05-23 17:13:31 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) (Quit: leaving) |
| 2021-05-23 17:13:49 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2021-05-23 17:14:20 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) (Client Quit) |
| 2021-05-23 17:14:26 +0000 | henrylaxen | (~user@177.239.36.179) |
| 2021-05-23 17:16:00 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2021-05-23 17:19:49 +0000 | <boxscape> | % writeFile "foo" "—" |
| 2021-05-23 17:19:49 +0000 | <yahb> | boxscape: *** Exception: foo: commitBuffer: invalid argument (invalid character) |
| 2021-05-23 17:19:55 +0000 | <boxscape> | why can haskell not write m-dashes? |
| 2021-05-23 17:20:39 +0000 | <boxscape> | (or read, for that matter) |
| 2021-05-23 17:21:09 +0000 | <lyxia> | that probably depends on the encoding and the default for yahb is probably not UTF-8 |
| 2021-05-23 17:21:15 +0000 | <boxscape> | hm, I see |
| 2021-05-23 17:23:34 +0000 | <boxscape> | weirdly my haskell script was able to read a file containing an m-dash yesterday but now refuses to do so |
| 2021-05-23 17:23:56 +0000 | <boxscape> | on the same machine and everything |
| 2021-05-23 17:24:13 +0000 | Mark_ | (uid14803@user/mark/x-9597255) |
| 2021-05-23 17:25:04 +0000 | <lyxia> | You need to call an exorcist. |
| 2021-05-23 17:25:32 +0000 | <boxscape> | % System.IO.hGetEncoding System.IO.stdin |
| 2021-05-23 17:25:32 +0000 | <yahb> | boxscape: Just UTF-8 |
| 2021-05-23 17:25:35 +0000 | <boxscape> | I guess I will |
| 2021-05-23 17:25:53 +0000 | <koz> | The singularity is here. |
| 2021-05-23 17:26:01 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-05-23 17:26:49 +0000 | <hpc> | % writeFile "foo" "-" |
| 2021-05-23 17:26:49 +0000 | <yahb> | hpc: |
| 2021-05-23 17:27:07 +0000 | <hpc> | just to be sure :P |
| 2021-05-23 17:27:14 +0000 | <monochrom> | In fact... |
| 2021-05-23 17:27:14 +0000 | <boxscape> | hah yes |
| 2021-05-23 17:27:19 +0000 | <monochrom> | % readFile "foo" |
| 2021-05-23 17:27:19 +0000 | <yahb> | monochrom: "-" |
| 2021-05-23 17:27:35 +0000 | <geekosaur> | that doesn't look like the same dash to me? |
| 2021-05-23 17:27:52 +0000 | <monochrom> | No, not intended to be the same dash. |
| 2021-05-23 17:27:54 +0000 | <hpc> | it isn't, i just wanted to make sure it wasn't lying and it was somehow an IO error of some sort |
| 2021-05-23 17:28:03 +0000 | <monochrom> | Instead, testing what writeFile does "normally". |
| 2021-05-23 17:28:08 +0000 | <monochrom> | control experiment |
| 2021-05-23 17:28:55 +0000 | <ptrcmd> | %readFile "foo" |
| 2021-05-23 17:29:01 +0000 | <ptrcmd> | % readFile "foo" |
| 2021-05-23 17:29:01 +0000 | <yahb> | ptrcmd: "-" |
| 2021-05-23 17:29:47 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-05-23 17:30:46 +0000 | <lyxia> | % localeEncoding |
| 2021-05-23 17:30:46 +0000 | <yahb> | lyxia: ASCII |
| 2021-05-23 17:30:50 +0000 | Fare | (~fare@c-66-31-47-143.hsd1.ma.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-23 17:31:44 +0000 | xaotuk | (~xaotuk@89.110.231.41) (Quit: WeeChat 3.1) |
| 2021-05-23 17:31:49 +0000 | <monochrom> | Hrm that's strange. It takes manual effort to set that. |
| 2021-05-23 17:34:11 +0000 | <boxscape> | % withFile "foo23" WriteMode (\h -> hGetEncoding h >>= print >> hSetEncoding h utf8 >> hGetEncoding h >>= print >> hPutStrLn h "—") >> withFile "foo23" ReadMode (\h -> hSetEncoding h utf8 >> hGetContents h >>= putStrLn) |
| 2021-05-23 17:34:12 +0000 | <yahb> | boxscape: Just ASCII; Just UTF-8; — |
| 2021-05-23 17:34:13 +0000 | <boxscape> | I guess that works |
| 2021-05-23 17:35:11 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-23 17:35:26 +0000 | <boxscape> | Ah! I figured out why it worked yesterday |
| 2021-05-23 17:35:44 +0000 | <boxscape> | yesterday, I ran the runghc I got from ghc.nix, but today I used the one I got from `nix-shell -p ghc` |
| 2021-05-23 17:36:52 +0000 | marinelli | (~marinelli@2a01:4f8:211:ae5::2) |
| 2021-05-23 17:37:00 +0000 | janislago | (~user@c-24-98-52-54.hsd1.ga.comcast.net) |
| 2021-05-23 17:37:04 +0000 | janislago | (~user@c-24-98-52-54.hsd1.ga.comcast.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-05-23 17:39:14 +0000 | gambpang | (~ian@c-69-246-197-46.hsd1.il.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-23 17:40:48 +0000 | <tomsmeding> | Locale settings are the worst |
| 2021-05-23 17:41:21 +0000 | <tomsmeding> | Beware the day you're naively reading a floating point value from a string and it fails because you're now in a European locale where it expects , instead of . |
| 2021-05-23 17:41:31 +0000 | <boxscape> | the correct encoding always depends only on the file you read, right? |
| 2021-05-23 17:41:35 +0000 | <tomsmeding> | C does that, I hope haskell doesn't |
| 2021-05-23 17:42:26 +0000 | <tomsmeding> | I wrote a C++ application once that broke when I added gtk+ as a dependency, because on initialisation that set the locale to a local thing that made floating point IO ops use , |
| 2021-05-23 17:42:33 +0000 | <monochrom> | Files have no metadata stating its encoding. |
| 2021-05-23 17:42:46 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-23 17:43:34 +0000 | <boxscape> | monochrom right, but the characters are going to be encoded in some encoding anyway, so you might not be able to figure out what the right encoding is, but it shouldn't depend on anything except the file you're reading, is my understanding |
| 2021-05-23 17:43:58 +0000 | fabfianda | (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) (Ping timeout: 264 seconds) |
| 2021-05-23 17:44:07 +0000 | <monochrom> | Yeah, ideally, someone tells you via a back channel. |
| 2021-05-23 17:44:11 +0000 | <boxscape> | okay |
| 2021-05-23 17:44:23 +0000 | fabfianda | (~fabfianda@mob-5-90-249-226.net.vodafone.it) |
| 2021-05-23 17:44:34 +0000 | <monochrom> | In practice, everyone disagree what the back channel should be. |
| 2021-05-23 17:44:39 +0000 | <boxscape> | nice |
| 2021-05-23 17:44:41 +0000 | <monochrom> | Naw, it's worse. |
| 2021-05-23 17:45:18 +0000 | <monochrom> | In practice, everyone agrees there should be one universally adopted encoding, and disagrees what it should be. |
| 2021-05-23 17:48:14 +0000 | sander | (~sander@164.89-11-223.nextgentel.com) (Quit: So long! :)) |
| 2021-05-23 17:48:27 +0000 | sander | (~sander@164.89-11-223.nextgentel.com) |
| 2021-05-23 17:59:33 +0000 | ku | (~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) |
| 2021-05-23 18:04:04 +0000 | <c_wraith> | let's settle on UTF-16, the worst of all worlds |
| 2021-05-23 18:05:46 +0000 | haskman | (~haskman@106.215.24.177) |
| 2021-05-23 18:06:46 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-23 18:06:49 +0000 | <hpc> | https://en.wikipedia.org/wiki/UTF-7 |
| 2021-05-23 18:08:23 +0000 | <hpc> | no matter how bad UTF-16 is, it doesn't have security flaws :D |
| 2021-05-23 18:08:57 +0000 | pretty_dumm_guy | (~trottel@188.241.83.100) |
| 2021-05-23 18:09:29 +0000 | safinaskar | (~user@109.252.90.89) () |
| 2021-05-23 18:10:40 +0000 | <davean> | it sure would be harder, but do you think something similar is entirely impossible with UTF-16? |
| 2021-05-23 18:11:05 +0000 | <davean> | Thats a fundimental data-handling flaw in the program handling the data. |
| 2021-05-23 18:11:15 +0000 | henrylaxen | (~user@177.239.36.179) (Remote host closed the connection) |
| 2021-05-23 18:14:52 +0000 | <hpc> | unicode in general does have normalization issues, but they're limited to things like ä |
| 2021-05-23 18:15:21 +0000 | <davean> | hpc: but I can read UTF-16 as ascii all I want. |
| 2021-05-23 18:15:38 +0000 | <davean> | its not like that fails - and thats all that attack is s/utf-16/utf-7/ |
| 2021-05-23 18:15:47 +0000 | <davean> | it just happens that for HTML this is a convinient confusion |
| 2021-05-23 18:15:58 +0000 | <davean> | other encodings can have convinient confusions for different things. |
| 2021-05-23 18:16:22 +0000 | <hpc> | oh well sure, for that first point on the wiki page |
| 2021-05-23 18:16:32 +0000 | <hpc> | i was thinking more the XSS thing, where "<" has multiple representations |
| 2021-05-23 18:16:41 +0000 | <davean> | ah |
| 2021-05-23 18:17:03 +0000 | <davean> | I mean same issue really - that just makes it easier to not notice you've fucked up your encoding handling. |
| 2021-05-23 18:17:59 +0000 | <hpc> | yeah, the real answer is normalizing your input since that generalizes to all encodings of unicode |
| 2021-05-23 18:19:47 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-23 18:19:50 +0000 | <davean> | ight |
| 2021-05-23 18:20:07 +0000 | <davean> | utf-7 just has a convinient bad example |
| 2021-05-23 18:21:00 +0000 | <hpc> | well, the point is that issue exists for every codepoint |
| 2021-05-23 18:21:07 +0000 | <hpc> | not just the stuff that's equivalent to combining characters |
| 2021-05-23 18:26:53 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-05-23 18:28:16 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-23 18:29:42 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2021-05-23 18:30:27 +0000 | biberu | (~biberu@user/biberu) |
| 2021-05-23 18:30:31 +0000 | river | (~river@user/river) (Read error: Connection reset by peer) |
| 2021-05-23 18:37:44 +0000 | nova | mnamejeff |
| 2021-05-23 18:38:01 +0000 | holy_ | (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 244 seconds) |
| 2021-05-23 18:38:06 +0000 | dextercd | (~dexter@2a02-a450-f25d-1-76d4-35ff-fefe-34c.fixed6.kpn.net) |
| 2021-05-23 18:38:47 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-05-23 18:41:27 +0000 | saturn2 | (~visitant@user/clone-of-saturn/x-1551297) (WeeChat 1.0.1) |
| 2021-05-23 18:44:20 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-23 18:44:32 +0000 | Guest8718 | (ae32b849@107.161.19.109) |
| 2021-05-23 18:48:11 +0000 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-23 18:51:55 +0000 | Guest8718 | (ae32b849@107.161.19.109) (Quit: Connection closed) |
| 2021-05-23 18:56:34 +0000 | qbt | (~edun@user/edun) |
| 2021-05-23 18:57:55 +0000 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-23 19:02:11 +0000 | yddern | (~manjaro-u@78.156.4.58) (Quit: Konversation terminated!) |
| 2021-05-23 19:05:49 +0000 | ddellacosta | (~ddellacos@89.46.62.86) |
| 2021-05-23 19:10:22 +0000 | ddellacosta | (~ddellacos@89.46.62.86) (Ping timeout: 264 seconds) |
| 2021-05-23 19:20:03 +0000 | Unhammer | (~Unhammer@100.92-220-160.customer.lyse.net) (Quit: WeeChat 1.6) |
| 2021-05-23 19:20:13 +0000 | Unhammer | (~Unhammer@2a01:799:42:6a00::40c) |
| 2021-05-23 19:25:00 +0000 | jco | (~jco@c83-248-173-38.bredband.tele2.se) (Remote host closed the connection) |
| 2021-05-23 19:25:38 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-23 19:29:02 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-23 19:29:09 +0000 | ryantrinkle | (~ryan@24.229.199.25.res-cmts.sm.ptd.net) (Ping timeout: 272 seconds) |
| 2021-05-23 19:30:14 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 19:31:31 +0000 | haasn | (~nand@haasn.dev) (Ping timeout: 265 seconds) |
| 2021-05-23 19:33:02 +0000 | ot | oats |
| 2021-05-23 19:33:54 +0000 | haasn | (~nand@haasn.dev) |
| 2021-05-23 19:34:18 +0000 | jneira | (5127aca6@107.161.19.109) (Quit: Connection closed) |
| 2021-05-23 19:38:07 +0000 | pyon | (~pyon@user/pyon) (WeeChat 3.1) |
| 2021-05-23 19:39:04 +0000 | farmfrmjakestate | (~farmfromj@user/farmfrmjakestate) |
| 2021-05-23 19:43:34 +0000 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Quit: Leaving) |
| 2021-05-23 19:43:53 +0000 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-23 19:45:27 +0000 | fendor_ | (~fendor@178.165.191.174.wireless.dyn.drei.com) |
| 2021-05-23 19:48:10 +0000 | fendor | (~fendor@77.119.128.108.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2021-05-23 19:50:37 +0000 | kubes | (~kubes@188.120.84.109) |
| 2021-05-23 19:52:50 +0000 | Franciman | (~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-05-23 19:53:02 +0000 | matijja | (~matijja@193.77.181.208) |
| 2021-05-23 19:53:07 +0000 | phanf | (~phanf@226.148.192.35.bc.googleusercontent.com) |
| 2021-05-23 19:59:04 +0000 | xwx | (~george@user/george) (Ping timeout: 265 seconds) |
| 2021-05-23 19:59:14 +0000 | m_shiraeeshi | (~shiraeesh@109.166.56.7) |
| 2021-05-23 20:00:24 +0000 | MorrowM | (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-05-23 20:00:46 +0000 | shiraeeshi | (~shiraeesh@109.166.58.83) (Ping timeout: 264 seconds) |
| 2021-05-23 20:03:52 +0000 | xkapastel | (uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-23 20:03:54 +0000 | jneira | (5127aca6@107.161.19.109) |
| 2021-05-23 20:04:35 +0000 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2021-05-23 20:05:39 +0000 | juhp | (~juhp@128.106.188.199) (Ping timeout: 264 seconds) |
| 2021-05-23 20:06:46 +0000 | farmfrmjakestate | (~farmfromj@user/farmfrmjakestate) (Ping timeout: 264 seconds) |
| 2021-05-23 20:06:48 +0000 | <boxscape> | with mtl is it more common to have the constraints like MonadError in your types or to use concrete transformer stack with e.g. ExceptT? |
| 2021-05-23 20:07:23 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 20:07:30 +0000 | <__monty__> | I think the former is the point of mtl? |
| 2021-05-23 20:07:43 +0000 | <__monty__> | The latter just sounds like monad transformers? |
| 2021-05-23 20:08:15 +0000 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds) |
| 2021-05-23 20:09:34 +0000 | janislago | (~user@c-24-98-52-54.hsd1.ga.comcast.net) |
| 2021-05-23 20:09:41 +0000 | <janislago> | im wondering about how to get into haskell |
| 2021-05-23 20:09:46 +0000 | <janislago> | where would i start? |
| 2021-05-23 20:10:07 +0000 | <doyougnu> | You usually want constraints because you may change the monad transformer stack for testing or something else. |
| 2021-05-23 20:10:29 +0000 | janislago | (~user@c-24-98-52-54.hsd1.ga.comcast.net) () |
| 2021-05-23 20:10:37 +0000 | <boxscape> | __monty__ IIUC the point is that you don't have to use lift everywhere, i.e. you can directly use throwError for example even if you're in `WriterT String (ExceptT String) Reader Int`, or whatever |
| 2021-05-23 20:10:46 +0000 | <boxscape> | doyougnu ok, that makes sense |
| 2021-05-23 20:11:29 +0000 | <boxscape> | I suppose mtl has more than one point then :) |
| 2021-05-23 20:12:06 +0000 | xwx | (~george@user/george) |
| 2021-05-23 20:12:20 +0000 | <__monty__> | boxscape: But that's because of the typeclass approach. |
| 2021-05-23 20:13:04 +0000 | <__monty__> | These are not separate things. You can use those methods because they're typeclass methods, not functions that work at a certain level of a stack. |
| 2021-05-23 20:13:07 +0000 | <boxscape> | __monty__ yes, but you can use the methods even if you have a concrete stack, just like you can use `show` even if you have `x :: Int` instead of `x :: Show a => a` |
| 2021-05-23 20:13:46 +0000 | <__monty__> | Hmm, yes, true. |
| 2021-05-23 20:20:13 +0000 | exarkun2 | (~exarkun@2605:59c1:c2cc:400:70e1:a9aa:6155:349e) |
| 2021-05-23 20:21:25 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 20:22:52 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-23 20:23:16 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 2021-05-23 20:23:53 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-23 20:24:05 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 2021-05-23 20:24:23 +0000 | kubes | (~kubes@188.120.84.109) (Quit: Leaving) |
| 2021-05-23 20:24:24 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 2021-05-23 20:25:11 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-23 20:25:11 +0000 | ryantrinkle | (~ryan@24.229.199.25.res-cmts.sm.ptd.net) |
| 2021-05-23 20:27:53 +0000 | mastarija | (~mastarija@31.217.14.127) |
| 2021-05-23 20:29:10 +0000 | gabiruh | gabiruh_ |
| 2021-05-23 20:29:58 +0000 | gabiruh_ | gabiruh |
| 2021-05-23 20:33:46 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-23 20:34:21 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-05-23 20:34:45 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-23 20:44:05 +0000 | fabfianda | (~fabfianda@mob-5-90-249-226.net.vodafone.it) (Ping timeout: 244 seconds) |
| 2021-05-23 20:44:12 +0000 | <doyougnu> | janislago: I would start with learn you a haskell. That's how I got started with the language. Brent Yorgey's CIS 194 is also a great introduction. CIS 194: https://www.cis.upenn.edu/~cis194/spring13/ LYAH: http://learnyouahaskell.com/ |
| 2021-05-23 20:44:30 +0000 | <boxscape> | doyougnu alas, they left |
| 2021-05-23 20:44:36 +0000 | <doyougnu> | oh damn I was too late :( |
| 2021-05-23 20:44:47 +0000 | <boxscape> | I meant to reply too but forgot :( |
| 2021-05-23 20:45:23 +0000 | fabfianda | (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) |
| 2021-05-23 20:46:19 +0000 | <enikar> | doyougnu: the cis 194 moved to https://haskell-via-sokoban.nomeata.de/ |
| 2021-05-23 20:47:11 +0000 | <enikar> | someon told me that a couple of days ago |
| 2021-05-23 20:47:42 +0000 | mbomba | (~mbomba@bras-base-toroon2719w-grc-38-142-114-122-216.dsl.bell.ca) |
| 2021-05-23 20:47:52 +0000 | <doyougnu> | looks like the old website is still up though |
| 2021-05-23 20:48:09 +0000 | <doyougnu> | also that link says its for the 2016 version. The BY version I linked to is the 2013 version |
| 2021-05-23 20:48:49 +0000 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2021-05-23 20:49:45 +0000 | enikar | nods |
| 2021-05-23 20:53:03 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-23 20:53:45 +0000 | <yushyin> | :) |
| 2021-05-23 20:53:59 +0000 | pavonia | (~user@user/siracusa) |
| 2021-05-23 20:54:14 +0000 | mbomba | (~mbomba@bras-base-toroon2719w-grc-38-142-114-122-216.dsl.bell.ca) (Quit: WeeChat 3.1) |
| 2021-05-23 20:54:55 +0000 | NemesisD | (sid24071@id-24071.tooting.irccloud.com) |
| 2021-05-23 20:59:28 +0000 | qbt | (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-23 20:59:47 +0000 | qbt | (~edun@user/edun) |
| 2021-05-23 21:00:45 +0000 | qbt | (~edun@user/edun) (Client Quit) |
| 2021-05-23 21:01:07 +0000 | <hrnz> | :) |
| 2021-05-23 21:02:12 +0000 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-23 21:05:17 +0000 | pretty_dumm_guy | (~trottel@188.241.83.100) (Quit: WeeChat 3.2-dev) |
| 2021-05-23 21:05:35 +0000 | jneira | (5127aca6@107.161.19.109) (Quit: Ping timeout (120 seconds)) |
| 2021-05-23 21:06:03 +0000 | pretty_dumm_guy | (~trottel@37.120.236.4) |
| 2021-05-23 21:06:41 +0000 | jneira | (5127aca6@107.161.19.109) |
| 2021-05-23 21:06:47 +0000 | ddellacosta | (~ddellacos@89.46.62.25) |
| 2021-05-23 21:09:15 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds) |
| 2021-05-23 21:10:58 +0000 | qbt | (~edun@user/edun) |
| 2021-05-23 21:11:39 +0000 | ddellacosta | (~ddellacos@89.46.62.25) (Ping timeout: 264 seconds) |
| 2021-05-23 21:15:08 +0000 | fart | (68e8ca7b@user/actor) |
| 2021-05-23 21:15:48 +0000 | <fart> | does anyone have some up to date references for building a stack project (yesod specifically) with nix? |
| 2021-05-23 21:16:53 +0000 | kenran | (~kenran@200116b82bbd74003baa1f87b397ac11.dip.versatel-1u1.de) |
| 2021-05-23 21:17:03 +0000 | <__monty__> | Isn't the haskell infra documentation linked to in the manual up to date? |
| 2021-05-23 21:17:39 +0000 | kenran | (~kenran@200116b82bbd74003baa1f87b397ac11.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-23 21:18:46 +0000 | pretty_dumm_guy | (~trottel@37.120.236.4) (Quit: WeeChat 3.2-dev) |
| 2021-05-23 21:19:06 +0000 | <__monty__> | Yeah, I think this is what you're looking for, https://haskell4nix.readthedocs.io/nixpkgs-users-guide.html#how-to-create-nix-builds-for-your-own-… |
| 2021-05-23 21:20:27 +0000 | <fart> | thanks! |
| 2021-05-23 21:26:15 +0000 | <doyougnu> | fart: if you're just looking to use yesod as a dependency you might just need to enable nix flag in your stack.yaml |
| 2021-05-23 21:32:30 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 21:32:44 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 21:34:26 +0000 | nan` | (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…) |
| 2021-05-23 21:36:32 +0000 | dextercd | (~dexter@2a02-a450-f25d-1-76d4-35ff-fefe-34c.fixed6.kpn.net) (Quit: WeeChat 3.1) |
| 2021-05-23 21:41:49 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-23 21:45:01 +0000 | zvijezda | (~space-mar@c-73-239-80-24.hsd1.wa.comcast.net) |
| 2021-05-23 21:45:53 +0000 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-23 21:48:19 +0000 | chddr | (~Thunderbi@91.226.34.182) |
| 2021-05-23 21:51:37 +0000 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) |
| 2021-05-23 21:51:47 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-23 21:52:39 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-23 21:53:32 +0000 | qbt | (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-23 21:54:19 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-23 21:55:10 +0000 | yumaikas- | (~yumaikas@c-75-70-163-65.hsd1.co.comcast.net) |
| 2021-05-23 21:58:40 +0000 | zvijezda | (~space-mar@c-73-239-80-24.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-23 21:58:59 +0000 | talismanick | (~user@2601:644:8502:d700::94c9) (Read error: Connection reset by peer) |
| 2021-05-23 22:00:21 +0000 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-05-23 22:02:18 +0000 | mastarija | (~mastarija@31.217.14.127) (Quit: Leaving) |
| 2021-05-23 22:04:34 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-23 22:04:53 +0000 | dudek | (~dudek@185.150.236.112) (Quit: Leaving) |
| 2021-05-23 22:06:29 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-23 22:07:41 +0000 | wonko | (~wjc@user/wonko) (Ping timeout: 272 seconds) |
| 2021-05-23 22:07:59 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-23 22:15:54 +0000 | fendor_ | (~fendor@178.165.191.174.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-23 22:16:14 +0000 | haskman | (~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-23 22:16:25 +0000 | liv | (~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca) |
| 2021-05-23 22:17:50 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 22:18:04 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 22:22:25 +0000 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-05-23 22:28:01 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-23 22:30:04 +0000 | scrazen | (~scrazen@user/scrazen) (Remote host closed the connection) |
| 2021-05-23 22:30:12 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 22:30:32 +0000 | <sclv> | just as an fyi, we'll probably have some hackage downtime later today (maybe in an hour or two) as we migrate to a bigger server |
| 2021-05-23 22:30:49 +0000 | <sclv> | mirrors will still work, so won't affect cabal usage etc, just doc availability |
| 2021-05-23 22:33:58 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-23 22:34:23 +0000 | liv | (~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-23 22:35:13 +0000 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-05-23 22:36:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-23 22:41:30 +0000 | nan` | (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-23 22:42:14 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-05-23 22:43:51 +0000 | kewa | (~kewa@5.138.148.77) |
| 2021-05-23 22:45:08 +0000 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-05-23 22:45:35 +0000 | nkjni | (~manjaro-g@net-93-148-57-85.cust.vodafonedsl.it) |
| 2021-05-23 22:46:26 +0000 | <Restle> | I remember reading a blogpost that covered full parametric data types (I.E, `data Person name age = Person name age`) where every field is a type variable, but I forgot what it was referred to as |
| 2021-05-23 22:46:42 +0000 | <Restle> | Is there a common name for this? Google isn't turning up much |
| 2021-05-23 22:48:10 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 22:48:24 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 22:49:14 +0000 | <dmwit> | I guess it's a sum of products. |
| 2021-05-23 22:49:28 +0000 | <dmwit> | I don't really think there's a common name for it. It's not a common property. |
| 2021-05-23 22:49:48 +0000 | nkjni | (~manjaro-g@net-93-148-57-85.cust.vodafonedsl.it) (Quit: Leaving) |
| 2021-05-23 22:51:23 +0000 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-05-23 22:53:10 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-05-23 22:53:49 +0000 | <hpc> | the value-level equivalent is "supercombinator" |
| 2021-05-23 22:54:16 +0000 | <hpc> | even at that level it's not terribly interesting |
| 2021-05-23 22:56:23 +0000 | <Restle> | It makes for some interesting APIs though, if you're able to demand constraints on specific fields sometimes and not others: `data User a b = User { username :: a, password :: b }` allowing for: `login :: forall a b. Hash b => User a b -> IO ()` |
| 2021-05-23 22:57:16 +0000 | <hpc> | what if you want to process a list of users |
| 2021-05-23 22:57:19 +0000 | <Restle> | I don't want to do this though, nor suggesting doing this everywhere, I was just trying to track down the original block post |
| 2021-05-23 22:57:22 +0000 | <Restle> | blog* |
| 2021-05-23 22:57:28 +0000 | <hpc> | some of which have sha256 passwords and some of which have sha512 passwords? |
| 2021-05-23 22:58:03 +0000 | <Restle> | Then either your type system just helped you realise you were about to write broken code and that is by design :), or you generalise the type further perhaps? |
| 2021-05-23 22:58:24 +0000 | <boxscape> | data UserList a = forall b . UserList [User a b]? |
| 2021-05-23 22:58:29 +0000 | <boxscape> | eh |
| 2021-05-23 22:58:35 +0000 | <boxscape> | data UserList a = forall b . Hash b => UserList [User a b]? |
| 2021-05-23 22:59:06 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-05-23 22:59:18 +0000 | <Restle> | Yeah existentials save you here but it's kind of nasty |
| 2021-05-23 22:59:34 +0000 | xwx | (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-23 23:00:07 +0000 | unyu | (~pyon@user/pyon) |
| 2021-05-23 23:02:29 +0000 | <doyougnu> | Could it be related to Tagless-Final stuff from Oleg? |
| 2021-05-23 23:02:49 +0000 | exarkun2 | exarkun |
| 2021-05-23 23:05:08 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-05-23 23:05:49 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-23 23:06:27 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-23 23:06:27 +0000 | <Restle> | Possibly but his site is a labyrinth, I wouldn't know where to start trying to track it down :( |
| 2021-05-23 23:07:57 +0000 | ddellacosta | (~ddellacos@86.106.121.78) |
| 2021-05-23 23:09:45 +0000 | yumaikas- | (~yumaikas@c-75-70-163-65.hsd1.co.comcast.net) (Ping timeout: 272 seconds) |
| 2021-05-23 23:10:30 +0000 | drewr | (~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) |
| 2021-05-23 23:11:15 +0000 | ddellacosta | (~ddellacos@86.106.121.78) (Read error: Connection reset by peer) |
| 2021-05-23 23:13:45 +0000 | exarkun | (~exarkun@2605:59c1:c2cc:400:70e1:a9aa:6155:349e) (Remote host closed the connection) |
| 2021-05-23 23:13:59 +0000 | exarkun1 | (~exarkun@2605:59c1:c2cc:400::e9c) |
| 2021-05-23 23:14:42 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-23 23:16:09 +0000 | nan` | (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…) |
| 2021-05-23 23:16:51 +0000 | nan` | (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-23 23:20:01 +0000 | slack1256 | (~slack1256@181.203.76.139) |
| 2021-05-23 23:20:13 +0000 | nan` | (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Client Quit) |
| 2021-05-23 23:21:10 +0000 | <boxscape> | ah, actually, the existential would have to be different |
| 2021-05-23 23:21:24 +0000 | <boxscape> | data EUser a = forall b . Hash b => User a b |
| 2021-05-23 23:21:32 +0000 | <boxscape> | and then you can use [EUser a] directly |
| 2021-05-23 23:21:48 +0000 | nan` | (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-23 23:21:48 +0000 | <boxscape> | with the other definition there's still only one b for the entire list |
| 2021-05-23 23:22:13 +0000 | abrar | (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-05-23 23:23:12 +0000 | <Restle> | You could `type UserList a = [forall b. User a b]` I think |
| 2021-05-23 23:23:42 +0000 | <Restle> | Missed the constraint but I'm falling asleep at the keyboard, time to logoff I think |
| 2021-05-23 23:23:52 +0000 | <boxscape> | seems like it would have to be `type UserList a = [exists b . Hash b => User a b]` no? |
| 2021-05-23 23:24:03 +0000 | <boxscape> | (except of course we don't have the exists keyword yet) |
| 2021-05-23 23:24:28 +0000 | <Restle> | exists can _always_ be transformed into some Rank N of forall though no? |
| 2021-05-23 23:24:48 +0000 | <boxscape> | yes, exists n . P n = forall r (forall n . P n -> r) -> r, I believe |
| 2021-05-23 23:25:02 +0000 | kaskal | (~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154) |
| 2021-05-23 23:26:20 +0000 | kaskal | (~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154) () |
| 2021-05-23 23:27:04 +0000 | nan` | (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…) |
| 2021-05-23 23:27:10 +0000 | Gurkenglas__ | (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2021-05-23 23:28:27 +0000 | heath | (~heath@68.68.64.38) (Ping timeout: 264 seconds) |
| 2021-05-23 23:33:47 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-23 23:34:01 +0000 | kaskal | (~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154) |
| 2021-05-23 23:35:01 +0000 | space-shell | (5862f726@107.161.19.109) (Quit: Connection closed) |
| 2021-05-23 23:37:57 +0000 | kaskal | (~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-05-23 23:38:34 +0000 | heath | (~heath@68.68.64.38) |
| 2021-05-23 23:40:56 +0000 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-23 23:46:45 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-05-23 23:49:21 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-23 23:50:32 +0000 | koolazer | (~koolazer@user/koolazer) |
| 2021-05-23 23:53:31 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 23:53:45 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-05-23 23:55:38 +0000 | Carter | carter_ |
| 2021-05-23 23:55:41 +0000 | carter_ | carter |
| 2021-05-23 23:56:15 +0000 | kaskal | (~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154) |