| 2022-09-16 00:01:36 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-16 00:02:09 +0000 | <Axman6> | Did not expect for the top result for "reader monad" on DDG to be from dollarshaveclub's engineering blog! |
| 2022-09-16 00:02:36 +0000 | <monochrom> | I didn't read such an article. I heard people saying "hey this forms a monad" and I worked it out myself. (The most retentive way of learning is reinventing.) |
| 2022-09-16 00:02:53 +0000 | <monochrom> | But I might point students to Typeclassopedia. |
| 2022-09-16 00:03:56 +0000 | <Axman6> | hmm, good idea |
| 2022-09-16 00:06:26 +0000 | <Axman6> | Hmmm, it doesn't really have what I'm after - it mentioned that ((->) e) forms a monad, but I'm looking for something more aimed at the usage of it for dependency injection in real world apps |
| 2022-09-16 00:07:40 +0000 | <cacke> | hpc idk where you're trying to get |
| 2022-09-16 00:08:29 +0000 | <geekosaur> | cacke: break the problem down into pieces. for now ignore the question of how to get a random number. what do you do with it once you have it? can you solve that problem? |
| 2022-09-16 00:08:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 00:09:57 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 00:11:11 +0000 | <monochrom> | I don't know of such an article. |
| 2022-09-16 00:11:45 +0000 | <cacke> | but that's exactly what i've been asking. what do i do with the number and the list? |
| 2022-09-16 00:11:59 +0000 | <cacke> | how do i know what element to remove given a random number? |
| 2022-09-16 00:12:19 +0000 | <jackdk> | Axman6: the "next level mtl" vid? https://www.youtube.com/watch?v=GZPup5Iuaqw |
| 2022-09-16 00:12:30 +0000 | <jackdk> | Not an article, admittedly |
| 2022-09-16 00:12:49 +0000 | <geekosaur> | cacke: you have a number and a list. the list has a length. |
| 2022-09-16 00:13:06 +0000 | <geekosaur> | you can combine the two to select an element |
| 2022-09-16 00:13:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 00:14:35 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-16 00:16:44 +0000 | <cacke> | how do i select an element |
| 2022-09-16 00:17:08 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 00:17:11 +0000 | <monochrom> | Which element do you want to select? |
| 2022-09-16 00:17:32 +0000 | <cacke> | a random element from my list |
| 2022-09-16 00:17:38 +0000 | <jackdk> | :t (!!) -- this is an unsafe function but should get you going |
| 2022-09-16 00:17:39 +0000 | <lambdabot> | [a] -> Int -> a |
| 2022-09-16 00:17:45 +0000 | <monochrom> | Is that a homework question? |
| 2022-09-16 00:18:36 +0000 | <monochrom> | Because if it is, I want to see the original real verbatim homework question, not your misinterpretation. |
| 2022-09-16 00:18:51 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-16 00:20:09 +0000 | <monochrom> | And if it is not, we can sit back and relax and be general curiosity fiends. For example, what does "random" mean? |
| 2022-09-16 00:21:39 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-09-16 00:22:41 +0000 | beteigeuze | (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-16 00:24:07 +0000 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 252 seconds) |
| 2022-09-16 00:24:17 +0000 | <monochrom> | https://xkcd.com/221/ |
| 2022-09-16 00:24:52 +0000 | <cacke> | xd |
| 2022-09-16 00:28:59 +0000 | <cacke> | "to "pick a random element" we will use the list of random values that the function gets as its first argument." is what i'm trying to understand. Idk how to use it. |
| 2022-09-16 00:29:40 +0000 | benin09 | (~benin@183.82.204.57) |
| 2022-09-16 00:30:51 +0000 | benin0 | (~benin@183.82.204.57) (Ping timeout: 260 seconds) |
| 2022-09-16 00:30:52 +0000 | benin09 | benin0 |
| 2022-09-16 00:31:14 +0000 | <pavonia> | What is the type of those random elements? |
| 2022-09-16 00:31:49 +0000 | <monochrom> | Alternatively, that can't be the complete homework question. |
| 2022-09-16 00:32:20 +0000 | <cacke> | Obviously not, but it's the part I don't understand. |
| 2022-09-16 00:32:55 +0000 | <monochrom> | Well I understand none of it, since it's incomplete. No one should. |
| 2022-09-16 00:33:13 +0000 | <jackdk> | it sounds to me like you are to treat the list of doubles as your random source, which you get from somewhere, and you should not care how it is generated. |
| 2022-09-16 00:33:14 +0000 | <geekosaur> | please state the entire problem, preferably in a pastebin |
| 2022-09-16 00:33:20 +0000 | <geekosaur> | @where paste |
| 2022-09-16 00:33:21 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-09-16 00:33:29 +0000 | <cacke> | I can't simplify the problem more than I already have xd |
| 2022-09-16 00:33:41 +0000 | <monochrom> | No one is asking for any simplification. |
| 2022-09-16 00:33:56 +0000 | <monochrom> | What part of "original real verbatim" is unclear? |
| 2022-09-16 00:35:57 +0000 | <troydm> | I'm trying to parse a double String such as "123e-12" into Double using read function, how can I do it safely? I can sometimes get Double overflow but parser succeeds with 0.0 value |
| 2022-09-16 00:36:12 +0000 | <monochrom> | Text.Read has readMaybe |
| 2022-09-16 00:36:26 +0000 | <troydm> | that too succeeds with 0.0 |
| 2022-09-16 00:36:32 +0000 | <troydm> | Just 0.0 to be precise |
| 2022-09-16 00:36:32 +0000 | <monochrom> | Oh, that. I don't know. |
| 2022-09-16 00:36:55 +0000 | <monochrom> | > read "123e13337" :: Double |
| 2022-09-16 00:36:57 +0000 | <lambdabot> | Infinity |
| 2022-09-16 00:37:04 +0000 | <monochrom> | That is not 0 though. |
| 2022-09-16 00:37:10 +0000 | <geekosaur> | I'm not sure you can without writing your own parser and doing a lot of extra work:P over/underflow behavior is specified by the standard |
| 2022-09-16 00:37:23 +0000 | <geekosaur> | s/:P/:/ |
| 2022-09-16 00:37:37 +0000 | <geekosaur> | (the IEEE standard, that is, not Haskell) |
| 2022-09-16 00:37:44 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-16 00:37:44 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-16 00:37:44 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-16 00:37:45 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2022-09-16 00:38:02 +0000 | <troydm> | monochrom: ohh you are right, sorry, maybe I have somehow something mixed up |
| 2022-09-16 00:38:12 +0000 | <cacke> | jackdk the list of doubles is generated and given to the function, it's done. Don't worry about it. I didn't ask how to generate the numbers. |
| 2022-09-16 00:38:14 +0000 | <troydm> | it does indeed return Infinity |
| 2022-09-16 00:38:20 +0000 | <pavonia> | > 123e13337 :: Double |
| 2022-09-16 00:38:21 +0000 | <lambdabot> | Infinity |
| 2022-09-16 00:38:25 +0000 | <monochrom> | 123e-13337 would become 0.0 yeah. |
| 2022-09-16 00:38:56 +0000 | <troydm> | > read "1e-1231231313" :: Double |
| 2022-09-16 00:38:59 +0000 | <lambdabot> | 0.0 |
| 2022-09-16 00:39:02 +0000 | <troydm> | yup |
| 2022-09-16 00:39:14 +0000 | <troydm> | > read "1e1231231313" :: Double |
| 2022-09-16 00:39:16 +0000 | <lambdabot> | Infinity |
| 2022-09-16 00:39:37 +0000 | <troydm> | so I can basicly check if I have 0.0 or Infinity values and raise exception of overflow then |
| 2022-09-16 00:39:47 +0000 | henninb | (~henninb@97-116-154-134.mpls.qwest.net) (Quit: leaving) |
| 2022-09-16 00:39:53 +0000 | <monochrom> | I don't know of someone's library that catches would-be overflows and underflows. |
| 2022-09-16 00:40:26 +0000 | checkum | (~checkum@2604:ca00:1f9:4a43::1260:e530) (Read error: Connection reset by peer) |
| 2022-09-16 00:40:29 +0000 | <monochrom> | Although, 0.0 is a pretty legit input number. |
| 2022-09-16 00:40:29 +0000 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-16 00:40:35 +0000 | <pavonia> | ^ |
| 2022-09-16 00:41:14 +0000 | <geekosaur> | this is why I said write your own parser |
| 2022-09-16 00:41:33 +0000 | <geekosaur> | C defines max and min exponents, among other things |
| 2022-09-16 00:41:37 +0000 | <troydm> | I'm actually doing that inside a megaparsec double parser |
| 2022-09-16 00:41:50 +0000 | <troydm> | so I'm trying to handle e notation math |
| 2022-09-16 00:42:36 +0000 | <monochrom> | Perhaps parse to Scientific, then check ranges. |
| 2022-09-16 00:42:42 +0000 | <troydm> | so I can check if I have e notation specified which results in 0.0 after trying to read double and raise overflow then |
| 2022-09-16 00:42:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 00:43:02 +0000 | <troydm> | should do the trick |
| 2022-09-16 00:43:17 +0000 | <monochrom> | (then covert to Double when you are satisfied) |
| 2022-09-16 00:43:29 +0000 | <troydm> | yup, thx |
| 2022-09-16 00:43:44 +0000 | <troydm> | > read "-1e-1231231313131" :: Double |
| 2022-09-16 00:43:46 +0000 | <lambdabot> | -0.0 |
| 2022-09-16 00:44:02 +0000 | <troydm> | > -0.0 == 0.0 |
| 2022-09-16 00:44:04 +0000 | <lambdabot> | True |
| 2022-09-16 00:44:13 +0000 | <geekosaur> | welcome to IEEE math |
| 2022-09-16 00:44:46 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-16 00:45:21 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2022-09-16 00:47:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 00:48:32 +0000 | <cacke> | What's wrong with my question? |
| 2022-09-16 00:49:03 +0000 | <geekosaur> | It is incomplete |
| 2022-09-16 00:49:22 +0000 | <geekosaur> | Like, nobody had any idea that a *list* of Doubles was involved until you bothered to mention it |
| 2022-09-16 00:49:37 +0000 | <geekosaur> | How much else does nobody here know yet? |
| 2022-09-16 00:49:57 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-16 00:51:07 +0000 | <cacke> | I clearly said that the function took 2 lists as input. |
| 2022-09-16 00:51:57 +0000 | <jackdk> | "so, lets say i have a function that takes a list of integers as input, and a list of numbers type Double (0-1), say i want to pick a random integer and move it to another list" <- this does not indicate that the list of doubles are the random numbers given to you. |
| 2022-09-16 00:52:39 +0000 | <jackdk> | We want to help you, but in order to do that we must understand the problem. This is why monochrom was asking for the real exact verbatim question on your homework |
| 2022-09-16 00:58:11 +0000 | <cacke> | A list of randomly generated numbers type Double (0-1) is given to me, yes. |
| 2022-09-16 01:03:58 +0000 | checkum | (~checkum@172.58.22.205) |
| 2022-09-16 01:04:27 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-09-16 01:06:10 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-09-16 01:07:42 +0000 | <cacke> | All i want to do is pick a random element from the input list, remove it and add it to a new list. |
| 2022-09-16 01:08:41 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 265 seconds) |
| 2022-09-16 01:09:36 +0000 | <cacke> | but I don't understand what to do with the random number to get the random element |
| 2022-09-16 01:10:07 +0000 | <jackdk> | Neither do we, because you haven't posted the homework question. |
| 2022-09-16 01:11:05 +0000 | <sm> | wow, two hours in to this one ? |
| 2022-09-16 01:11:18 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-16 01:11:40 +0000 | <cacke> | 12 hours for me so I'm actually going crazy |
| 2022-09-16 01:11:56 +0000 | <sm> | we could show how to pick a random list element, how about that for a start ? have you tried searching the internets ? |
| 2022-09-16 01:12:39 +0000 | <cacke> | searching the internet is what i've done the whole day |
| 2022-09-16 01:13:32 +0000 | <sm> | I found these: https://hackage.haskell.org/package/random-extras-0.19/docs/Data-Random-Extras.html#g:4 |
| 2022-09-16 01:14:24 +0000 | <sm> | also this, which doesn't require an extra lib: https://programming-idioms.org/idiom/11/pick-a-random-element-from-a-list/828/haskell |
| 2022-09-16 01:14:50 +0000 | checkum | (~checkum@172.58.22.205) (Read error: Connection reset by peer) |
| 2022-09-16 01:17:25 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-16 01:17:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 01:19:11 +0000 | sm | sent a code block: https://libera.ems.host/_matrix/media/r0/download/libera.chat/125887dd2d6470c98b5e62679604199f5c4f… |
| 2022-09-16 01:19:47 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 01:22:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 01:26:40 +0000 | sm | finds there is an actual beginner-friendly api for this, but it requires installing the rando lib: |
| 2022-09-16 01:26:40 +0000 | sm | $ ghci |
| 2022-09-16 01:26:40 +0000 | sm | ghci> import Rando |
| 2022-09-16 01:26:40 +0000 | sm | ghci> pickOne [1..10] |
| 2022-09-16 01:26:40 +0000 | sm | 5 |
| 2022-09-16 01:27:32 +0000 | <sm> | ghci> :bro Rando |
| 2022-09-16 01:27:32 +0000 | <sm> | flipCoin :: IO Bool |
| 2022-09-16 01:27:32 +0000 | <sm> | pickOne :: [x] -> IO x |
| 2022-09-16 01:27:33 +0000 | <sm> | shuffle :: [x] -> IO [x] |
| 2022-09-16 01:27:47 +0000 | <jackdk> | That's leading him up the wrong path - the function he's been asked to write is to accept a `[Double]` representing the random stream. But how the individual random numbers are to be used to pick an element is unknown to me, because he has not posted that part of the question. |
| 2022-09-16 01:28:22 +0000 | <cacke> | because there is no such part, that's why i'm here |
| 2022-09-16 01:28:37 +0000 | <sm> | clearly after two hours solving a simpler problem is probably a good idea |
| 2022-09-16 01:28:55 +0000 | <jackdk> | I can think of at least three different ways to use a double to select an item from a list |
| 2022-09-16 01:29:01 +0000 | <sm> | or anyway, that's what helps me |
| 2022-09-16 01:29:48 +0000 | <sm> | cacke: did what I showed you help at all ? you didn't say - if not, sorry for the noise |
| 2022-09-16 01:31:30 +0000 | <jackdk> | It would have been really handy to know that, for example by sharing the complete verbatim real questions as suggested multiple times. What I think would be helpful here is to draw a diagram: Write out a short list of numbers above the real number line <---0--------1----> and think about how to map a number between zero and one into a list index (an integer between zero and "one less than the length of the list") |
| 2022-09-16 01:32:29 +0000 | sose | (~sose@d1pyp7g4yyyyyyyyyyyyt-3.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 2022-09-16 01:33:05 +0000 | <cacke> | sm Aww no worries, i'll save the links for later, just not sure if it's what I need right now |
| 2022-09-16 01:35:12 +0000 | <sm> | I'm confused, because the first paste seems exactly what you were asking for at one point |
| 2022-09-16 01:35:33 +0000 | <cacke> | I need to know what to do with my random numbers |
| 2022-09-16 01:36:13 +0000 | <sm> | try to break the task down into simpler tasks |
| 2022-09-16 01:37:17 +0000 | <sm> | you said you receive a list of doubles as an argument. Among other things, you'd like to pick a random item from that list ? Or did I get that wrong ? |
| 2022-09-16 01:39:12 +0000 | <cacke> | I have a function that receives a list of doubles as its first argument, and another list of x elements as its second argument. |
| 2022-09-16 01:39:48 +0000 | <sm> | a list of x elements ? |
| 2022-09-16 01:40:13 +0000 | <cacke> | yeah let's just say it's a list with 10 integers |
| 2022-09-16 01:40:20 +0000 | <sm> | ok |
| 2022-09-16 01:41:06 +0000 | <sm> | what's your next goal/task ? |
| 2022-09-16 01:41:07 +0000 | <jackdk> | cacke: Drawing diagrams is helpful: https://usercontent.irccloud-cdn.com/file/o7a0g5F2/NumberLine.png |
| 2022-09-16 01:42:19 +0000 | <cacke> | to "pick" a random element, or integer in this case and add it to a new list. The output is a new list. |
| 2022-09-16 01:42:40 +0000 | <sm> | I showed you how to pick a random element, right ? |
| 2022-09-16 01:43:36 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 01:43:39 +0000 | dsrt^ | (~dsrt@70.88.176.185) |
| 2022-09-16 01:44:23 +0000 | <cacke> | Yeah, but it doesn't show me how to use the doubles |
| 2022-09-16 01:45:13 +0000 | <sm> | so "use the doubles" is actually your next task ? what do you mean by use the doubles ? |
| 2022-09-16 01:46:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) (Ping timeout: 255 seconds) |
| 2022-09-16 01:47:51 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 01:48:51 +0000 | <sm> | Sorry if I'm being pushy. You seemed to be getting the kind of "help" I got in #php yesterday, and I wanted to try to get you unstuck. Perhaps the problem is you've been going for 12 hours. |
| 2022-09-16 01:49:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) |
| 2022-09-16 01:50:47 +0000 | <cacke> | don't worry about it, i know i'm confusing, i guess it's true that my questions have been incomplete :c |
| 2022-09-16 01:51:09 +0000 | <jackdk> | Did you look at the diagram that I posted, which suggests a way of mapping the range (0..1) to elements of a list? |
| 2022-09-16 01:51:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 01:52:38 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-16 01:54:12 +0000 | <cacke> | what if i have a lot of elements? |
| 2022-09-16 01:54:23 +0000 | <cacke> | and not just 3 |
| 2022-09-16 01:54:36 +0000 | <jackdk> | Draw more diagrams, and think about how the length of the list changes the way the mapping works. Write out a few more examples and look for a pattern |
| 2022-09-16 01:54:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) (Ping timeout: 260 seconds) |
| 2022-09-16 01:55:20 +0000 | <monochrom> | Ugh if that diagram doesn't inspire you the general case, you're truly asking people to do your homework. |
| 2022-09-16 01:55:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 01:55:42 +0000 | <jackdk> | (When you've had a chance to sleep, check out a copy of Polya's _How to Solve It_ from your local library. It's "about" geometry, but really about problem solving strategy in general, and full of such tactics) |
| 2022-09-16 01:56:40 +0000 | <jackdk> | Play with the numbers involved -- why is the number "3" appearing all over the diagram? |
| 2022-09-16 01:56:42 +0000 | <monochrom> | The irony being no one ever saw the homework question. |
| 2022-09-16 01:56:45 +0000 | <cacke> | i'm not asking anyone to do my homework or i would've pasted my homework question here as soon as i got here. |
| 2022-09-16 01:57:17 +0000 | <monochrom> | A particular sticking point being why there is a list of Doubles not just one single Double. |
| 2022-09-16 01:58:33 +0000 | <monochrom> | I would rather see the actual homework question. |
| 2022-09-16 01:58:47 +0000 | <monochrom> | I refuse to play this telephone game. |
| 2022-09-16 01:59:39 +0000 | <monochrom> | Do you know telephone games? |
| 2022-09-16 02:00:07 +0000 | <glguy> | the things people used to use decades ago? |
| 2022-09-16 02:00:14 +0000 | <monochrom> | haha |
| 2022-09-16 02:01:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) |
| 2022-09-16 02:01:55 +0000 | <dsal> | The modern telephone is primarily a gaming platform for many people. |
| 2022-09-16 02:02:06 +0000 | <monochrom> | haha |
| 2022-09-16 02:02:49 +0000 | <glguy> | Oh, that's what monochrom means by playing telephone? Like the ad-fueled mobile games? :) |
| 2022-09-16 02:03:07 +0000 | <monochrom> | I thought they were pay-to-win. |
| 2022-09-16 02:03:19 +0000 | glguy | waits for the timer to reset to water his crops |
| 2022-09-16 02:03:38 +0000 | <monochrom> | Even my sisters conceded and pay some money for star dusts or something in Pokemon Go. |
| 2022-09-16 02:04:09 +0000 | <monochrom> | Oh you're playing one of those farming simulation mobile games? :) |
| 2022-09-16 02:04:26 +0000 | <cacke> | i agree that the question was incomplete, what im trying to do is get a new list as output, with the elements in a random order, so, 1. pick a random element 2. remove it from the list and add it to a new list -- repeat. that's why there's a list of doubles. |
| 2022-09-16 02:04:33 +0000 | <monochrom> | Was Tamagochi the original farming game? >:) |
| 2022-09-16 02:05:51 +0000 | <glguy> | Mine drowned in the laundry :( |
| 2022-09-16 02:07:08 +0000 | <monochrom> | Tsumani... |
| 2022-09-16 02:07:19 +0000 | <sm> | cacke: feel free to ignore this, but that's still unclear - try to describe just the goal, without the proposed recipe. "get a new list .. with the elements in random order" - Is the goal simply to shuffle a list ? |
| 2022-09-16 02:07:38 +0000 | <jackdk> | Okay, so it sounds like the list of doubles is not an infinite stream, but some finite number of random numbers that select the items to pull. That means we don't have to return the "rest of the stream" or anything like that |
| 2022-09-16 02:07:40 +0000 | <cacke> | in other words, yeah |
| 2022-09-16 02:08:20 +0000 | <sm> | indeed jackdk that sounds like a chunk of confusion removed :) |
| 2022-09-16 02:09:08 +0000 | <jackdk> | We can also banish the word "random" from our description of these problems, because we are given the numbers and cannot know (and therefore must not care) where they came from |
| 2022-09-16 02:10:06 +0000 | <jackdk> | So. Subproblem: Given a list and a double in the range [0,1), write a function to select one element from the list, returning that element and the rest of the list. What could the type signature of such a function look like? |
| 2022-09-16 02:11:05 +0000 | riverside | (~guyst@109.249.184.216) |
| 2022-09-16 02:11:15 +0000 | <riverside> | i was asking on #ghc about build issues |
| 2022-09-16 02:11:22 +0000 | <riverside> | specifically, linking to c libs |
| 2022-09-16 02:11:34 +0000 | <riverside> | and having to build the c libs in order to get ghc to link to them |
| 2022-09-16 02:12:09 +0000 | <riverside> | trying to get at something that would incorperate pacman msys2 calls into the cabal build |
| 2022-09-16 02:12:21 +0000 | <riverside> | am i just describing stack? |
| 2022-09-16 02:12:30 +0000 | <maerwald[m]> | riverside: cabal is not designed to handle system libs |
| 2022-09-16 02:12:33 +0000 | <maerwald[m]> | It's out of scope |
| 2022-09-16 02:13:03 +0000 | <maerwald[m]> | stack doesn't do that either |
| 2022-09-16 02:13:15 +0000 | <riverside> | there is nothing we can do to help the user interface with the C side? |
| 2022-09-16 02:13:44 +0000 | <riverside> | i guess its just i see people calling pacman with stack to access the msys2 environment |
| 2022-09-16 02:14:30 +0000 | <riverside> | and idk, i assume that stack kind of handles the paths of its the mingw64 filesystem it creates |
| 2022-09-16 02:14:35 +0000 | <maerwald[m]> | ghcup run -- pacman -Sy foo |
| 2022-09-16 02:14:52 +0000 | <riverside> | ok, so ghcup is repllacing stack for that, good |
| 2022-09-16 02:15:32 +0000 | <riverside> | nice to see something so haskell adjacent directly accessing over pacman there |
| 2022-09-16 02:15:42 +0000 | <riverside> | instead of having to go via mingw? |
| 2022-09-16 02:15:45 +0000 | <cacke> | jackdk i have the type signature in my code already |
| 2022-09-16 02:16:15 +0000 | <riverside> | like, it has to be; prefix=/opt/local/x86_64-w64-mingw32 |
| 2022-09-16 02:16:18 +0000 | <jackdk> | for the subproblem I suggested? What did you come up with? |
| 2022-09-16 02:16:40 +0000 | <riverside> | sorry, pacman -S mingw-w64-x86_64-SDL2 |
| 2022-09-16 02:17:11 +0000 | <riverside> | how does ghcup "be like mingw" if thats "what the distribution targets" |
| 2022-09-16 02:17:42 +0000 | <cacke> | Oh wait i misread |
| 2022-09-16 02:19:49 +0000 | <cacke> | that's what i don't know. given a list and a double, how do i select an element? |
| 2022-09-16 02:19:52 +0000 | <riverside> | and can a call to ghcup combine this with a call to cabal install that somehow handles all the paths? |
| 2022-09-16 02:20:10 +0000 | <cacke> | it's what i've been trying to understand the whole day |
| 2022-09-16 02:20:12 +0000 | <jackdk> | did you study the diagram I posted, and write some examples of your own with other lengths? |
| 2022-09-16 02:20:45 +0000 | <riverside> | cacke: floor? |
| 2022-09-16 02:20:55 +0000 | <riverside> | linear interpolation? |
| 2022-09-16 02:20:59 +0000 | <cacke> | say it's a list with 50 elements |
| 2022-09-16 02:21:00 +0000 | <maerwald[m]> | riverside: yes |
| 2022-09-16 02:21:10 +0000 | <riverside> | super! |
| 2022-09-16 02:21:12 +0000 | <maerwald[m]> | But cabal knows nothing off msys2 |
| 2022-09-16 02:21:20 +0000 | <maerwald[m]> | It won't install anything |
| 2022-09-16 02:21:21 +0000 | <riverside> | mingw? |
| 2022-09-16 02:21:34 +0000 | <maerwald[m]> | It has knowledge of pkg config database only |
| 2022-09-16 02:21:45 +0000 | <maerwald[m]> | The solver uses it |
| 2022-09-16 02:22:01 +0000 | <riverside> | ok, so it just "builds" the c lib into the pkg config setup somehow? |
| 2022-09-16 02:22:25 +0000 | <riverside> | or like, what is pacman actually running on? |
| 2022-09-16 02:22:50 +0000 | <jackdk> | cacke: yes, so write some examples for lists of maybe 1,2,3,4,5 and look for the pattern that lets you generalise over all of them, and therefore handle lists of any finite length |
| 2022-09-16 02:23:14 +0000 | <riverside> | : [1..5] !! (floor 5.5) |
| 2022-09-16 02:23:28 +0000 | <riverside> | > [1..5] !! (floor 5.5) |
| 2022-09-16 02:23:30 +0000 | <lambdabot> | *Exception: Prelude.!!: index too large |
| 2022-09-16 02:23:35 +0000 | <riverside> | > [1..5] !! (floor 4.5) |
| 2022-09-16 02:23:37 +0000 | <lambdabot> | 5 |
| 2022-09-16 02:24:02 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 02:24:13 +0000 | <riverside> | :t lookupBy |
| 2022-09-16 02:24:14 +0000 | <lambdabot> | error: |
| 2022-09-16 02:24:15 +0000 | <lambdabot> | • Variable not in scope: lookupBy |
| 2022-09-16 02:24:15 +0000 | <lambdabot> | • Perhaps you meant one of these: |
| 2022-09-16 02:24:24 +0000 | <riverside> | hmm |
| 2022-09-16 02:26:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 02:26:39 +0000 | <riverside> | > head $ dropWhile (<30) [1..35] |
| 2022-09-16 02:26:41 +0000 | <lambdabot> | 30 |
| 2022-09-16 02:26:53 +0000 | <riverside> | > head $ dropWhile (<30.5) [1..35] |
| 2022-09-16 02:26:55 +0000 | <lambdabot> | 31.0 |
| 2022-09-16 02:28:08 +0000 | <riverside> | > head $ filter (\x -> (x-30.5) <= 0.5 ) [1..35] |
| 2022-09-16 02:28:09 +0000 | <lambdabot> | 1.0 |
| 2022-09-16 02:28:25 +0000 | <riverside> | > head $ filter (\x -> abs (x-30.5) <= 0.5 ) [1..35] |
| 2022-09-16 02:28:27 +0000 | <lambdabot> | 30.0 |
| 2022-09-16 02:28:45 +0000 | td_ | (~td@muedsl-82-207-238-033.citykom.de) (Ping timeout: 244 seconds) |
| 2022-09-16 02:29:05 +0000 | <riverside> | cacke: maybe you could be more specific |
| 2022-09-16 02:29:07 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-09-16 02:30:17 +0000 | <maerwald[m]> | riverside: i don't understand your questions. I suggest to read some documentation |
| 2022-09-16 02:30:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 02:30:51 +0000 | td_ | (~td@muedsl-82-207-238-252.citykom.de) |
| 2022-09-16 02:32:33 +0000 | <cacke> | its 4:30 am 💀 |
| 2022-09-16 02:33:33 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-09-16 02:36:05 +0000 | <sm> | sleep, come back to it, everything will go easier |
| 2022-09-16 02:39:05 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-09-16 02:39:56 +0000 | Guest30 | (~Guest30@77.100.154.60) |
| 2022-09-16 02:42:08 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-16 02:42:14 +0000 | <riverside> | maerwald, i will consider using ghcup to do my c builds, but for now im trying to see if this sdl2 install with msys2 works |
| 2022-09-16 02:43:08 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-09-16 02:44:09 +0000 | mikess | (~sam@user/mikess) (Ping timeout: 250 seconds) |
| 2022-09-16 02:45:19 +0000 | <cacke> | I'm frustrated because i've spent so many hours just trying to understand the problem, I can't try to solve it if I don't understand how to use whatever i'm given to solve it. |
| 2022-09-16 02:45:35 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-16 02:47:45 +0000 | riverside | (~guyst@109.249.184.216) (Ping timeout: 265 seconds) |
| 2022-09-16 02:47:50 +0000 | <Axman6> | cacke: ok, I think everyone is getting frustrated, because it's not clear what the goal is. if I called your function with [1,2,3,4,5] and [0.4,0.1,0.6,0.2,0.4], do you know what result you should expect? |
| 2022-09-16 02:49:04 +0000 | <cacke> | a shuffled list |
| 2022-09-16 02:49:08 +0000 | <Axman6> | there's a bunch of different ways to do "something" with ome Ints and Doubles, in fact, there's an infinite number of things you could do, so to help you, we need some sort of idea what result you're actually after. should the output list of ints be the same length as the input? |
| 2022-09-16 02:49:14 +0000 | <Axman6> | ok, so now we're getting somewhere |
| 2022-09-16 02:49:52 +0000 | <Axman6> | so, one thing we could do is match up each Int with a Double, and then sort the pairs by the double, yes? |
| 2022-09-16 02:50:07 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-16 02:51:31 +0000 | <Axman6> | > let f is ds = map snd $ sortOn fst $ zip ds is in f [1,2,3,4,5] [0.4,0.1,0.6,0.2,0.4] |
| 2022-09-16 02:51:33 +0000 | <lambdabot> | [2,4,1,5,3] |
| 2022-09-16 02:51:45 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-16 02:52:07 +0000 | <Axman6> | that does _something_ - whether it's what you need still isn't clear to me, and feels like it's probably the wrong solution |
| 2022-09-16 02:52:11 +0000 | <glguy> | It's too bad sortOn is so much more convenient than sortBy; it's kind of a waste in this case |
| 2022-09-16 02:53:03 +0000 | <Axman6> | actually sortBy would avoid some allocation here, so probably the better option |
| 2022-09-16 02:54:07 +0000 | <glguy> | It's one of those thing that probably doesn't matter, it just annoys me that it's ever so slightly worse :) |
| 2022-09-16 02:54:18 +0000 | <cacke> | how do i write that as a function |
| 2022-09-16 02:54:45 +0000 | <Axman6> | that is a function. do no use it for your homework if you don't understand it though |
| 2022-09-16 02:55:36 +0000 | <sm> | cacke, frustration is understandable, we've all been there. We're frustrated because the questions and problem descriptions are too unclear and there is too much time lag for a productive conversation |
| 2022-09-16 02:55:40 +0000 | <Axman6> | (and if you couldn't write it tomorrow without referencing this conversation, definitely do no use it - your lecturers will know its not your own work [and there is a very good chance your lecturer is in here if you're oding a uni course]) |
| 2022-09-16 02:56:36 +0000 | <cacke> | yeah no of course |
| 2022-09-16 02:58:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 03:00:29 +0000 | <sm> | your responses are the kind of short, low effort ones that people give when they've been banging their head on something for 12 hours. It's a very low bandwidth exchange |
| 2022-09-16 03:02:11 +0000 | <sm> | it would go easier in person. Or with a fresh mind. Best of luck |
| 2022-09-16 03:02:17 +0000 | <cacke> | Yeah i'm just speechless because the whole situation i'm in is ridiculous |
| 2022-09-16 03:02:27 +0000 | <sm> | been there! |
| 2022-09-16 03:02:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 03:05:37 +0000 | <Axman6> | cacke: we're happy to help (that's why we're here), but keep in mind that if we're asking questions, it's because we need the answers to be able to help you. Having some sleep will definitely help, and there's a pretty good chance your brain will figure out what you're trying to do while you sleep - enjoy your codedreams! |
| 2022-09-16 03:14:38 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-16 03:15:09 +0000 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-09-16 03:16:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-16 03:17:33 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 252 seconds) |
| 2022-09-16 03:18:47 +0000 | Furor | (~colere@about/linux/staff/sauvin) (Remote host closed the connection) |
| 2022-09-16 03:23:17 +0000 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-09-16 03:23:56 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Quit: Going elsewhere) |
| 2022-09-16 03:25:23 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-16 03:26:34 +0000 | Guest30 | (~Guest30@77.100.154.60) (Quit: Client closed) |
| 2022-09-16 03:27:23 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 03:29:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-16 03:30:11 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Client Quit) |
| 2022-09-16 03:30:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-16 03:31:02 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-16 03:32:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 03:36:46 +0000 | <cacke> | I appreciate that you're trying to help. Some people really need to chill though... Good night. |
| 2022-09-16 03:37:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 03:43:33 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 03:52:34 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 03:56:25 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-16 03:57:09 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-16 04:03:46 +0000 | checkum | (~checkum@172.58.22.130) |
| 2022-09-16 04:04:22 +0000 | checkum | (~checkum@172.58.22.130) (Read error: Connection reset by peer) |
| 2022-09-16 04:05:25 +0000 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2022-09-16 04:06:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 04:09:37 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 04:10:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 04:12:14 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.3) |
| 2022-09-16 04:12:16 +0000 | Alex_test_ | (~al_test@178.34.161.3) |
| 2022-09-16 04:13:25 +0000 | Alex_test | (~al_test@178.34.161.3) (Ping timeout: 250 seconds) |
| 2022-09-16 04:14:14 +0000 | AlexNoo | (~AlexNoo@178.34.161.3) (Read error: Connection reset by peer) |
| 2022-09-16 04:14:23 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-16 04:19:31 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-09-16 04:22:01 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 04:22:31 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 250 seconds) |
| 2022-09-16 04:26:51 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-16 04:31:15 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-16 04:33:47 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-16 04:41:24 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-16 04:44:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 04:45:23 +0000 | biberu | (~biberu@user/biberu) |
| 2022-09-16 04:48:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 04:53:57 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-16 04:54:03 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-16 05:03:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 05:07:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 05:12:39 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-16 05:19:30 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 05:24:15 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-09-16 05:25:53 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 05:30:30 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-16 05:32:23 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-16 05:33:52 +0000 | mcglk | (~mcglk@131.191.49.120) |
| 2022-09-16 05:34:31 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-16 05:43:17 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-16 05:44:39 +0000 | cpli | (~cpli@77.47.62.180) (Ping timeout: 265 seconds) |
| 2022-09-16 05:53:44 +0000 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:634:f7cd:410d:148d) |
| 2022-09-16 05:56:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 05:58:48 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 06:01:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 06:04:12 +0000 | checkum | (~checkum@172.58.19.92) |
| 2022-09-16 06:04:53 +0000 | checkum | (~checkum@172.58.19.92) (Read error: Connection reset by peer) |
| 2022-09-16 06:05:13 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-16 06:11:29 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 06:19:02 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 06:23:48 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 06:29:07 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-16 06:29:33 +0000 | talismanick | (~talismani@2601:644:9380:4570::2317) |
| 2022-09-16 06:29:59 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-16 06:30:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 06:32:08 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-16 06:34:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 06:38:03 +0000 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) |
| 2022-09-16 06:48:53 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-16 06:49:01 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 06:54:25 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-16 07:00:37 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:bd9a:9ef9:559f:c0b5) |
| 2022-09-16 07:04:43 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-16 07:04:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 07:05:55 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds) |
| 2022-09-16 07:09:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 07:13:35 +0000 | kuribas | (~user@ptr-17d51epqf8g1ajenyeu.18120a2.ip6.access.telenet.be) |
| 2022-09-16 07:14:21 +0000 | <kuribas> | I want to create a compound constraint. One that I can use with Dict: https://hackage.haskell.org/package/hkd-records-0.0.4/docs/Data-HKD-Records.html#t:Dict |
| 2022-09-16 07:14:45 +0000 | <kuribas> | A type synonym doesn't work, because it cannot be partially applied, and a type family neither. |
| 2022-09-16 07:15:01 +0000 | akegalj | (~akegalj@93-138-36-181.adsl.net.t-com.hr) |
| 2022-09-16 07:15:20 +0000 | <kuribas> | I can do "class (C1 a, C2 a) => CS a; instance (C1 a, C2 a) => CS a" |
| 2022-09-16 07:15:26 +0000 | <kuribas> | But I wonder if there is a better way? |
| 2022-09-16 07:16:05 +0000 | <kuribas> | Worst case I make some TH function to do generate this Constraint... |
| 2022-09-16 07:17:36 +0000 | <[Leary]> | Perhaps `class (c1 a, c2 a) => (c1 :& c2) a; instance (c1 a, c2 a) => (c1 :& c2) a`? |
| 2022-09-16 07:18:10 +0000 | <kuribas> | hmm |
| 2022-09-16 07:18:38 +0000 | <kuribas> | that might work... |
| 2022-09-16 07:20:21 +0000 | <kuribas> | then I can do MyCompoundConstraint = c1 :& c2 |
| 2022-09-16 07:21:27 +0000 | tcard_ | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-09-16 07:22:28 +0000 | ubert | (~Thunderbi@77.119.200.188.wireless.dyn.drei.com) |
| 2022-09-16 07:25:37 +0000 | checkum | (~checkum@209.107.178.17) |
| 2022-09-16 07:26:59 +0000 | tcard | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-16 07:27:20 +0000 | checkum | (~checkum@209.107.178.17) (Read error: Connection reset by peer) |
| 2022-09-16 07:29:12 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-09-16 07:29:51 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-09-16 07:31:00 +0000 | <kuribas> | [Leary]: it doesn't work with my usecase, like: type LdDiffConstraints ldt = ( DiffConstraints (LdTypeAttributes ldt), ConstDiffConstraints (LdTypeRelations ldt)) |
| 2022-09-16 07:32:17 +0000 | <kuribas> | "DiffConstraints (LdTypeAttributes ldt)" is not a simple function "LdType -> Constraint" |
| 2022-09-16 07:32:38 +0000 | <kuribas> | I'd need a type level compose... |
| 2022-09-16 07:34:16 +0000 | <[Leary]> | Then repeat the trick: `class f (g a) => (f :. g) a; ...` |
| 2022-09-16 07:35:43 +0000 | <kuribas> | that becomes to complicated... |
| 2022-09-16 07:35:48 +0000 | <kuribas> | I think I'll go with the TH. |
| 2022-09-16 07:36:44 +0000 | <kuribas> | something like $(NewConstraint [t| LdDiffConstraints ldt] [t| ( DiffConstraints (LdTypeAttributes ldt), ConstDiffConstraints (LdTypeRelations ldt)) |] |
| 2022-09-16 07:37:04 +0000 | <kuribas> | well, "newConstraint" better |
| 2022-09-16 07:38:27 +0000 | <[Leary]> | Sounds more complicated to me, but you do you. ¯\_(ツ)_/¯ |
| 2022-09-16 07:39:03 +0000 | <kuribas> | this stuff is easier in idris, since it doesn't have Constraint kinds :) |
| 2022-09-16 07:39:07 +0000 | <kuribas> | Constraints are just types. |
| 2022-09-16 07:39:22 +0000 | <jackdk> | kuribas: constraints-extras may have some gadgets that are useful |
| 2022-09-16 07:40:10 +0000 | <kuribas> | [Leary]: I mean, (:.) has kind (Type -> Type) -> (Type -> Constraint) -> (Type -> Constraint), but then I also need (Type -> Type) -> (Type -> Type), etc... |
| 2022-09-16 07:40:33 +0000 | <kuribas> | [Leary]: more complicate to write, yes. Not more complicated to use. |
| 2022-09-16 07:40:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 07:44:05 +0000 | <kuribas> | [Leary]: oh, I guess that's parametric over the kinds. |
| 2022-09-16 07:45:13 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-16 07:45:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 07:45:43 +0000 | <[Leary]> | It should be (k2 -> Constraint) -> (k1 -> k2) -> (k1 -> Constraint) |
| 2022-09-16 07:46:08 +0000 | <kuribas> | then I still need composition over types... |
| 2022-09-16 07:46:21 +0000 | <[Leary]> | It is a bit of a shame we can't write a properly polykinded (:.), and having to use two of them is a bit messy. |
| 2022-09-16 07:46:26 +0000 | <jackdk> | https://hackage.haskell.org/package/constraints-extras-0.3.2.1/docs/Data-Constraint-Compose.html |
| 2022-09-16 07:47:34 +0000 | <kuribas> | jackdk: that's just (:.) |
| 2022-09-16 07:47:51 +0000 | <[Leary]> | Oh, though if it associates correctly, can't you get away with using just this, so long as your composition always ends in Constraint? |
| 2022-09-16 07:48:54 +0000 | <kuribas> | hmm |
| 2022-09-16 07:51:53 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-16 07:52:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-16 07:55:59 +0000 | chele | (~chele@user/chele) |
| 2022-09-16 08:02:58 +0000 | Null_A_ | (~null_a@2601:645:8700:ac10:d500:3538:840b:56c3) |
| 2022-09-16 08:03:31 +0000 | Null_A | (~null_a@2601:645:8700:ac10:4003:febd:5f86:3cc5) (Ping timeout: 250 seconds) |
| 2022-09-16 08:08:23 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-16 08:11:24 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-16 08:12:00 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-16 08:13:10 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 08:14:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 08:15:01 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-16 08:15:28 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-16 08:15:29 +0000 | chimp_ | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-09-16 08:16:04 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-16 08:16:15 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-16 08:17:48 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 264 seconds) |
| 2022-09-16 08:18:45 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-16 08:18:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 08:25:02 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-16 08:29:13 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-09-16 08:29:54 +0000 | beteigeuze | (~Thunderbi@89.187.168.57) |
| 2022-09-16 08:30:36 +0000 | califax | (~califax@user/califx) |
| 2022-09-16 08:30:48 +0000 | <talismanick> | How do I pass a timeout flag to `cabal run`? I have a QuickCheck test hanging (I suspect combinatorial explosion because of naive recursion to check subexpressions in an AST) |
| 2022-09-16 08:31:14 +0000 | <talismanick> | or, tell me on which cases it's hanging |
| 2022-09-16 08:31:22 +0000 | <talismanick> | (using HSpec + QuickCheck) |
| 2022-09-16 08:35:29 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 08:42:55 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-16 08:43:37 +0000 | MajorBiscuit | (~MajorBisc@145.94.167.213) |
| 2022-09-16 08:47:33 +0000 | frost | (~frost@user/frost) |
| 2022-09-16 08:48:13 +0000 | ozkutuk | (~ozkutuk@176.240.173.153) |
| 2022-09-16 08:50:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 08:51:47 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-16 08:54:12 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-16 08:54:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 08:57:08 +0000 | <talismanick> | nvm just realized that I accidentally encoded evaluation of SK calculus and it probably generated Y combinators |
| 2022-09-16 08:59:02 +0000 | benin0 | (~benin@183.82.204.57) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-16 09:05:36 +0000 | Alex_test_ | Alex_test |
| 2022-09-16 09:06:50 +0000 | AlexNoo_ | AlexNoo |
| 2022-09-16 09:07:42 +0000 | FragByte_ | (~christian@user/fragbyte) |
| 2022-09-16 09:10:52 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 09:11:15 +0000 | FragByte | (~christian@user/fragbyte) (Ping timeout: 268 seconds) |
| 2022-09-16 09:11:15 +0000 | FragByte_ | FragByte |
| 2022-09-16 09:12:52 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-09-16 09:16:31 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
| 2022-09-16 09:23:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 09:27:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 09:28:05 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-16 09:28:37 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-09-16 09:30:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 260 seconds) |
| 2022-09-16 09:36:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 09:38:05 +0000 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-09-16 09:40:41 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-16 09:47:29 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-16 09:47:34 +0000 | MoC | (~moc@user/moc) |
| 2022-09-16 09:48:28 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-16 09:54:52 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 09:55:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 09:59:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 10:00:17 +0000 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
| 2022-09-16 10:07:36 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 264 seconds) |
| 2022-09-16 10:10:25 +0000 | <albet70> | if cabal v1-install package, how to remove it? |
| 2022-09-16 10:12:04 +0000 | <albet70> | or cabal v2-install --lib scotty-login-session, now I can use module from this package in ghci directly, how to remove this package? |
| 2022-09-16 10:17:17 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 10:19:44 +0000 | _xor | (~xor@74.215.182.83) |
| 2022-09-16 10:19:50 +0000 | <geekosaur> | if yiou v1-installed it, ghc-pkg unregister |
| 2022-09-16 10:20:07 +0000 | <geekosaur> | if you v2-installed it, find and edit the environment file |
| 2022-09-16 10:20:16 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 10:22:03 +0000 | <albet70> | geekosaur , thanks |
| 2022-09-16 10:22:26 +0000 | <geekosaur> | (if you must actually remove it, for v1 you must read the package registration first and remove the directories and files it points to. for v2-install, the line(s) in the environment file for that package will indicate a directory under ~/.cabal/store; you need to remove that directory too.) |
| 2022-09-16 10:23:35 +0000 | <albet70> | ~/.ghc/x86_64-linux/environments/default |
| 2022-09-16 10:23:37 +0000 | <geekosaur> | note that for v2-install this may break other packages that depend on it, since v2-install isn;t really designed to be used with --lib |
| 2022-09-16 10:25:19 +0000 | <albet70> | use cabal.project is better for multiple project, but v2-install --lib package is too easy to use, even directly in ghci |
| 2022-09-16 10:25:39 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-16 10:25:42 +0000 | <geekosaur> | it also gets you all the problems cabal v2 had |
| 2022-09-16 10:25:46 +0000 | <geekosaur> | "cabal hell" |
| 2022-09-16 10:25:53 +0000 | <geekosaur> | er, cabal v1 |
| 2022-09-16 10:26:47 +0000 | <geekosaur> | if you introduce a package conmflict in the environment file, or worse the v1 package db, good luck fixing it |
| 2022-09-16 10:27:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 10:28:34 +0000 | <albet70> | how you install pandoc by cabal? |
| 2022-09-16 10:28:45 +0000 | califax_ | (~califax@user/califx) |
| 2022-09-16 10:28:55 +0000 | <albet70> | an executive program |
| 2022-09-16 10:29:12 +0000 | <geekosaur> | "cabal install --exe pandoc" and wait about an hour for all the deps to build 🙂 |
| 2022-09-16 10:29:28 +0000 | <albet70> | an hour... |
| 2022-09-16 10:29:34 +0000 | <geekosaur> | (the --exe is optional; "cabal i8nstall" is actually intended for use with executables) |
| 2022-09-16 10:29:41 +0000 | <geekosaur> | pandoc is huge |
| 2022-09-16 10:30:20 +0000 | <albet70> | then I should use apt or pacman to install it |
| 2022-09-16 10:30:27 +0000 | <geekosaur> | ideally yes |
| 2022-09-16 10:31:17 +0000 | <albet70> | I don't familiar with nix, but nowadays I saw some haskell people using it |
| 2022-09-16 10:31:39 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-16 10:31:40 +0000 | califax_ | califax |
| 2022-09-16 10:31:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 10:45:06 +0000 | killsushi | (~killsushi@2607:fea8:3d40:6a7:3869:6b25:e732:f1e5) |
| 2022-09-16 10:45:06 +0000 | killsushi | (~killsushi@2607:fea8:3d40:6a7:3869:6b25:e732:f1e5) (Changing host) |
| 2022-09-16 10:45:06 +0000 | killsushi | (~killsushi@user/killsushi) |
| 2022-09-16 10:46:23 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-16 10:53:35 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
| 2022-09-16 10:58:38 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 10:59:38 +0000 | yoneda | (~mike@193.206.102.122) |
| 2022-09-16 11:03:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 11:05:57 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 244 seconds) |
| 2022-09-16 11:07:39 +0000 | Guest9 | (~Guest9@mainpc.lha.sgsnet.se) |
| 2022-09-16 11:08:00 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 11:08:12 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-16 11:09:51 +0000 | Guest9 | (~Guest9@mainpc.lha.sgsnet.se) (Client Quit) |
| 2022-09-16 11:10:58 +0000 | akegalj | (~akegalj@93-138-36-181.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-09-16 11:11:35 +0000 | Guest366 | (~Guest3@c83-253-98-90.bredband.tele2.se) |
| 2022-09-16 11:12:25 +0000 | Guest4052 | (~Guest40@mainpc.lha.sgsnet.se) |
| 2022-09-16 11:12:40 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-16 11:13:22 +0000 | Guest4052 | (~Guest40@mainpc.lha.sgsnet.se) (Client Quit) |
| 2022-09-16 11:15:18 +0000 | angerman_ | (~angerman@103.247.110.7) |
| 2022-09-16 11:22:38 +0000 | <kuribas> | How do I pass a new Name to TH? |
| 2022-09-16 11:22:41 +0000 | <kuribas> | as a string? |
| 2022-09-16 11:22:50 +0000 | <kuribas> | (for example a new class name) |
| 2022-09-16 11:30:25 +0000 | <kuribas> | hmm, I guess String if it doesn't exist yet. |
| 2022-09-16 11:33:52 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-16 11:34:35 +0000 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:634:f7cd:410d:148d) (Remote host closed the connection) |
| 2022-09-16 11:37:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 11:41:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 11:44:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-16 11:45:03 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-16 11:47:41 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-16 11:48:26 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-16 11:48:47 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 11:48:58 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-16 11:49:07 +0000 | califax | (~califax@user/califx) |
| 2022-09-16 11:51:23 +0000 | angerman_ | (~angerman@103.247.110.7) (Quit: Ping timeout (120 seconds)) |
| 2022-09-16 11:52:42 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-16 11:53:50 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Ping timeout: 268 seconds) |
| 2022-09-16 11:59:25 +0000 | talismanick | (~talismani@2601:644:9380:4570::2317) (Remote host closed the connection) |
| 2022-09-16 12:00:22 +0000 | checkum | (~checkum@2604:ca00:1e0:78bc::1060:fc1) |
| 2022-09-16 12:01:13 +0000 | philpax_ | (sid516926@id-516926.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-16 12:01:40 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 265 seconds) |
| 2022-09-16 12:04:36 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) (Ping timeout: 264 seconds) |
| 2022-09-16 12:08:10 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-16 12:10:47 +0000 | razetime | (~quassel@117.254.35.208) |
| 2022-09-16 12:12:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 12:15:53 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3a1b:8096:52cf:f3ae) |
| 2022-09-16 12:17:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 12:19:05 +0000 | Guest366 | (~Guest3@c83-253-98-90.bredband.tele2.se) (Quit: Client closed) |
| 2022-09-16 12:22:39 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 250 seconds) |
| 2022-09-16 12:22:58 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-09-16 12:28:11 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-16 12:31:03 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-16 12:31:13 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 12:34:36 +0000 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) (Ping timeout: 268 seconds) |
| 2022-09-16 12:36:38 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-16 12:38:33 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-16 12:38:47 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 12:39:59 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-09-16 12:42:58 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-09-16 12:44:51 +0000 | nshepperd26 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2022-09-16 12:45:14 +0000 | danso | (danso@danso.ca) (Ping timeout: 268 seconds) |
| 2022-09-16 12:45:35 +0000 | danso | (danso@danso.ca) |
| 2022-09-16 12:46:16 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 12:46:26 +0000 | <kuribas> | My TH function worked from the first time. It's just so nice to have ADTs, pattern matching, static types, etc... |
| 2022-09-16 12:46:32 +0000 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 255 seconds) |
| 2022-09-16 12:46:32 +0000 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 255 seconds) |
| 2022-09-16 12:46:32 +0000 | nshepperd26 | nshepperd2 |
| 2022-09-16 12:46:40 +0000 | <kuribas> | Despite TH having a complex model. |
| 2022-09-16 12:46:57 +0000 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2022-09-16 12:47:07 +0000 | <kuribas> | People can make claims all they want, but I don't ever have this experience in other languages, lisps, javas, or whatever. |
| 2022-09-16 12:48:31 +0000 | <kuribas> | lispers may proclaim that macros are easy to write, for sure they aren't easy to debug. |
| 2022-09-16 12:48:57 +0000 | <kuribas> | while TH is harder to write, the few times I had to write it, most if it just worked. |
| 2022-09-16 12:54:16 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-16 13:01:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 13:02:25 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 13:02:27 +0000 | dsrt^ | (~dsrt@70.88.176.185) (Remote host closed the connection) |
| 2022-09-16 13:06:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 13:11:30 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-16 13:13:36 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-16 13:20:26 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 265 seconds) |
| 2022-09-16 13:36:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 13:40:32 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2022-09-16 13:40:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 13:41:00 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 13:42:46 +0000 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-16 13:43:24 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 13:44:53 +0000 | waleee | (~waleee@192.165.44.49) |
| 2022-09-16 13:47:23 +0000 | luffy | (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
| 2022-09-16 13:51:30 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-16 13:54:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 13:55:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 13:56:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 13:59:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 13:59:34 +0000 | califax | (~califax@user/califx) |
| 2022-09-16 13:59:37 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-16 14:03:29 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-09-16 14:04:16 +0000 | tvandinther | (~tvandinth@2404:4408:8740:3800:cd40:56c8:fd06:acd0) (Quit: Client closed) |
| 2022-09-16 14:05:08 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-16 14:05:23 +0000 | beteigeuze | (~Thunderbi@89.187.168.57) (Ping timeout: 265 seconds) |
| 2022-09-16 14:06:56 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:bd9a:9ef9:559f:c0b5) (Quit: WeeChat 2.8) |
| 2022-09-16 14:10:07 +0000 | cpli | (~cpli@2a01:598:b8b4:1de9:32d1:6bff:fe80:46bd) |
| 2022-09-16 14:13:27 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-16 14:16:57 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-16 14:17:23 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 14:17:38 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 240 seconds) |
| 2022-09-16 14:18:51 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-16 14:20:30 +0000 | akegalj | (~akegalj@239-192.dsl.iskon.hr) |
| 2022-09-16 14:21:24 +0000 | checkum | (~checkum@2604:ca00:1e0:78bc::1060:fc1) (Ping timeout: 264 seconds) |
| 2022-09-16 14:21:48 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 14:26:40 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 14:29:54 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:7e30:7a86:774c:627a) |
| 2022-09-16 14:30:55 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-16 14:31:34 +0000 | <sm> | nice |
| 2022-09-16 14:31:36 +0000 | cpli | (~cpli@2a01:598:b8b4:1de9:32d1:6bff:fe80:46bd) (Ping timeout: 264 seconds) |
| 2022-09-16 14:34:43 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-09-16 14:36:51 +0000 | ccapndave | (~ccapndave@mob-194-230-146-101.cgn.sunrise.net) |
| 2022-09-16 14:37:50 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-16 14:37:51 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 14:39:22 +0000 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) (Quit: Уш'лЪЬ їз єтой IRC сетї) |
| 2022-09-16 14:40:53 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 250 seconds) |
| 2022-09-16 14:41:12 +0000 | MajorBiscuit | (~MajorBisc@145.94.167.213) (Ping timeout: 264 seconds) |
| 2022-09-16 14:41:39 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 14:49:36 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-16 14:50:41 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a7-23.dhcp.inet.fi) |
| 2022-09-16 14:54:19 +0000 | ccapndave | (~ccapndave@mob-194-230-146-101.cgn.sunrise.net) (Ping timeout: 250 seconds) |
| 2022-09-16 14:56:30 +0000 | cpli | (~cpli@2a01:598:b8b4:1de9:32d1:6bff:fe80:46bd) |
| 2022-09-16 15:01:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 15:02:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 15:04:29 +0000 | waleee | (~waleee@192.165.44.49) (Ping timeout: 268 seconds) |
| 2022-09-16 15:06:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 15:06:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 15:07:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-16 15:12:00 +0000 | aliosablack | (~chomwitt@2a02:587:dc14:f500:f5a5:b633:623:44db) |
| 2022-09-16 15:12:55 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:7e30:7a86:774c:627a) (Ping timeout: 244 seconds) |
| 2022-09-16 15:15:21 +0000 | ccapndave | (~ccapndave@mob-194-230-158-198.cgn.sunrise.net) |
| 2022-09-16 15:15:56 +0000 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2022-09-16 15:20:12 +0000 | vglfr | (~vglfr@145.224.94.16) (Read error: Connection reset by peer) |
| 2022-09-16 15:20:31 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-16 15:20:43 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-16 15:22:26 +0000 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) |
| 2022-09-16 15:36:58 +0000 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) |
| 2022-09-16 15:37:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 15:37:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 15:38:10 +0000 | ccapndave | (~ccapndave@mob-194-230-158-198.cgn.sunrise.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-16 15:39:45 +0000 | <gay9> | albet70: people use nix for the same reason they use stack: they need working and reproducible builds |
| 2022-09-16 15:39:45 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-16 15:41:09 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 15:43:29 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 15:43:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 15:44:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 15:45:19 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-16 15:46:06 +0000 | waleee | (~waleee@192.165.44.49) |
| 2022-09-16 15:47:27 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 15:47:37 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-16 15:48:24 +0000 | califax | (~califax@user/califx) |
| 2022-09-16 15:50:48 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-16 15:51:43 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-16 16:00:06 +0000 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Quit: You have been kicked for being idle) |
| 2022-09-16 16:01:12 +0000 | akegalj | (~akegalj@239-192.dsl.iskon.hr) (Quit: leaving) |
| 2022-09-16 16:01:45 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds) |
| 2022-09-16 16:03:22 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 16:05:43 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 16:09:18 +0000 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2022-09-16 16:09:28 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-16 16:14:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 16:14:59 +0000 | <kuribas> | I am getting Cannot derive well-kinded instance of form ‘FieldNames (LdTypeRelations ...)’ Class ‘FieldNames’ expects an argument of kind ‘(* -> *) -> *’ • In the data instance declaration for ‘LdTypeRelations’ |
| 2022-09-16 16:15:24 +0000 | <kuribas> | that seems wrong, the kind of FieldNames is (k -> *) -> * |
| 2022-09-16 16:16:02 +0000 | aliosablack | (~chomwitt@2a02:587:dc14:f500:f5a5:b633:623:44db) (Quit: Leaving) |
| 2022-09-16 16:16:20 +0000 | <kuribas> | ah, and it works with a standalone. |
| 2022-09-16 16:16:20 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:f5a5:b633:623:44db) |
| 2022-09-16 16:16:32 +0000 | <kuribas> | Must be another compiler bug. |
| 2022-09-16 16:18:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 16:21:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 16:22:08 +0000 | <kuribas> | Maybe DeriveAnyClass has * hardcoded? |
| 2022-09-16 16:22:26 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-16 16:39:28 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-09-16 16:39:43 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-09-16 16:44:31 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-09-16 16:44:59 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9c7) |
| 2022-09-16 16:45:08 +0000 | mikoto-chan | (~mikoto-ch@dy66plfyyyyyyyyyyyyby-4.rev.dnainternet.fi) |
| 2022-09-16 16:48:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 16:50:45 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a7-23.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-16 16:51:10 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a7-23.dhcp.inet.fi) |
| 2022-09-16 16:52:41 +0000 | cpli | (~cpli@2a01:598:b8b4:1de9:32d1:6bff:fe80:46bd) (Ping timeout: 255 seconds) |
| 2022-09-16 16:53:23 +0000 | waleee | (~waleee@192.165.44.49) (Ping timeout: 252 seconds) |
| 2022-09-16 16:56:59 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-16 17:00:30 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Read error: Connection reset by peer) |
| 2022-09-16 17:02:48 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a7-23.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2022-09-16 17:03:03 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-09-16 17:03:34 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 17:04:24 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 17:05:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 17:10:30 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-09-16 17:11:09 +0000 | checkum | (~checkum@172.58.27.247) |
| 2022-09-16 17:11:28 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2022-09-16 17:11:57 +0000 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Quit: WeeChat 3.3) |
| 2022-09-16 17:12:16 +0000 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2022-09-16 17:12:45 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-16 17:13:57 +0000 | checkum | (~checkum@172.58.27.247) (Read error: Connection reset by peer) |
| 2022-09-16 17:18:43 +0000 | kuribas | (~user@ptr-17d51epqf8g1ajenyeu.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-16 17:18:57 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-16 17:23:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 17:25:45 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-16 17:31:42 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-16 17:34:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 17:37:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 17:39:07 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9c7) (Ping timeout: 244 seconds) |
| 2022-09-16 17:40:36 +0000 | mikoto-chan | (~mikoto-ch@dy66plfyyyyyyyyyyyyby-4.rev.dnainternet.fi) (Ping timeout: 264 seconds) |
| 2022-09-16 17:41:04 +0000 | Ian4 | (~Ian@c-71-234-92-136.hsd1.ct.comcast.net) |
| 2022-09-16 17:41:13 +0000 | irfan | (~irfan@user/irfan) |
| 2022-09-16 17:45:42 +0000 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-16 17:47:55 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9c7) |
| 2022-09-16 17:48:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 17:48:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 17:56:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 18:01:51 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-16 18:03:12 +0000 | razetime | (~quassel@117.254.35.208) (Ping timeout: 265 seconds) |
| 2022-09-16 18:04:50 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 18:05:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 18:07:12 +0000 | califax | (~califax@user/califx) |
| 2022-09-16 18:09:45 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-16 18:12:19 +0000 | <oats> | glguy, heyo, just wondering if there's any particular reason that hookup has an upper bound of base <4.17? |
| 2022-09-16 18:13:01 +0000 | checkum | (~checkum@172.58.30.138) |
| 2022-09-16 18:13:27 +0000 | checkum | (~checkum@172.58.30.138) (Read error: Connection reset by peer) |
| 2022-09-16 18:13:34 +0000 | <oats> | the other packages in irc-core are <4.18 |
| 2022-09-16 18:20:12 +0000 | <int-e> | oats: odd? e.g. https://github.com/glguy/irc-core/blob/v2/bot/irc-core-bot.cabal#L26 |
| 2022-09-16 18:21:35 +0000 | <oats> | oh huh. well, /glirc.cabal does |
| 2022-09-16 18:21:53 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 250 seconds) |
| 2022-09-16 18:22:59 +0000 | <int-e> | Ah, that seems to be the only one. Good question then... |
| 2022-09-16 18:23:19 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 18:26:31 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-16 18:26:32 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-16 18:26:52 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-16 18:26:53 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-16 18:27:31 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-16 18:27:57 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-16 18:29:58 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 18:38:17 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-09-16 18:43:12 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-16 18:43:42 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 244 seconds) |
| 2022-09-16 18:46:03 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-16 18:46:23 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-16 18:48:23 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-16 18:49:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2022-09-16 18:49:48 +0000 | checkum | (~checkum@172.58.30.138) |
| 2022-09-16 18:50:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-16 18:51:17 +0000 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 2022-09-16 18:51:27 +0000 | checkum | (~checkum@172.58.30.138) (Read error: Connection reset by peer) |
| 2022-09-16 18:52:33 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-16 18:54:24 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-09-16 18:55:22 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-16 18:56:31 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 18:59:07 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 18:59:58 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 19:02:55 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-09-16 19:05:26 +0000 | irfan | (~irfan@user/irfan) (Remote host closed the connection) |
| 2022-09-16 19:05:28 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-16 19:05:29 +0000 | <segfaultfizzbuzz> | some blog says that "a language is a set of generators and relations in the style of abstract algebra" -- where can i find a definition of generator and relation? |
| 2022-09-16 19:05:39 +0000 | <segfaultfizzbuzz> | i have been through abstract algebra and don't remember these terms |
| 2022-09-16 19:05:45 +0000 | <mrianbloom> | Given a multiparameter typeclass does the order of the parameters matter for instance selection? |
| 2022-09-16 19:06:00 +0000 | <segfaultfizzbuzz> | here was the source: |
| 2022-09-16 19:06:03 +0000 | <segfaultfizzbuzz> | https://semantic-domain.blogspot.com/2021/12/what-is-programming-language.html?m=1 |
| 2022-09-16 19:06:13 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-09-16 19:06:38 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-16 19:06:46 +0000 | <segfaultfizzbuzz> | is a generator like, the generating set of a group? |
| 2022-09-16 19:07:59 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 2022-09-16 19:15:28 +0000 | koolazer | (~koo@user/koolazer) |
| 2022-09-16 19:18:24 +0000 | <sammelweis> | why can't you use a unary function like (arg `func`) ? E.g. let thousand = (* 1000) in (3.5 `thousand`) |
| 2022-09-16 19:19:17 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-16 19:19:55 +0000 | <geekosaur> | because the Haskell Report specifies what that syntax expands to and it's not compatible with that usage |
| 2022-09-16 19:20:03 +0000 | <geekosaur> | but see the PostfixOperators extension |
| 2022-09-16 19:28:40 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-16 19:30:28 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 19:31:33 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 19:33:18 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-16 19:35:01 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-16 19:37:58 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-16 19:39:35 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-16 19:41:22 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-16 19:43:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 19:43:21 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 250 seconds) |
| 2022-09-16 19:43:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 19:45:27 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-16 19:48:43 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-16 19:49:44 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-16 19:50:18 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Client Quit) |
| 2022-09-16 19:50:37 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-16 19:50:53 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Client Quit) |
| 2022-09-16 19:51:19 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-16 19:51:26 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-09-16 19:52:07 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-16 19:55:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 19:56:40 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 19:57:52 +0000 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-16 19:58:20 +0000 | wagle | (~wagle@quassel.wagle.io) |
| 2022-09-16 19:59:47 +0000 | killsushi | (~killsushi@user/killsushi) (Quit: Leaving) |
| 2022-09-16 20:00:24 +0000 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 268 seconds) |
| 2022-09-16 20:00:43 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-09-16 20:00:47 +0000 | killsushi | (~killsushi@2607:fea8:3d40:6a7:3869:6b25:e732:f1e5) |
| 2022-09-16 20:00:48 +0000 | killsushi | (~killsushi@2607:fea8:3d40:6a7:3869:6b25:e732:f1e5) (Changing host) |
| 2022-09-16 20:00:48 +0000 | killsushi | (~killsushi@user/killsushi) |
| 2022-09-16 20:01:59 +0000 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-09-16 20:03:43 +0000 | killsushi | (~killsushi@user/killsushi) (Client Quit) |
| 2022-09-16 20:05:43 +0000 | hexeme_ | ldlework |
| 2022-09-16 20:09:07 +0000 | <byorgey> | segfaultfizzbuzz: yes, "generators and relations" is a method of defining/presenting a group, where you specify some abstract generator elements along with some equations that should hold |
| 2022-09-16 20:09:52 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Quit: Leaving) |
| 2022-09-16 20:11:14 +0000 | <byorgey> | https://en.wikipedia.org/wiki/Presentation_of_a_group |
| 2022-09-16 20:17:05 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2022-09-16 20:18:22 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-16 20:18:23 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Read error: Connection timed out) |
| 2022-09-16 20:25:09 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Ping timeout: 268 seconds) |
| 2022-09-16 20:29:16 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 20:31:15 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-16 20:31:29 +0000 | califax | (~califax@user/califx) |
| 2022-09-16 20:33:46 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 20:34:31 +0000 | califax | (~califax@user/califx) |
| 2022-09-16 20:34:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 20:34:39 +0000 | Guest97 | (~Guest97@2601:602:a080:fa0::b9fc) |
| 2022-09-16 20:35:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 20:36:50 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-09-16 20:36:57 +0000 | <aaronv> | In `class Foo a where type Bar a b` what's the correct terminology for talking about the difference between the `a` and `b` parameters to `Bar`? From error messages I gather that `a` is a "type index" which must "coincide" with the class parameter. Is `b` also a "type index" but which doesn't need to coincide, or is it just a "parameter"? |
| 2022-09-16 20:37:38 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 20:38:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 20:39:36 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 20:40:42 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-16 20:42:01 +0000 | king_gs | (~Thunderbi@187.201.36.251) |
| 2022-09-16 20:42:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 20:46:39 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 20:47:54 +0000 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-09-16 20:54:41 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:d588:de76:f8ed:daae) (Ping timeout: 260 seconds) |
| 2022-09-16 20:55:16 +0000 | ubert | (~Thunderbi@77.119.200.188.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2022-09-16 20:55:46 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-16 20:58:07 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-16 20:59:49 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-16 21:01:33 +0000 | king_gs | (~Thunderbi@187.201.36.251) (Read error: Connection reset by peer) |
| 2022-09-16 21:02:07 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-16 21:02:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 21:02:16 +0000 | Jdorth | (~jdorth@host-86-25.nyamvor.amherst.ny.us.clients.pavlovmedia.net) |
| 2022-09-16 21:04:28 +0000 | Jdorth | (~jdorth@host-86-25.nyamvor.amherst.ny.us.clients.pavlovmedia.net) (Client Quit) |
| 2022-09-16 21:04:35 +0000 | <oats> | if I've changed the "current" ghc version with ghcup, do I need to adjust a project's .cabal file to reflect the new base version? |
| 2022-09-16 21:05:19 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-16 21:05:28 +0000 | Jdorth | (~jdorth@host-86-25.nyamvor.amherst.ny.us.clients.pavlovmedia.net) |
| 2022-09-16 21:06:15 +0000 | <hpc> | the version of base you're using should be in the range in the .cabal file |
| 2022-09-16 21:06:28 +0000 | <hpc> | but you don't have to suddenly say the previous version is no longer compatible |
| 2022-09-16 21:06:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 21:06:38 +0000 | <hpc> | (unless that's true, in which case probably say that :D) |
| 2022-09-16 21:07:03 +0000 | <hpc> | it's like any other package |
| 2022-09-16 21:07:22 +0000 | <Jdorth> | Hi everyone, Haskell is part of my advanced course this semester .Hope to learn from everyone here :) |
| 2022-09-16 21:08:45 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-16 21:11:00 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-16 21:11:46 +0000 | Jdorth | (~jdorth@host-86-25.nyamvor.amherst.ny.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2022-09-16 21:14:48 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9c7) (Ping timeout: 264 seconds) |
| 2022-09-16 21:16:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-16 21:18:32 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-16 21:20:56 +0000 | mniip | (mniip@libera/staff/mniip) (Ping timeout: 615 seconds) |
| 2022-09-16 21:23:15 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-09-16 21:24:12 +0000 | jargon | (~jargon@184.101.186.15) |
| 2022-09-16 21:26:00 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-16 21:27:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 21:33:15 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-16 21:33:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 21:34:13 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Ping timeout: 268 seconds) |
| 2022-09-16 21:38:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 21:41:19 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-09-16 21:41:24 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-16 21:45:59 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 21:50:09 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 21:50:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 21:54:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 21:55:29 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-16 21:56:12 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-16 21:59:11 +0000 | king_gs | (~Thunderbi@187.201.36.251) |
| 2022-09-16 22:00:24 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-09-16 22:02:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 22:03:38 +0000 | tubogram44 | (~tubogram@user/tubogram) (*.net *.split) |
| 2022-09-16 22:03:41 +0000 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2022-09-16 22:05:05 +0000 | tubogram44 | (~tubogram@user/tubogram) |
| 2022-09-16 22:07:50 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-16 22:11:12 +0000 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-09-16 22:11:55 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-16 22:12:29 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 22:13:16 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-16 22:15:59 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-16 22:16:58 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-16 22:18:00 +0000 | king_gs | (~Thunderbi@187.201.36.251) (Quit: king_gs) |
| 2022-09-16 22:20:02 +0000 | <sm> | welcome |
| 2022-09-16 22:22:04 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 22:22:47 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-16 22:23:32 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 22:24:04 +0000 | <yushyin> | a haskell course again? i expect a flood of questions on how to install 'haskell' with ghcup on macos again |
| 2022-09-16 22:24:50 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 22:25:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 22:26:05 +0000 | <yushyin> | maerwald: brace yourself :D |
| 2022-09-16 22:26:43 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-16 22:27:21 +0000 | <glguy> | oats: I'll look into updating hookup |
| 2022-09-16 22:29:45 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-16 22:31:59 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 255 seconds) |
| 2022-09-16 22:33:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 22:38:05 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-16 22:38:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 22:40:03 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-09-16 22:41:42 +0000 | <glguy> | I haven't done much with ghc-9.4 for the glirc repo because not all the deps support 9.4 yet |
| 2022-09-16 22:42:13 +0000 | <glguy> | but the bound is now updated on hackage |
| 2022-09-16 22:42:31 +0000 | hochata | (~user@user/hochata) |
| 2022-09-16 22:44:47 +0000 | checkum | (~checkum@172.58.30.161) |
| 2022-09-16 22:44:59 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2022-09-16 22:45:30 +0000 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-09-16 22:47:59 +0000 | checkum | (~checkum@172.58.30.161) (Read error: Connection reset by peer) |
| 2022-09-16 22:48:35 +0000 | shapr | (~user@68.54.166.125) |
| 2022-09-16 22:49:38 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 2022-09-16 22:51:20 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-09-16 22:54:51 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-09-16 22:55:54 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-16 22:56:28 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-16 23:00:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 23:05:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 23:06:06 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-16 23:10:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 23:24:10 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-09-16 23:28:35 +0000 | sw4n | (~dustinswa@cpe-104-228-17-219.nycap.res.rr.com) |
| 2022-09-16 23:29:55 +0000 | sw4n | (~dustinswa@cpe-104-228-17-219.nycap.res.rr.com) (Client Quit) |
| 2022-09-16 23:34:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 23:39:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 23:44:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 23:45:10 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-16 23:45:21 +0000 | <DigitalKiwi> | just tell them to use nix and delegate the problem to someone else |
| 2022-09-16 23:48:02 +0000 | checkum | (~checkum@172.58.30.183) |
| 2022-09-16 23:48:37 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-09-16 23:50:07 +0000 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-16 23:50:35 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::6e80) |
| 2022-09-16 23:51:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 23:56:09 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
