IRCBrowse

2022/08/08

2022-08-08 00:02:06 +0000jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2022-08-08 00:02:32 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2022-08-08 00:02:55 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-08 00:07:02 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-08-08 00:08:10 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-08 00:08:47 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2022-08-08 00:10:06 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-08-08 00:13:14 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-08 00:13:14 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-08-08 00:13:14 +0000wroathe(~wroathe@user/wroathe)
2022-08-08 00:17:02 +0000raym(~raym@user/raym) (Ping timeout: 240 seconds)
2022-08-08 00:18:01 +0000raym(~raym@user/raym)
2022-08-08 00:24:12 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-08 00:26:34 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-08-08 00:30:28 +0000nilradical(~nilradica@user/naso)
2022-08-08 00:30:39 +0000gmg(~user@user/gehmehgeh)
2022-08-08 00:31:00 +0000moonsheep(~user@user/moonsheep) (Remote host closed the connection)
2022-08-08 00:31:17 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-08 00:34:01 +0000 <Axman6> o/
2022-08-08 00:34:38 +0000dcoutts_(~duncan@host86-184-129-193.range86-184.btcentralplus.com)
2022-08-08 00:37:02 +0000dcoutts(~duncan@host86-149-51-51.range86-149.btcentralplus.com) (Ping timeout: 240 seconds)
2022-08-08 00:37:08 +0000 <hpc> o:\
2022-08-08 00:39:57 +0000 <Axman6> Nice hat hpc, very chic
2022-08-08 00:40:09 +0000dcoutts__(~duncan@host86-184-129-176.range86-184.btcentralplus.com)
2022-08-08 00:42:22 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2022-08-08 00:42:41 +0000dcoutts_(~duncan@host86-184-129-193.range86-184.btcentralplus.com) (Ping timeout: 252 seconds)
2022-08-08 00:43:49 +0000 <hpc> :P
2022-08-08 00:43:50 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-08 00:44:13 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 00:46:17 +0000dcoutts(~duncan@host86-184-129-193.range86-184.btcentralplus.com)
2022-08-08 00:48:11 +0000dcoutts__(~duncan@host86-184-129-176.range86-184.btcentralplus.com) (Ping timeout: 252 seconds)
2022-08-08 00:59:19 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-08-08 01:03:39 +0000vysn(~vysn@user/vysn)
2022-08-08 01:03:52 +0000Tuplanolla(~Tuplanoll@91-159-68-188.elisa-laajakaista.fi) (Quit: Leaving.)
2022-08-08 01:07:32 +0000xff0x(~xff0x@2405:6580:b080:900:d33e:2826:e840:9afc) (Ping timeout: 244 seconds)
2022-08-08 01:09:49 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-08-08 01:10:39 +0000gmg(~user@user/gehmehgeh)
2022-08-08 01:17:03 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-08-08 01:17:26 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 240 seconds)
2022-08-08 01:21:17 +0000machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 245 seconds)
2022-08-08 01:24:44 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-08 01:29:52 +0000hmw[at](~hmw@84-113-100-7.cable.dynamic.surfer.at)
2022-08-08 01:30:30 +0000frost(~frost@user/frost)
2022-08-08 01:31:11 +0000 <hmw[at]> I'd like to ask something generic about functional programming. Is there another channel I should go to?
2022-08-08 01:31:30 +0000 <dibblego> do it
2022-08-08 01:31:36 +0000 <Axman6> things are quiet here, so feel free to ask
2022-08-08 01:31:39 +0000 <geekosaur> not really. just ask
2022-08-08 01:31:45 +0000 <hmw[at]> Thanks
2022-08-08 01:32:02 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 01:33:47 +0000 <hmw[at]> I have been programming for ages. A few years back I started to look deeper into JavaScript, which has matured quite a bit. Now everyone recommends to use functional paradigms, and I enjoy doing so. I have a weird problem, which I don't understand though:
2022-08-08 01:34:42 +0000 <hmw[at]> When something is written using things like Array.map and all the other goodies, I find myself taking a long time reading the code until I get, what it does. At first I thought, this is new and I just need to practice it until I get accustomed.
2022-08-08 01:35:17 +0000 <hmw[at]> But I didn't. I find these types of code still pretty hard to read, especially compared to the same thing written in C, even though that is more verbous.
2022-08-08 01:35:39 +0000 <hmw[at]> So I read something and have to look a single line for ages, because it is so condensed and abstracted.
2022-08-08 01:35:55 +0000 <hmw[at]> I'd like to find out, why it didn't get easier for me after about 5 years.
2022-08-08 01:37:28 +0000 <hmw[at]> I know, this is a bit of a wonky question, but I had a discussion and realized that I still suck at reading these kinds of code. Maybe, just maybe, you have an idea, where I went wrong, or can recommend something I should look into?
2022-08-08 01:37:33 +0000 <Axman6> That's sory of the point - writing a for-loop bombards you with lots of unnecessary information, no one should care what order the elements of an array are accessed in, so why explicitly write out that first element 0 is accessed, then element 1 is accessed, then element 2 is accessed? Distill the idea of doing something to every element of an array by using map, so you can think about that as a higher level idea
2022-08-08 01:38:13 +0000 <hmw[at]> I can understand that argument in a way, but for me it doesn't look more efficient, since I am so slow at reading these
2022-08-08 01:38:14 +0000 <Axman6> I think to be able to answer further we'd need some more concrete details, do you have code you find hard to read?
2022-08-08 01:38:52 +0000 <Axman6> why makes it slow? There's less code, and you should be able to hold the abstractions of "mapping a function over an array" in your head
2022-08-08 01:39:23 +0000 <dibblego> recognise, then filter out, all the unnecessary details — this is known to be difficult
2022-08-08 01:39:28 +0000 <Axman6> in the Haskell world, we have an abstraction for that idea for many data types, which we call Functors
2022-08-08 01:39:31 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 252 seconds)
2022-08-08 01:39:40 +0000 <Axman6> :t fmap
2022-08-08 01:39:41 +0000 <lambdabot> Functor f => (a -> b) -> f a -> f b
2022-08-08 01:39:54 +0000 <dibblego> "a for loop is necessary to count the numbers in the array" — I have heard this at least 1000 times, yet it is simply untrue
2022-08-08 01:40:34 +0000 <Axman6> functor, which contains the fmap function, abstracts the idea of being able to apply a function to all the elements of some structure f
2022-08-08 01:40:42 +0000 <Axman6> > fmap show [1,2,3,4,5]
2022-08-08 01:40:44 +0000 <lambdabot> ["1","2","3","4","5"]
2022-08-08 01:40:49 +0000 <hmw[at]> I think I don't have a good example at hand. I can make one, but it will take me a bit
2022-08-08 01:40:50 +0000 <Axman6> > fmap show (Just 7)
2022-08-08 01:40:52 +0000 <lambdabot> Just "7"
2022-08-08 01:41:19 +0000 <hmw[at]> otoh, I am sure you understand me already. Just imagine several functional things nested or concatenated in one line of code.
2022-08-08 01:41:20 +0000 <Axman6> > fmap show (1,2) -- notoriously confusing example, but is consistent with how Functor works
2022-08-08 01:41:22 +0000 <lambdabot> (1,"2")
2022-08-08 01:41:38 +0000 <hmw[at]> The usual "ugly" JS stuff
2022-08-08 01:41:56 +0000 <Axman6> Also know as "JS stuff" :P
2022-08-08 01:42:01 +0000 <hmw[at]> Heheh
2022-08-08 01:42:07 +0000 <monochrom> IMO there is nothing apart from getting used to it.
2022-08-08 01:42:11 +0000 <hmw[at]> It feels like I am missing some basics
2022-08-08 01:42:35 +0000 <hmw[at]> (I am not a trained programmer)
2022-08-08 01:42:51 +0000 <Axman6> Are you comfortable with the idea of higher order functions? functions which accept other functions (or return functions)?
2022-08-08 01:43:29 +0000 <Axman6> they are used all the time in asynchronous code (or used to be), often called callbacks
2022-08-08 01:43:32 +0000 <hmw[at]> Yes. I do use that sometimes in my browser programs, or wherever the language requires me to do so (sort for example)
2022-08-08 01:43:41 +0000 <hmw[at]> I love Promise()
2022-08-08 01:44:45 +0000 <hmw[at]> Hm. Getting used to it. I can try focus specifically on these things. I am just surprised that it didn't happen naturally already
2022-08-08 01:45:08 +0000 <monochrom> I will not be saying anything negative about a C for-loop containing so much boilerplate. In academia, research papers contain even more boilerplate fillers than Java. And yet readers know to skip them and not complain.
2022-08-08 01:45:15 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-08 01:45:16 +0000zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-08-08 01:45:57 +0000renzhi(~xp@2607:fa49:6500:b100::47a5)
2022-08-08 01:46:05 +0000 <monochrom> In fact, I think I heard the exact opposite. Since readers are so used to seeing said boilerplate, if you don't have it, readers suddenly feel that they don't know the structure of your paper and they don't know how to read it.
2022-08-08 01:46:18 +0000 <hmw[at]> huh.
2022-08-08 01:47:05 +0000 <monochrom> And I think the same is happening to you at a less epic scale. If you don't see the obliged "for (i = 0; i < size; I++)", you're lost.
2022-08-08 01:47:29 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-08-08 01:47:36 +0000 <monochrom> And then it's apparent that there is nothing you can do apart from getting used to it.
2022-08-08 01:47:43 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-08-08 01:48:30 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 01:48:35 +0000 <hmw[at]> I see. It does make sense somewhat, since I come from the other end of the spectrum (micro controllers, asm, etc). Still. I should have picked it up already :) Thanks for your inputs!
2022-08-08 01:49:27 +0000zaquest(~notzaques@5.130.79.72)
2022-08-08 01:49:57 +0000 <Cale> hmw[at]: A friend of mine (who was going to university with me at the time for pure mathematics but who was not much of a programmer) once said that he really thought the higher order functions of Haskell did a much better job of mapping onto how he thought about things intuitively in everyday life. Like, when telling someone to wash all the dishes (he said), you tell them to wash all the dishes, which is closer to
2022-08-08 01:49:57 +0000 <Cale> "map wash dishes" (or mapM perhaps) than numbering the dishes and incrementing a counter.
2022-08-08 01:50:09 +0000 <hmw[at]> :)
2022-08-08 01:50:20 +0000 <hmw[at]> That's a neat example, I must say
2022-08-08 01:51:04 +0000 <Axman6> Cale: please please remember the current index as 0
2022-08-08 01:51:12 +0000 <Axman6> Cale: please wash the dish at the current index
2022-08-08 01:51:21 +0000 <Axman6> Cale: please please remember the current index as the current index plus one
2022-08-08 01:51:23 +0000 <Axman6> Cale: please wash the dish at the current index
2022-08-08 01:51:24 +0000 <dibblego> I keep a little sticky note with the index when doing dishes
2022-08-08 01:51:25 +0000 <Axman6> Cale: please please remember the current index as the current index plus one
2022-08-08 01:51:29 +0000 <Axman6> ...
2022-08-08 01:51:40 +0000 <jackdk> Axman6: NullPointerException, there are no dishes
2022-08-08 01:51:47 +0000 <Cale> please abstain from abstaining
2022-08-08 01:51:55 +0000 <hmw[at]> lol
2022-08-08 01:52:05 +0000 <Axman6> c'est la vie
2022-08-08 01:52:07 +0000 <jackdk> Another perspective: `map :: (a -> b) -> [a] -> [b]` looks like `map :: (a -> b) -> ([a] -> [b])` if you add the implicit parens, which lets you see it as a function which transforms a function over elements into a function over lists
2022-08-08 01:52:08 +0000 <dibblego> worse is index out of bounds, hate that
2022-08-08 01:52:19 +0000 <jackdk> oh yeah that's what it's called. thanks for fixing my joke
2022-08-08 01:52:29 +0000 <dibblego> that's ok, I too have -1 dishes to wash
2022-08-08 01:53:16 +0000 <hmw[at]> It helps me to make my code more verbose, e.g. func( a => b ) ---> func( (a) => { b } )
2022-08-08 01:53:51 +0000 <hmw[at]> Like, there was something as "too little code"
2022-08-08 01:54:21 +0000 <hmw[at]> I guess I'll stick around here and see, what I can learn from your conversations
2022-08-08 01:54:31 +0000 <Axman6> > map (^7) [1..10]
2022-08-08 01:54:33 +0000 <lambdabot> [1,128,2187,16384,78125,279936,823543,2097152,4782969,10000000]
2022-08-08 01:54:38 +0000 <hmw[at]> I have a slight interest in starting Haskell even.
2022-08-08 01:54:43 +0000 <Axman6> > (^7) <$> [1..10]
2022-08-08 01:54:45 +0000 <lambdabot> [1,128,2187,16384,78125,279936,823543,2097152,4782969,10000000]
2022-08-08 01:54:46 +0000 <dibblego> if "not having associativity rules internalised" is helped by adding parentheses, then do just that
2022-08-08 01:55:19 +0000 <dibblego> most programmers won't have a problem specific examples though, such as 2 + 4 * 5
2022-08-08 01:55:41 +0000 <hmw[at]> Yeah, I do that of course with my own code, but then I might have to share it or work on other's code. I hate your typical JS library where everything is nested lambdas and the actual program entry point is somewhere in the middle to that main anonymous function
2022-08-08 01:56:07 +0000 <Axman6> everythign is a function though
2022-08-08 01:56:11 +0000 <Axman6> thing*
2022-08-08 01:56:32 +0000 <monochrom> Most programmers eliminate the need for associativity and parentheses by going back to three-address instructions before Fortran.
2022-08-08 01:56:43 +0000 <hmw[at]> heh
2022-08-08 01:57:07 +0000 <monochrom> They call it "OOP".
2022-08-08 01:57:18 +0000 <Axman6> God is Real, unless definied as an integer
2022-08-08 01:57:27 +0000 <dibblego> lol, love me a good monochrom joke
2022-08-08 01:57:57 +0000 <yin> i use base 10
2022-08-08 02:00:24 +0000 <[Leary]> hmw[at]: Bit late, but I suspect your issue is similar to the difficulty of obtaining fluency in a second language---so long as you're still immersed in your mother tongue, fluency in a second tends to grow very slowly. It might help if you took some time to steep yourself in the paradigm of a true functional language, without the fallbacks and crutches of an imperative simulacrum.
2022-08-08 02:00:51 +0000 <hmw[at]> [Leary]: Sounds like a good hint, thanks!
2022-08-08 02:01:01 +0000 <Axman6> There aren't many better languages to do that with than Haskell, because we don't have those fallbacks
2022-08-08 02:01:17 +0000 <hmw[at]> I shall finally start trying it
2022-08-08 02:01:24 +0000Sujjek(~Sujjek@90.95.10.128)
2022-08-08 02:01:46 +0000 <Axman6> hmw[at]: try to avoid translating everything you learn back into something you already know, because it will limit your understanding to what is possible in those languages
2022-08-08 02:01:56 +0000 <hmw[at]> mhm
2022-08-08 02:02:37 +0000 <Sujjek> does anyone have example code of how to use the random-fu Random.sample function? https://hackage.haskell.org/package/random-fu-0.3.0.0/docs/Data-Random.html#v:sample
2022-08-08 02:02:50 +0000 <Axman6> If you decide to learn Haskell, I would highlly recommend you get some paper and a pencil and work through the process of evaluating functions based on their definitions - happy to help walk you through what I mean once you get started
2022-08-08 02:02:56 +0000 <Sujjek> I think you have to import mtl and random packages but I don't know how to make it work
2022-08-08 02:02:57 +0000lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-08 02:03:08 +0000 <hmw[at]> I love programming with paper and pencil
2022-08-08 02:03:25 +0000 <hmw[at]> Haven't done it in ages tho
2022-08-08 02:04:35 +0000 <Axman6> walking through the evaluation of something as simple as sum (filter even [1,2,3,4,5,6]) can help a lot
2022-08-08 02:04:38 +0000sander(~sander@user/sander) (Ping timeout: 240 seconds)
2022-08-08 02:07:12 +0000 <hmw[at]> I don't like to use complex tool chains. I'd rather have a simple text editor and a command line interpreter. What should I use?
2022-08-08 02:07:50 +0000 <Axman6> whichever editor you like - you just load ghci up in a terminal, and :reload (:r for short) when you change your code
2022-08-08 02:08:37 +0000 <hmw[at]> Sounds perfect. Any documentation you want to recommend over whatever I would be going to find on my own?
2022-08-08 02:09:30 +0000 <Axman6> I'm not up to date with what the current consensus is as the best place to start learning, I'm sure others have more opinions than me
2022-08-08 02:09:47 +0000 <hmw[at]> I can try Google np
2022-08-08 02:10:10 +0000 <Sujjek> `No instance for (Monad.Reader.MonadReader g0 IO)`
2022-08-08 02:10:11 +0000 <hmw[at]> Heh. I am becoming a "Lambdahead" after all!
2022-08-08 02:10:35 +0000 <jackdk> install haskell via ghcup, it's the easiest way
2022-08-08 02:11:08 +0000 <hmw[at]> As long as I am not required to install 300MB of toolchain, it will be fine :)
2022-08-08 02:11:11 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-08 02:11:32 +0000 <hmw[at]> Ah no, that was just the editor
2022-08-08 02:11:34 +0000 <Axman6> more like 600MB IIRC - GHC is a complex compiler
2022-08-08 02:11:42 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-08 02:11:47 +0000 <hmw[at]> oh. lol.
2022-08-08 02:12:10 +0000 <hmw[at]> I was thinking of VSCode, which I recently tried
2022-08-08 02:12:20 +0000 <hmw[at]> it came "empty" with 230 MB or so. WTF.
2022-08-08 02:12:27 +0000 <Axman6> I use VS Code and it's excellent
2022-08-08 02:12:53 +0000 <hmw[at]> I heard
2022-08-08 02:13:17 +0000 <jackdk> I use emacs and it's excellent, but ed is pretty cool too if you want a minimal editor
2022-08-08 02:13:20 +0000 <Axman6> you can use ghcup to install the Haskell Language Server (HLS) (thought I think these days installing ghcup is enough, and the Haskell plugin will take care of installing HSL for you - check the docs)
2022-08-08 02:14:00 +0000 <hmw[at]> It's going to be fine. I just wanted to know the simplest option. 600MB is quite a bit, but so what
2022-08-08 02:14:32 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 02:15:45 +0000 <hmw[at]> I just have a strong dislike of frameworks that are stacked onto other framworks recursively. I see a lot of newbies getting lost in those when I help out in other channels. Our software has gotten way too complex. It's a wonder, that our computers still work.
2022-08-08 02:16:04 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-08 02:16:38 +0000 <hmw[at]> That's how we're going to create Skynet :)
2022-08-08 02:17:03 +0000sander(~sander@user/sander)
2022-08-08 02:17:10 +0000 <Axman6> That definitely feels like the JavaScript experience.
2022-08-08 02:18:53 +0000 <Sujjek> well I got this to run, wondering if its possible with fewer steps, like using a default global random source or something: https://wandbox.org/permlink/DZobcsxHQNK2yeV5
2022-08-08 02:19:59 +0000lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-08-08 02:21:23 +0000 <Axman6> Sujjek: for small programs doing that will feel like a lot of overhead, but you only need to write that once and it will continue to work as your program grows
2022-08-08 02:25:20 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 02:27:17 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-08 02:27:42 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-08 02:29:37 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2022-08-08 02:32:04 +0000 <Sujjek> ah I can use Stateful.globalStdGen
2022-08-08 02:32:07 +0000mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 245 seconds)
2022-08-08 02:34:10 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 02:35:27 +0000td_(~td@94.134.91.67) (Ping timeout: 245 seconds)
2022-08-08 02:37:14 +0000td_(~td@muedsl-82-207-238-079.citykom.de)
2022-08-08 02:39:36 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-08 02:40:01 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-08 02:49:00 +0000Microwave(~pioneer@186-241-18-221.user3p.veloxzone.com.br) (Quit: Lost terminal)
2022-08-08 02:50:17 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer)
2022-08-08 02:50:17 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-08 02:50:43 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 02:50:47 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-08-08 02:51:13 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-08 02:53:01 +0000Sujjek(~Sujjek@90.95.10.128) (Remote host closed the connection)
2022-08-08 02:56:17 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 245 seconds)
2022-08-08 02:57:47 +0000nilradical(~nilradica@user/naso) ()
2022-08-08 02:59:04 +0000jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2022-08-08 03:00:00 +0000Taneb(~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.)
2022-08-08 03:01:10 +0000Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2022-08-08 03:04:42 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 03:08:55 +0000oats(~thomas@user/oats) (Quit: until later, my friends)
2022-08-08 03:09:10 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-08-08 03:09:39 +0000oats(~thomas@user/oats)
2022-08-08 03:16:14 +0000renzhi(~xp@2607:fa49:6500:b100::47a5) (Ping timeout: 240 seconds)
2022-08-08 03:17:23 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds)
2022-08-08 03:19:43 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-08 03:20:04 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 03:20:45 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-08-08 03:21:36 +0000gmg(~user@user/gehmehgeh)
2022-08-08 03:23:17 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-08-08 03:35:00 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 03:35:01 +0000Vajb(~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer)
2022-08-08 03:35:15 +0000Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-08-08 03:35:21 +0000mikoto-chan(~mikoto-ch@164.5.249.78)
2022-08-08 03:39:30 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 268 seconds)
2022-08-08 03:43:34 +0000mvk(~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 244 seconds)
2022-08-08 03:45:34 +0000 <albet70> "@djinn (((a->b) -> r) -> r) -> ((a->r)->r) -> (b->r) -> r; lambdabot :f a b c = b (\ d -> a (\ e -> c (e d))); tomsmeding :that djinn output is incorrect as an implementation for Cont though, because it evaluates the argument before the function :p " then what's the right implementation?
2022-08-08 03:53:19 +0000mvk(~mvk@2607:fea8:5ce3:8500::d5f2)
2022-08-08 03:56:05 +0000machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-08-08 03:58:47 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-08 03:59:06 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 04:02:58 +0000syntactic_sugar(~amoljha@2601:644:9080:77c0::54f1) (Quit: WeeChat 3.5)
2022-08-08 04:03:09 +0000 <monochrom> f a b c = a (\e -> b (\d -> c (e d)))
2022-08-08 04:07:41 +0000zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-08-08 04:10:20 +0000jargon(~jargon@184.101.188.251)
2022-08-08 04:10:21 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 04:10:31 +0000 <albet70> monochrom , how u work this out? type tetris?
2022-08-08 04:11:26 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-08-08 04:12:39 +0000 <Cale> Just thinking about what it means, probably. Though I'm not sure I would consider either option "wrong".
2022-08-08 04:12:39 +0000Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-08-08 04:13:08 +0000 <monochrom> I learned continuations.
2022-08-08 04:13:18 +0000 <monochrom> Or at least continuation passing style.
2022-08-08 04:13:23 +0000Vajb(~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014)
2022-08-08 04:14:37 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 245 seconds)
2022-08-08 04:15:11 +0000 <Cale> In monochrom's version, we first run a, getting some function e :: a -> b, and then we run b, getting some value d :: a, and then we finish (apply the final continuation c) with the result e d of applying the function we got to the value we got.
2022-08-08 04:16:12 +0000 <albet70> Cale, and djinn's version is wrong?
2022-08-08 04:16:42 +0000 <Cale> No, it just gets the argument first, then the function, and calls the final continuation with the same result.
2022-08-08 04:17:10 +0000 <Cale> The evaluation order will be different, but in any case where both terminate, the result will be the same.
2022-08-08 04:17:55 +0000 <Cale> If this were ContT and there were effects, then executing things in a different order might make effects occur in a different order, but it's difficult to say that one way is "wrong".
2022-08-08 04:18:26 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-08-08 04:18:26 +0000 <Cale> I do like the version which does the function first though, it's a little more obvious to go left to right.
2022-08-08 04:19:14 +0000 <albet70> should this liftA2 on Cont ever be used? or never be used?
2022-08-08 04:19:49 +0000 <Cale> There are probably cases. Cases where you should use Cont/ContT are already fairly rare as it is.
2022-08-08 04:19:58 +0000 <monochrom> But ContT would be way more complex than "a (\e -> ...)" :)
2022-08-08 04:20:06 +0000 <Cale> (true)
2022-08-08 04:20:18 +0000 <Cale> But if you're going to use it, one of the main reasons is to be able to get hold of combinators like liftA2 and sequence
2022-08-08 04:20:59 +0000 <Cale> Especially the recursive things like sequence can be kind of annoying to write by hand when manipulating things in continuation passing style
2022-08-08 04:25:52 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-08 04:34:37 +0000lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 245 seconds)
2022-08-08 04:38:47 +0000machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 245 seconds)
2022-08-08 04:39:37 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 04:46:38 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-08 04:47:35 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 04:49:25 +0000lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-08-08 04:49:42 +0000vglfr(~vglfr@194.9.14.33) (Read error: Connection reset by peer)
2022-08-08 04:50:44 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 04:52:01 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-08-08 04:52:06 +0000vglfr(~vglfr@194.9.14.33) (Read error: Connection reset by peer)
2022-08-08 04:52:22 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 04:55:37 +0000titibandit(~titibandi@xdsl-212-8-147-38.nc.de)
2022-08-08 04:55:55 +0000kazaf(~kazaf@94.180.63.53)
2022-08-08 04:58:43 +0000johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2022-08-08 04:59:02 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 04:59:08 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 05:03:36 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 05:04:32 +0000kazaf(~kazaf@94.180.63.53) (Ping timeout: 252 seconds)
2022-08-08 05:07:50 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 240 seconds)
2022-08-08 05:09:29 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 05:09:56 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-08-08 05:10:49 +0000gmg(~user@user/gehmehgeh)
2022-08-08 05:20:52 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
2022-08-08 05:21:01 +0000johnw(~johnw@2600:1700:cf00:db0:c8aa:85f9:feb6:ad6f)
2022-08-08 05:24:59 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 05:29:28 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-08 05:32:32 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 245 seconds)
2022-08-08 05:44:32 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-08-08 05:44:40 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 05:45:53 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-08 05:46:15 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 05:53:52 +0000jargon(~jargon@184.101.188.251) (Remote host closed the connection)
2022-08-08 05:56:35 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 06:00:52 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-08 06:06:15 +0000coot_(~coot@213.134.176.158)
2022-08-08 06:07:35 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 06:11:50 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2022-08-08 06:15:01 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-08 06:15:16 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 06:16:06 +0000mmhat(~mmh@p200300f1c72ee996ee086bfffe095315.dip0.t-ipconnect.de)
2022-08-08 06:17:34 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 06:22:35 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2022-08-08 06:23:21 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 06:23:30 +0000etoast(~exaltedto@user/exaltedtoast)
2022-08-08 06:26:45 +0000phma(~phma@host-67-44-208-54.hnremote.net) (Read error: Connection reset by peer)
2022-08-08 06:27:43 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-08-08 06:27:49 +0000phma(~phma@2001:5b0:211b:a788:3fd5:4efc:37e0:5605)
2022-08-08 06:28:05 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:b5d7:e3c8:81e3:aca2)
2022-08-08 06:38:47 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds)
2022-08-08 06:41:05 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-08-08 06:46:49 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-08 06:47:04 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 06:48:33 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-08 06:48:48 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 06:54:04 +0000cfricke(~cfricke@user/cfricke)
2022-08-08 06:57:32 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-08-08 06:58:11 +0000shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-08-08 06:59:54 +0000michalz(~michalz@185.246.204.73)
2022-08-08 07:01:37 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-08 07:02:50 +0000acidjnk(~acidjnk@p5dd87aad.dip0.t-ipconnect.de)
2022-08-08 07:06:41 +0000ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-08-08 07:08:02 +0000mc47(~mc47@xmonad/TheMC47)
2022-08-08 07:14:05 +0000Inst(~Inst@2601:6c4:4080:3f80:258f:9da7:8d32:3e0c)
2022-08-08 07:17:19 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-08 07:20:51 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 07:20:53 +0000zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-08-08 07:24:20 +0000hsw(~hsw@112-104-144-236.adsl.dynamic.seed.net.tw) (Remote host closed the connection)
2022-08-08 07:25:12 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2022-08-08 07:27:45 +0000zxx7529(~Thunderbi@user/zxx7529)
2022-08-08 07:34:49 +0000mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds)
2022-08-08 07:36:40 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 07:41:03 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-08-08 07:43:59 +0000yvan-sraka(~yvan-srak@105.67.135.250)
2022-08-08 07:44:54 +0000MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-08-08 07:46:15 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds)
2022-08-08 07:46:50 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-08 07:53:27 +0000mikoto-chan(~mikoto-ch@164.5.249.78)
2022-08-08 07:53:28 +0000machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-08-08 07:55:05 +0000titibandit(~titibandi@xdsl-212-8-147-38.nc.de) (Remote host closed the connection)
2022-08-08 07:58:30 +0000totte(~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 268 seconds)
2022-08-08 08:00:51 +0000cheater(~Username@user/cheater) (Ping timeout: 244 seconds)
2022-08-08 08:02:00 +0000totte(~totte@h-82-196-112-155.A166.priv.bahnhof.se)
2022-08-08 08:03:31 +0000off^(~off@206.85.120.17)
2022-08-08 08:03:50 +0000alp_(~alp@user/alp)
2022-08-08 08:04:04 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-08 08:05:51 +0000jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-08-08 08:06:06 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.6)
2022-08-08 08:06:32 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-08 08:08:29 +0000fserucas(~fserucas@46.50.4.9)
2022-08-08 08:08:37 +0000fserucas(~fserucas@46.50.4.9) (Client Quit)
2022-08-08 08:08:52 +0000eod|fserucas(~eod|fseru@46.50.4.9)
2022-08-08 08:13:44 +0000Cerins(~Cerins@m90-128-49-116.cust.tele2.lv)
2022-08-08 08:14:07 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-08-08 08:16:59 +0000alp_(~alp@user/alp) (Ping timeout: 252 seconds)
2022-08-08 08:18:14 +0000off^(~off@206.85.120.17) (Ping timeout: 268 seconds)
2022-08-08 08:19:19 +0000mmh(mmh@gateway/vpn/airvpn/mima)
2022-08-08 08:20:17 +0000cfricke(~cfricke@user/cfricke)
2022-08-08 08:20:59 +0000mmh(mmh@gateway/vpn/airvpn/mima) (Client Quit)
2022-08-08 08:22:00 +0000mima(mmh@gateway/vpn/airvpn/mima)
2022-08-08 08:25:05 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-08 08:30:51 +0000ardell(~ardell@user/ardell)
2022-08-08 08:33:42 +0000ardell(~ardell@user/ardell) (Client Quit)
2022-08-08 08:38:46 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 08:41:21 +0000kuribas(~user@ptr-17d51en96bu9gl9zv58.18120a2.ip6.access.telenet.be)
2022-08-08 08:41:37 +0000notzmv(~zmv@user/notzmv)
2022-08-08 08:42:57 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-08 08:43:50 +0000jgeerds(~jgeerds@55d46bad.access.ecotel.net)
2022-08-08 08:44:06 +0000ubert(~Thunderbi@178.115.60.12.wireless.dyn.drei.com)
2022-08-08 08:56:21 +0000Cerins(~Cerins@m90-128-49-116.cust.tele2.lv) (Quit: Leaving)
2022-08-08 08:56:43 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 08:57:10 +0000mvk(~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 244 seconds)
2022-08-08 08:57:12 +0000Cerins(~Cerins@m90-128-49-116.cust.tele2.lv)
2022-08-08 08:57:16 +0000CiaoSen(~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-08-08 09:02:18 +0000mmhat(~mmh@p200300f1c72ee996ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-08 09:06:01 +0000poscat(~poscat@2408:8206:4822:7201:ea07:2224:d420:ae5c)
2022-08-08 09:06:54 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 09:07:52 +0000benin0(~benin@183.82.206.130)
2022-08-08 09:10:19 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-08 09:11:47 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 272 seconds)
2022-08-08 09:12:34 +0000yvan-sraka(~yvan-srak@105.67.135.250) (Remote host closed the connection)
2022-08-08 09:14:48 +0000poscat(~poscat@2408:8206:4822:7201:ea07:2224:d420:ae5c) (Quit: Bye)
2022-08-08 09:14:55 +0000mmhat(~mmh@p200300f1c72ee918ee086bfffe095315.dip0.t-ipconnect.de)
2022-08-08 09:15:12 +0000poscat(~poscat@114.245.109.158)
2022-08-08 09:16:33 +0000poscat(~poscat@114.245.109.158) (Client Quit)
2022-08-08 09:16:53 +0000poscat(~poscat@114.245.109.158)
2022-08-08 09:23:18 +0000yvan-sraka(~yvan-srak@105.67.135.250)
2022-08-08 09:24:09 +0000coot_(~coot@213.134.176.158) (Quit: coot_)
2022-08-08 09:27:32 +0000coot_(~coot@213.134.176.158)
2022-08-08 09:28:47 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-08 09:30:00 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-08-08 09:36:01 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-08-08 09:37:06 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-08-08 09:37:18 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-08 09:38:07 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-08 09:38:18 +0000gmg(~user@user/gehmehgeh)
2022-08-08 09:41:19 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 09:42:45 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-08-08 09:45:43 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-08-08 09:48:45 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-08-08 09:53:48 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-08 09:55:36 +0000alp_(~alp@user/alp)
2022-08-08 09:57:11 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-08 09:59:11 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-08 09:59:33 +0000Midjak(~Midjak@82.66.147.146)
2022-08-08 10:00:16 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-08-08 10:01:26 +0000instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 240 seconds)
2022-08-08 10:07:39 +0000causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6)
2022-08-08 10:10:51 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 10:13:01 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 10:15:25 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-08-08 10:15:30 +0000CiaoSen(~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-08 10:17:32 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 245 seconds)
2022-08-08 10:18:27 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 10:19:18 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:b5d7:e3c8:81e3:aca2) (Ping timeout: 240 seconds)
2022-08-08 10:21:42 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds)
2022-08-08 10:31:55 +0000acidjnk(~acidjnk@p5dd87aad.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-08-08 10:33:37 +0000acidjnk(~acidjnk@p200300d6e70586513900a84d65605e14.dip0.t-ipconnect.de)
2022-08-08 10:35:16 +0000yvan-sraka(~yvan-srak@105.67.135.250) (Remote host closed the connection)
2022-08-08 10:37:02 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-08 10:37:46 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-08 10:39:44 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-08 10:42:11 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-08-08 10:42:30 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-08-08 10:45:27 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:da7f:59a:21af:ba9d)
2022-08-08 10:45:58 +0000zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-08-08 10:46:15 +0000zxx7529(~Thunderbi@user/zxx7529)
2022-08-08 10:52:32 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 245 seconds)
2022-08-08 10:52:45 +0000pmarg(~pmarg@138.199.6.238)
2022-08-08 10:52:48 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-08-08 11:02:28 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-08-08 11:07:03 +0000zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-08-08 11:07:16 +0000zxx7529(~Thunderbi@user/zxx7529)
2022-08-08 11:11:40 +0000jgeerds(~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds)
2022-08-08 11:13:34 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-08-08 11:14:38 +0000coot_(~coot@213.134.176.158) (Ping timeout: 240 seconds)
2022-08-08 11:16:44 +0000ph88(~ph88@2a02:8109:9e00:71d0::347a)
2022-08-08 11:20:48 +0000alp_(~alp@user/alp) (Ping timeout: 244 seconds)
2022-08-08 11:21:26 +0000acidjnk(~acidjnk@p200300d6e70586513900a84d65605e14.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-08 11:25:31 +0000xff0x(~xff0x@2405:6580:b080:900:84d3:74ed:839d:b6c0)
2022-08-08 11:29:53 +0000kuribas(~user@ptr-17d51en96bu9gl9zv58.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer)
2022-08-08 11:30:58 +0000kuribas(~user@ptr-17d51en96bu9gl9zv58.18120a2.ip6.access.telenet.be)
2022-08-08 11:31:07 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-08 11:34:05 +0000kuribas(~user@ptr-17d51en96bu9gl9zv58.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer)
2022-08-08 11:34:13 +0000acidjnk(~acidjnk@p200300d6e70586513900a84d65605e14.dip0.t-ipconnect.de)
2022-08-08 11:35:15 +0000kuribas(~user@ptr-17d51en96bu9gl9zv58.18120a2.ip6.access.telenet.be)
2022-08-08 11:36:04 +0000Cerins(~Cerins@m90-128-49-116.cust.tele2.lv) (Quit: Leaving)
2022-08-08 11:41:16 +0000kuribas(~user@ptr-17d51en96bu9gl9zv58.18120a2.ip6.access.telenet.be) (Ping timeout: 268 seconds)
2022-08-08 11:42:25 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-08 11:47:17 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
2022-08-08 11:48:18 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 11:50:19 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-08-08 11:51:04 +0000frost(~frost@user/frost) (Quit: Client closed)
2022-08-08 11:53:33 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-08 11:54:11 +0000 <cdepillabout[m]> I think about a year ago I heard of this explanation of Computer Science where it is generally thought to be split in two large fields, PLT and algorithms. Historically, universities in Europe have paid slightly more attention to the PLT side, and universities in the US have paid slightly more attention to the DS&A side. I think this was called something like "Type 1" computer science and "type 2" computer science, but I don't remember
2022-08-08 11:54:11 +0000 <cdepillabout[m]> what the names were for the two respective types.
2022-08-08 11:54:13 +0000 <cdepillabout[m]> Does anyone know what I'm thinking of here?
2022-08-08 11:54:29 +0000 <cdepillabout[m]> Or what the two sides of CS are referred to as?
2022-08-08 11:55:11 +0000ulvarrefr(~user@188.124.56.153)
2022-08-08 11:58:07 +0000jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-08-08 12:00:38 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-08-08 12:01:23 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 252 seconds)
2022-08-08 12:02:15 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 12:04:17 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-08 12:04:41 +0000ph88(~ph88@2a02:8109:9e00:71d0::347a) (Remote host closed the connection)
2022-08-08 12:04:59 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-08 12:05:59 +0000nilradical(~nilradica@user/naso)
2022-08-08 12:06:03 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-08 12:06:33 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-08 12:09:26 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:da7f:59a:21af:ba9d) (Ping timeout: 240 seconds)
2022-08-08 12:11:42 +0000mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 245 seconds)
2022-08-08 12:13:00 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2022-08-08 12:13:02 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 12:13:16 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-08 12:16:53 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
2022-08-08 12:17:16 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:4e0c:e99e:6174:90b2)
2022-08-08 12:17:26 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 240 seconds)
2022-08-08 12:17:32 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2022-08-08 12:17:52 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 12:18:21 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 12:19:33 +0000zer0bitz(~zer0bitz@2001:2003:f748:2000:f95b:2a74:4aa0:fd81)
2022-08-08 12:24:59 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2022-08-08 12:25:02 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-08 12:28:08 +0000ski(~ski@46.183.103.8)
2022-08-08 12:28:14 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 240 seconds)
2022-08-08 12:29:09 +0000AndrewHaxCPU
2022-08-08 12:29:13 +0000HaxCPUAndrew
2022-08-08 12:31:36 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-08-08 12:34:14 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 240 seconds)
2022-08-08 12:34:16 +0000AndrewHaxCUP
2022-08-08 12:34:20 +0000HaxCUPHaxCPU
2022-08-08 12:35:03 +0000HaxCPUANdrew
2022-08-08 12:35:05 +0000ANdrewAndrew
2022-08-08 12:35:55 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 12:38:31 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 12:41:48 +0000jakalx(~jakalx@base.jakalx.net)
2022-08-08 12:48:15 +0000 <gurkenglas> I just want to reassure myself - in *Haskell*'s FRP libraries, you can easily memoize a function (UserId -> IO User) that's deterministic but makes expensive read requests, right?
2022-08-08 12:49:03 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 252 seconds)
2022-08-08 12:49:40 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 12:49:47 +0000luffy(~chenqisu1@183.217.201.23)
2022-08-08 12:50:44 +0000off^(~off@206.85.120.17)
2022-08-08 12:50:56 +0000alp_(~alp@user/alp)
2022-08-08 12:52:20 +0000 <merijn> Depends on the library?
2022-08-08 12:52:40 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 12:52:46 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 12:53:36 +0000 <kritzefitz> gurkenglas: No mechanism that provides such memoization is known to me. But with the libraries I know, it should be possible to implement a combinator that provides memoization and would be easy to use.
2022-08-08 12:54:26 +0000luffy(~chenqisu1@183.217.201.23) (Client Quit)
2022-08-08 12:55:02 +0000 <kritzefitz> Also, are you talking about event/behavior based FRP or arrow based FRP? I only worked with event/behavior based FRP and I hear arrow based FRP is very different.
2022-08-08 12:55:42 +0000 <gurkenglas> Huh, I didn't know there's a different, arrow-based one!
2022-08-08 12:58:56 +0000mc47(~mc47@xmonad/TheMC47)
2022-08-08 12:59:10 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 12:59:26 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
2022-08-08 13:00:58 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 13:01:04 +0000 <gurkenglas> kritzefitz: would you do the implementation that works with any monad, and the user would provide (UserId -> Behavior User)?
2022-08-08 13:04:38 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 240 seconds)
2022-08-08 13:06:33 +0000 <kritzefitz> I'm not sure what you mean by “works with any monad”. At first glance, the problem you're trying to solve seems heavily tied to running or not running some IO, so I'm not sure how it would generalize to other monads.
2022-08-08 13:07:32 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-08-08 13:08:10 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-08 13:08:29 +0000 <gurkenglas> kritzefitz: Monad m => (String -> m a) -> String -> StateT (Map String a) m a
2022-08-08 13:09:30 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-08 13:09:32 +0000EsoAlgo(~EsoAlgo@129.146.136.145)
2022-08-08 13:10:50 +0000 <kritzefitz> gurkenglas: I'm not sure how what that signature would do. How would it interact with FRP?
2022-08-08 13:11:13 +0000 <gurkenglas> m would be set to Behavior
2022-08-08 13:12:18 +0000eod|fserucas(~eod|fseru@46.50.4.9) (Quit: Leaving)
2022-08-08 13:12:23 +0000yvan-sraka(~yvan-srak@105.67.135.250)
2022-08-08 13:12:38 +0000zxx7529(~Thunderbi@user/zxx7529) (Ping timeout: 240 seconds)
2022-08-08 13:12:40 +0000eod|fserucas(~eod|fseru@46.50.4.9)
2022-08-08 13:12:41 +0000eod|fserucas(~eod|fseru@46.50.4.9) (Client Quit)
2022-08-08 13:13:00 +0000off^(~off@206.85.120.17) (Ping timeout: 268 seconds)
2022-08-08 13:13:10 +0000fserucas(~fserucas@46.50.4.9)
2022-08-08 13:13:14 +0000 <merijn> Behaviour's aren't monads, though
2022-08-08 13:13:20 +0000 <merijn> I don't even think they can be?
2022-08-08 13:13:24 +0000 <gurkenglas> aren't? huh.
2022-08-08 13:13:38 +0000 <gurkenglas> i thought Behavior is theroretically Reader Time
2022-08-08 13:13:51 +0000 <kritzefitz> It varies by library. In reflex they are monads, in reactive-banana they are not.
2022-08-08 13:14:21 +0000 <kritzefitz> Thought the reactive-banana view seems to be, that they theoretically could be monads, but are not for performance reasons.
2022-08-08 13:14:31 +0000 <gurkenglas> \f k -> StateT $ \cache -> case lookup k cache of Just hit -> return (cache, hit); Nothing -> (\result -> (insert k result cache, result)) <$> f k
2022-08-08 13:16:04 +0000 <kritzefitz> But I'm not sure how a monad transformers would interact with a Behavior it's sitting on. But I doubt it can be used for memoization at runtime of the network.
2022-08-08 13:16:58 +0000 <gurkenglas> that particular implementation might suffer because all inserts after the one for k have to be redone if the behavior of f k ever changes, but it should just work. wanna bet, kritzefitz?
2022-08-08 13:20:16 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 13:20:40 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 13:21:48 +0000 <kritzefitz> I'm not sure how this relates to what you wan't to do, since "f" wouldn't actually be able to execute any IO.
2022-08-08 13:22:02 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-08 13:23:50 +0000 <gurkenglas> kritzefitz: Behavior would as far as i understand in practice include IO capabilities - perhaps I should say that Behavior is ReaderT IO Time? :)
2022-08-08 13:24:57 +0000 <gurkenglas> (Where liftIO :: IO a -> Behavior a would cache the result of its one invocation, rather than being rerun at every time.)
2022-08-08 13:26:39 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 13:26:49 +0000 <kritzefitz> gurkenglas: I don't know of any library where Behavior includes IO capabilities. Most libraries I know have some sort of “construction” monad that can construct events or behaviors from IO. I.e. they have something like "poll :: IO a -> MomentIO (Behavior a)", but not "IO a -> Behavior a".
2022-08-08 13:27:12 +0000 <gurkenglas> (...is that the right way to say it? perhaps i should say, it will only be *called* once, assuming that none of the ancestors update)
2022-08-08 13:28:28 +0000off^(~off@206.85.120.17)
2022-08-08 13:28:56 +0000 <kritzefitz> My first attempt at implementation in reactive-banana would be to make a wrapper around execute: `executeMemoized :: Event (a, a -> MomentIO b) -> MomentIO b` but no monads beside `MomentIO` would be involved.
2022-08-08 13:29:25 +0000 <kritzefitz> Ah, wait, that wouldn't work.
2022-08-08 13:29:40 +0000 <kritzefitz> because you wouldn't be able to tell if the function changed.
2022-08-08 13:30:13 +0000 <kritzefitz> It would have to be `executeMemoized :: Event a -> (a -> MomentIO b) -> MomentIO (Event b)`.
2022-08-08 13:33:02 +0000off^(~off@206.85.120.17) (Ping timeout: 240 seconds)
2022-08-08 13:38:25 +0000jgeerds(~jgeerds@55d46bad.access.ecotel.net)
2022-08-08 13:39:26 +0000acidjnk(~acidjnk@p200300d6e70586513900a84d65605e14.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-08 13:43:55 +0000nilradical(~nilradica@user/naso) ()
2022-08-08 13:47:41 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
2022-08-08 13:50:05 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
2022-08-08 13:50:59 +0000raym(~raym@user/raym) (Quit: kernel update, rebooting...)
2022-08-08 13:51:02 +0000jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
2022-08-08 13:51:42 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-08 13:52:34 +0000mmhat(~mmh@p200300f1c72ee918ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6)
2022-08-08 13:54:45 +0000raym(~raym@user/raym)
2022-08-08 13:55:16 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 13:57:01 +0000nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2022-08-08 14:03:25 +0000acidjnk(~acidjnk@p200300d6e7058651959b313eb5f3dc80.dip0.t-ipconnect.de)
2022-08-08 14:08:22 +0000 <maerwald> john carmack mentions Haskell (again): https://www.youtube.com/watch?v=I845O57ZSy4 (around minute 14)
2022-08-08 14:10:33 +0000nek0(~nek0@nek0.eu)
2022-08-08 14:11:27 +0000 <maerwald> some strong arguments against language features incoming
2022-08-08 14:13:01 +0000 <maerwald> but he's more hating on lisp, but some of that is applicable to Haskell as well
2022-08-08 14:19:02 +0000Kaipei(~Kaiepi@142.68.249.28)
2022-08-08 14:19:09 +0000Cerins(~Cerins@m90-128-49-116.cust.tele2.lv)
2022-08-08 14:23:18 +0000Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds)
2022-08-08 14:27:19 +0000zebrag(~chris@user/zebrag)
2022-08-08 14:29:10 +0000hippoid(~hippoid@c-98-220-13-8.hsd1.il.comcast.net)
2022-08-08 14:33:54 +0000Tuplanolla(~Tuplanoll@91-159-68-188.elisa-laajakaista.fi)
2022-08-08 14:36:40 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 14:37:10 +0000acidjnk(~acidjnk@p200300d6e7058651959b313eb5f3dc80.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-08 14:40:34 +0000shriekingnoise(~shrieking@186.137.167.202)
2022-08-08 14:40:42 +0000 <Inst> gaaah
2022-08-08 14:40:51 +0000 <Inst> 9.4.1 is out, but I can't use GHCup to install it
2022-08-08 14:40:53 +0000 <Inst> :-:
2022-08-08 14:41:17 +0000 <Inst> daily reminder that Haskell is the worst language in existence (if not for all the others) ;)
2022-08-08 14:41:44 +0000 <maerwald> Inst: ghcup devs don't get heads-up of upcoming GHC releases
2022-08-08 14:42:48 +0000 <geekosaur> I monitor #ghc and still didn't know until the release announcement
2022-08-08 14:42:57 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 14:44:01 +0000 <dolio> What could you possibly be doing that requires you to use it 1 hour after it's been announced?
2022-08-08 14:44:50 +0000 <absentia> dolio: web development
2022-08-08 14:45:20 +0000 <maerwald> and so far ghcup has raised 300$, which is not for enough for me to postpone getting drunk just because there's a new version of a compiler
2022-08-08 14:45:26 +0000 <dolio> Oh, I guess it's just the latest message that was 1 hour ago. Even 17 hours is extremely impatient, though.
2022-08-08 14:46:16 +0000 <geekosaur> you'll get there. xmonad is slowly growing
2022-08-08 14:46:18 +0000yvan-sraka(~yvan-srak@105.67.135.250) (Remote host closed the connection)
2022-08-08 14:46:32 +0000 <absentia> geekosaur: it's still actively developed?
2022-08-08 14:46:58 +0000 <geekosaur> yes
2022-08-08 14:47:13 +0000 <absentia> maybe i should switch back
2022-08-08 14:47:28 +0000 <geekosaur> well, we mostly leave the core alone but it's about as developed as it will bve without a complete redesign. contrib is still growing
2022-08-08 14:47:28 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-08 14:47:51 +0000 <geekosaur> 4 core developers
2022-08-08 14:47:58 +0000 <absentia> geekosaur: what needs doing
2022-08-08 14:48:14 +0000 <geekosaur> floating layer needs to be completely redesigned; it's a mess
2022-08-08 14:48:18 +0000 <absentia> lol
2022-08-08 14:48:23 +0000 <absentia> this is part of the reason i'm on fluxbox
2022-08-08 14:48:38 +0000 <absentia> (the other is gaming, though i do less and less of that now)
2022-08-08 14:53:01 +0000 <Inst> maerwald: that's dumb, GHCup is the official Haskell distro
2022-08-08 14:53:08 +0000 <Inst> or semi-official
2022-08-08 14:53:23 +0000 <geekosaur> official, these days
2022-08-08 14:53:53 +0000 <maerwald> Inst: I don't know what official means.
2022-08-08 14:54:26 +0000 <maerwald> Inst: ghcup does not have a backup maintainer, fyi. But the codebase should be sufficiently simple for someone to take over in case I die of liver toxicity.
2022-08-08 14:54:37 +0000 <maerwald> cheers
2022-08-08 14:54:50 +0000 <geekosaur> haskell.org/downloads tells you to use ghcup. that's official enough for me
2022-08-08 14:55:07 +0000 <geekosaur> s/downloads/download/
2022-08-08 14:55:22 +0000alp_(~alp@user/alp) (Ping timeout: 268 seconds)
2022-08-08 14:56:01 +0000 <Inst> maerwald: what?
2022-08-08 14:56:07 +0000 <Inst> my liver is actually failing :(
2022-08-08 14:56:26 +0000hounded(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2022-08-08 14:56:32 +0000hounded_woodstoc(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2022-08-08 14:58:05 +0000 <maerwald> Inst: oh... I was just referring to the bus factor
2022-08-08 15:02:38 +0000 <Inst> bus factor?
2022-08-08 15:02:48 +0000 <tomsmeding> Inst: https://en.wikipedia.org/wiki/Bus_factor
2022-08-08 15:03:31 +0000 <Inst> i guess a liver is a serious thing for me :/
2022-08-08 15:05:08 +0000 <yin> i bet buses are also serious for a lot of people
2022-08-08 15:05:39 +0000 <geekosaur> I'm not worried about my liver. Kidneys are another question. Still.
2022-08-08 15:05:43 +0000 <yin> cheers maerwald!
2022-08-08 15:07:21 +0000 <yin> i'm not sure which organ i'm most worried about. let me se...
2022-08-08 15:08:01 +0000zmt00(~zmt00@user/zmt00)
2022-08-08 15:08:05 +0000Kaipii(~Kaiepi@142.68.249.28)
2022-08-08 15:08:57 +0000 <maerwald> if you want ghc-9.4.1, send a PR https://github.com/haskell/ghcup-metadata
2022-08-08 15:09:10 +0000 <maerwald> but first you must fix the bindist for macOS, because it's broken
2022-08-08 15:09:25 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-08 15:09:31 +0000 <maerwald> patch is here https://discourse.haskell.org/t/ghc-9-4-1-is-now-available/4901/6
2022-08-08 15:09:33 +0000 <maerwald> good luck
2022-08-08 15:09:43 +0000 <yin> what are you drinking maerwald?
2022-08-08 15:09:48 +0000 <maerwald> water
2022-08-08 15:09:56 +0000 <yin> good choice
2022-08-08 15:09:57 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-08 15:11:17 +0000Cerins(~Cerins@m90-128-49-116.cust.tele2.lv) (Ping timeout: 245 seconds)
2022-08-08 15:11:24 +0000Kaipei(~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds)
2022-08-08 15:12:26 +0000off^(~off@206.85.120.17)
2022-08-08 15:15:16 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 15:16:00 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 15:19:21 +0000noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-08-08 15:19:26 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-08-08 15:19:43 +0000noteness(~noteness@user/noteness)
2022-08-08 15:19:57 +0000Cerins(~Cerins@m90-128-49-116.cust.tele2.lv)
2022-08-08 15:27:49 +0000acidjnk(~acidjnk@p200300d6e705865168dfbefacb50e5ef.dip0.t-ipconnect.de)
2022-08-08 15:28:59 +0000noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-08-08 15:29:15 +0000noteness(~noteness@user/noteness)
2022-08-08 15:34:12 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-08 15:39:46 +0000ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
2022-08-08 15:40:38 +0000off^(~off@206.85.120.17) (Ping timeout: 240 seconds)
2022-08-08 15:49:16 +0000 <albet70> lisp is a really good language, I learned it a few years, very interesting
2022-08-08 15:50:23 +0000 <albet70> but they lack of lots libraries like network, GUI, mutlpile threading etc...
2022-08-08 15:50:36 +0000 <albet70> so they have SRFI IIRC
2022-08-08 15:52:57 +0000 <albet70> every scheme implement has its own libraries and their are not common to other implements, but common lisp does have lots of common libraries
2022-08-08 15:54:36 +0000 <albet70> nowaday the famous scheme should be racket and guile
2022-08-08 15:54:39 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-08-08 15:57:44 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-08 16:00:06 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:4e0c:e99e:6174:90b2) (Quit: WeeChat 2.8)
2022-08-08 16:00:44 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
2022-08-08 16:01:10 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 16:03:56 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 16:04:28 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-08-08 16:05:27 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-08 16:05:58 +0000jgeerds(~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 240 seconds)
2022-08-08 16:08:35 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-08 16:09:02 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 16:09:12 +0000MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 245 seconds)
2022-08-08 16:15:20 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 255 seconds)
2022-08-08 16:18:51 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-08-08 16:19:26 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-08 16:19:44 +0000etoast(~exaltedto@user/exaltedtoast) (Quit: Tschüss)
2022-08-08 16:19:55 +0000etoast(~exaltedto@user/exaltedtoast)
2022-08-08 16:20:06 +0000benin0(~benin@183.82.206.130) (Quit: The Lounge - https://thelounge.chat)
2022-08-08 16:23:54 +0000kazaf(~kazaf@94.180.63.53)
2022-08-08 16:25:02 +0000machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 245 seconds)
2022-08-08 16:27:07 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-08 16:28:12 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-08-08 16:30:37 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-08-08 16:31:43 +0000wootehfoot(~wootehfoo@user/wootehfoot)
2022-08-08 16:32:33 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-08-08 16:35:20 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-08-08 16:35:42 +0000kazaf(~kazaf@94.180.63.53) (Ping timeout: 252 seconds)
2022-08-08 16:36:38 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 16:38:03 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-08-08 16:41:14 +0000darchitect(~darchitec@2a00:23c6:3584:df01:2d0:4120:37b2:95)
2022-08-08 16:41:54 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-08-08 16:42:16 +0000yvan-sraka(~yvan-srak@105.67.135.250)
2022-08-08 16:43:00 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 16:44:18 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds)
2022-08-08 16:45:05 +0000econo(uid147250@user/econo)
2022-08-08 16:45:48 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 244 seconds)
2022-08-08 16:47:45 +0000mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-08-08 16:49:35 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 16:51:08 +0000kimjetwav(~user@2607:fea8:235e:b600:d340:c209:7bbf:3812) (Remote host closed the connection)
2022-08-08 16:51:27 +0000kimjetwav(~user@2607:fea8:235e:b600:ab64:e2d4:6cca:aacc)
2022-08-08 16:55:58 +0000kimjetwav(~user@2607:fea8:235e:b600:ab64:e2d4:6cca:aacc) (Remote host closed the connection)
2022-08-08 17:00:23 +0000fserucas(~fserucas@46.50.4.9) (Quit: Leaving)
2022-08-08 17:04:12 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2022-08-08 17:08:41 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-08 17:11:18 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-08 17:11:41 +0000Kaiepi(~Kaiepi@142.68.249.28)
2022-08-08 17:14:09 +0000Kaipii(~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds)
2022-08-08 17:16:46 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.6)
2022-08-08 17:18:06 +0000Kaipei(~Kaiepi@142.68.249.28)
2022-08-08 17:19:47 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-08-08 17:21:03 +0000Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds)
2022-08-08 17:24:48 +0000cheater(~Username@user/cheater)
2022-08-08 17:34:08 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-08 17:37:13 +0000yvan-sraka(~yvan-srak@105.67.135.250) (Remote host closed the connection)
2022-08-08 17:42:07 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-08 17:44:40 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-08-08 17:44:41 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-08-08 17:44:41 +0000noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-08-08 17:44:41 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-08 17:44:41 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-08-08 17:44:41 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-08 17:44:58 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-08 17:44:58 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 17:45:06 +0000noteness(~noteness@user/noteness)
2022-08-08 17:45:10 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-08 17:45:12 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-08 17:45:20 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-08 17:54:59 +0000yvan-sraka(~yvan-srak@105.67.135.250)
2022-08-08 18:00:00 +0000zanyan(~zanyan@2a02:6b64:f194:0:91a7:f4bd:11f:2d0e)
2022-08-08 18:01:45 +0000remedan(~remedan@octo.cafe) (Quit: Bye!)
2022-08-08 18:04:20 +0000vysn(~vysn@user/vysn) (Ping timeout: 244 seconds)
2022-08-08 18:08:59 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2022-08-08 18:10:20 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-08 18:13:24 +0000yvan-sraka(~yvan-srak@105.67.135.250) (Remote host closed the connection)
2022-08-08 18:15:10 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-08-08 18:18:47 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 245 seconds)
2022-08-08 18:21:15 +0000ski(~ski@46.183.103.8) (Ping timeout: 252 seconds)
2022-08-08 18:23:03 +0000 <Inst> @albert70
2022-08-08 18:23:03 +0000 <lambdabot> Unknown command, try @list
2022-08-08 18:23:05 +0000 <Inst> albet70
2022-08-08 18:23:16 +0000 <Inst> technically it's clojure that's the lisp to care about
2022-08-08 18:23:24 +0000 <Inst> oh wait, you said scheme
2022-08-08 18:24:42 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-08 18:26:17 +0000cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-08-08 18:32:04 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-08 18:35:50 +0000cheater(~Username@user/cheater)
2022-08-08 18:38:46 +0000phma(~phma@2001:5b0:211b:a788:3fd5:4efc:37e0:5605) (Read error: Connection reset by peer)
2022-08-08 18:41:38 +0000Cerins1(~Cerins@m90-128-49-116.cust.tele2.lv)
2022-08-08 18:42:34 +0000Cerins(~Cerins@m90-128-49-116.cust.tele2.lv) (Ping timeout: 244 seconds)
2022-08-08 18:44:19 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 18:44:25 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 18:46:59 +0000cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-08-08 18:47:24 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 18:52:01 +0000kenran(~kenran@200116b82be4d7006ad07ac81bd27ff7.dip.versatel-1u1.de)
2022-08-08 18:52:32 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2022-08-08 18:52:34 +0000hounded_1969(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2022-08-08 18:57:42 +0000Cerins1(~Cerins@m90-128-49-116.cust.tele2.lv) (Read error: Connection reset by peer)
2022-08-08 19:03:53 +0000remedan(~remedan@octo.cafe)
2022-08-08 19:05:15 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-08 19:06:04 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2022-08-08 19:07:57 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 245 seconds)
2022-08-08 19:08:34 +0000cheater(~Username@user/cheater)
2022-08-08 19:10:02 +0000mima(mmh@gateway/vpn/airvpn/mima) (Ping timeout: 245 seconds)
2022-08-08 19:12:43 +0000machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-08-08 19:13:40 +0000nate4(~nate@98.45.169.16)
2022-08-08 19:15:07 +0000hounded_1969(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving)
2022-08-08 19:15:47 +0000hounded_1969(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2022-08-08 19:15:50 +0000kenran(~kenran@200116b82be4d7006ad07ac81bd27ff7.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-08-08 19:16:07 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-08 19:16:58 +0000_koolazerkoolazer
2022-08-08 19:17:15 +0000hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!)
2022-08-08 19:17:20 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-08 19:17:20 +0000phma(phma@2001:5b0:212a:9228:43b4:3753:d2af:c117)
2022-08-08 19:17:57 +0000nate4(~nate@98.45.169.16) (Ping timeout: 245 seconds)
2022-08-08 19:18:00 +0000hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-08-08 19:18:50 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2022-08-08 19:19:32 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 19:20:18 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 19:30:10 +0000tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2022-08-08 19:30:46 +0000tomboy64(~tomboy64@user/tomboy64)
2022-08-08 19:39:37 +0000mastarija(~mastarija@2a05:4f46:e03:6000:85f8:4aee:8193:1dbb)
2022-08-08 19:43:04 +0000coot(~coot@213.134.176.158)
2022-08-08 19:43:22 +0000jgeerds(~jgeerds@55d46bad.access.ecotel.net)
2022-08-08 19:46:14 +0000 <mastarija> Any idea on how to throw an error for a whole sub api when using the servant generics? I have something like this `AuthResult User -> SubAPI ( AsServerT AppM )`
2022-08-08 19:47:14 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-08-08 19:47:28 +0000 <mastarija> Instead of checking `AuthResult User` on every `SubAPI` field, I'd like to check it only once and either throw an error or return `SubAPI ( AsServerT AppM )`.
2022-08-08 19:49:12 +0000coot(~coot@213.134.176.158) (Quit: coot)
2022-08-08 19:49:40 +0000coot(~coot@213.134.176.158)
2022-08-08 19:51:30 +0000examors(~examors@user/examors) (Ping timeout: 240 seconds)
2022-08-08 19:51:48 +0000examors(~examors@user/examors)
2022-08-08 19:52:29 +0000cheater1__(~Username@user/cheater)
2022-08-08 19:52:32 +0000cheater(~Username@user/cheater) (Ping timeout: 245 seconds)
2022-08-08 19:52:33 +0000cheater1__cheater
2022-08-08 19:56:03 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 19:56:14 +0000cosimone(~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection)
2022-08-08 19:56:35 +0000EvanR(~EvanR@user/evanr)
2022-08-08 19:58:08 +0000qwedfg(~qwedfg@user/qwedfg) (Remote host closed the connection)
2022-08-08 19:58:14 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-08 19:59:29 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 20:03:47 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-08 20:05:51 +0000mastarija(~mastarija@2a05:4f46:e03:6000:85f8:4aee:8193:1dbb) (Quit: Leaving)
2022-08-08 20:08:01 +0000qwedfg(~qwedfg@user/qwedfg)
2022-08-08 20:10:46 +0000cosimone(~user@93-44-186-171.ip98.fastwebnet.it)
2022-08-08 20:11:41 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 20:13:27 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-08-08 20:16:04 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-08 20:17:18 +0000ec_(~ec@gateway/tor-sasl/ec)
2022-08-08 20:17:19 +0000zanyan(~zanyan@2a02:6b64:f194:0:91a7:f4bd:11f:2d0e) (Quit: Client closed)
2022-08-08 20:18:01 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-08 20:20:21 +0000titibandit(~titibandi@xdsl-212-8-147-38.nc.de)
2022-08-08 20:21:19 +0000 <darchitect> hey guys, coming from a machine learning guy that's not used to more abtracts maths, my mind has been blowing by a couple of things about Haskell and the ideas that come with it - namely Propositions as Types
2022-08-08 20:21:36 +0000ec_ec
2022-08-08 20:21:40 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-08 20:22:19 +0000 <darchitect> from what I've seen online (a particular video by Odenkirch (Computerphile)) - it seems that we can KNOW whether a program is computable or not just by the type ... am I getting something wrong here?
2022-08-08 20:22:47 +0000 <EvanR> oh yes, ol per martin lof intuitionistic type theory
2022-08-08 20:23:01 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 20:23:21 +0000 <darchitect> EvanR: is that what I should google or what I should know already ? :D
2022-08-08 20:23:38 +0000 <EvanR> if your type system is constructed in a such a way, then all programs (because they have a type), "are computable" (don't get stuck)
2022-08-08 20:24:18 +0000 <EvanR> which invariably leaves a lot of previously cromulent programs on the cutting room floor because your type system can't handle them, or your brain can't handle it
2022-08-08 20:24:25 +0000 <merijn> darchitect: Depends what you wanna learn and why?
2022-08-08 20:25:15 +0000 <darchitect> I just want to learn it as a fascinating topic in programming. Too sick and tired of python and stats related maths and decided to broaden the knowledge abit
2022-08-08 20:25:34 +0000 <EvanR> welcome </spookybutler>
2022-08-08 20:26:22 +0000 <darchitect> I am learning to write smart contracts with Cardano (as a main reason to learning Haskell), but to be honest the more I learn about Haskell the less I want to apply to real things and the more I want to just learn Category Theory, Type Theory etc.. :D
2022-08-08 20:26:28 +0000 <merijn> darchitect: So, if you're into the math but sick of stats-y math, lemme introduce you to
2022-08-08 20:26:36 +0000 <merijn> @where sf
2022-08-08 20:26:36 +0000 <lambdabot> "Software Foundations" by Pierce,Casinghino,Greenberg,Sjöberg,Yorgey in 2011-06 at <http://www.cis.upenn.edu/~bcpierce/sf/> about "the mathematical theory of programming and programming languages",
2022-08-08 20:26:36 +0000 <lambdabot> "It develops basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems, using the Coq proof assistant."
2022-08-08 20:28:41 +0000 <tomsmeding> yes the sf book is cool
2022-08-08 20:28:57 +0000 <tomsmeding> I did only a small portion of it, but it was fun
2022-08-08 20:29:01 +0000 <EvanR> darchitect, fun basic fact to chew... in the simply typed lambda calculus, all programs terminate
2022-08-08 20:29:02 +0000 <merijn> tomsmeding: Did you ever go to OPLSS?
2022-08-08 20:29:09 +0000 <tomsmeding> merijn: no
2022-08-08 20:29:21 +0000 <merijn> I highly recommend it :)
2022-08-08 20:29:41 +0000 <merijn> Well, if you don't mind being absolutely *destroyed* after a summer school :p
2022-08-08 20:30:06 +0000 <EvanR> before you think about it and conclude simply typed lambda calculus is useless, you could use it in the real world for domain specific problems (domain specific language). Possibly with modifications
2022-08-08 20:30:09 +0000 <darchitect> I've gone through the Haskellbook
2022-08-08 20:30:26 +0000 <darchitect> and I've got the main gist of most topics
2022-08-08 20:30:39 +0000 <tomsmeding> merijn: would be next year though
2022-08-08 20:31:01 +0000 <darchitect> but I've also found a good course by Bartosz Milewski on Category Theory
2022-08-08 20:31:04 +0000 <tomsmeding> first year of my phd it was either online or cancelled, this time I was very busy writing a paper
2022-08-08 20:31:27 +0000 <darchitect> do you reckon I should start with that ?.. and if yes - what would be a good book companion to solve problems for practice ?
2022-08-08 20:32:07 +0000 <EvanR> the bartosz category theory thing does intro category theory, but I'm not sure if the "for programmers / programming" is accurate xD
2022-08-08 20:32:07 +0000pmarg(~pmarg@138.199.6.238) (Ping timeout: 245 seconds)
2022-08-08 20:32:41 +0000 <darchitect> as in he goes in the mathy nitty gritty or you don't agree with him skipping the mathy bits ?
2022-08-08 20:32:46 +0000 <merijn> tomsmeding: yeah, everything being online kinda sucked
2022-08-08 20:32:49 +0000 <EvanR> I like leinster basic category theory for that
2022-08-08 20:32:57 +0000 <merijn> Why do you think I slacked off on finishing my thesis for 2 years? ;)
2022-08-08 20:33:11 +0000 <EvanR> which is apparently free online https://arxiv.org/abs/1612.09375
2022-08-08 20:33:16 +0000 <merijn> Under no circumstances was I gonna have a Zoom defense :p
2022-08-08 20:33:24 +0000 <darchitect> nicee
2022-08-08 20:33:28 +0000 <darchitect> thanks a bunch !
2022-08-08 20:33:34 +0000 <darchitect> are you guys currently students ?
2022-08-08 20:33:50 +0000 <darchitect> or grumpy old functional devs
2022-08-08 20:33:52 +0000 <darchitect> :d
2022-08-08 20:33:59 +0000 <tomsmeding> merijn: lol
2022-08-08 20:34:01 +0000 <EvanR> *what ARE you*
2022-08-08 20:34:06 +0000 <tomsmeding> darchitect: I'm a phd student
2022-08-08 20:34:18 +0000 <tomsmeding> age range is very wide here :p
2022-08-08 20:34:28 +0000 <merijn> tomsmeding: tbh, not even really joking
2022-08-08 20:34:33 +0000 <darchitect> sorry bad English
2022-08-08 20:34:49 +0000tomsmedingdidn't detect any bad english
2022-08-08 20:34:52 +0000 <darchitect> I meant it more like "good ol grumpy devs" as opposed "aged out of their skin old devs"
2022-08-08 20:34:54 +0000 <darchitect> :D
2022-08-08 20:35:02 +0000 <tomsmeding> :)
2022-08-08 20:35:04 +0000 <darchitect> opposed to *
2022-08-08 20:35:09 +0000 <merijn> During 2021 I did very little on it, because the thought of 40 minutes on zoom as end to this...ordeal...seemed depressing
2022-08-08 20:35:11 +0000geekosaurflips between them
2022-08-08 20:35:14 +0000 <tomsmeding> darchitect: I'm curious, are you french?
2022-08-08 20:35:15 +0000 <EvanR> I don't know about you but I'm just getting started
2022-08-08 20:35:19 +0000 <darchitect> nah Bulgarian
2022-08-08 20:35:22 +0000werneta(~werneta@137.78.30.207)
2022-08-08 20:35:24 +0000 <darchitect> but I've lived in london for 7 years now
2022-08-08 20:35:29 +0000ski(~ski@102-198-142-46.pool.kielnet.net)
2022-08-08 20:35:37 +0000 <tomsmeding> does bulgarian also do the space-before-!-and-? thing then?
2022-08-08 20:35:52 +0000 <darchitect> ooh good question never noticed
2022-08-08 20:35:57 +0000 <darchitect> with 120 wpm I hardly notice
2022-08-08 20:36:15 +0000 <darchitect> used to bet on typeracers back when I did my Bachelors
2022-08-08 20:36:17 +0000 <darchitect> :D
2022-08-08 20:36:22 +0000 <tomsmeding> darchitect: correct French spelling has a space before ! and ?, which often leaks into their English writing as well :p
2022-08-08 20:36:36 +0000 <tomsmeding> hence my guess, but of course the correlation is not 100%
2022-08-08 20:37:05 +0000titibandit(~titibandi@xdsl-212-8-147-38.nc.de) (Remote host closed the connection)
2022-08-08 20:37:17 +0000cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-08-08 20:37:20 +0000cheater1__(~Username@user/cheater)
2022-08-08 20:37:24 +0000cheater1__cheater
2022-08-08 20:37:26 +0000 <tomsmeding> merijn: I did my master's defence online and I didn't really care, because the whole thesis had been online anyway; now that I'm slowly starting to get in-person events again, I'm starting to appreciate the added value :p
2022-08-08 20:37:57 +0000 <merijn> tomsmeding: Sure, but your master's project (presumably) wasn't a near decade long thing :p
2022-08-08 20:38:04 +0000 <tomsmeding> :') no
2022-08-08 20:39:43 +0000 <darchitect> was your masters on Category Theory ?
2022-08-08 20:39:59 +0000 <tomsmeding> darchitect: no this https://studenttheses.uu.nl/bitstream/handle/20.500.12932/38958/report.pdf?sequence=1&isAllowed=y
2022-08-08 20:40:39 +0000 <tomsmeding> there are some actual CT people here as well, but I'm not one of them :p
2022-08-08 20:41:44 +0000 <darchitect> nice nice sounds interesting
2022-08-08 20:42:09 +0000 <merijn> 12 more hboxes to go and I'll be done \o/
2022-08-08 20:42:14 +0000 <tomsmeding> 🎉
2022-08-08 20:42:22 +0000 <tomsmeding> darchitect: merijn is finishing up his phd thesis
2022-08-08 20:42:32 +0000 <merijn> Well "done", I still need to design a damn cover xD
2022-08-08 20:43:12 +0000 <tomsmeding> you did the centering but not the cover design? /me confused
2022-08-08 20:43:17 +0000 <darchitect> .. I'd love to go back to academia in the coming 2 3 years
2022-08-08 20:43:21 +0000 <tomsmeding> how can you center something that you haven't designed yet
2022-08-08 20:43:26 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 20:43:34 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 20:43:36 +0000 <merijn> tomsmeding: centering the *titlepage*
2022-08-08 20:43:41 +0000 <tomsmeding> oh the second cover
2022-08-08 20:43:49 +0000 <darchitect> industry pays amazing, but the only times you do something more abstract / interesting is in the weekends or after work :(
2022-08-08 20:43:59 +0000 <tomsmeding> I never know why books have a cover page with title and author, and then another page with title and author, and then the book starts
2022-08-08 20:44:18 +0000 <merijn> The one with the whole "academisch proefschrift ter verkrijging tot de graad van doctor" kinda deal :p
2022-08-08 20:44:26 +0000 <merijn> tomsmeding: I do!
2022-08-08 20:44:31 +0000 <tomsmeding> darchitect: guess why I postponed work life and started a phd instead
2022-08-08 20:44:58 +0000 <darkling> darchitect: My advice is to keep it that way. Above a certain level, academia's all about finding the money, not doing the interesting things.
2022-08-08 20:45:01 +0000 <tomsmeding> ah I guess for a phd thesis it makes sense to have that title page with specific format and phd-particular metadata
2022-08-08 20:45:02 +0000 <ski> tomsmeding : i do that thing
2022-08-08 20:45:07 +0000 <merijn> tomsmeding: Because you get the mandatory title page, which should be follow by the committee page (which has nothing else) and these two pages are exactly specified by the Bureau Pedel
2022-08-08 20:45:24 +0000 <geekosaur> the ones I see in the US have cover, then cover page, then (usually on the back of the cover page) LOC information which duplicates the cover page with more LOC information
2022-08-08 20:45:32 +0000 <merijn> tomsmeding: But you also want a colofon (i.e. copyright, ISBN, etc.), which can't go on the committee page
2022-08-08 20:45:49 +0000 <merijn> tomsmeding: And you can't print on the outside cover (well, not without paying more :p)
2022-08-08 20:46:12 +0000 <merijn> So you need to insert an extra titlepage so you can print the colofon on that
2022-08-08 20:46:16 +0000 <darchitect> darkling: yeah I know, most of my mates doing a phd say that it's not worth 3/4 years of your life for one topic, since chances are you're going to get bored of it at some point
2022-08-08 20:46:21 +0000 <tomsmeding> yeah for phd theses I understand why the separation exists, there's a bunch of info that needs to be there in a particular format
2022-08-08 20:46:30 +0000 <darchitect> but I don't know really... we'll see I guess
2022-08-08 20:46:52 +0000 <tomsmeding> darchitect: getting bored during a phd is... a challenge
2022-08-08 20:46:56 +0000 <darkling> darchitect: The PhD can be interesting, but after that... you're either doing someone else's thinking, or paying for other people to your thinking for you. :)
2022-08-08 20:47:20 +0000 <tomsmeding> like, a phd is never too easy -- if that threatens to become the case, the work just gets more difficult
2022-08-08 20:47:32 +0000 <darkling> Knowing more and more about less and less... it balances out. :)
2022-08-08 20:47:39 +0000Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-08-08 20:47:58 +0000 <tomsmeding> but you got to be interested in pounding on problems for a long time :p
2022-08-08 20:48:40 +0000 <merijn> Not valuing mental health too high is also recommended xD
2022-08-08 20:49:05 +0000 <ente`> that seems to be recommended in general
2022-08-08 20:49:05 +0000 <tomsmeding> or finding supervisors that care about mental health
2022-08-08 20:49:09 +0000 <tomsmeding> which, granted, is a challenge
2022-08-08 20:49:23 +0000 <darchitect> :d
2022-08-08 20:49:28 +0000 <tomsmeding> but I managed :)
2022-08-08 20:49:30 +0000geekosaurnever saw the point. in fact, less and less while he was nursemaid for grad students :þ
2022-08-08 20:49:53 +0000 <merijn> geekosaur: Something, something, sunk cost fallacy
2022-08-08 20:52:46 +0000eggplant_(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-08 20:52:47 +0000 <merijn> I was always bad at economics xD
2022-08-08 20:53:13 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 20:53:15 +0000chimp_(~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
2022-08-08 20:53:20 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2022-08-08 20:53:20 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-08-08 20:53:21 +0000AlexNoo_(~AlexNoo@178.34.151.166)
2022-08-08 20:53:24 +0000allbery_bgeekosaur
2022-08-08 20:53:25 +0000qhong_(~qhong@rescomp-21-400677.stanford.edu)
2022-08-08 20:53:41 +0000MironZ1(~MironZ@nat-infra.ehlab.uk)
2022-08-08 20:53:42 +0000phma_(~phma@host-67-44-208-1.hnremote.net)
2022-08-08 20:54:11 +0000chomwitt(~chomwitt@2a02:587:dc12:7400:7267:ab5e:fc89:abf0)
2022-08-08 20:54:14 +0000hmw[at]1(~hmw@84-113-100-7.cable.dynamic.surfer.at)
2022-08-08 20:54:34 +0000tcard__(~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp)
2022-08-08 20:54:35 +0000Flonk6(~Flonk@vps-zap441517-1.zap-srv.com)
2022-08-08 20:54:37 +0000 <darchitect> join #machinelearning
2022-08-08 20:55:07 +0000davl_(~davl@207.154.228.18)
2022-08-08 20:55:18 +0000FragByte_(~christian@user/fragbyte)
2022-08-08 20:55:18 +0000pgib(~textual@173.38.117.79)
2022-08-08 20:55:27 +0000Ram-Z_(~Ram-Z@li1814-254.members.linode.com)
2022-08-08 20:55:28 +0000hgolden_(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-08-08 20:55:32 +0000haritzondo(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2022-08-08 20:55:34 +0000Rembane_(~Rembane@li346-36.members.linode.com)
2022-08-08 20:55:38 +0000stilgart_(~Christoph@chezlefab.net)
2022-08-08 20:55:43 +0000Lears(~Leary]@122-58-224-198-vdsl.sparkbb.co.nz)
2022-08-08 20:55:44 +0000nek04(~nek0@2a01:4f8:222:2b41::12)
2022-08-08 20:55:48 +0000dobblego(~dibblego@122-199-1-30.ip4.superloop.com)
2022-08-08 20:55:52 +0000dobblego(~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
2022-08-08 20:55:52 +0000dobblego(~dibblego@haskell/developer/dibblego)
2022-08-08 20:55:58 +0000byorgey_(~byorgey@155.138.238.211)
2022-08-08 20:56:00 +0000srk-(~sorki@user/srk)
2022-08-08 20:56:00 +0000darkstarx(~darkstard@50.53.212.60)
2022-08-08 20:56:01 +0000cosimone`(~user@93-44-186-171.ip98.fastwebnet.it)
2022-08-08 20:56:08 +0000bollu7(~bollu@159.65.151.13)
2022-08-08 20:56:11 +0000gawen_(~gawen@user/gawen)
2022-08-08 20:56:13 +0000Deide1(~deide@user/deide)
2022-08-08 20:56:17 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-08-08 20:56:18 +0000byorgey(~byorgey@155.138.238.211) (Killed (NickServ (GHOST command used by byorgey_)))
2022-08-08 20:56:19 +0000fjmorazan_(~quassel@user/fjmorazan)
2022-08-08 20:56:20 +0000zero(~z@user/zero)
2022-08-08 20:56:20 +0000byorgey_byorgey
2022-08-08 20:56:21 +0000kraftwerk28_(~kraftwerk@178.62.210.83)
2022-08-08 20:56:22 +0000Yumemi_(~Yumemi@chamoin.net)
2022-08-08 20:56:28 +0000Katarushisu0(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2022-08-08 20:56:30 +0000nek0(~nek0@nek0.eu) (Killed (NickServ (GHOST command used by nek04!~nek0@2a01:4f8:222:2b41::12)))
2022-08-08 20:56:35 +0000nek04nek0
2022-08-08 20:56:41 +0000 <geekosaur> huh. wasn't the usual local router glitch this time?
2022-08-08 20:56:44 +0000gurkengl1s(~gurkengla@84.138.199.46)
2022-08-08 20:56:51 +0000ian_(~ian@matrix.chaos.earth.li)
2022-08-08 20:56:52 +0000micro_(~micro@user/micro)
2022-08-08 20:56:53 +0000rush(~sloorush@52.187.184.81)
2022-08-08 20:56:55 +0000euandreh_(~euandreh@179.214.113.107)
2022-08-08 20:57:00 +0000wrengr(~wrengr@201.59.83.34.bc.googleusercontent.com) (Killed (NickServ (GHOST command used by wrengr_)))
2022-08-08 20:57:02 +0000absentia_(~absentia@24-246-53-210.cable.teksavvy.com)
2022-08-08 20:57:09 +0000wrengr(~wrengr@201.59.83.34.bc.googleusercontent.com)
2022-08-08 20:57:11 +0000dashkal1(~dashkal@user/dashkal)
2022-08-08 20:57:14 +0000barrucad1(~barrucadu@carcosa.barrucadu.co.uk)
2022-08-08 20:57:18 +0000kitty4(~kitty@096-039-147-043.res.spectrum.com)
2022-08-08 20:57:19 +0000acro_(~acro@user/acro)
2022-08-08 20:57:22 +0000machined1od(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-08-08 20:57:24 +0000xff0x_(~xff0x@2405:6580:b080:900:84d3:74ed:839d:b6c0)
2022-08-08 20:57:26 +0000gdd1(~gdd@2001:470:1f13:187:2167:5afb:418e:21fa)
2022-08-08 20:57:27 +0000jao-(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-08 20:57:28 +0000cods_(~fred@82-65-232-44.subs.proxad.net)
2022-08-08 20:57:29 +0000LambdaDu1k(~anka@ksit.fixme.fi)
2022-08-08 20:57:30 +0000ente`_(~daemon@inferno.barfooze.de)
2022-08-08 20:57:31 +0000WzC(~Frank@77-162-168-71.fixed.kpn.net)
2022-08-08 20:57:32 +0000sunarch_(sid526836@user/sunarch)
2022-08-08 20:57:37 +0000sclv_(sid39734@haskell/developer/sclv)
2022-08-08 20:57:37 +0000__________(~nobody@user/noodly)
2022-08-08 20:57:40 +0000ystael_(~ystael@user/ystael)
2022-08-08 20:57:50 +0000kawen_(~quassel@static.208.191.216.95.clients.your-server.de)
2022-08-08 20:57:52 +0000barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Killed (NickServ (GHOST command used by barrucad1)))
2022-08-08 20:57:53 +0000glider_(~glider@user/glider)
2022-08-08 20:57:57 +0000__xor(~xor@74.215.182.83)
2022-08-08 20:57:57 +0000bairyn(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2022-08-08 20:57:57 +0000barrucad1barrucadu
2022-08-08 20:57:58 +0000zer0bitz(~zer0bitz@2001:2003:f748:2000:f95b:2a74:4aa0:fd81) (Ping timeout: 240 seconds)
2022-08-08 20:58:01 +0000heartbur1(~gass@2a00:d880:3:1::b1e4:b241)
2022-08-08 20:58:02 +0000examors_(~examors@user/examors)
2022-08-08 20:58:10 +0000monochrm(trebla@216.138.220.146)
2022-08-08 20:58:28 +0000tinwood_(~tinwood@general.default.akavanagh.uk0.bigv.io)
2022-08-08 20:58:44 +0000Jonno_FT1(~come@api.carswap.me)
2022-08-08 20:58:56 +0000mcglk_(~mcglk@131.191.49.120)
2022-08-08 20:59:10 +0000ncf_(~n@monade.li)
2022-08-08 20:59:18 +0000tired(~tired@user/tired)
2022-08-08 20:59:42 +0000alinab_(sid468903@id-468903.helmsley.irccloud.com)
2022-08-08 20:59:44 +0000drlkf_(~drlkf@drlkf.net)
2022-08-08 20:59:56 +0000tnks_(sid412124@id-412124.helmsley.irccloud.com)
2022-08-08 21:00:16 +0000codolio(~dolio@130.44.130.54)
2022-08-08 21:00:28 +0000NiKaN_(sid385034@id-385034.helmsley.irccloud.com)
2022-08-08 21:00:29 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-08-08 21:00:39 +0000lagash_(lagash@lagash.shelltalk.net)
2022-08-08 21:01:39 +0000statusfa1led(~statusfai@statusfailed.com)
2022-08-08 21:01:46 +0000swistak-(~swistak@185.21.216.141)
2022-08-08 21:01:46 +0000dka_(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-08-08 21:02:07 +0000andjjj23(~irc@107.170.228.47)
2022-08-08 21:02:16 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split)
2022-08-08 21:02:16 +0000cosimone(~user@93-44-186-171.ip98.fastwebnet.it) (*.net *.split)
2022-08-08 21:02:16 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2022-08-08 21:02:16 +0000hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (*.net *.split)
2022-08-08 21:02:16 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (*.net *.split)
2022-08-08 21:02:16 +0000machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (*.net *.split)
2022-08-08 21:02:16 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (*.net *.split)
2022-08-08 21:02:16 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2022-08-08 21:02:16 +0000zaquest(~notzaques@5.130.79.72) (*.net *.split)
2022-08-08 21:02:16 +0000Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (*.net *.split)
2022-08-08 21:02:16 +0000dolio(~dolio@130.44.130.54) (*.net *.split)
2022-08-08 21:02:16 +0000_________(~nobody@user/noodly) (*.net *.split)
2022-08-08 21:02:16 +0000euandreh(~euandreh@179.214.113.107) (*.net *.split)
2022-08-08 21:02:16 +0000absentia(~absentia@user/absentia) (*.net *.split)
2022-08-08 21:02:16 +0000FragByte(~christian@user/fragbyte) (*.net *.split)
2022-08-08 21:02:16 +0000pragma-(~chaos@user/pragmatic-chaos) (*.net *.split)
2022-08-08 21:02:16 +0000cods(~fred@82-65-232-44.subs.proxad.net) (*.net *.split)
2022-08-08 21:02:16 +0000kitty3(~kitty@096-039-147-043.res.spectrum.com) (*.net *.split)
2022-08-08 21:02:16 +0000_xor(~xor@74.215.182.83) (*.net *.split)
2022-08-08 21:02:16 +0000gdd(~gdd@129.199.146.230) (*.net *.split)
2022-08-08 21:02:17 +0000kraftwerk28(~kraftwerk@178.62.210.83) (*.net *.split)
2022-08-08 21:02:17 +0000Ram-Z(~Ram-Z@li1814-254.members.linode.com) (*.net *.split)
2022-08-08 21:02:17 +0000yin(~z@user/zero) (*.net *.split)
2022-08-08 21:02:17 +0000dibblego(~dibblego@haskell/developer/dibblego) (*.net *.split)
2022-08-08 21:02:17 +0000Igloo(~ian@matrix.chaos.earth.li) (*.net *.split)
2022-08-08 21:02:17 +0000fjmorazan(~quassel@user/fjmorazan) (*.net *.split)
2022-08-08 21:02:17 +0000micro(~micro@user/micro) (*.net *.split)
2022-08-08 21:02:17 +0000Inoperable(~PLAYER_1@fancydata.science) (*.net *.split)
2022-08-08 21:02:17 +0000Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (*.net *.split)
2022-08-08 21:02:17 +0000sloorush(~sloorush@52.187.184.81) (*.net *.split)
2022-08-08 21:02:17 +0000ystael(~ystael@user/ystael) (*.net *.split)
2022-08-08 21:02:17 +0000davl(~davl@207.154.228.18) (*.net *.split)
2022-08-08 21:02:17 +0000Yumemi(~Yumemi@chamoin.net) (*.net *.split)
2022-08-08 21:02:17 +0000dka(~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split)
2022-08-08 21:02:17 +0000LambdaDuck(~anka@ksit.fixme.fi) (*.net *.split)
2022-08-08 21:02:17 +0000glider(~glider@user/glider) (*.net *.split)
2022-08-08 21:02:17 +0000acro(~acro@user/acro) (*.net *.split)
2022-08-08 21:02:17 +0000edwtjo(~edwtjo@fsf/member/edwtjo) (*.net *.split)
2022-08-08 21:02:17 +0000Noinia(~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split)
2022-08-08 21:02:17 +0000Dashkal(~dashkal@user/dashkal) (*.net *.split)
2022-08-08 21:02:17 +0000monochrom(trebla@216.138.220.146) (*.net *.split)
2022-08-08 21:02:17 +0000gawen(~gawen@user/gawen) (*.net *.split)
2022-08-08 21:02:17 +0000Guest1698(~Guest1698@20.83.116.49) (*.net *.split)
2022-08-08 21:02:17 +0000qhong(~qhong@rescomp-21-400677.stanford.edu) (*.net *.split)
2022-08-08 21:02:17 +0000hmw[at](~hmw@84-113-100-7.cable.dynamic.surfer.at) (*.net *.split)
2022-08-08 21:02:17 +0000bollu(~bollu@159.65.151.13) (*.net *.split)
2022-08-08 21:02:17 +0000mcglk(~mcglk@131.191.49.120) (*.net *.split)
2022-08-08 21:02:17 +0000swistak(~swistak@185.21.216.141) (*.net *.split)
2022-08-08 21:02:17 +0000MironZ(~MironZ@nat-infra.ehlab.uk) (*.net *.split)
2022-08-08 21:02:17 +0000asm(~alexander@user/asm) (*.net *.split)
2022-08-08 21:02:17 +0000srk(~sorki@user/srk) (*.net *.split)
2022-08-08 21:02:17 +0000ente`(~daemon@inferno.barfooze.de) (*.net *.split)
2022-08-08 21:02:18 +0000acro_acro
2022-08-08 21:02:18 +0000srk-srk
2022-08-08 21:02:18 +0000monochrmmonochrom
2022-08-08 21:02:18 +0000bollu7bollu
2022-08-08 21:02:19 +0000Lord_of_Life_Lord_of_Life
2022-08-08 21:02:19 +0000FragByte_FragByte
2022-08-08 21:02:20 +0000Flonk6Flonk
2022-08-08 21:02:20 +0000dobblegodibblego
2022-08-08 21:02:20 +0000MironZ1MironZ
2022-08-08 21:02:23 +0000meinside(uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:02:23 +0000conjunctive(sid433686@id-433686.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:02:23 +0000vglfr(~vglfr@194.9.14.33) (Ping timeout: 240 seconds)
2022-08-08 21:02:23 +0000Deide(~deide@user/deide) (Ping timeout: 240 seconds)
2022-08-08 21:02:42 +0000Rembane(~Rembane@li346-36.members.linode.com) (Ping timeout: 240 seconds)
2022-08-08 21:02:42 +0000canta(~canta@user/canta) (Ping timeout: 240 seconds)
2022-08-08 21:02:42 +0000stilgart(~Christoph@chezlefab.net) (Ping timeout: 240 seconds)
2022-08-08 21:02:42 +0000examors(~examors@user/examors) (Ping timeout: 240 seconds)
2022-08-08 21:02:42 +0000xff0x(~xff0x@2405:6580:b080:900:84d3:74ed:839d:b6c0) (Ping timeout: 240 seconds)
2022-08-08 21:02:42 +0000Vajb(~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Ping timeout: 240 seconds)
2022-08-08 21:02:42 +0000haritz(~hrtz@user/haritz) (Ping timeout: 240 seconds)
2022-08-08 21:02:42 +0000AlexNoo(~AlexNoo@178.34.151.166) (Ping timeout: 240 seconds)
2022-08-08 21:02:55 +0000Vajb(~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014)
2022-08-08 21:03:37 +0000Square2(~a@user/square)
2022-08-08 21:03:57 +0000In0perable(~PLAYER_1@fancydata.science)
2022-08-08 21:04:03 +0000anderson_(~ande@user/anderson)
2022-08-08 21:04:06 +0000danso_o(danso@danso.ca)
2022-08-08 21:04:32 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-08-08 21:05:43 +0000absentia_absentia
2022-08-08 21:05:51 +0000absentia(~absentia@24-246-53-210.cable.teksavvy.com) (Changing host)
2022-08-08 21:05:51 +0000absentia(~absentia@user/absentia)
2022-08-08 21:05:58 +0000monadplus(~monadplus@135.red-83-42-13.dynamicip.rima-tde.net)
2022-08-08 21:06:09 +0000vglfr(~vglfr@194.9.14.33)
2022-08-08 21:06:17 +0000darkstardevx(~darkstard@50.53.212.60) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000jocke-l(jocke-l@a.x0.is) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000heartburn(~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000anderson(~ande@user/anderson) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000hounded_1969(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000tinwood(~tinwood@canonical/tinwood) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000kawen(~quassel@static.208.191.216.95.clients.your-server.de) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000Square(~a@user/square) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000son0p(~ff@181.136.122.143) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000sunarch(sid526836@user/sunarch) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000tcard_(~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000ncf(~n@monade.li) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000alinab(sid468903@id-468903.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000phma(phma@2001:5b0:212a:9228:43b4:3753:d2af:c117) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000drlkf(~drlkf@drlkf.net) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000andjjj23_(~irc@107.170.228.47) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000sclv(sid39734@haskell/developer/sclv) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000[Leary](~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000tnks(sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000shailangsa(~shailangs@host86-185-98-81.range86-185.btcentralplus.com) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 240 seconds)
2022-08-08 21:06:17 +0000tired-(~tired@user/tired) (Ping timeout: 240 seconds)
2022-08-08 21:06:18 +0000lagash(lagash@lagash.shelltalk.net) (Ping timeout: 240 seconds)
2022-08-08 21:06:18 +0000statusfailed(~statusfai@statusfailed.com) (Ping timeout: 240 seconds)
2022-08-08 21:06:18 +0000bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Ping timeout: 612 seconds)
2022-08-08 21:06:18 +0000danso(~danso@danso.ca) (Ping timeout: 240 seconds)
2022-08-08 21:06:18 +0000jludwig(~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
2022-08-08 21:06:18 +0000alinab_alinab
2022-08-08 21:06:18 +0000tnks_tnks
2022-08-08 21:06:18 +0000Katarushisu0Katarushisu
2022-08-08 21:06:20 +0000anderson_anderson
2022-08-08 21:06:21 +0000sclv_sclv
2022-08-08 21:06:21 +0000sunarch_sunarch
2022-08-08 21:06:22 +0000NiKaN_NiKaN
2022-08-08 21:06:23 +0000bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak)
2022-08-08 21:06:23 +0000jludwig89(~justin@li657-110.members.linode.com)
2022-08-08 21:06:47 +0000jludwig89jludwig
2022-08-08 21:07:16 +0000hounded_1969(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2022-08-08 21:07:39 +0000Guest1698(~Guest1698@20.83.116.49)
2022-08-08 21:07:56 +0000zaquest(~notzaques@5.130.79.72)
2022-08-08 21:07:59 +0000pgib(~textual@173.38.117.79) (Ping timeout: 268 seconds)
2022-08-08 21:08:13 +0000pragma-(~chaos@user/pragmatic-chaos)
2022-08-08 21:08:45 +0000canta(~canta@user/canta)
2022-08-08 21:08:53 +0000rodental(~rodental@38.146.5.222)
2022-08-08 21:09:06 +0000asm(~alexander@burner.asm89.io)
2022-08-08 21:09:10 +0000__________(~nobody@user/noodly) (Quit: Reconnecting)
2022-08-08 21:09:21 +0000jocke-l(jocke-l@a.x0.is)
2022-08-08 21:09:28 +0000_________(~nobody@user/noodly)
2022-08-08 21:09:29 +0000edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se)
2022-08-08 21:09:29 +0000edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host)
2022-08-08 21:09:29 +0000edwtjo(~edwtjo@fsf/member/edwtjo)
2022-08-08 21:10:12 +0000meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-08-08 21:10:34 +0000conjunctive(sid433686@id-433686.helmsley.irccloud.com)
2022-08-08 21:10:55 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-08-08 21:12:21 +0000ncf_ncf
2022-08-08 21:13:09 +0000tomboy64(~tomboy64@user/tomboy64)
2022-08-08 21:14:39 +0000rushsloorush
2022-08-08 21:15:14 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 268 seconds)
2022-08-08 21:15:51 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 21:18:18 +0000yvan-sraka(~yvan-srak@105.67.135.250)
2022-08-08 21:19:45 +0000 <zero> help. i'm trying to mess around with gloss and i'm getting a BadValue error. i think it has something to do with i3wm
2022-08-08 21:20:22 +0000 <zero> https://paste.jrvieira.com/1659993564036
2022-08-08 21:20:44 +0000 <zero> does anyone have some insight?
2022-08-08 21:22:13 +0000zmt01(~zmt00@user/zmt00)
2022-08-08 21:22:23 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 21:22:33 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 21:22:36 +0000ec(~ec@gateway/tor-sasl/ec)
2022-08-08 21:23:29 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-08 21:23:38 +0000hgolden_(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Ping timeout: 240 seconds)
2022-08-08 21:23:54 +0000 <geekosaur> looks like it, since it's an XConfigureWindow. sadly X diagnostics don't help much with saying what exactly is wrong
2022-08-08 21:23:56 +0000hgolden_(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-08-08 21:23:58 +0000whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:24:35 +0000 <zero> i'm lost
2022-08-08 21:24:38 +0000zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-08-08 21:24:38 +0000iphy(sid67735@id-67735.lymington.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:25:11 +0000 <tomsmeding> zero: do you have a small reproducer?
2022-08-08 21:25:56 +0000 <geekosaur> value of 0 suggests either zero width or height, or all bits clear for the value mask
2022-08-08 21:26:15 +0000 <zero> i do not
2022-08-08 21:26:19 +0000 <geekosaur> but it doesn't show which part of the WindowChanges struct is wrong
2022-08-08 21:26:32 +0000whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-08-08 21:26:33 +0000notzmv(~zmv@user/notzmv)
2022-08-08 21:26:46 +0000iphy(sid67735@id-67735.lymington.irccloud.com)
2022-08-08 21:26:54 +0000 <tomsmeding> zero: are you configuring the window to be resizable?
2022-08-08 21:26:56 +0000 <geekosaur> I'd first check for the zero width/height thing
2022-08-08 21:27:38 +0000Pent(sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:27:55 +0000pgib(~textual@173.38.117.81)
2022-08-08 21:28:58 +0000joel135(sid136450@id-136450.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:28:58 +0000Pent(sid313808@id-313808.lymington.irccloud.com)
2022-08-08 21:30:04 +0000phma_phma
2022-08-08 21:30:35 +0000joel135(sid136450@id-136450.hampstead.irccloud.com)
2022-08-08 21:31:27 +0000 <zero> good call
2022-08-08 21:31:39 +0000 <zero> i had one dimension set to 0
2022-08-08 21:31:43 +0000coot(~coot@213.134.176.158) (Quit: coot)
2022-08-08 21:31:43 +0000 <zero> thanks
2022-08-08 21:31:52 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 21:32:30 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-08-08 21:34:42 +0000waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-08-08 21:36:09 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-08 21:36:22 +0000monadplus(~monadplus@135.red-83-42-13.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2022-08-08 21:36:47 +0000shailangsa_(~shailangs@host86-185-98-81.range86-185.btcentralplus.com)
2022-08-08 21:38:07 +0000yvan-sraka(~yvan-srak@105.67.135.250) (Remote host closed the connection)
2022-08-08 21:42:02 +0000Tuplanolla(~Tuplanoll@91-159-68-188.elisa-laajakaista.fi) (Quit: Leaving.)
2022-08-08 21:46:50 +0000tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Ping timeout: 240 seconds)
2022-08-08 21:46:53 +0000Firedancer(sid336191@id-336191.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:49:54 +0000ircbrowse_tom(~ircbrowse@2a01:4f8:1c1c:9319::1) (ZNC 1.7.5+deb4 - https://znc.in)
2022-08-08 21:50:08 +0000ircbrowse_tom_(~ircbrowse@2a01:4f8:1c1c:9319::1)
2022-08-08 21:50:10 +0000Server+Cnt
2022-08-08 21:50:11 +0000nonzen_(~nonzen@user/nonzen)
2022-08-08 21:50:13 +0000bgs_(~bgs@212-85-160-171.dynamic.telemach.net)
2022-08-08 21:50:37 +0000incertia_(~incertia@d47-69-133-171.try.wideopenwest.com)
2022-08-08 21:50:54 +0000lisq_(~quassel@lis.moe)
2022-08-08 21:50:55 +0000darchitect1(~darchitec@2a00:23c6:3584:df01:2d0:4120:37b2:95)
2022-08-08 21:50:56 +0000bcoppens_(~bartcopp@vpn2.bartcoppens.be)
2022-08-08 21:50:59 +0000degraafk_(sid71464@id-71464.lymington.irccloud.com)
2022-08-08 21:51:03 +0000Unode_(~Unode@194.94.44.220)
2022-08-08 21:51:26 +0000hnOsmium0001_(uid453710@user/hnOsmium0001)
2022-08-08 21:51:32 +0000gmc_(sid58314@id-58314.ilkley.irccloud.com)
2022-08-08 21:51:34 +0000PotatoGim_(sid99505@id-99505.lymington.irccloud.com)
2022-08-08 21:51:43 +0000cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-08-08 21:51:43 +0000xnbya2(~xnbya@2a01:4f8:c17:cbdd::1)
2022-08-08 21:51:48 +0000reda_(~reda@user/reda)
2022-08-08 21:51:53 +0000x22x22x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb)
2022-08-08 21:51:54 +0000Pent_(sid313808@id-313808.lymington.irccloud.com)
2022-08-08 21:52:23 +0000acertain_(sid470584@id-470584.hampstead.irccloud.com)
2022-08-08 21:52:33 +0000guygastineau(~guygastin@137.184.131.156)
2022-08-08 21:52:35 +0000cln_(sid336875@id-336875.ilkley.irccloud.com)
2022-08-08 21:53:22 +0000integral_(sid296274@user/integral)
2022-08-08 21:53:25 +0000krjt(~krjst@2604:a880:800:c1::16b:8001)
2022-08-08 21:53:29 +0000cawfee_(~root@2406:3003:2077:2758::babe)
2022-08-08 21:53:57 +0000kadoban1(~kadoban@user/kadoban)
2022-08-08 21:54:00 +0000entheogenesis[m4(~entheogen@2001:470:69fc:105::1:e7c4)
2022-08-08 21:54:05 +0000Beo(~ircuser@gabilgathol.bandrate.org)
2022-08-08 21:54:16 +0000neceve(~quassel@2.26.93.14)
2022-08-08 21:54:28 +0000BeoGuest4673
2022-08-08 21:54:37 +0000hendi_(sid489601@id-489601.lymington.irccloud.com)
2022-08-08 21:55:07 +0000tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Firedancer(sid336191@id-336191.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000pgib(~textual@173.38.117.81) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000sa(sid1055@2a03:5180:f::41f) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000PHO`(~pho@akari.cielonegro.org) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000bbhoss(sid18216@id-18216.tinside.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000kadoban(~kadoban@user/kadoban) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Neuromancer(~Neuromanc@user/neuromancer) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Firedancer_Firedancer
2022-08-08 21:55:07 +0000ProofTechnique(sid79547@2a03:5180:f:3::1:36bb) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000rubin55(sid175221@id-175221.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000tritlo(sid58727@user/tritlo) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000x88x88x(~x88x88x@149.28.53.172) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Kamuela(sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000acidjnk(~acidjnk@p200300d6e705865168dfbefacb50e5ef.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000entheogenesis[m](~entheogen@2001:470:69fc:105::1:e7c4) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000welterde(welterde@thinkbase.srv.welterde.de) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000|beowulf|(~ircuser@sourcemage/mage/beowulf) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Goodbye_Vincent(cyvahl@freakshells.net) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Unode(~Unode@194.94.44.220) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000RMSBach(~guygastin@137.184.131.156) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000jonrh(sid5185@2a03:5180:f:3::1441) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000saolsen(sid26430@id-26430.lymington.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000h2t(~h2t@user/h2t) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000darchitect(~darchitec@2a00:23c6:3584:df01:2d0:4120:37b2:95) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000lisq(~quassel@lis.moe) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000hnOsmium0001(uid453710@user/hnOsmium0001) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000incertia(~incertia@d47-69-133-171.try.wideopenwest.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000cln(sid336875@2a03:5180:f:3::5:23eb) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000bcoppens(~bartcopp@vpn2.bartcoppens.be) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000lambdap23(~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000gmc(sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000cawfee(~root@2406:3003:2077:2758::babe) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000hololeap(~quassel@user/hololeap) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Pent(sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000degraafk(sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000rburkholder(~blurb@96.45.2.121) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000ircbrowse_tom(~ircbrowse@2a01:4f8:1c1c:9319::1) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000PotatoGim(sid99505@2a03:5180:f:2::1:84b1) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000SoF(~skius@user/skius) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000pieguy128(~pieguy128@bas8-montreal02-65-93-195-183.dsl.bell.ca) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000nonzen(~nonzen@user/nonzen) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000Player-205[m](~sashaserp@2001:470:69fc:105::2:30b8) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000reda(~reda@user/reda) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000krjst(~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 240 seconds)
2022-08-08 21:55:07 +0000acertain(sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-08-08 21:55:08 +0000hendi(sid489601@2a03:5180:f:2::7:7881) (Ping timeout: 240 seconds)
2022-08-08 21:55:08 +0000integral(sid296274@user/integral) (Ping timeout: 240 seconds)
2022-08-08 21:55:08 +0000vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 240 seconds)
2022-08-08 21:55:08 +0000hays(rootvegeta@fsf/member/hays) (Ping timeout: 240 seconds)
2022-08-08 21:55:08 +0000tomgus1_tomgus1
2022-08-08 21:55:08 +0000Goodbye_Vincent1Goodbye_Vincent
2022-08-08 21:55:08 +0000incertia_incertia
2022-08-08 21:55:08 +0000bgs_bgs
2022-08-08 21:55:08 +0000SoF4SoF
2022-08-08 21:55:08 +0000Unode_Unode
2022-08-08 21:55:08 +0000lambdap232lambdap23
2022-08-08 21:55:08 +0000saolsen_saolsen
2022-08-08 21:55:08 +0000gmc_gmc
2022-08-08 21:55:09 +0000degraafk_degraafk
2022-08-08 21:55:09 +0000acertain_acertain
2022-08-08 21:55:11 +0000hnOsmium0001_hnOsmium0001
2022-08-08 21:55:12 +0000bbhoss_bbhoss
2022-08-08 21:55:12 +0000sa_sa
2022-08-08 21:55:12 +0000PotatoGim_PotatoGim
2022-08-08 21:55:12 +0000cln_cln
2022-08-08 21:55:12 +0000integral_integral
2022-08-08 21:55:12 +0000hendi_hendi
2022-08-08 21:55:13 +0000Pent_Pent
2022-08-08 21:55:32 +0000cheater(~Username@user/cheater)
2022-08-08 21:56:42 +0000hays(rootvegeta@fsf/member/hays)
2022-08-08 21:56:47 +0000Player-205[m](~sashaserp@2001:470:69fc:105::2:30b8)
2022-08-08 21:57:41 +0000vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2022-08-08 22:01:37 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2022-08-08 22:01:47 +0000welterde(welterde@thinkbase.srv.welterde.de)
2022-08-08 22:03:05 +0000ProofTechnique(sid79547@id-79547.ilkley.irccloud.com)
2022-08-08 22:03:05 +0000tritlo(sid58727@user/tritlo)
2022-08-08 22:03:06 +0000rubin55(sid175221@id-175221.hampstead.irccloud.com)
2022-08-08 22:03:12 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-08-08 22:03:25 +0000Kamuela(sid111576@id-111576.tinside.irccloud.com)
2022-08-08 22:03:37 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-08-08 22:03:47 +0000jonrh(sid5185@id-5185.ilkley.irccloud.com)
2022-08-08 22:04:09 +0000dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da)
2022-08-08 22:04:21 +0000ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-08-08 22:04:34 +0000ec(~ec@gateway/tor-sasl/ec)
2022-08-08 22:07:00 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-08-08 22:08:11 +0000malte(~malte@mal.tc) (Ping timeout: 244 seconds)
2022-08-08 22:12:51 +0000haritzondo(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Quit: ZNC 1.8.2+deb2 - https://znc.in)
2022-08-08 22:13:07 +0000qhong_qhong
2022-08-08 22:13:10 +0000haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2022-08-08 22:13:10 +0000haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
2022-08-08 22:13:10 +0000haritz(~hrtz@user/haritz)
2022-08-08 22:15:24 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-08-08 22:16:27 +0000cheater(~Username@user/cheater) (Ping timeout: 244 seconds)
2022-08-08 22:16:38 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-08 22:17:12 +0000cheater(~Username@user/cheater)
2022-08-08 22:20:20 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 255 seconds)
2022-08-08 22:25:12 +0000cheater1__(~Username@user/cheater)
2022-08-08 22:25:32 +0000cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-08-08 22:25:36 +0000cheater1__cheater
2022-08-08 22:25:37 +0000hellwolf(~hellwolf@7-41-50-84.sta.estpak.ee) (Remote host closed the connection)
2022-08-08 22:29:32 +0000hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-08-08 22:31:58 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 22:37:52 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 268 seconds)
2022-08-08 22:38:31 +0000neceve(~quassel@2.26.93.14) (Ping timeout: 268 seconds)
2022-08-08 22:43:18 +0000dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Ping timeout: 264 seconds)
2022-08-08 22:45:09 +0000danso_odanso
2022-08-08 22:47:16 +0000ubert(~Thunderbi@178.115.60.12.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2022-08-08 22:48:58 +0000BanUtama(~blake.rai@user/BanUtama)
2022-08-08 22:49:25 +0000pavonia(~user@user/siracusa)
2022-08-08 22:49:31 +0000acidjnk_new(~acidjnk@p200300d6e705865168dfbefacb50e5ef.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-08-08 22:50:58 +0000xff0x_(~xff0x@2405:6580:b080:900:84d3:74ed:839d:b6c0) (Ping timeout: 240 seconds)
2022-08-08 22:51:10 +0000AlexNoo_AlexNoo
2022-08-08 22:53:08 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-08 22:53:08 +0000dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da)
2022-08-08 22:54:00 +0000zerozzz
2022-08-08 22:56:45 +0000hellwolf(~hellwolf@7-41-50-84.sta.estpak.ee)
2022-08-08 22:57:20 +0000__xor_xor
2022-08-08 22:58:16 +0000 <_xor> Don't really use hs/ghc much, so newbie question, but: If I've built a project using `cabal v2-build ...`, how can I specify the actual output directory for the artifacts?
2022-08-08 22:58:49 +0000 <_xor> Currently they're output into dist-newstyle/build/...(8 more dirs).../opt/build/the-actual-executable
2022-08-08 22:59:32 +0000 <_xor> Reason I'd like to flatten that structure and output the artifacts is because I'm whipping up a quick FreeBSD port for this app and need to know where the output artifacts can be found so that they can be packaged.
2022-08-08 23:01:18 +0000 <merijn> _xor: ok, so the real answer is: You don't want to use cabal-install for something like ports
2022-08-08 23:01:28 +0000 <merijn> Lemme look up the relevant docs
2022-08-08 23:03:53 +0000 <merijn> _xor: For distributors (i.e. maintainers for things like ports) the intended interface is Setup.hs https://cabal.readthedocs.io/en/3.6/setup-commands.html
2022-08-08 23:04:15 +0000 <merijn> _xor: Setup.hs lets you completely control where all build artifacts go
2022-08-08 23:04:35 +0000 <merijn> _xor: And lets you make system specific tweaks to where to look for dependencies, etc.
2022-08-08 23:05:25 +0000jgeerds(~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds)
2022-08-08 23:05:29 +0000 <merijn> there was a guide on the proper way to do this, but I can't find it right now
2022-08-08 23:05:56 +0000 <_xor> Hmm
2022-08-08 23:06:01 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-08-08 23:06:20 +0000 <_xor> I've been manually building hasura whenever there's been a new release, but getting tired of doing that. So I'm throwing it into my ports tree.
2022-08-08 23:06:29 +0000 <merijn> _xor: The short summary is: "cabal-install is intended for developers and does not let you customise where things go", Cabal (used by both cabal-install and Setup.hs) supports both
2022-08-08 23:07:03 +0000 <merijn> At the cost of being a bit more manual (well, until you script it, which is kinda what you're intended to do)
2022-08-08 23:07:08 +0000 <_xor> Will submit it upstream once it's not so hacky, but currently I'm basically just rigging it so that the port Makefile is just a shim to do the same build steps I do when manually building it.
2022-08-08 23:07:20 +0000 <merijn> _xor: You might wanna check out how some linux distros package things
2022-08-08 23:07:36 +0000son0p(~ff@181.136.122.143)
2022-08-08 23:07:42 +0000 <_xor> I had some issues with extracting & vendoring the deps, so I figured I'd do this as a stop-gap for now and then revise it next to do a more "proper" build, then submit that upstream.
2022-08-08 23:07:59 +0000cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-08-08 23:08:23 +0000cheater(~Username@user/cheater)
2022-08-08 23:08:24 +0000luffy(~chenqisu1@183.217.201.23)
2022-08-08 23:08:36 +0000 <_xor> You mean how they produce the build artifacts or how they package them? The former makes sense, but the latter is...platform-specific in my case for FreeBSD.
2022-08-08 23:08:39 +0000 <merijn> _xor: You've been distributing the final binar, yeah?
2022-08-08 23:08:45 +0000 <_xor> Yeah
2022-08-08 23:08:46 +0000luffy(~chenqisu1@183.217.201.23) (Remote host closed the connection)
2022-08-08 23:08:47 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-08-08 23:09:05 +0000luffy(~chenqisu1@183.217.201.23)
2022-08-08 23:09:10 +0000 <merijn> _xor: And this is a program (i.e. not a Haskell library)?
2022-08-08 23:09:17 +0000 <_xor> yup
2022-08-08 23:09:23 +0000 <_xor> https://github.com/hasura/graphql-engine
2022-08-08 23:09:40 +0000 <_xor> It's a single exec + some static assets (css/js/png/etc).
2022-08-08 23:09:43 +0000 <_xor> Brb
2022-08-08 23:09:51 +0000 <merijn> _xor: ok, then the ultra hacky work around is to just "cabal install --install-method=copy --installdir=." :p
2022-08-08 23:10:12 +0000 <merijn> ah, I guess finding the static assets is your problem?
2022-08-08 23:11:25 +0000 <merijn> _xor: You wanna look at this: https://cabal.readthedocs.io/en/3.6/setup-commands.html#prefix-independence
2022-08-08 23:12:29 +0000yaroot_(~yaroot@p2543146-ipngn11101souka.saitama.ocn.ne.jp)
2022-08-08 23:13:17 +0000yaroot(~yaroot@2400:4052:ac0:d900:680e:dbff:fe1e:4953) (Ping timeout: 244 seconds)
2022-08-08 23:13:18 +0000yaroot_yaroot
2022-08-08 23:13:25 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-08 23:14:10 +0000xff0x_(~xff0x@2405:6580:b080:900:6c03:b0ff:76cc:e68c)
2022-08-08 23:15:00 +0000 <merijn> And with that, I'm off
2022-08-08 23:17:50 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-08 23:17:50 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-08-08 23:17:50 +0000wroathe(~wroathe@user/wroathe)
2022-08-08 23:20:28 +0000tzh_(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-08-08 23:21:06 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2022-08-08 23:22:53 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-08-08 23:24:38 +0000chomwitt(~chomwitt@2a02:587:dc12:7400:7267:ab5e:fc89:abf0) (Ping timeout: 255 seconds)
2022-08-08 23:26:48 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-08-08 23:26:48 +0000gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-08-08 23:32:17 +0000gentauro(~gentauro@user/gentauro)
2022-08-08 23:35:51 +0000chimp_Psybur
2022-08-08 23:44:39 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-08-08 23:46:04 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-08-08 23:46:38 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-08 23:48:30 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-08-08 23:48:57 +0000merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-08 23:49:59 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-08 23:54:22 +0000BanUtama(~blake.rai@user/BanUtama) (Ping timeout: 268 seconds)