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