| 2022-05-25 00:00:22 +0200 | <shiraeeshi> | and PolyNum is in contra-variant position |
| 2022-05-25 00:01:34 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 00:02:07 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-25 00:03:31 +0200 | <shiraeeshi> | so I tried to create a script that would demonstrate the point they are trying to make (or prove it wrong) |
| 2022-05-25 00:03:32 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:30cf:ca81:9fb0:16f5) (Remote host closed the connection) |
| 2022-05-25 00:04:08 +0200 | <shiraeeshi> | I created a data type and a couple of synonyms: one of them polymorphic and one concrete |
| 2022-05-25 00:04:11 +0200 | seriously_pc4 | (~seriously@2607:fb90:2446:c74e:55c8:a2c3:719a:4078) |
| 2022-05-25 00:04:12 +0200 | <shiraeeshi> | and two functions |
| 2022-05-25 00:04:31 +0200 | <shiraeeshi> | https://paste.tomsmeding.com/lsxdzath |
| 2022-05-25 00:04:37 +0200 | seriously_pc4 | (~seriously@2607:fb90:2446:c74e:55c8:a2c3:719a:4078) (Client Quit) |
| 2022-05-25 00:04:53 +0200 | seriously_pc92 | (~seriously@2607:fb90:2446:c74e:55c8:a2c3:719a:4078) |
| 2022-05-25 00:04:55 +0200 | <shiraeeshi> | but I couldn't create instances of polymorphic types |
| 2022-05-25 00:05:05 +0200 | <shiraeeshi> | I see how it works with Num |
| 2022-05-25 00:05:15 +0200 | <dminuoso_> | The only value of type `forall t. t` is `undefined` |
| 2022-05-25 00:05:17 +0200 | <shiraeeshi> | but how would that work with my example |
| 2022-05-25 00:05:28 +0200 | seriously_pc92 | (~seriously@2607:fb90:2446:c74e:55c8:a2c3:719a:4078) (Client Quit) |
| 2022-05-25 00:06:04 +0200 | <monochrom> | You run into the same problem as "how to create x :: forall a. a ?" |
| 2022-05-25 00:06:23 +0200 | <monochrom> | the answer is "x = undefined" or "x = error "TODO"" |
| 2022-05-25 00:06:38 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 00:07:00 +0200 | <monochrom> | Therefore when I'm teaching this, I use "f1 :: (forall a. a -> a) -> Int" and "f2 :: (Int -> Int) -> Int" instead. |
| 2022-05-25 00:07:01 +0200 | <shiraeeshi> | then why would library creators declare polymorphic type synonyms? |
| 2022-05-25 00:07:30 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-25 00:07:37 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 00:07:56 +0200 | <monochrom> | Slow down. |
| 2022-05-25 00:08:04 +0200 | <shiraeeshi> | monochrom: and what do you do with f1 and f2? |
| 2022-05-25 00:08:29 +0200 | <monochrom> | I let you call them. I let you discover which one is more restrictive. |
| 2022-05-25 00:09:51 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 276 seconds) |
| 2022-05-25 00:09:58 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 246 seconds) |
| 2022-05-25 00:10:46 +0200 | <monochrom> | And at the same time the restrictive one is still somewhat usable. |
| 2022-05-25 00:11:11 +0200 | <shiraeeshi> | here is what the tutorial says: |
| 2022-05-25 00:11:14 +0200 | <shiraeeshi> | "pipes also provides polymorphic type synonyms with apostrophes at the end of their names. These use universal quantification to leave open any unused input or output ends (which I mark using *)" |
| 2022-05-25 00:11:36 +0200 | <shiraeeshi> | what does "leave open" means then? |
| 2022-05-25 00:12:06 +0200 | joo-_ | (~joo-_@80-62-116-159-mobile.dk.customer.tdc.net) |
| 2022-05-25 00:12:06 +0200 | joo-_ | (~joo-_@80-62-116-159-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-05-25 00:12:06 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-05-25 00:12:17 +0200 | <shiraeeshi> | I think I'm trying to understand what's the point of universal quantification |
| 2022-05-25 00:12:19 +0200 | <monochrom> | I don't know pipes. I don't know what that sentence is talking about. But I can guess. |
| 2022-05-25 00:12:56 +0200 | <monochrom> | I have "forall b. (forall a. a -> a) -> b -> b" |
| 2022-05-25 00:13:17 +0200 | <monochrom> | I would not describe "b" as "left open", but I bet that sentence would say that. |
| 2022-05-25 00:13:46 +0200 | <monochrom> | I am providing "bar :: forall b. (forall a. a -> a) -> b -> b" to you. Therefore, you choose b, I choose a. |
| 2022-05-25 00:13:57 +0200 | <monochrom> | From my POV, b is left open to you. |
| 2022-05-25 00:14:04 +0200 | <monochrom> | From your POV, a is left open to me. |
| 2022-05-25 00:14:47 +0200 | <monochrom> | This is what's wrong with "intuitive" "explanations" such as "can be anything" "left open". |
| 2022-05-25 00:15:17 +0200 | <monochrom> | Of course it's left open and can be anything. The contention is TO WHOM. |
| 2022-05-25 00:15:22 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-25 00:15:56 +0200 | <shiraeeshi> | I think I get it now |
| 2022-05-25 00:15:59 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 00:16:16 +0200 | <monochrom> | Programming is the dialectic class struggle between the provider and the receiver. |
| 2022-05-25 00:16:52 +0200 | benin | (~benin@183.82.204.153) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-25 00:16:52 +0200 | <monochrom> | I love what you hate. My freedom is your slavery. Your ignorance is my strength. |
| 2022-05-25 00:17:03 +0200 | <shiraeeshi> | if you universally quantify a type variable you make it so that no one can pass any value that would satisfy it |
| 2022-05-25 00:17:45 +0200 | <shiraeeshi> | universal quantification means that it's impossible to pass a value that would satisfy it |
| 2022-05-25 00:17:51 +0200 | <byorgey> | I think "leave open" is actually talking about the ends of pipes. As in, polymorphism is used to guarantee that a certain input or output can't actually be used, even though it is still "left open" in the sense that e.g. output could be sent to it even though it will be ignored. |
| 2022-05-25 00:20:16 +0200 | <shiraeeshi> | yes, I thought that "leave open" means "open for interpretation, open for specialization" when you pass a value of a more concrete type |
| 2022-05-25 00:20:23 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 244 seconds) |
| 2022-05-25 00:20:36 +0200 | <shiraeeshi> | but actually it means "leave the end open so nobody can close it" |
| 2022-05-25 00:20:51 +0200 | <shiraeeshi> | or something like that |
| 2022-05-25 00:25:21 +0200 | <shiraeeshi> | monochrom: you said: I have "forall b. (forall a. a -> a) -> b -> b" |
| 2022-05-25 00:25:26 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:cc00:f079:d366:2a9:ed7f) (Ping timeout: 258 seconds) |
| 2022-05-25 00:26:28 +0200 | <shiraeeshi> | we can change it to say "forall b. (forall a. a -> x) -> b -> y", right? |
| 2022-05-25 00:26:45 +0200 | <shiraeeshi> | we're talking about contra-variant position here |
| 2022-05-25 00:26:56 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-05-25 00:27:08 +0200 | <monochrom> | What would the computer say? |
| 2022-05-25 00:27:13 +0200 | <shiraeeshi> | just wanted to clarify |
| 2022-05-25 00:27:30 +0200 | <monochrom> | Sure. What would the computer say? |
| 2022-05-25 00:27:30 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-25 00:27:36 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 00:27:38 +0200 | <shiraeeshi> | no, I mean, change the example so that it's less confusing |
| 2022-05-25 00:27:53 +0200 | <monochrom> | The change is more confusing. |
| 2022-05-25 00:28:17 +0200 | <geekosaur> | what is less confusing about introducing an x and a y out of nowhere? |
| 2022-05-25 00:28:40 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-05-25 00:28:43 +0200 | <shiraeeshi> | to show that "a" and "b" appear in contra-variant position |
| 2022-05-25 00:28:48 +0200 | <shiraeeshi> | and not in both positions |
| 2022-05-25 00:29:50 +0200 | <monochrom> | The change leads to much degeneracy. |
| 2022-05-25 00:31:35 +0200 | <monochrom> | Look at where are the "forall a" and "forall b" instead. |
| 2022-05-25 00:31:53 +0200 | <monochrom> | Also I have a feeling that covariance and contravariance are misapplied to this. |
| 2022-05-25 00:32:10 +0200 | <monochrom> | positive and negative are more suitable. |
| 2022-05-25 00:32:51 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 00:33:35 +0200 | <monochrom> | If I gave you "goo :: (forall a. a) -> Int", it's "simpler" but the only way you could use it is "goo undefined". |
| 2022-05-25 00:33:54 +0200 | <monochrom> | With my bar, at least you have one more option: "bar id". |
| 2022-05-25 00:35:03 +0200 | <monochrom> | This is why a "forall a" is best with "...a... -> ...a..." so at least there is a non-degenerate use case. |
| 2022-05-25 00:35:21 +0200 | <shiraeeshi> | hmm |
| 2022-05-25 00:35:56 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-25 00:36:25 +0200 | <monochrom> | Everything I've said is a fact. What you need to do is to discard any mental model that conflicts with the facts, and accept some mental models that are compatible with the fact. |
| 2022-05-25 00:36:37 +0200 | <monochrom> | As opposed to using a mental model to dispute facts. |
| 2022-05-25 00:37:49 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-25 00:38:07 +0200 | <shiraeeshi> | the "bar" is a good example |
| 2022-05-25 00:39:34 +0200 | <shiraeeshi> | at least I have a place to start from, something like a mnemonic rule |
| 2022-05-25 00:40:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-25 00:41:19 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-25 00:41:26 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-05-25 00:43:36 +0200 | <shiraeeshi> | don't you guys get tired to answer the same questions about universal quantification, covariance, and contravariance over and over again? |
| 2022-05-25 00:44:00 +0200 | <shiraeeshi> | I mean these kinds of questions should appear more or less frequently |
| 2022-05-25 00:44:25 +0200 | <shiraeeshi> | don't you have like a resource, a blog post to recommend? |
| 2022-05-25 00:45:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-25 00:46:35 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-25 00:46:36 +0200 | <monochrom> | I think I see what you were thinking earlier. |
| 2022-05-25 00:47:14 +0200 | <monochrom> | Suppose you start with, in OOP, "fun :: C -> C", where C has subclasses. |
| 2022-05-25 00:48:07 +0200 | <monochrom> | That is really saying: "fun :: (forall c such that c is a subclass of C) -> (for some d such that d is a subclass of C)" |
| 2022-05-25 00:48:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-25 00:49:54 +0200 | <monochrom> | So an imprecise but somewhat workable model is "the 1st C is at a contravariant position, the 2nd is at a covariant position". |
| 2022-05-25 00:50:40 +0200 | <monochrom> | But once explicated by reductionism, you should still be looking at the locations of the quantifiers. |
| 2022-05-25 00:50:57 +0200 | <monochrom> | err oops. |
| 2022-05-25 00:51:12 +0200 | <monochrom> | "fun :: (for some c such that c is a subclass of C) -> (for some d such that d is a subclass of C)" |
| 2022-05-25 00:52:10 +0200 | <monochrom> | By a puff of logic, that's equivalent to: |
| 2022-05-25 00:52:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-25 00:52:54 +0200 | <monochrom> | "fun :: forall c such that c is a subclass of C. c -> (for some d such that d is a subclass of C)" |
| 2022-05-25 00:53:12 +0200 | <monochrom> | for-some at a negative position becomes a forall at a positive position. |
| 2022-05-25 00:54:01 +0200 | <monochrom> | User of fun provides whatever subclass of C the user wants, gets back a subclass of C that fun chooses. |
| 2022-05-25 00:54:37 +0200 | <shiraeeshi> | why do you distinguish "for-some" and forall |
| 2022-05-25 00:54:56 +0200 | <shiraeeshi> | is that existential and universal quantifications? |
| 2022-05-25 00:55:06 +0200 | <monochrom> | for-some is existential. |
| 2022-05-25 00:56:10 +0200 | <monochrom> | OOP deals in existentials most of the time. |
| 2022-05-25 00:56:11 +0200 | <shiraeeshi> | I think better version is to say "forall b. (forall a. a -> Int) -> b -> String" |
| 2022-05-25 00:56:35 +0200 | <shiraeeshi> | wait |
| 2022-05-25 00:56:46 +0200 | <monochrom> | Can you write a function of that type? Can you use a function of that type? |
| 2022-05-25 00:57:14 +0200 | <shiraeeshi> | ok, I see |
| 2022-05-25 00:58:15 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 00:58:17 +0200 | <monochrom> | The user might find that the 1st parameter can only be like "const 4". |
| 2022-05-25 00:58:40 +0200 | <shiraeeshi> | monochrom: "But once explicated by reductionism, you should still be looking at the locations of the quantifiers." |
| 2022-05-25 00:58:45 +0200 | <shiraeeshi> | what's the rule here? |
| 2022-05-25 00:59:11 +0200 | <monochrom> | The 1st for-some is negative, the 2nd for-some is positive. |
| 2022-05-25 00:59:12 +0200 | <shiraeeshi> | like you described in the "bar" example, right |
| 2022-05-25 00:59:33 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-05-25 00:59:35 +0200 | <shiraeeshi> | the outermost is negative, |
| 2022-05-25 00:59:55 +0200 | <shiraeeshi> | and parentheses change the sign |
| 2022-05-25 00:59:55 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 00:59:57 +0200 | <monochrom> | No, the outermost is positive. |
| 2022-05-25 00:59:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-25 01:00:20 +0200 | <monochrom> | It's "negative -> positive" |
| 2022-05-25 01:00:52 +0200 | <monochrom> | But a negative forsome becomes a positive forall. |
| 2022-05-25 01:01:45 +0200 | <monochrom> | "if (there is an even prime number), then (it must be 2)" = "forall p. if p is an even prime number, then p=2". |
| 2022-05-25 01:01:57 +0200 | <monochrom> | Puff of logic. |
| 2022-05-25 01:03:32 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-05-25 01:03:42 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 2022-05-25 01:04:21 +0200 | <shiraeeshi> | I see |
| 2022-05-25 01:04:28 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-25 01:05:42 +0200 | <monochrom> | I've got to go. See you later. |
| 2022-05-25 01:06:21 +0200 | <shiraeeshi> | thanks for the explanation |
| 2022-05-25 01:08:00 +0200 | <hpc> | this connection to logic goes deep, and if you want to do further googling you won't be bored by what you find :D |
| 2022-05-25 01:09:51 +0200 | <shiraeeshi> | hpc: what search terms do you mean? |
| 2022-05-25 01:10:36 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-05-25 01:11:12 +0200 | <shiraeeshi> | I guess something like "existential and universal quantification" |
| 2022-05-25 01:13:37 +0200 | mmhat | (~mmh@p200300f1c705841dee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-25 01:14:19 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-05-25 01:16:01 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-05-25 01:16:46 +0200 | <zzz> | curry howards isomorphism, propositions as types? |
| 2022-05-25 01:17:30 +0200 | <zzz> | i just got here, not sure if that's what you were talking about |
| 2022-05-25 01:18:23 +0200 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2022-05-25 01:19:05 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-25 01:20:16 +0200 | jollygood2 | (~bc8147f2@199.204.85.195) (Quit: CGI:IRC) |
| 2022-05-25 01:25:09 +0200 | <shiraeeshi> | the discussion was about me trying to understand a snippet from the Pipes tutorial |
| 2022-05-25 01:26:26 +0200 | <shiraeeshi> | when you have Producer and Producer' defined as |
| 2022-05-25 01:26:38 +0200 | <shiraeeshi> | type Producer' b m r = forall x' x . Proxy x' x () b m r |
| 2022-05-25 01:26:40 +0200 | mmhat | (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-05-25 01:26:45 +0200 | <shiraeeshi> | type Producer b = Proxy X () () b |
| 2022-05-25 01:27:19 +0200 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
| 2022-05-25 01:27:41 +0200 | <shiraeeshi> | polymorphic type synonyms cause problems when used as the argument of a function (known as the "negative" or "contravariant" position) like this: |
| 2022-05-25 01:27:49 +0200 | <shiraeeshi> | f :: Producer' a m r -> ... -- Wrong |
| 2022-05-25 01:27:56 +0200 | <shiraeeshi> | f :: Producer a m r -> ... -- Right |
| 2022-05-25 01:28:00 +0200 | <hpc> | yeah, what zzz said |
| 2022-05-25 01:28:04 +0200 | <hpc> | (was afk for a bit) |
| 2022-05-25 01:28:04 +0200 | <shiraeeshi> | The former function only accepts polymorphic Producers as arguments. The latter function accepts both polymorphic and concrete Producers, which is probably what you want. |
| 2022-05-25 01:29:10 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-05-25 01:30:58 +0200 | <dons> | morning all |
| 2022-05-25 01:33:44 +0200 | <geekosaur> | o/ |
| 2022-05-25 01:33:58 +0200 | <shiraeeshi> | I'm going to re-read what monochrom and dminuoso said, perhaps it clicks in my head later |
| 2022-05-25 01:34:20 +0200 | <shiraeeshi> | it kind of starting to make sense |
| 2022-05-25 01:36:25 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-05-25 01:41:10 +0200 | mmhat | (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-05-25 01:42:07 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 01:45:29 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 248 seconds) |
| 2022-05-25 01:45:46 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-25 01:50:17 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-05-25 01:54:17 +0200 | tafa | (~tafa@user/tafa) (Quit: ZNC - https://znc.in) |
| 2022-05-25 01:56:08 +0200 | tafa | (~tafa@user/tafa) |
| 2022-05-25 01:58:36 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt) |
| 2022-05-25 02:03:58 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-05-25 02:08:37 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-05-25 02:16:24 +0200 | <Axman6> | o/ |
| 2022-05-25 02:19:27 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-05-25 02:19:48 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-25 02:21:28 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-25 02:24:29 +0200 | mmhat | (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-05-25 02:25:48 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-25 02:31:40 +0200 | Lemniscate | (~sauvin@about/linux/staff/sauvin) |
| 2022-05-25 02:34:23 +0200 | Sauvin | (~sauvin@about/linux/staff/sauvin) (Ping timeout: 255 seconds) |
| 2022-05-25 02:34:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-25 02:36:00 +0200 | <dibblego> | g'morn |
| 2022-05-25 02:38:16 +0200 | mmhat | (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 2022-05-25 02:39:35 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-05-25 02:40:17 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-25 02:40:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-05-25 02:41:32 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-05-25 02:42:01 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2022-05-25 02:48:42 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 2022-05-25 02:51:06 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 258 seconds) |
| 2022-05-25 02:54:18 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 276 seconds) |
| 2022-05-25 02:58:40 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 03:00:41 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-05-25 03:01:39 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 03:04:55 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2022-05-25 03:07:58 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 2022-05-25 03:10:59 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-25 03:14:59 +0200 | leah2 | (~leah@vuxu.org) |
| 2022-05-25 03:15:59 +0200 | <sm> | morning dibblego |
| 2022-05-25 03:17:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-25 03:17:21 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-25 03:18:50 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-05-25 03:20:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-25 03:24:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:30cf:ca81:9fb0:16f5) |
| 2022-05-25 03:24:59 +0200 | <kenaryn> | Hello. I would like to install and use scientific package on stackage.org. I'm using voidLinux with musl. I run `stack upgrade` and `stack update`. I then typed `stack init` in my project and added `extra-deps: scientific-0.3.7.0@rev:2` in `stack.yaml` file and run `stack install scientific -v` but stack failed during building of hashable-1.3.5.0 package and I do not know what to do in order to fix it. |
| 2022-05-25 03:25:05 +0200 | <kenaryn> | Can someone help me? maybe I need other dependencies or passing a flag to stack. The log is here: https://paste.tomsmeding.com/lyUx1NFK |
| 2022-05-25 03:26:20 +0200 | <kenaryn> | I forgot to say "please". |
| 2022-05-25 03:27:21 +0200 | <hololeap> | hm, is (forall a. a -> b) isomorphic to b? since you can only provide something that drops a |
| 2022-05-25 03:27:24 +0200 | zzz | pax483--- |
| 2022-05-25 03:27:34 +0200 | pax483--- | zzz |
| 2022-05-25 03:27:40 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-25 03:29:56 +0200 | <hololeap> | kenaryn: ghc might have issues with musl. you'll have to wait for someone who knows about that stuff. and/or ask in #ghc |
| 2022-05-25 03:32:03 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-25 03:32:57 +0200 | <kenaryn> | hololeap: Allright, thanks, I'll ask there too. |
| 2022-05-25 03:32:58 +0200 | <dolio> | Whether they're isomorphic depends on how much you care about bottoms. |
| 2022-05-25 03:33:29 +0200 | <hololeap> | dolio, can you explain what you mean? |
| 2022-05-25 03:33:57 +0200 | <jackdk> | that's the coyoneda lemma for the identity functor, isn't it? |
| 2022-05-25 03:35:22 +0200 | <jackdk> | kenaryn: I see errors in the trace about not being able to find libtinfo and libgmp; have you installed development versions of those packages? |
| 2022-05-25 03:36:00 +0200 | <dolio> | Well, like, `\x -> seq x b` and `\_ -> b` are different values of that type that you'd probably expect to correspond to `b`. |
| 2022-05-25 03:36:21 +0200 | <jackdk> | void + musl seems like a really niche combination. The only way I've ever built ghc-on-musl is by cross-compiling from a glibc system using nix, and all the nix means I don't think about how the magic actually happens |
| 2022-05-25 03:36:36 +0200 | <hololeap> | hm, interesting example dolio. I hadn't thought of that |
| 2022-05-25 03:36:38 +0200 | <dolio> | Also there's an extra level of indirection for bottoms. |
| 2022-05-25 03:36:52 +0200 | <dolio> | undefined vs. \_ -> undefined |
| 2022-05-25 03:38:12 +0200 | <monochrom> | The other day I heard of voidlinux and its runit. Had a good chuckle. :) |
| 2022-05-25 03:41:19 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 03:44:35 +0200 | <kenaryn> | jackdk: I have ncurses-libtinfo-devel-6.3_2 and gmp-devel-6.2.1.1 |
| 2022-05-25 03:45:23 +0200 | <jackdk> | then I dunno. I don't know void, I don't know musl, and I don't know how stack passes paths to cabal-the-library :S |
| 2022-05-25 03:45:55 +0200 | <kenaryn> | jackdk: but when I was trying to install it before, I got: Did not find shared library libgmp.so.3 and libftinfo.so.6 |
| 2022-05-25 03:46:55 +0200 | <kenaryn> | I do have a symlink to /usr/lib/libncursesw.so.6.1 /usr/lib/libtinfow.so.6 /usr/lib/libncursesw.so.6 /usr/lib/libtinfo.so.6 but nothing of the sort regarding to lib-gmp |
| 2022-05-25 03:47:23 +0200 | andrey__ | (~andrey@p200300dbcf0c3500f9c88a1de397731a.dip0.t-ipconnect.de) |
| 2022-05-25 03:49:38 +0200 | andrey_ | (~andrey@p200300dbcf14f800f85ba15fc5bddcc0.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-25 03:50:13 +0200 | Guest9499 | (~Guest94@modemcable185.196-58-74.mc.videotron.ca) |
| 2022-05-25 03:51:36 +0200 | Guest9499 | (~Guest94@modemcable185.196-58-74.mc.videotron.ca) (Client Quit) |
| 2022-05-25 03:54:01 +0200 | shiraeeshi | (~shiraeesh@46.34.206.185) (Quit: Leaving) |
| 2022-05-25 03:55:50 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-05-25 03:57:38 +0200 | hinny[m] | (~hinnymatr@2001:470:69fc:105::2:18ed) |
| 2022-05-25 03:59:03 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-05-25 03:59:45 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 2022-05-25 04:00:22 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-05-25 04:06:08 +0200 | vysn | (~vysn@user/vysn) |
| 2022-05-25 04:07:05 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds) |
| 2022-05-25 04:07:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2022-05-25 04:08:44 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2022-05-25 04:11:08 +0200 | Katarushisu0 | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2022-05-25 04:11:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-25 04:13:24 +0200 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-05-25 04:13:24 +0200 | Katarushisu0 | Katarushisu |
| 2022-05-25 04:14:12 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 04:15:43 +0200 | seriously | (~seriously@ool-18bd5811.dyn.optonline.net) |
| 2022-05-25 04:21:34 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2022-05-25 04:24:04 +0200 | frost | (~frost@user/frost) |
| 2022-05-25 04:27:07 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2022-05-25 04:28:48 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-25 04:32:17 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2022-05-25 04:36:02 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-25 04:38:21 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 2022-05-25 04:40:50 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 2022-05-25 04:42:56 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-25 04:42:56 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-25 04:42:56 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-25 04:45:00 +0200 | z0k | (~z0k@39.40.43.194) |
| 2022-05-25 04:52:24 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-25 04:53:50 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 04:55:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-25 04:55:44 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-25 04:55:44 +0200 | finn_elija | FinnElija |
| 2022-05-25 04:57:37 +0200 | foul_owl | (~kerry@23.82.193.89) (Ping timeout: 260 seconds) |
| 2022-05-25 05:00:02 +0200 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-05-25 05:00:19 +0200 | foul_owl | (~kerry@23.82.193.89) |
| 2022-05-25 05:01:24 +0200 | haasn | (~nand@haasn.dev) |
| 2022-05-25 05:01:27 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-25 05:06:56 +0200 | foul_owl | (~kerry@23.82.193.89) (Ping timeout: 255 seconds) |
| 2022-05-25 05:09:36 +0200 | foul_owl | (~kerry@23.82.193.89) |
| 2022-05-25 05:11:02 +0200 | seriously | (~seriously@ool-18bd5811.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2022-05-25 05:11:25 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 05:12:17 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-25 05:14:11 +0200 | seriously | (~seriously@ool-18bd5811.dyn.optonline.net) |
| 2022-05-25 05:14:28 +0200 | foul_owl | (~kerry@23.82.193.89) (Ping timeout: 258 seconds) |
| 2022-05-25 05:18:01 +0200 | foul_owl | (~kerry@23.82.193.89) |
| 2022-05-25 05:35:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-25 05:36:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-25 05:44:11 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-25 05:44:19 +0200 | raym | (~raym@user/raym) |
| 2022-05-25 05:46:56 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-25 05:47:28 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: Lost terminal) |
| 2022-05-25 05:48:48 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 05:51:30 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-25 05:52:24 +0200 | haskl | (~haskl@user/haskl) (Ping timeout: 276 seconds) |
| 2022-05-25 05:55:25 +0200 | haskl | (~haskl@user/haskl) |
| 2022-05-25 05:59:47 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-25 05:59:57 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:8111:3b07:3cb:440e) (Read error: Connection reset by peer) |
| 2022-05-25 06:00:45 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2022-05-25 06:01:26 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-25 06:01:37 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-25 06:02:01 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 06:06:36 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2022-05-25 06:07:42 +0200 | seriously | (~seriously@ool-18bd5811.dyn.optonline.net) (Quit: Client closed) |
| 2022-05-25 06:10:50 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 06:12:27 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 240 seconds) |
| 2022-05-25 06:12:29 +0200 | _xor | (~xor@72.49.198.103) |
| 2022-05-25 06:16:05 +0200 | monochrom | (trebla@216.138.220.146) |
| 2022-05-25 06:16:20 +0200 | seriously | (~seriously@ool-18bd5811.dyn.optonline.net) |
| 2022-05-25 06:17:26 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 2022-05-25 06:17:27 +0200 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-05-25 06:22:32 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-25 06:28:46 +0200 | seriously | (~seriously@ool-18bd5811.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2022-05-25 06:34:28 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-25 06:34:45 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 06:43:47 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 06:54:24 +0200 | polyphem | (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) |
| 2022-05-25 06:58:18 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-25 06:58:35 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 07:02:07 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-25 07:02:46 +0200 | Vajb | (~Vajb@2001:999:600:879a:e69c:7638:2849:8a14) |
| 2022-05-25 07:05:04 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 07:10:05 +0200 | phma | (~phma@2001:5b0:2143:d2f8:5c18:7b3:2a38:5b88) (Read error: Connection reset by peer) |
| 2022-05-25 07:11:07 +0200 | phma | (~phma@host-67-44-208-148.hnremote.net) |
| 2022-05-25 07:12:19 +0200 | Guest|59 | (~Guest|59@203.206.251.225) |
| 2022-05-25 07:19:02 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-25 07:19:54 +0200 | Guest|59 | (~Guest|59@203.206.251.225) (Quit: Connection closed) |
| 2022-05-25 07:27:22 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 07:32:51 +0200 | michalz | (~michalz@185.246.204.125) |
| 2022-05-25 07:44:39 +0200 | raym | (~raym@user/raym) |
| 2022-05-25 07:44:51 +0200 | Alex_test | (~al_test@94.233.241.107) (Ping timeout: 276 seconds) |
| 2022-05-25 07:45:37 +0200 | polyphem | (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) (Ping timeout: 260 seconds) |
| 2022-05-25 07:46:12 +0200 | AlexNoo | (~AlexNoo@94.233.241.107) (Ping timeout: 260 seconds) |
| 2022-05-25 07:46:48 +0200 | AlexZenon | (~alzenon@94.233.241.107) (Ping timeout: 276 seconds) |
| 2022-05-25 07:47:49 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 244 seconds) |
| 2022-05-25 07:48:55 +0200 | dminuoso_ | dminuoso |
| 2022-05-25 07:53:01 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-25 08:01:53 +0200 | ardell | (~ardell@user/ardell) |
| 2022-05-25 08:07:19 +0200 | acidjnk | (~acidjnk@p200300d0c7068b844c6aca9bc3aff03d.dip0.t-ipconnect.de) |
| 2022-05-25 08:17:13 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 08:21:55 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 258 seconds) |
| 2022-05-25 08:22:26 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 08:24:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2022-05-25 08:26:19 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-25 08:26:19 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-25 08:26:19 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-25 08:36:25 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-05-25 08:37:30 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 08:38:41 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-25 08:42:59 +0200 | juhp[m] | (~juhpmatri@2001:470:69fc:105::6e9) (Quit: Reconnecting) |
| 2022-05-25 08:43:15 +0200 | juhp[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2022-05-25 08:45:41 +0200 | raym | (~raym@user/raym) (Ping timeout: 258 seconds) |
| 2022-05-25 08:46:44 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 08:47:21 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-05-25 08:48:22 +0200 | texasmynsted_ | (~texasmyns@99.96.221.112) |
| 2022-05-25 08:48:44 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-05-25 08:49:17 +0200 | Trattue- | (~Trattue@152.70.182.158) |
| 2022-05-25 08:49:17 +0200 | shriekingnoise_ | (~shrieking@201.231.16.156) |
| 2022-05-25 08:49:18 +0200 | vgtw_ | (~vgtw@user/vgtw) |
| 2022-05-25 08:49:28 +0200 | ardell | (~ardell@user/ardell) (Quit: WeeChat 3.5) |
| 2022-05-25 08:49:59 +0200 | ardell | (~ardell@user/ardell) |
| 2022-05-25 08:50:33 +0200 | JimL_ | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-05-25 08:51:15 +0200 | peutri_ | (~peutri@bobo.desast.re) |
| 2022-05-25 08:51:39 +0200 | LambdaDu1k | (~anka@ksit.fixme.fi) |
| 2022-05-25 08:51:41 +0200 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-25 08:51:50 +0200 | absence_ | (torgeihe@hildring.pvv.ntnu.no) |
| 2022-05-25 08:52:02 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) (Killed (NickServ (GHOST command used by wrengr_))) |
| 2022-05-25 08:52:02 +0200 | chronon | (~chronon@user/chronon) |
| 2022-05-25 08:52:09 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-05-25 08:52:10 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) |
| 2022-05-25 08:54:09 +0200 | pie__ | (~pie_bnc@user/pie/x-2818909) |
| 2022-05-25 08:54:16 +0200 | gabriel_1 | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-05-25 08:56:41 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | k` | (~user@152.1.137.158) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | texasmynsted | (~texasmyns@99.96.221.112) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | icebreaker | (~icebreake@user/icebreaker) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | Square | (~a@user/square) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | mzan | (~quassel@mail.asterisell.com) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | finsternis | (~X@23.226.237.192) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | remedan | (~remedan@octo.cafe) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | ashln | (~ashln@98.38.236.123) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | dfordvm | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split) |
| 2022-05-25 08:56:41 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2022-05-25 08:56:42 +0200 | LambdaDuck | (~anka@ksit.fixme.fi) (*.net *.split) |
| 2022-05-25 08:56:42 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 2022-05-25 08:56:42 +0200 | tochicool | (~tochicool@user/tochicool) (*.net *.split) |
| 2022-05-25 08:56:42 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (*.net *.split) |
| 2022-05-25 08:56:42 +0200 | chronon_ | (~chronon@user/chronon) (*.net *.split) |
| 2022-05-25 08:56:42 +0200 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
| 2022-05-25 08:56:42 +0200 | Trattue | (~Trattue@152.70.182.158) (*.net *.split) |
| 2022-05-25 08:56:42 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2022-05-25 08:57:10 +0200 | JimL_ | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 240 seconds) |
| 2022-05-25 08:57:15 +0200 | tochicool | (~tochicool@user/tochicool) |
| 2022-05-25 08:57:22 +0200 | raym | (~raym@user/raym) |
| 2022-05-25 08:58:33 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2022-05-25 08:59:46 +0200 | Square | (~a@user/square) |
| 2022-05-25 08:59:46 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 09:01:38 +0200 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2022-05-25 09:01:38 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-05-25 09:01:38 +0200 | dfordvm | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) |
| 2022-05-25 09:01:38 +0200 | k`` | (~user@152.1.137.158) |
| 2022-05-25 09:01:38 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-05-25 09:01:38 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-05-25 09:01:38 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2022-05-25 09:01:38 +0200 | icebreaker | (~icebreake@user/icebreaker) |
| 2022-05-25 09:01:38 +0200 | Philonous | (~Philonous@user/philonous) |
| 2022-05-25 09:01:38 +0200 | kmein | (~weechat@user/kmein) |
| 2022-05-25 09:01:38 +0200 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 2022-05-25 09:01:38 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-05-25 09:01:38 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-05-25 09:01:38 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2022-05-25 09:01:38 +0200 | ashln | (~ashln@98.38.236.123) |
| 2022-05-25 09:01:38 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-05-25 09:01:55 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-05-25 09:02:14 +0200 | finsternis | (~X@23.226.237.192) (Max SendQ exceeded) |
| 2022-05-25 09:02:14 +0200 | remedan | (~remedan@octo.cafe) (Max SendQ exceeded) |
| 2022-05-25 09:02:37 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-05-25 09:03:08 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-05-25 09:04:20 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 09:06:17 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-25 09:06:26 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-25 09:09:02 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 2022-05-25 09:11:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c4e4:b096:5654:3d1f) |
| 2022-05-25 09:12:48 +0200 | chomwitt | (~chomwitt@2a02:587:dc17:d600:c965:87d5:7916:d9b7) |
| 2022-05-25 09:12:55 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2022-05-25 09:19:30 +0200 | edr | (~edr@user/edr) (Ping timeout: 240 seconds) |
| 2022-05-25 09:20:27 +0200 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) (Ping timeout: 256 seconds) |
| 2022-05-25 09:20:43 +0200 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) |
| 2022-05-25 09:21:56 +0200 | frost | (~frost@user/frost) |
| 2022-05-25 09:22:20 +0200 | nschoe | (~quassel@178.251.84.79) |
| 2022-05-25 09:25:30 +0200 | edr | (~edr@enlo.co) |
| 2022-05-25 09:25:30 +0200 | edr | (~edr@enlo.co) (Changing host) |
| 2022-05-25 09:25:30 +0200 | edr | (~edr@user/edr) |
| 2022-05-25 09:26:36 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-25 09:26:39 +0200 | mbuf | (~Shakthi@31.32.33.168) |
| 2022-05-25 09:28:30 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2022-05-25 09:28:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-25 09:31:21 +0200 | frost | (~frost@user/frost) |
| 2022-05-25 09:31:32 +0200 | ardell | (~ardell@user/ardell) (Quit: WeeChat 3.5) |
| 2022-05-25 09:32:44 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-25 09:33:57 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-25 09:34:37 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2022-05-25 09:36:07 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-25 09:38:12 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 2022-05-25 09:45:40 +0200 | akegalj | (~akegalj@89-172-84-251.adsl.net.t-com.hr) |
| 2022-05-25 09:47:03 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-25 09:48:32 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-25 09:48:42 +0200 | frost95 | (~frost@user/frost) |
| 2022-05-25 09:49:39 +0200 | frost95 | (~frost@user/frost) (Client Quit) |
| 2022-05-25 09:49:46 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-05-25 09:49:59 +0200 | lagooned | (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-05-25 09:52:06 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-25 09:52:38 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-25 09:53:35 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-05-25 09:54:34 +0200 | frost | (~frost@user/frost) |
| 2022-05-25 09:58:57 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-05-25 10:02:22 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-25 10:02:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-25 10:04:54 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 10:06:04 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 10:06:33 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-05-25 10:08:16 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 10:10:52 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 2022-05-25 10:14:50 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-05-25 10:16:33 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 256 seconds) |
| 2022-05-25 10:17:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-25 10:18:10 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 2022-05-25 10:24:35 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-25 10:27:07 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-25 10:33:57 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-25 10:34:21 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-25 10:34:42 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2022-05-25 10:34:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:30cf:ca81:9fb0:16f5) (Remote host closed the connection) |
| 2022-05-25 10:37:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-25 10:39:16 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-25 10:44:45 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-25 10:46:31 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 10:48:27 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-05-25 10:49:57 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-25 10:50:44 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-05-25 10:54:52 +0200 | acidjnk | (~acidjnk@p200300d0c7068b844c6aca9bc3aff03d.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2022-05-25 11:02:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-25 11:05:35 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-05-25 11:06:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-05-25 11:06:30 +0200 | joeyh | (~joeyh@kitenet.net) (Ping timeout: 240 seconds) |
| 2022-05-25 11:06:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-05-25 11:06:35 +0200 | nshepperd29 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2022-05-25 11:06:40 +0200 | joeyh | (joeyh@kitenet.net) |
| 2022-05-25 11:07:48 +0200 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) (Ping timeout: 248 seconds) |
| 2022-05-25 11:07:48 +0200 | nshepperd29 | nshepperd2 |
| 2022-05-25 11:10:25 +0200 | CiaoSen | (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-25 11:10:48 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:8bc6:79:6db2:257a) |
| 2022-05-25 11:13:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-25 11:17:03 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-25 11:17:53 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 11:25:23 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-05-25 11:26:34 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-05-25 11:27:11 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2022-05-25 11:27:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 11:28:27 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-25 11:34:24 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-25 11:34:41 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 11:37:02 +0200 | mmhat | (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-05-25 11:41:15 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds) |
| 2022-05-25 11:43:06 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:8bc6:79:6db2:257a) (Quit: ubert) |
| 2022-05-25 11:43:12 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-05-25 11:43:18 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ab72:eb66:da97:5116) |
| 2022-05-25 11:43:22 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 11:44:55 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-25 11:47:22 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 11:50:42 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-25 11:54:04 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-25 11:56:00 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 11:56:42 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 11:57:26 +0200 | causal | (~user@50.35.83.177) |
| 2022-05-25 11:58:33 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 256 seconds) |
| 2022-05-25 12:00:07 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 240 seconds) |
| 2022-05-25 12:01:34 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2022-05-25 12:03:18 +0200 | trisolarian | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-25 12:03:57 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-05-25 12:07:40 +0200 | <trisolarian> | what's the difference between runghc and runhaskell ? |
| 2022-05-25 12:08:07 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-05-25 12:09:34 +0200 | <tomsmeding> | no difference |
| 2022-05-25 12:09:54 +0200 | <tomsmeding> | they point to the same binary on my machine |
| 2022-05-25 12:10:15 +0200 | <int-e> | at some point in the past, runhaskell could've invoked hugs |
| 2022-05-25 12:10:33 +0200 | <int-e> | i.e. another haskell implementation |
| 2022-05-25 12:10:54 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 12:12:13 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 12:12:14 +0200 | <trisolarian> | How does runghc looks for packages? i use cabal install --lib random --env . in a folder |
| 2022-05-25 12:12:19 +0200 | <trisolarian> | and runghc can find the random package |
| 2022-05-25 12:12:36 +0200 | <trisolarian> | but in another folder, runghc doesn't find the random package |
| 2022-05-25 12:15:10 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-05-25 12:16:08 +0200 | <int-e> | there's a magic file for that, .ghc-environment or something |
| 2022-05-25 12:17:02 +0200 | <int-e> | There's also an environment variable, GHC_ENVIRONMENT, which you can probably point to that directory to make things work? |
| 2022-05-25 12:17:15 +0200 | <maerwald> | .ghc.environment.<arch>-<platform>-<ghcver> |
| 2022-05-25 12:17:33 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-25 12:17:37 +0200 | <trisolarian> | nice to know that environment variable |
| 2022-05-25 12:17:56 +0200 | int-e | has GHC_ENVIRONMENT set to - because that disables this ...excuse me... crap. |
| 2022-05-25 12:18:20 +0200 | frost | (~frost@user/frost) |
| 2022-05-25 12:18:45 +0200 | <maerwald> | hm, servants JWT support is really obscure |
| 2022-05-25 12:21:04 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-05-25 12:21:05 +0200 | <int-e> | ("crap"... there's an element of paranoia because I tend to invoke `ghci` as a calculator in random directories (including repositories I might have just cloned without checking over their contents) so picking up random configurations from the local directory feels quite insecure) |
| 2022-05-25 12:21:38 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-05-25 12:21:45 +0200 | <maerwald> | you'll like the cabal.project remote includes then xD |
| 2022-05-25 12:22:09 +0200 | <int-e> | I bet I won't. |
| 2022-05-25 12:22:37 +0200 | <int-e> | But at least that involves invoking cabal... I take more care with that. |
| 2022-05-25 12:22:59 +0200 | CiaoSen | (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-05-25 12:22:59 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2022-05-25 12:23:09 +0200 | <trisolarian> | int-e: my use case is to run haskell snippets while editing in any random emacs buffer |
| 2022-05-25 12:24:11 +0200 | razetime | (~quassel@117.254.35.7) |
| 2022-05-25 12:24:44 +0200 | <int-e> | And that's okay, we all make our own compromises and form our own habits. |
| 2022-05-25 12:27:31 +0200 | <maerwald> | ah great: https://github.com/haskell-servant/servant/pull/1531 |
| 2022-05-25 12:27:53 +0200 | <maerwald> | that's what you get from abusing types :p |
| 2022-05-25 12:29:59 +0200 | <__monty__> | Ooh, unary numbers? |
| 2022-05-25 12:30:31 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-25 12:30:58 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 12:31:58 +0200 | <Las[m]> | Does anyone know of a good way to detect mutual recursion in generic programming? I traverse the representation and that would obviously cause a loop if done naively. I need to detect the cycles at type checking time. |
| 2022-05-25 12:33:09 +0200 | _xor | (~xor@72.49.198.103) (Quit: bbab) |
| 2022-05-25 12:35:05 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 244 seconds) |
| 2022-05-25 12:43:48 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-25 12:46:39 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-05-25 12:47:50 +0200 | <trisolarian> | can cabal only install the library part of my package? |
| 2022-05-25 12:48:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-05-25 12:48:21 +0200 | <trisolarian> | cabal install lib:toaster --package-env ~/dev/myenv |
| 2022-05-25 12:48:34 +0200 | <trisolarian> | this install the exe part too |
| 2022-05-25 12:48:57 +0200 | Macbethwin | (~chargen@8.21.8.233) |
| 2022-05-25 12:49:27 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-25 12:49:34 +0200 | <trisolarian> | also, myenv dosn't seem to be updated to include my package. when i runghc, it says that my package toaster is hidden |
| 2022-05-25 12:50:39 +0200 | Macbethwin | (~chargen@8.21.8.233) (Client Quit) |
| 2022-05-25 12:54:08 +0200 | subshad | (~subshad@159.196.168.187) |
| 2022-05-25 13:01:08 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-05-25 13:03:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-25 13:04:45 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-25 13:04:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-05-25 13:05:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-25 13:07:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 244 seconds) |
| 2022-05-25 13:07:39 +0200 | CiaoSen | (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-25 13:11:39 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-25 13:13:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-25 13:19:26 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 13:19:53 +0200 | Guest7009 | (~martin@ip5f5bdf3a.dynamic.kabel-deutschland.de) |
| 2022-05-25 13:20:06 +0200 | Guest7009 | BusConscious |
| 2022-05-25 13:20:58 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-05-25 13:23:30 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-05-25 13:23:36 +0200 | razetime | (~quassel@117.254.35.7) (Ping timeout: 258 seconds) |
| 2022-05-25 13:23:48 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-05-25 13:26:22 +0200 | razetime | (~quassel@117.254.35.7) |
| 2022-05-25 13:26:47 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-05-25 13:27:09 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-25 13:27:20 +0200 | mima | (~mmh@net-93-148-81-31.cust.dsl.teletu.it) (Ping timeout: 272 seconds) |
| 2022-05-25 13:28:35 +0200 | gaff | (~gaff@49.207.192.208) |
| 2022-05-25 13:28:39 +0200 | gaff | (~gaff@49.207.192.208) (Client Quit) |
| 2022-05-25 13:31:01 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-25 13:31:42 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-25 13:34:24 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 2022-05-25 13:35:34 +0200 | seriously_pc | (~seriously@159.53.78.142) (Ping timeout: 252 seconds) |
| 2022-05-25 13:40:01 +0200 | shriekingnoise_ | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-05-25 13:40:01 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-25 13:47:22 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-05-25 13:49:08 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-05-25 13:50:01 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-25 13:50:28 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-05-25 13:51:13 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 13:51:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-25 13:51:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-25 13:52:49 +0200 | subshad | (~subshad@159.196.168.187) (Quit: Client closed) |
| 2022-05-25 13:53:58 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-25 13:54:30 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-25 13:58:56 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2022-05-25 14:06:32 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 258 seconds) |
| 2022-05-25 14:18:38 +0200 | mima | (~mmh@net-93-148-81-31.cust.vodafonedsl.it) |
| 2022-05-25 14:21:56 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-25 14:26:07 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-25 14:26:33 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 2022-05-25 14:29:07 +0200 | jinsun__ | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-05-25 14:36:17 +0200 | CiaoSen | (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-25 14:36:31 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 14:37:01 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-25 14:37:12 +0200 | mima | (~mmh@net-93-148-81-31.cust.vodafonedsl.it) (Ping timeout: 258 seconds) |
| 2022-05-25 14:40:47 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-25 14:42:40 +0200 | akegalj | (~akegalj@89-172-84-251.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2022-05-25 14:42:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 14:43:46 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 14:44:07 +0200 | mima | (~mmh@net-5-88-214-22.cust.vodafonedsl.it) |
| 2022-05-25 14:48:03 +0200 | dcleonarski | (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) |
| 2022-05-25 14:50:58 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-25 14:59:21 +0200 | namkeleser | (~namkelese@124.188.196.41) |
| 2022-05-25 15:01:40 +0200 | trisolarian | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 2022-05-25 15:01:43 +0200 | titibandit | (~thibaut@sunp.ient.rwth-aachen.de) |
| 2022-05-25 15:02:31 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-05-25 15:02:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-25 15:03:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c4e4:b096:5654:3d1f) (Ping timeout: 255 seconds) |
| 2022-05-25 15:05:46 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-05-25 15:06:15 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 2022-05-25 15:06:16 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-25 15:06:16 +0200 | lortabac | (~lortabac@37.164.25.36) |
| 2022-05-25 15:07:47 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-25 15:08:44 +0200 | vysn | (~vysn@user/vysn) |
| 2022-05-25 15:10:01 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-25 15:14:21 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-05-25 15:17:15 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-05-25 15:17:41 +0200 | <unit73e> | I just found out purescript exists |
| 2022-05-25 15:17:43 +0200 | <unit73e> | looks decent |
| 2022-05-25 15:17:49 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 15:18:06 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 15:18:16 +0200 | <unit73e> | for web frontend, obviously |
| 2022-05-25 15:18:51 +0200 | <unit73e> | until webassembly is actually common, that is |
| 2022-05-25 15:18:53 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-05-25 15:19:45 +0200 | CiaoSen | (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-25 15:20:52 +0200 | <unit73e> | angular, react, vue, and pals leave a lot to be desired |
| 2022-05-25 15:21:09 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-05-25 15:21:31 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-25 15:23:28 +0200 | Guest|94 | (~Guest|94@94.15.137.116) |
| 2022-05-25 15:23:34 +0200 | Guest|94 | (~Guest|94@94.15.137.116) (Client Quit) |
| 2022-05-25 15:26:43 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-25 15:26:50 +0200 | <tdammers> | even with webassembly, purescript would still be a good fit |
| 2022-05-25 15:27:00 +0200 | <bahamas> | which version of HashMap would you recommend to a beginner, lazy or strict? |
| 2022-05-25 15:28:19 +0200 | <unit73e> | tdammers, yes true. hard to know the future of these haskell like languages and the web. |
| 2022-05-25 15:28:24 +0200 | <geekosaur> | that's kinda the wrong question. it has more to do with what kind of data you're putting into it and how you're making use of it |
| 2022-05-25 15:28:45 +0200 | <unit73e> | meaning there's no real difference for a begginer |
| 2022-05-25 15:29:02 +0200 | <unit73e> | a lazy HashMap is good in some cases, and strict in others |
| 2022-05-25 15:30:44 +0200 | <bahamas> | ok. I'll just recommend strict then |
| 2022-05-25 15:30:47 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-05-25 15:30:53 +0200 | <geekosaur> | also note that keys will be strict in both cases; the question is whether values are strict or not |
| 2022-05-25 15:31:10 +0200 | <geekosaur> | (since it has to compute the hash of the key regardless) |
| 2022-05-25 15:31:19 +0200 | <bahamas> | geekosaur: that makes sense |
| 2022-05-25 15:32:56 +0200 | <tdammers> | without any further information or insight, IMO "strict data structures, lazy functions" is a good rule of thumb |
| 2022-05-25 15:36:08 +0200 | <unit73e> | I just use lazy everything because I'm lazy |
| 2022-05-25 15:36:10 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-25 15:37:09 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-05-25 15:38:17 +0200 | ystael | (~ystael@user/ystael) |
| 2022-05-25 15:40:05 +0200 | <k``> | If you're lazy, use a strict HashMap. Lazy HashMaps are for folks who want to think about what values will be evaluated and when. |
| 2022-05-25 15:42:17 +0200 | <geekosaur> | also, if youre populating it from a stream of data you're reading, you probably want strict because lazy will probably hold on to extra copies of the stream until everything has been forced |
| 2022-05-25 15:42:20 +0200 | <unit73e> | idk I find it easier to think everything is lazy and don't bother much with strict unless necessary, even when lazy is harder to grasp. but that's just me. |
| 2022-05-25 15:42:57 +0200 | <unit73e> | as long as you know what each does |
| 2022-05-25 15:43:07 +0200 | <geekosaur> | especially important if you're only storing part of the stream, because you're likely to hold the whole stream in memory until everything is forced |
| 2022-05-25 15:43:20 +0200 | <k``> | OK, but when the bullet hits you won't even know when you shot yourself in the foot. |
| 2022-05-25 15:43:26 +0200 | <unit73e> | true |
| 2022-05-25 15:43:27 +0200 | <geekosaur> | laziness has its advantages but it needs a fair amount of thought to not introduce space leaks |
| 2022-05-25 15:44:16 +0200 | <geekosaur> | or "time leaks" because forcing one thing forces a bunch of others all at once |
| 2022-05-25 15:45:05 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-25 15:46:05 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 2022-05-25 15:46:05 +0200 | <maerwald> | -fprint-potential-instances does not work? |
| 2022-05-25 15:46:50 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-05-25 15:47:01 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-05-25 15:47:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-05-25 15:47:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-25 15:47:51 +0200 | <maerwald> | or I guess the servant error is just too big to see it :D |
| 2022-05-25 15:49:04 +0200 | <geekosaur> | -fc++-errors :þ |
| 2022-05-25 15:52:48 +0200 | dsrt^ | (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-05-25 15:54:04 +0200 | Lemniscate | Sauvin |
| 2022-05-25 15:56:18 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-25 15:59:33 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-25 16:02:53 +0200 | lortabac_ | (~lortabac@2a01:e0a:541:b8f0:6e11:f3ed:c52c:d1ce) |
| 2022-05-25 16:02:53 +0200 | lortabac | (~lortabac@37.164.25.36) (Read error: Connection reset by peer) |
| 2022-05-25 16:05:44 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-25 16:06:02 +0200 | lortabac_ | lortabac |
| 2022-05-25 16:08:36 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-25 16:09:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 240 seconds) |
| 2022-05-25 16:10:32 +0200 | romesrf | (~romes@2001:4c80:50:16:b470:cbe7:b9f4:5379) |
| 2022-05-25 16:12:52 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 16:16:09 +0200 | romesrf | (~romes@2001:4c80:50:16:b470:cbe7:b9f4:5379) (Quit: WeeChat 3.4.1) |
| 2022-05-25 16:16:15 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-25 16:16:51 +0200 | <maerwald> | I have the feeling named routes are experimental |
| 2022-05-25 16:18:13 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 16:19:01 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-05-25 16:22:21 +0200 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-05-25 16:23:48 +0200 | <Henson> | I've got a question about time profiling. I've got a Haskell function that calls a function in C. The C function takes up most of the system's runtime and the CPU load is around 100% (one core's worth). This can be verified by the C function printing out the amount of time it takes to complete. But when profiling with Haskell "stack build --profile", even with the SCC annotation on the C.... |
| 2022-05-25 16:24:23 +0200 | <Henson> | function, the .prof output reports that the C function is taking up 0.0 percent of the total runtime. Does anybody have any suggestions as to why this could be happening? |
| 2022-05-25 16:25:05 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 255 seconds) |
| 2022-05-25 16:25:14 +0200 | <Henson> | I have some unsafeperformIOs allowing me to call the C function in a pure function and the FFI calls are marked as "safe" |
| 2022-05-25 16:25:25 +0200 | <Henson> | in as pure function -> as a pure function |
| 2022-05-25 16:25:38 +0200 | <geekosaur> | because profiling happens in the Haskell runtime which doesn't get to run during the C function, maybe? |
| 2022-05-25 16:26:59 +0200 | <unit73e> | looks like optparse-applicative is excelent for command line parsing. cmdargs.. was disappointing. |
| 2022-05-25 16:27:34 +0200 | <Henson> | hmm, looks like this problem has been around for a while: https://mail.haskell.org/pipermail/haskell-cafe/2018-August/129820.html |
| 2022-05-25 16:30:22 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 272 seconds) |
| 2022-05-25 16:33:42 +0200 | <Henson> | but GHC's profiling docs states: Time spent in foreign code (see Chapter 8, Foreign function interface (FFI) ) is always attributed to the cost centre in force at the Haskell call-site of the foreign function. |
| 2022-05-25 16:35:32 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-25 16:38:43 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2022-05-25 16:42:57 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-05-25 16:44:18 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 2022-05-25 16:55:48 +0200 | texasmynsted_ | (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 2022-05-25 17:01:24 +0200 | jlamothe | (~jlamothe@198.251.60.209) (Ping timeout: 272 seconds) |
| 2022-05-25 17:03:34 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ab72:eb66:da97:5116) (Remote host closed the connection) |
| 2022-05-25 17:06:35 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-05-25 17:08:27 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:7805:1156:200b:3278) |
| 2022-05-25 17:09:30 +0200 | moonsheep | (~user@user/moonsheep) |
| 2022-05-25 17:10:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-25 17:10:30 +0200 | <moonsheep> | is this the correct place to ask about the opengl bindings? |
| 2022-05-25 17:11:01 +0200 | <moonsheep> | if so, in the higher-level API (OpenGL instead of OpenGLRaw), what is the correct way to delete a shader? |
| 2022-05-25 17:11:15 +0200 | <moonsheep> | (so glDeleteShader) |
| 2022-05-25 17:11:26 +0200 | <moonsheep> | or am I suppose to leave them hanging once I've detached them from the program? |
| 2022-05-25 17:11:56 +0200 | mbuf | (~Shakthi@31.32.33.168) (Quit: Leaving) |
| 2022-05-25 17:14:10 +0200 | namkeleser | (~namkelese@124.188.196.41) (Quit: Client closed) |
| 2022-05-25 17:14:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6e11:f3ed:c52c:d1ce) (Quit: WeeChat 2.8) |
| 2022-05-25 17:16:12 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 276 seconds) |
| 2022-05-25 17:18:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-25 17:21:26 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-25 17:21:47 +0200 | CiaoSen | (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-25 17:23:47 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-25 17:26:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-25 17:29:28 +0200 | <byorgey> | moonsheep: I don't know anything about the opengl bindings, but it's conceivable the shaders are set up with finalizers so they will be automatically deleted when garbage collected |
| 2022-05-25 17:30:02 +0200 | <byorgey> | if you don't see any functions in the high-level API to explicitly delete shaders, then that is what I would tend to assume. |
| 2022-05-25 17:31:14 +0200 | z0k | (~z0k@39.40.43.194) (Ping timeout: 255 seconds) |
| 2022-05-25 17:32:11 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-25 17:35:18 +0200 | z0k | (~z0k@39.40.98.160) |
| 2022-05-25 17:36:36 +0200 | <[exa]> | moonsheep: seems automatic via ObjectName, see https://github.com/haskell-opengl/OpenGL/blob/f7af8fe04b0f19c260a85c9ebcad612737cd7c8c/src/Graphic… |
| 2022-05-25 17:37:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-25 17:40:34 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-25 17:40:48 +0200 | Macbethwin | (~chargen@8.21.8.233) |
| 2022-05-25 17:42:28 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 248 seconds) |
| 2022-05-25 17:43:18 +0200 | vysn | (~vysn@user/vysn) |
| 2022-05-25 17:45:06 +0200 | Macbethwin | Chargen |
| 2022-05-25 17:47:20 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-25 17:50:41 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-25 17:51:30 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-25 17:51:56 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 258 seconds) |
| 2022-05-25 17:54:56 +0200 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
| 2022-05-25 17:55:09 +0200 | rodental | (~rodental@38.146.5.222) |
| 2022-05-25 17:56:32 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-05-25 18:02:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-25 18:02:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-25 18:02:44 +0200 | <moonsheep> | byorgey, [exa]: ah, thank you very much |
| 2022-05-25 18:04:29 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-25 18:05:09 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-25 18:05:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-25 18:08:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-25 18:11:06 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-05-25 18:12:14 +0200 | <dmj`> | moonsheep: glDeleteShader, if you're using `gl` bindings |
| 2022-05-25 18:12:58 +0200 | <moonsheep> | no, as I said I'm using the `OpenGL` bindings |
| 2022-05-25 18:13:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-25 18:14:04 +0200 | <moonsheep> | btw, does that mean that I don't have to call `deleteObjectName` to free buffers, as it will be done automatically? |
| 2022-05-25 18:15:25 +0200 | titibandit | (~thibaut@sunp.ient.rwth-aachen.de) (Remote host closed the connection) |
| 2022-05-25 18:16:24 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-25 18:20:38 +0200 | razetime | (~quassel@117.254.35.7) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-05-25 18:21:59 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 18:25:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-25 18:34:52 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 258 seconds) |
| 2022-05-25 18:37:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-25 18:38:27 +0200 | z0k | (~z0k@39.40.98.160) (Ping timeout: 240 seconds) |
| 2022-05-25 18:39:32 +0200 | z0k | (~z0k@39.40.98.160) |
| 2022-05-25 18:39:50 +0200 | <[exa]> | moonsheep: not sure tbh, I don't see any connection in there |
| 2022-05-25 18:42:13 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-25 18:42:43 +0200 | <[exa]> | ...I'd expect something like withForeignPtr to take care about the number, but not seen anywhere there |
| 2022-05-25 18:46:04 +0200 | Vajb | (~Vajb@2001:999:600:879a:e69c:7638:2849:8a14) (Read error: Connection reset by peer) |
| 2022-05-25 18:46:04 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 18:47:13 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-25 18:47:45 +0200 | kenran | (~kenran@200116b82b52b5008ee4c8ab0e489603.dip.versatel-1u1.de) |
| 2022-05-25 18:56:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-25 19:02:04 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2022-05-25 19:03:00 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 19:14:52 +0200 | werneta | (~werneta@137.78.30.207) |
| 2022-05-25 19:16:17 +0200 | kenran | (~kenran@200116b82b52b5008ee4c8ab0e489603.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-05-25 19:17:40 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-25 19:20:05 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-05-25 19:21:56 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-05-25 19:25:32 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-25 19:28:38 +0200 | AlexNoo | (~AlexNoo@178.34.163.188) |
| 2022-05-25 19:28:40 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-25 19:28:55 +0200 | Alex_test | (~al_test@178.34.163.188) |
| 2022-05-25 19:29:49 +0200 | AlexZenon | (~alzenon@178.34.163.188) |
| 2022-05-25 19:30:22 +0200 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-05-25 19:33:58 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 19:35:17 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-25 19:36:51 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-25 19:36:56 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 19:39:23 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-25 19:40:18 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 244 seconds) |
| 2022-05-25 19:40:26 +0200 | econo | (uid147250@user/econo) |
| 2022-05-25 19:44:32 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-25 19:45:28 +0200 | <trisolaran> | in emacs haskell-mode, C-c C-c build the cabal project. But when I'm not inside the root dir, it cant find .cabal file |
| 2022-05-25 19:52:31 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-25 19:55:48 +0200 | pgib | (~textual@173.38.117.80) |
| 2022-05-25 20:00:34 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-25 20:03:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-25 20:03:10 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-25 20:03:15 +0200 | werneta | (~werneta@137.78.30.207) (Ping timeout: 276 seconds) |
| 2022-05-25 20:07:14 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-25 20:12:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-05-25 20:12:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 20:17:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-25 20:23:34 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-25 20:25:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 20:26:27 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-25 20:26:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 20:27:31 +0200 | <mesaoptimizer> | trisolaran: you could look at the documentation of the function that builds cabal project and try to figure out what the issue is. |
| 2022-05-25 20:28:01 +0200 | <mesaoptimizer> | This doesn't seem a #haskell issue, but more of an #emacs issue |
| 2022-05-25 20:29:29 +0200 | <fgaz> | trisolaran: cabal looks for .cabal files only in . and */ |
| 2022-05-25 20:29:49 +0200 | <fgaz> | but it looks for cabal.project files up in the directory tree |
| 2022-05-25 20:30:32 +0200 | <fgaz> | so you could create a cabal.project file in the project root with contents "packages: name-of-your-package.cabal" |
| 2022-05-25 20:31:01 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-05-25 20:31:44 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 20:33:48 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-25 20:39:48 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-05-25 20:41:07 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-25 20:42:52 +0200 | <k``> | When I use `haskell-compile` in emacs, it compiles from anywhere in the source tree. |
| 2022-05-25 20:43:40 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 258 seconds) |
| 2022-05-25 20:44:16 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 20:48:20 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-05-25 20:48:47 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-25 20:50:42 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 20:52:15 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-05-25 20:53:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-25 21:00:30 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-25 21:03:16 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) |
| 2022-05-25 21:03:17 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-25 21:03:33 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 21:07:53 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-25 21:09:02 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 252 seconds) |
| 2022-05-25 21:10:36 +0200 | Guest60 | (~Guest60@212.red-83-44-246.dynamicip.rima-tde.net) |
| 2022-05-25 21:10:52 +0200 | Guest60 | (~Guest60@212.red-83-44-246.dynamicip.rima-tde.net) (Client Quit) |
| 2022-05-25 21:12:04 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-25 21:15:54 +0200 | phma_ | (phma@2001:5b0:210d:afc8:9145:8b6b:11c6:775c) |
| 2022-05-25 21:15:55 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-05-25 21:19:30 +0200 | phma | (~phma@host-67-44-208-148.hnremote.net) (Ping timeout: 240 seconds) |
| 2022-05-25 21:21:37 +0200 | pgib | (~textual@173.38.117.80) (Ping timeout: 258 seconds) |
| 2022-05-25 21:32:36 +0200 | lagooned | (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) |
| 2022-05-25 21:39:00 +0200 | _xor | (~xor@72.49.198.103) |
| 2022-05-25 21:39:43 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 246 seconds) |
| 2022-05-25 21:42:30 +0200 | tochicool | (~tochicool@user/tochicool) (Ping timeout: 240 seconds) |
| 2022-05-25 21:44:02 +0200 | tochicool | (~tochicool@user/tochicool) |
| 2022-05-25 21:48:20 +0200 | pgib | (~textual@173.38.117.83) |
| 2022-05-25 21:51:28 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-05-25 21:51:45 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-05-25 21:51:49 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-05-25 21:53:07 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-25 21:53:15 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 21:53:25 +0200 | _xor | (~xor@72.49.198.103) (Quit: rebooting) |
| 2022-05-25 21:56:51 +0200 | vysn | (~vysn@user/vysn) |
| 2022-05-25 21:57:50 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-25 21:59:03 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-05-25 22:02:12 +0200 | tochicool | (~tochicool@user/tochicool) (Ping timeout: 276 seconds) |
| 2022-05-25 22:02:12 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 22:02:15 +0200 | werneta | (~werneta@137.79.206.133) |
| 2022-05-25 22:03:11 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-25 22:04:18 +0200 | tochicool | (~tochicool@user/tochicool) |
| 2022-05-25 22:04:22 +0200 | kuribas | (~user@ptr-17d51emj6sz64bjx9i7.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-05-25 22:04:51 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection) |
| 2022-05-25 22:04:57 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-25 22:05:26 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-05-25 22:06:32 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-25 22:07:04 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-05-25 22:07:38 +0200 | Midjak | (~Midjak@82.66.147.146) (Client Quit) |
| 2022-05-25 22:12:09 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-25 22:16:27 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-25 22:16:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-25 22:17:46 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-25 22:26:34 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-05-25 22:29:10 +0200 | acidjnk | (~acidjnk@p200300d0c7068b84f5dd1c47af5d1c76.dip0.t-ipconnect.de) |
| 2022-05-25 22:30:29 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-05-25 22:32:52 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 244 seconds) |
| 2022-05-25 22:33:34 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-05-25 22:34:50 +0200 | z0k | (~z0k@39.40.98.160) (Ping timeout: 258 seconds) |
| 2022-05-25 22:35:15 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-05-25 22:36:46 +0200 | kenran | (~kenran@200116b82b52b500076890dff23d51d7.dip.versatel-1u1.de) |
| 2022-05-25 22:36:47 +0200 | pgib | (~textual@173.38.117.83) (Ping timeout: 255 seconds) |
| 2022-05-25 22:37:32 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-05-25 22:40:49 +0200 | kenran | (~kenran@200116b82b52b500076890dff23d51d7.dip.versatel-1u1.de) (Client Quit) |
| 2022-05-25 22:40:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2022-05-25 22:44:15 +0200 | k`` | (~user@152.1.137.158) (Remote host closed the connection) |
| 2022-05-25 22:47:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-25 22:47:23 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-25 22:49:09 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-25 22:51:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-25 23:02:36 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-25 23:04:20 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) |
| 2022-05-25 23:04:57 +0200 | dcleonarski | (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) (Ping timeout: 260 seconds) |
| 2022-05-25 23:11:46 +0200 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-25 23:14:45 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 23:15:09 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-25 23:15:11 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-25 23:15:39 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-25 23:21:47 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:7805:1156:200b:3278) (Read error: Connection reset by peer) |
| 2022-05-25 23:32:34 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-25 23:35:25 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-25 23:36:47 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-25 23:37:01 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-25 23:39:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-25 23:39:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-05-25 23:40:51 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-05-25 23:41:04 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 244 seconds) |
| 2022-05-25 23:47:00 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-25 23:48:42 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-05-25 23:52:03 +0200 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-25 23:52:21 +0200 | <shapr> | oh man, my nick rank is low on tomsmeding's channel log, I gotta talk about more stuff here! |
| 2022-05-25 23:52:48 +0200 | <geekosaur> | :) |
| 2022-05-25 23:52:57 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-05-25 23:53:24 +0200 | <shapr> | I didn't save a log for the memoized quickcheck discussion, and now I want to go back and find it :-/ |
| 2022-05-25 23:54:42 +0200 | <geekosaur> | (damn, I'm #2? I talk too much.) |
| 2022-05-25 23:55:06 +0200 | <monochrom> | b |
| 2022-05-25 23:55:13 +0200 | <monochrom> | err, wrong window |
| 2022-05-25 23:55:48 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-25 23:58:06 +0200 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |