| 2022-07-10 00:02:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 00:02:47 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:d0f1:5dd3:c36e:2b31) (Ping timeout: 255 seconds) |
| 2022-07-10 00:06:47 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-07-10 00:07:13 +0200 | chomwitt | (~chomwitt@2a02:587:dc0d:4a00:eb52:69a9:fa15:908e) |
| 2022-07-10 00:14:30 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-10 00:15:23 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-10 00:16:00 +0200 | acidjnk | (~acidjnk@p200300d6e71a5f0314c092f4495f33c9.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-07-10 00:17:12 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-10 00:18:27 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-07-10 00:21:56 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4c93-2912-ff7c-8bcd.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2022-07-10 00:31:36 +0200 | jargon | (~jargon@184.101.188.251) |
| 2022-07-10 00:34:34 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-81b9-1e80-00bb-4a85.res6.spectrum.com) |
| 2022-07-10 00:41:43 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-10 00:41:59 +0200 | califax | (~califax@user/califx) |
| 2022-07-10 00:43:30 +0200 | renzhi | (~xp@2607:fa49:6500:b100::c32e) (Ping timeout: 240 seconds) |
| 2022-07-10 00:44:06 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-10 00:47:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-10 00:50:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-10 00:56:30 +0200 | renzhi | (~xp@2607:fa49:6500:b100::b399) |
| 2022-07-10 00:57:03 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-10 00:59:48 +0200 | chomwitt | (~chomwitt@2a02:587:dc0d:4a00:eb52:69a9:fa15:908e) (Ping timeout: 276 seconds) |
| 2022-07-10 01:01:06 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2022-07-10 01:01:23 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-07-10 01:05:30 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-07-10 01:09:31 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-10 01:10:07 +0200 | <segfaultfizzbuzz> | as a bad programmer, why do people make such a big deal out of nixos/dhall,... why does "configuring" a server have anything to do with a programming language |
| 2022-07-10 01:10:32 +0200 | <segfaultfizzbuzz> | that is to say, as a bad programmer i do not understand this |
| 2022-07-10 01:12:20 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-10 01:13:30 +0200 | <hpc> | basically, you have to be able to run your code |
| 2022-07-10 01:13:33 +0200 | <geekosaur[m]> | configuration can be seen as programming a service to do particular things |
| 2022-07-10 01:13:46 +0200 | <hpc> | think of how annoying it is to get all your dependencies right for building your code |
| 2022-07-10 01:13:49 +0200 | <dsal> | segfaultfizzbuzz: Much of programming is kind of automating ideas and stuff. nix allows you to express what an environment looks like that your program should be able to be built or run in, as opposed to a big list of things you have to do before you can get started that will vary per platform and you just have to know things. |
| 2022-07-10 01:13:52 +0200 | <hpc> | and now imagine all your users trying to do that too |
| 2022-07-10 01:14:07 +0200 | <segfaultfizzbuzz> | hpc: i think the rust folk say just roll it up into one executable, and i like this philosophy |
| 2022-07-10 01:14:08 +0200 | <geekosaur[m]> | most services have idiosyncratic configuration languages, and it's beneficial when you can use something consistent to configure them all |
| 2022-07-10 01:14:20 +0200 | <hpc> | or imagine you've written something like a video decoder, and now youtube's running it on more servers than you've seen in your whole life |
| 2022-07-10 01:14:35 +0200 | <dsal> | segfaultfizzbuzz: How do I roll all the things up into one executable? If I download your .rs file, can I run it now? |
| 2022-07-10 01:14:40 +0200 | <hpc> | nobody's setting all of those up individually |
| 2022-07-10 01:14:55 +0200 | <segfaultfizzbuzz> | if i was running servers at scale i think all i would want to say is, run these binaries with these configuration files, and if the binary dies restart it, or something to that effect |
| 2022-07-10 01:15:19 +0200 | <segfaultfizzbuzz> | dsal: well you need to download the entire rust folder but yeah you can basically just say cargo run and it works |
| 2022-07-10 01:15:23 +0200 | <dsal> | I process a lot of video. A rust executable wouldn't include all the video codecs I might be working with. |
| 2022-07-10 01:15:31 +0200 | <dsal> | segfaultfizzbuzz: -bash: cargo: command not found |
| 2022-07-10 01:16:03 +0200 | <hpc> | nix can handle both of those use cases |
| 2022-07-10 01:16:06 +0200 | <segfaultfizzbuzz> | i think i am trying to ask here, what kind of configuration is so complex that it needs a programming language |
| 2022-07-10 01:16:21 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) (Remote host closed the connection) |
| 2022-07-10 01:16:34 +0200 | <geekosaur[m]> | that's the wrong question, kinda |
| 2022-07-10 01:16:45 +0200 | <hpc> | computers are already that complex, no matter what you put on them |
| 2022-07-10 01:17:11 +0200 | <geekosaur[m]> | you are not wrapping up a web server, networking stack, etc. in a single binary (for one, the networking stack belongs to the OS, not you) |
| 2022-07-10 01:17:39 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2022-07-10 01:17:42 +0200 | <dsal> | Even the video processing I'm doing that needs ffmpeg -- it wouldn't be sensible to try to stuff that into one executable. |
| 2022-07-10 01:17:53 +0200 | <hpc> | even beyond that you have firewall, logging, sso |
| 2022-07-10 01:17:57 +0200 | <geekosaur[m]> | the configuration language is capable of doing configuration for all of these things instead of requiring you to deal with each individual service's config files yourself |
| 2022-07-10 01:18:23 +0200 | <hpc> | there's a huge amount of stuff to tweak once you get beyond one or two pet boxes |
| 2022-07-10 01:18:55 +0200 | <hpc> | or maybe you do just have one or two pet boxes, but you want to be able to get back to where you are if the hard drive crashes or something |
| 2022-07-10 01:19:08 +0200 | <hpc> | so you write up a nix config and stick that in git |
| 2022-07-10 01:19:50 +0200 | <dsal> | nix and dhall are very different. nix is "how do I remember all the junk I need to work on / use this project?" dhall might be the language to express that, but it's also just a general config thing. I've used it when I had a program whose config did benefit from having parameterized duplicate sections, for example. (I need an X for every Y) |
| 2022-07-10 01:20:30 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-07-10 01:20:42 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
| 2022-07-10 01:20:42 +0200 | Polo | (~Gambino@user/polo) |
| 2022-07-10 01:22:01 +0200 | Polo | Guest7241 |
| 2022-07-10 01:22:23 +0200 | Guest7241 | money |
| 2022-07-10 01:22:28 +0200 | money | polo |
| 2022-07-10 01:22:33 +0200 | <hpc> | segfaultfizzbuzz: at an even higher level, the thing turing doesn't get enough credit for is that he tried to put everything in a computational context |
| 2022-07-10 01:22:39 +0200 | <hpc> | see also, https://en.wikipedia.org/wiki/Alan_Turing#Pattern_formation_and_mathematical_biology |
| 2022-07-10 01:22:47 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-10 01:22:53 +0200 | <hpc> | so you don't so much ask "why does this have anything to do with programming" |
| 2022-07-10 01:23:13 +0200 | <segfaultfizzbuzz> | i guess maybe the real root of this has to do with the "granularity of a vm"? |
| 2022-07-10 01:23:16 +0200 | <hpc> | everything is programming, the language just hasn't necessarily been discovered or formalized yet |
| 2022-07-10 01:23:36 +0200 | <hpc> | why should you be creating the vm by hand and then running configuring code |
| 2022-07-10 01:23:44 +0200 | <hpc> | just bump a number in a config file and let code create the vm for you |
| 2022-07-10 01:23:53 +0200 | polo | (~Gambino@user/polo) (Max SendQ exceeded) |
| 2022-07-10 01:24:14 +0200 | <hpc> | or write something else that uses metrics to automatically create and destroy them |
| 2022-07-10 01:24:22 +0200 | <edwardk> | i took my weekend to actually write some haskell. now i've made the mistake of actually trying to compile it. |
| 2022-07-10 01:24:36 +0200 | <edwardk> | is hashable just.. broken on an m1 mac right now? |
| 2022-07-10 01:24:39 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-10 01:24:54 +0200 | Polo | (~Gambino@user/polo) |
| 2022-07-10 01:24:56 +0200 | <hpc> | or, another one i have a lot of fun explaining to people |
| 2022-07-10 01:24:59 +0200 | <geekosaur[m]> | an actual haskell question! |
| 2022-07-10 01:25:07 +0200 | <edwardk> | https://www.irccloud.com/pastebin/Clbc9Kt2/hashable-wat.log |
| 2022-07-10 01:25:09 +0200 | <segfaultfizzbuzz> | yeah sorry :-) i will fade to the background |
| 2022-07-10 01:25:10 +0200 | <hpc> | all those goofy "agile" practices are just queuing theory |
| 2022-07-10 01:25:30 +0200 | <hpc> | segfaultfizzbuzz: it was a good question |
| 2022-07-10 01:25:42 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-10 01:25:44 +0200 | <edwardk> | error: warning: passing 'char *' to parameter of type 'const unsigned char *' converts between pointers to integer types with different sign [-Wpointer-sign] |
| 2022-07-10 01:25:54 +0200 | Polo | MONEY |
| 2022-07-10 01:25:57 +0200 | MONEY | polo |
| 2022-07-10 01:26:00 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-07-10 01:26:22 +0200 | <edwardk> | i confess i wasn't expecting something so basic to stymie me |
| 2022-07-10 01:26:53 +0200 | <edwardk> | air:~/hell $ ghc --version => The Glorious Glasgow Haskell Compilation System, version 9.2.2 |
| 2022-07-10 01:26:58 +0200 | <geekosaur[m]> | afaik that's not the real error |
| 2022-07-10 01:27:13 +0200 | <edwardk> | i'd like to know what is, because i'm stuck before i even get to my code |
| 2022-07-10 01:28:05 +0200 | <geekosaur[m]> | the real error follows and is a known issue, if you get your llvm from homebrew then ghc finds ld.lld instead of the correct linker and the link fails |
| 2022-07-10 01:28:22 +0200 | <edwardk> | ok, then what do i do to get back into a valid configuration? |
| 2022-07-10 01:28:28 +0200 | <geekosaur[m]> | the other, despite saying "error", is the continuation of a warning message |
| 2022-07-10 01:29:30 +0200 | Alex_test | (~al_test@178.34.160.206) (Ping timeout: 240 seconds) |
| 2022-07-10 01:29:37 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-07-10 01:29:42 +0200 | <edwardk> | and is this still going to be the case in future versions / is documented somewhere? because i confess this caught me way out left field |
| 2022-07-10 01:29:50 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-10 01:30:10 +0200 | AlexZenon | (~alzenon@178.34.160.206) (Ping timeout: 240 seconds) |
| 2022-07-10 01:30:50 +0200 | <edwardk> | geekosaur[m]: thanks for giving me a direction to start googling |
| 2022-07-10 01:31:27 +0200 | <geekosaur[m]> | yeh, I';m still looking but it looks like you need to tweak the settings file to use ld64 or ld instead of ld.lld |
| 2022-07-10 01:31:43 +0200 | <segfaultfizzbuzz> | m1 chips have a hard time with endofunctors |
| 2022-07-10 01:33:06 +0200 | <geekosaur[m]> | iirc the bindist configure finds the wrong ld, so you either have to rerun that pointing to the right ld witth LD=... or you edit the settings file afterward |
| 2022-07-10 01:33:16 +0200 | <hpc> | just use liftM1 |
| 2022-07-10 01:33:51 +0200 | <segfaultfizzbuzz> | haha ok somebody thought my joke was funny ;-) |
| 2022-07-10 01:34:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-10 01:34:30 +0200 | <segfaultfizzbuzz> | it's actually liftM1 $$ SteveJobs $$ |
| 2022-07-10 01:34:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-07-10 01:34:49 +0200 | polo | (~Gambino@user/polo) (Killed (lithium.libera.chat (Nickname regained by services))) |
| 2022-07-10 01:35:05 +0200 | <hpc> | :D |
| 2022-07-10 01:35:12 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.0) |
| 2022-07-10 01:35:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-10 01:35:35 +0200 | AlexZenon | (~alzenon@178.34.160.206) |
| 2022-07-10 01:35:39 +0200 | Alex_test | (~al_test@178.34.160.206) |
| 2022-07-10 01:43:00 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-10 01:43:21 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-10 01:46:54 +0200 | maroloccio | (~marolocci@62.98.76.98) (Ping timeout: 276 seconds) |
| 2022-07-10 01:47:07 +0200 | <edwardk> | segfaultfizzbuzz: =P |
| 2022-07-10 01:47:18 +0200 | <edwardk> | where is the settings file in question? |
| 2022-07-10 01:47:28 +0200 | <edwardk> | and for that matter, where is the right LD? =) |
| 2022-07-10 01:47:40 +0200 | maroloccio | (~marolocci@151.70.128.107) |
| 2022-07-10 01:49:30 +0200 | jgeerds | (~jgeerds@55d437cf.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-07-10 01:50:14 +0200 | <edwardk> | found https://www.reddit.com/r/haskell/comments/snveep/m1pro_woes/ and will try the comments there i guess |
| 2022-07-10 01:50:36 +0200 | <geekosaur[m]> | it's ghc's settings file, try `ghc --print-libdir` |
| 2022-07-10 01:50:56 +0200 | <geekosaur[m]> | not sure where they hide ld64 but if you're lucky it's in /usr/bin |
| 2022-07-10 01:53:21 +0200 | dudek | (~dudek@185.150.236.103) (Quit: Leaving) |
| 2022-07-10 01:53:45 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds) |
| 2022-07-10 01:54:56 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-07-10 01:55:51 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-07-10 01:58:09 +0200 | cdan | (~user@122-58-88-198-vdsl.sparkbb.co.nz) |
| 2022-07-10 01:58:31 +0200 | <cdan> | hello |
| 2022-07-10 01:59:11 +0200 | <edwardk> | https://www.irccloud.com/pastebin/DFnItvaM/ |
| 2022-07-10 02:01:41 +0200 | <geekosaur[m]> | that one I don't understand ☹️ |
| 2022-07-10 02:02:53 +0200 | <edwardk> | *sigh* |
| 2022-07-10 02:02:57 +0200 | <edwardk> | i guess i can do this in rust |
| 2022-07-10 02:03:44 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-10 02:04:56 +0200 | sammelweis__ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-10 02:04:56 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 272 seconds) |
| 2022-07-10 02:05:24 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-07-10 02:05:38 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 2022-07-10 02:05:41 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-07-10 02:06:13 +0200 | psh | (~Gambino@user/polo) |
| 2022-07-10 02:06:35 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-07-10 02:07:10 +0200 | <edwardk> | hacked around |
| 2022-07-10 02:07:24 +0200 | <edwardk> | the 9.2.3 dist which isn't showing in ghcup works just fine if i install it by hand |
| 2022-07-10 02:08:00 +0200 | <edwardk> | oh it does show if i upgrade |
| 2022-07-10 02:08:31 +0200 | <geekosaur[m]> | huh, they must catch and exclude the bad lld, and the other might then be some other ld configuration setting that needs to be tweaked |
| 2022-07-10 02:08:31 +0200 | <edwardk> | back to hashconsing |
| 2022-07-10 02:08:44 +0200 | <geekosaur[m]> | I don't know what those need to be for ld64 |
| 2022-07-10 02:10:37 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 02:11:31 +0200 | raym | (~raym@user/raym) |
| 2022-07-10 02:11:50 +0200 | psh | (~Gambino@user/polo) (Ping timeout: 240 seconds) |
| 2022-07-10 02:12:10 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-10 02:12:41 +0200 | winny | (~weechat@user/winny) |
| 2022-07-10 02:14:37 +0200 | <BusConscious> | https://gitlab.haskell.org/ghc/ghc/-/issues/20287 |
| 2022-07-10 02:15:11 +0200 | <BusConscious> | I had a similar issue to that earlier when crosscompiling to the sortix operating system, but could not reproduce it a second time |
| 2022-07-10 02:17:35 +0200 | <BusConscious> | maybe the generation of the header #define HS_CONSTANTS is in happens in parallel to other rules, that depend on it? |
| 2022-07-10 02:19:02 +0200 | <BusConscious> | or maybe it is the same problem as in the issue |
| 2022-07-10 02:19:18 +0200 | psh | (~Gambino@user/polo) |
| 2022-07-10 02:19:26 +0200 | psh | (~Gambino@user/polo) (Client Quit) |
| 2022-07-10 02:21:42 +0200 | <edwardk> | ok, next question, ghcid seems dead? |
| 2022-07-10 02:21:48 +0200 | <edwardk> | ghcid: fd:16: hGetLine: invalid argument (invalid byte sequence) |
| 2022-07-10 02:21:57 +0200 | <edwardk> | i checked the obvious LANG and and LOCALE strings |
| 2022-07-10 02:22:53 +0200 | <edwardk> | looks like i had an old one |
| 2022-07-10 02:22:54 +0200 | <edwardk> | nm |
| 2022-07-10 02:22:57 +0200 | <edwardk> | im being dumb today |
| 2022-07-10 02:23:11 +0200 | <cdan> | I am having trouble crosscompile a simple haskell cmd tool using haskell.nix Host osX and target windows. This is the first time I've tried this and I am a bit lost. Are there other alternatives to haskell.nix that I could try? I've contemplated using a windows docker image, but I think I will need a window licence to stay legal. Any suggestions? |
| 2022-07-10 02:24:18 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2022-07-10 02:26:20 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-10 02:27:33 +0200 | sammelweis__ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-07-10 02:29:56 +0200 | <BusConscious> | how can I only build a specific target with cabal? |
| 2022-07-10 02:31:22 +0200 | alexhandy2 | (~trace@user/trace) |
| 2022-07-10 02:33:38 +0200 | AndChat-624225 | (~trace@user/trace) |
| 2022-07-10 02:34:43 +0200 | <monochrom> | cabal build TARGET. Sometimes TARGET has to start with exe: or lib: or ... |
| 2022-07-10 02:34:50 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-07-10 02:35:47 +0200 | alexhandy2 | (~trace@user/trace) (Ping timeout: 256 seconds) |
| 2022-07-10 02:36:38 +0200 | <BusConscious> | monochrom: tried that and it appeared like it didn't work, but I had a different problem: My crosscompiler was too bleeding edge compared to my gentoo ghc |
| 2022-07-10 02:37:10 +0200 | <BusConscious> | because the test suite doesn't link with my sortix crosscompiler right now |
| 2022-07-10 02:41:10 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-10 02:42:09 +0200 | <BusConscious> | https://github.com/MartinErhardt/sortix-cross-ghc yay I ported my shell (and the haskell runtime) to this operating system |
| 2022-07-10 02:42:10 +0200 | maroloccio | (~marolocci@151.70.128.107) (Ping timeout: 240 seconds) |
| 2022-07-10 02:44:27 +0200 | maroloccio | (~marolocci@151.70.151.79) |
| 2022-07-10 02:44:38 +0200 | conjunctive_ | conjunctive |
| 2022-07-10 02:45:06 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2022-07-10 02:54:56 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-10 02:54:56 +0200 | BusConscious | (~martin@ip5f5bdf31.dynamic.kabel-deutschland.de) (Quit: leaving) |
| 2022-07-10 02:56:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a92c:e315:1bd7:bee4) (Remote host closed the connection) |
| 2022-07-10 02:56:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6f92:efec:520d:4c6c) |
| 2022-07-10 03:10:31 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-10 03:16:39 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-10 03:18:33 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-10 03:29:08 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds) |
| 2022-07-10 03:34:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-10 03:40:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-10 03:40:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 03:41:06 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-10 03:41:31 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-10 03:52:03 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 276 seconds) |
| 2022-07-10 03:52:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 03:52:17 +0200 | beka | (~beka@104.193.170.240) (Ping timeout: 256 seconds) |
| 2022-07-10 03:52:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-07-10 03:53:56 +0200 | maroloccio | (~marolocci@151.70.151.79) (Ping timeout: 244 seconds) |
| 2022-07-10 03:54:00 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 2022-07-10 03:56:10 +0200 | maroloccio | (~marolocci@151.53.133.54) |
| 2022-07-10 03:56:25 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-10 03:57:33 +0200 | califax | (~califax@user/califx) |
| 2022-07-10 04:08:18 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-07-10 04:10:20 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-07-10 04:12:39 +0200 | beka | (~beka@104-244-24-117.PUBLIC.monkeybrains.net) |
| 2022-07-10 04:14:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-10 04:22:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 04:24:24 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-10 04:24:49 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-10 04:26:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-10 04:30:50 +0200 | td_ | (~td@muedsl-82-207-238-037.citykom.de) (Ping timeout: 240 seconds) |
| 2022-07-10 04:32:47 +0200 | td_ | (~td@muedsl-82-207-238-125.citykom.de) |
| 2022-07-10 04:34:45 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-07-10 04:39:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 04:40:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-10 04:41:49 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 04:41:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 04:46:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-10 04:46:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 04:49:45 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-10 04:50:57 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-07-10 04:51:45 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-10 04:53:00 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-07-10 04:58:51 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-07-10 05:03:50 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-07-10 05:05:30 +0200 | aeka | (~aeka@2606:6080:1002:3:1da3:d12a:3e5:ae70) (Ping timeout: 276 seconds) |
| 2022-07-10 05:05:42 +0200 | aeka | (~aeka@2606:6080:1001:15:45d:2b31:f931:2e2) |
| 2022-07-10 05:11:01 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Quit: Going elsewhere) |
| 2022-07-10 05:12:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-10 05:13:42 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-10 05:14:50 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-10 05:15:27 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-10 05:25:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6f92:efec:520d:4c6c) (Ping timeout: 255 seconds) |
| 2022-07-10 05:26:33 +0200 | xff0x | (~xff0x@2405:6580:b080:900:742e:8a1a:bfb2:b3e7) |
| 2022-07-10 05:39:50 +0200 | alp | (~alp@user/alp) (Ping timeout: 255 seconds) |
| 2022-07-10 05:41:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:742e:8a1a:bfb2:b3e7) (Quit: xff0x) |
| 2022-07-10 05:49:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a3df:31c3:754f:b320) |
| 2022-07-10 05:50:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 05:50:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-07-10 05:58:48 +0200 | mattil | (~mattil@77-105-77-70.lpok.fi) |
| 2022-07-10 06:01:26 +0200 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-07-10 06:09:10 +0200 | cdan | (~user@122-58-88-198-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds) |
| 2022-07-10 06:10:13 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-10 06:14:37 +0200 | kor1 | (~kor1@user/kor1) |
| 2022-07-10 06:15:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) () |
| 2022-07-10 06:17:46 +0200 | mattil | (~mattil@77-105-77-70.lpok.fi) (Remote host closed the connection) |
| 2022-07-10 06:29:00 +0200 | razetime | (~quassel@117.193.3.176) |
| 2022-07-10 06:37:56 +0200 | mud | (~mud@user/kadoban) |
| 2022-07-10 06:41:08 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-07-10 06:43:04 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-07-10 06:50:07 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-07-10 06:54:41 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-10 06:54:54 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Quit: Going elsewhere) |
| 2022-07-10 06:59:28 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-10 07:05:38 +0200 | jargon | (~jargon@184.101.188.251) |
| 2022-07-10 07:10:36 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 276 seconds) |
| 2022-07-10 07:11:05 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-10 07:12:00 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 07:12:22 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-10 07:15:10 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-10 07:22:36 +0200 | king_gs | (~Thunderbi@187.201.38.129) |
| 2022-07-10 07:22:45 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2022-07-10 07:23:34 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-07-10 07:24:28 +0200 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2022-07-10 07:26:40 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 2022-07-10 07:27:43 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-10 07:29:23 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-10 07:38:48 +0200 | aeka | (~aeka@2606:6080:1001:15:45d:2b31:f931:2e2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-10 07:41:17 +0200 | king_gs | (~Thunderbi@187.201.38.129) (Read error: Connection reset by peer) |
| 2022-07-10 07:41:30 +0200 | king_gs | (~Thunderbi@2806:103e:29:5946:ae8b:1218:3255:d41d) |
| 2022-07-10 07:43:13 +0200 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-07-10 07:46:42 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 276 seconds) |
| 2022-07-10 07:46:42 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-07-10 07:47:43 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-10 07:57:48 +0200 | beka | (~beka@104-244-24-117.PUBLIC.monkeybrains.net) (Ping timeout: 244 seconds) |
| 2022-07-10 07:59:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-10 08:00:58 +0200 | king_gs | (~Thunderbi@2806:103e:29:5946:ae8b:1218:3255:d41d) (Remote host closed the connection) |
| 2022-07-10 08:04:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 08:07:23 +0200 | redmp | (~redmp@mobile-166-170-40-104.mycingular.net) |
| 2022-07-10 08:11:10 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-07-10 08:12:16 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) |
| 2022-07-10 08:14:13 +0200 | razetime | (~quassel@117.193.3.176) (Remote host closed the connection) |
| 2022-07-10 08:14:24 +0200 | redmp_ | (~redmp@mobile-166-170-40-104.mycingular.net) |
| 2022-07-10 08:15:01 +0200 | redmp_ | (~redmp@mobile-166-170-40-104.mycingular.net) (Client Quit) |
| 2022-07-10 08:17:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 08:18:10 +0200 | redmp | (~redmp@mobile-166-170-40-104.mycingular.net) (Ping timeout: 240 seconds) |
| 2022-07-10 08:21:30 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-07-10 08:22:15 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-10 08:26:44 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 2022-07-10 08:26:52 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-10 08:28:29 +0200 | phma | (~phma@2001:5b0:210d:9bd8:8a05:253a:5ea2:fc2a) (Read error: Connection reset by peer) |
| 2022-07-10 08:29:25 +0200 | phma | (~phma@2001:5b0:210f:4838:4693:94f9:748:968a) |
| 2022-07-10 08:30:03 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Changing host) |
| 2022-07-10 08:30:03 +0200 | Me-me | (~me-me@user/me-me) |
| 2022-07-10 08:30:10 +0200 | acidjnk | (~acidjnk@p200300d6e7246c33bde5df6a905c507e.dip0.t-ipconnect.de) |
| 2022-07-10 08:32:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 08:32:34 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 2022-07-10 09:01:50 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-07-10 09:06:35 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) |
| 2022-07-10 09:13:05 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-10 09:17:26 +0200 | <qrpnxz> | edwardk: hey, found your cache-oblivious map. Kind of mind-blowing. Was wondering how things have changed since you uploaded that. For example, if it still had significant tradeoffs compared to Data.Map/HashMap or if you went and made another Map somewhere that I should look at or anything. |
| 2022-07-10 09:23:05 +0200 | sagax | (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 2022-07-10 09:41:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-07-10 09:42:23 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 09:44:06 +0200 | acidjnk | (~acidjnk@p200300d6e7246c33bde5df6a905c507e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-07-10 09:45:46 +0200 | acidjnk | (~acidjnk@p200300d6e7246c33f99a28ea5fa0c307.dip0.t-ipconnect.de) |
| 2022-07-10 09:46:38 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-07-10 09:51:13 +0200 | yaxu | (~yaxu@host-92-8-188-78.as13285.net) |
| 2022-07-10 09:55:27 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-10 10:01:00 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-10 10:01:55 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-10 10:02:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Remote host closed the connection) |
| 2022-07-10 10:05:43 +0200 | maroloccio | (~marolocci@151.53.133.54) (Ping timeout: 256 seconds) |
| 2022-07-10 10:06:57 +0200 | kuribas` | (~user@ptr-17d51epr8e240d12iuq.18120a2.ip6.access.telenet.be) |
| 2022-07-10 10:07:41 +0200 | maroloccio | (~marolocci@151.53.133.54) |
| 2022-07-10 10:11:11 +0200 | kuribas | (~user@ptr-17d51eo9ziftsfmurdv.18120a2.ip6.access.telenet.be) (Ping timeout: 255 seconds) |
| 2022-07-10 10:13:10 +0200 | <yaxu> | Does someone know why cabal would fail to find folders specified in `include-dirs` in a cabal file? cabal says `Warning: 'include-dirs: link/include' directory does not exist.` but it surely does. This package builds in a github action but not on my (popos linux) laptop |
| 2022-07-10 10:13:28 +0200 | <yaxu> | https://github.com/tidalcycles/Tidal/blob/main/tidal-link/tidal-link.cabal#L64-L67 |
| 2022-07-10 10:15:43 +0200 | <yaxu> | https://pastebin.com/scEpRY0C |
| 2022-07-10 10:15:57 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-07-10 10:16:16 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-07-10 10:16:49 +0200 | <maerwald[m]> | yaxu: yes, there's a bug in that cabal file |
| 2022-07-10 10:17:03 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-07-10 10:17:19 +0200 | <maerwald[m]> | The include stuff files need to be added to https://github.com/tidalcycles/Tidal/blob/main/tidal-link/tidal-link.cabal#L17 |
| 2022-07-10 10:17:30 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-07-10 10:17:41 +0200 | <yaxu> | Ah that makes sense, thanks a lot! |
| 2022-07-10 10:17:51 +0200 | <maerwald[m]> | yaxu: using `cabal build` instead will work |
| 2022-07-10 10:22:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 10:23:35 +0200 | <tomsmeding> | yaxu: `cabal install` will first create an sdist (a tarball containing only the listed source files as well as extra-source-files), then unpack and build that |
| 2022-07-10 10:24:15 +0200 | <tomsmeding> | While there is some redundant work there, the point is to build in the same environment as a build straight from hackage would use |
| 2022-07-10 10:24:53 +0200 | <tomsmeding> | `cabal build` doesn't do all that and simply builds in your working directory |
| 2022-07-10 10:25:21 +0200 | <yaxu> | I see. This is a dependency of a library that I just want to use in ghci |
| 2022-07-10 10:26:11 +0200 | <yaxu> | Should I list every c source file/header that the package uses? There might be quite a few |
| 2022-07-10 10:27:04 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-10 10:28:45 +0200 | <tomsmeding> | yaxu: I think extra-source-files supports wildcards |
| 2022-07-10 10:28:55 +0200 | <tomsmeding> | link/include/* |
| 2022-07-10 10:29:57 +0200 | <yaxu> | yes that doesn't work, but it works in filenames like `link/include/ableton/discovery/*.hpp` |
| 2022-07-10 10:31:11 +0200 | <yaxu> | "'link/include/ableton/*/*.hpp'. A wildcard '**' is only allowed as the final parent directory. Stars must not otherwise appear in the parent directories." |
| 2022-07-10 10:31:17 +0200 | <yaxu> | That error message doesn't make sense to me |
| 2022-07-10 10:32:40 +0200 | <tomsmeding> | yaxu: link/include/**/*.hpp |
| 2022-07-10 10:32:52 +0200 | <yaxu> | ahh ok misread that thanks |
| 2022-07-10 10:33:10 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-07-10 10:34:42 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-10 10:35:21 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-10 10:38:20 +0200 | <yaxu> | Sorted, thanks again maerwald[m] tomsmeding |
| 2022-07-10 10:38:29 +0200 | <yaxu> | https://github.com/tidalcycles/Tidal/pull/925/commits/8900f1919a1a9396078863c3aaa9739c64e02137 |
| 2022-07-10 10:39:47 +0200 | <tomsmeding> | Nice :) |
| 2022-07-10 10:44:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 10:47:43 +0200 | <DigitalKiwi> | tomsmeding: how come paste site only supports haskell language :( |
| 2022-07-10 10:48:04 +0200 | <tomsmeding> | DigitalKiwi: for syntax highlighting, you mean? |
| 2022-07-10 10:48:49 +0200 | <tomsmeding> | It even highlights .cabal files with haskell highlighting :p |
| 2022-07-10 10:48:50 +0200 | <DigitalKiwi> | yesums |
| 2022-07-10 10:49:03 +0200 | <tomsmeding> | I guess it could be an easy fix |
| 2022-07-10 10:49:43 +0200 | yaxu | (~yaxu@host-92-8-188-78.as13285.net) (Quit: Client closed) |
| 2022-07-10 10:49:44 +0200 | <DigitalKiwi> | i guess it could be an extremely difficult and time consumig fix |
| 2022-07-10 10:50:23 +0200 | <tomsmeding> | I have a highlight.js download in the repo, that should be a larger download that also contains rules for other languages (they have more languages, but I doubt cabal files are in there) |
| 2022-07-10 10:50:54 +0200 | <tomsmeding> | Then set the right syntax based on file extension (?), and that might just be enough |
| 2022-07-10 10:51:40 +0200 | <tomsmeding> | I'll put it on the todo list but currently recovering from a flu (and I have holiday :D) so it'll come at some point |
| 2022-07-10 10:52:29 +0200 | alp | (~alp@user/alp) |
| 2022-07-10 10:53:56 +0200 | <DigitalKiwi> | skylighting |
| 2022-07-10 10:53:59 +0200 | dcoutts | (~duncan@host86-176-29-6.range86-176.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-07-10 10:54:58 +0200 | <tomsmeding> | The haskell lib? |
| 2022-07-10 10:55:09 +0200 | <DigitalKiwi> | ya |
| 2022-07-10 10:56:29 +0200 | <tomsmeding> | Help me, skylighting is GPL, does that mean that I can depend on it from a MIT program |
| 2022-07-10 10:57:42 +0200 | <DigitalKiwi> | However, the skylighting-core package, which provides the core types and functions of this project is licensed under the BSD3 license and bundles the GPL-licensed XML files separately. |
| 2022-07-10 10:57:43 +0200 | <DigitalKiwi> | The KDE project now recommends that new syntax highlighting files be MIT licensed. |
| 2022-07-10 10:58:08 +0200 | <tomsmeding> | Yeah but the xml files are gpl-licensed |
| 2022-07-10 10:58:13 +0200 | <tomsmeding> | So that split helps naught |
| 2022-07-10 10:58:19 +0200 | <tomsmeding> | For me, at least |
| 2022-07-10 10:58:44 +0200 | <tomsmeding> | But it might be I'm misunderstanding and I can just link against the stuff because I'm not modifying anything in skylighting |
| 2022-07-10 10:59:01 +0200 | <tomsmeding> | pastebin-haskell will not be gpl because of a highlighting lib in any case |
| 2022-07-10 10:59:48 +0200 | <tomsmeding> | Also no cabal :D |
| 2022-07-10 10:59:56 +0200 | <DigitalKiwi> | https://github.com/tejasbubane/hakyll-css |
| 2022-07-10 11:00:07 +0200 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) (Quit: You have been kicked for being idle) |
| 2022-07-10 11:00:07 +0200 | toluene | (~toluene@user/toulene) (Ping timeout: 256 seconds) |
| 2022-07-10 11:01:23 +0200 | <tomsmeding> | Ah that's useful indeed |
| 2022-07-10 11:02:06 +0200 | toluene | (~toluene@user/toulene) |
| 2022-07-10 11:02:53 +0200 | <tomsmeding> | DigitalKiwi: skylighting already includes some styles though https://hackage.haskell.org/package/skylighting-core-0.12.3.1/docs/Skylighting-Styles.html |
| 2022-07-10 11:02:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 2022-07-10 11:06:00 +0200 | <tomsmeding> | Hm it seems bsd 3-clause is gpl-compatible? |
| 2022-07-10 11:07:15 +0200 | <tomsmeding> | Oh but that doesn't help |
| 2022-07-10 11:07:25 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 244 seconds) |
| 2022-07-10 11:07:35 +0200 | <darkling> | That means that you can put a 3-BSD package in a GPL-licensed project and retain the GPL. |
| 2022-07-10 11:07:38 +0200 | <darkling> | Not the other way round. |
| 2022-07-10 11:07:50 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 240 seconds) |
| 2022-07-10 11:08:08 +0200 | <tomsmeding> | Right, and I'd need the other way round, and the point of the GPL is of course that that doesn't work |
| 2022-07-10 11:08:17 +0200 | <darkling> | Indeed. |
| 2022-07-10 11:08:42 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-07-10 11:08:47 +0200 | <tomsmeding> | But thanks for confirming, I'm not well-versed in these things |
| 2022-07-10 11:08:54 +0200 | <darkling> | If the core is MIT licensed, you could use that, but you'd have to develop your own versions of the GPL-licensed XML files. |
| 2022-07-10 11:09:14 +0200 | <tomsmeding> | Yeah that is _a_ solution |
| 2022-07-10 11:09:21 +0200 | <[exa]> | tomsmeding: LGPL ? |
| 2022-07-10 11:09:32 +0200 | <tomsmeding> | The skylighting xml files are gpl, not lgpl |
| 2022-07-10 11:10:14 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-07-10 11:10:33 +0200 | <[exa]> | I thought for pastebin-haskell |
| 2022-07-10 11:10:41 +0200 | <tomsmeding> | Ah no, the haskell xml is lgpl! |
| 2022-07-10 11:10:50 +0200 | cosimone` | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-07-10 11:10:52 +0200 | <[exa]> | o really? |
| 2022-07-10 11:10:55 +0200 | <tomsmeding> | [exa]: doesn't matter, the linked stuff would need lgpl |
| 2022-07-10 11:11:06 +0200 | <tomsmeding> | https://github.com/jgm/skylighting/blob/master/skylighting-core/xml/haskell.xml |
| 2022-07-10 11:11:17 +0200 | <tomsmeding> | Would need to check all the xml files to see which are usable lol |
| 2022-07-10 11:11:43 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-07-10 11:12:44 +0200 | <darkling> | If it's LGPL, you need to be able to run the main project without it, without significantly compromising the core functionality. (And I think there are some restrictions about bundling the LGPL code in with everything else in a source release, but it's been a while since I looked at the license) |
| 2022-07-10 11:13:09 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 256 seconds) |
| 2022-07-10 11:13:31 +0200 | <tomsmeding> | :( |
| 2022-07-10 11:13:42 +0200 | <tomsmeding> | DigitalKiwi: see why I went with highlight.js :p |
| 2022-07-10 11:13:51 +0200 | <tomsmeding> | darkling: thanks again |
| 2022-07-10 11:15:05 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2022-07-10 11:15:06 +0200 | myme1 | (~myme@2a01:799:d5a:cd00:b426:d25c:a4ca:786f) (Ping timeout: 264 seconds) |
| 2022-07-10 11:15:21 +0200 | <tomsmeding> | darkling: wikipedia mentions no such restriction |
| 2022-07-10 11:15:31 +0200 | myme1 | (~myme@2a01:799:d5a:cd00:ae2e:877c:9fc6:a159) |
| 2022-07-10 11:15:50 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2022-07-10 11:17:36 +0200 | <tomsmeding> | Ah but it requires shared library linking, which ghc doesn't do for haskell code |
| 2022-07-10 11:18:10 +0200 | <tomsmeding> | darkling: were you referring to this phrase? "will operate properly with a modified version of the Library that is interface-compatible with the Linked Version." |
| 2022-07-10 11:18:50 +0200 | <darkling> | The key concept here is: 'In LGPL 2.1, the non-(L)GPLed program can then be distributed under any terms if it is not a derivative work. If it is a derivative work, then the program's terms must allow for "modification of the work for the customer's own use and reverse engineering for debugging such modifications."' |
| 2022-07-10 11:19:13 +0200 | <darkling> | And it's "derivative work" that's the complicated concept. |
| 2022-07-10 11:21:13 +0200 | <tomsmeding> | Presumably MIT allows "modification of ... such modifications"? |
| 2022-07-10 11:21:56 +0200 | <tomsmeding> | If it doesn't I should revisit my choice of license :p |
| 2022-07-10 11:22:14 +0200 | <[exa]> | gah, could everyone just use gpl? :D |
| 2022-07-10 11:22:45 +0200 | <darkling> | IIRC, MIT is basically "you can modify this code any way you like and redistribute it any way you like, with or without access to the modified source code". |
| 2022-07-10 11:23:04 +0200 | <tomsmeding> | Right |
| 2022-07-10 11:23:56 +0200 | <tomsmeding> | So in my limited understanding (from your quote), linking against LGPL code from a MIT application is allowable regardless of whether the combination counts as a derivative work of the LGPL code or not |
| 2022-07-10 11:23:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-07-10 11:24:38 +0200 | <darkling> | If it's a derivative work, then it must be released under LGPL. |
| 2022-07-10 11:24:55 +0200 | <tomsmeding> | If this is true, I wouldn't be able to use 'skylighting', but I _could_ use 'skylighting-core' with cherry-picked style files |
| 2022-07-10 11:24:56 +0200 | <DigitalKiwi> | mit is just two clause bsd |
| 2022-07-10 11:25:14 +0200 | <tomsmeding> | I'll relicense under 3-clause bsd without a second thought |
| 2022-07-10 11:25:38 +0200 | <tomsmeding> | darkling: hm, I don't see that in your quote, but would make sense |
| 2022-07-10 11:26:02 +0200 | <DigitalKiwi> | Neither the name of the [organization] nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. |
| 2022-07-10 11:26:23 +0200 | <DigitalKiwi> | can i have your permission now before you forget |
| 2022-07-10 11:27:02 +0200 | <tomsmeding> | DigitalKiwi: permission for what, for promoting pastebin-haskell using my name as an endorsement? |
| 2022-07-10 11:27:38 +0200 | <tomsmeding> | Yes, but the key phrase is derived products |
| 2022-07-10 11:27:43 +0200 | <DigitalKiwi> | no, to promote my pastebin :D |
| 2022-07-10 11:27:53 +0200 | <tomsmeding> | Right |
| 2022-07-10 11:28:01 +0200 | <tomsmeding> | Ask again when your pastebin is done :p |
| 2022-07-10 11:28:10 +0200 | <DigitalKiwi> | https://github.com/Kiwi/pastebin-haskell |
| 2022-07-10 11:28:18 +0200 | <tomsmeding> | Lol |
| 2022-07-10 11:28:22 +0200 | <DigitalKiwi> | just needs syntax highlighting ;( |
| 2022-07-10 11:28:34 +0200 | <tomsmeding> | :p |
| 2022-07-10 11:29:04 +0200 | <tomsmeding> | It seems that even only using the lgpl files from skylighting is uncertain legally |
| 2022-07-10 11:29:25 +0200 | <DigitalKiwi> | https://github.com/Kiwi/absurd-paste-client i suppose i should at least reupload pastebin-haskell as absurd-paste-server right right? |
| 2022-07-10 11:29:47 +0200 | <tomsmeding> | What would the rename accomplish :p |
| 2022-07-10 11:30:17 +0200 | <tomsmeding> | DigitalKiwi: what happens if you paste void with apc |
| 2022-07-10 11:30:33 +0200 | <darkling> | (About the skylighting XML files) We're back to the definition of "derivative work", which is where the idea about "should be able to run usefully without them" comes in. |
| 2022-07-10 11:30:40 +0200 | <tomsmeding> | Right |
| 2022-07-10 11:31:03 +0200 | <tomsmeding> | No idea if "no syntax highlighting" counts as running usefully |
| 2022-07-10 11:31:19 +0200 | <DigitalKiwi> | https://youtu.be/DF6JhvbSMxs?t=18 |
| 2022-07-10 11:31:20 +0200 | <tomsmeding> | Depends on what the exact legalese is, I guess |
| 2022-07-10 11:31:20 +0200 | <darkling> | You've still got the pastebin functionality. |
| 2022-07-10 11:31:34 +0200 | <darkling> | The problem is, there *is* no legalese. |
| 2022-07-10 11:32:32 +0200 | <darkling> | This is the sort of thing that's covered by case law in most jurisdictions (particularly the common-law based ones like US, UK), and there's precious little case law around the (L)GPL. |
| 2022-07-10 11:32:33 +0200 | <tomsmeding> | darkling: because it's too hard a concept to pin down? :P |
| 2022-07-10 11:32:39 +0200 | <tomsmeding> | Ah |
| 2022-07-10 11:32:56 +0200 | <tomsmeding> | I'm _definitely_ not going to move into legally uncertain territories |
| 2022-07-10 11:33:02 +0200 | <DigitalKiwi> | lest us forget it doesn't ever matter unless someone takes you to court lol |
| 2022-07-10 11:33:08 +0200 | <tomsmeding> | I know |
| 2022-07-10 11:33:12 +0200 | <tomsmeding> | Nobody will |
| 2022-07-10 11:33:18 +0200 | <tomsmeding> | Unless they're sick |
| 2022-07-10 11:33:30 +0200 | <DigitalKiwi> | github getting away with robbery |
| 2022-07-10 11:33:46 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-10 11:33:48 +0200 | <darkling> | Someone might ask you not to do it, though. |
| 2022-07-10 11:34:42 +0200 | <DigitalKiwi> | hey anyone want to join in my quest to sue microsoft over copilot |
| 2022-07-10 11:36:19 +0200 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1415663069733269505 |
| 2022-07-10 11:36:20 +0200 | <DigitalKiwi> | lol |
| 2022-07-10 11:37:35 +0200 | <darkling> | tomsmeding: If I were in your position and wanting to use skylighting, I'd use the skylighting-core package, provide a basic XML syntax file in my own project, and then point at the LGPL file for anyone who wants better highlighting. |
| 2022-07-10 11:39:56 +0200 | <tomsmeding> | darkling: could I host the pastebin as a website using the LGPL xml file? |
| 2022-07-10 11:40:14 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-10 11:40:14 +0200 | <darkling> | Yes. |
| 2022-07-10 11:40:28 +0200 | hnOsmium0001 | (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 2022-07-10 11:40:29 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-07-10 11:40:59 +0200 | <tomsmeding> | darkling: hm, that is an option then. More complicated than I would like though |
| 2022-07-10 11:41:47 +0200 | <darkling> | AFAIK, there's no Affero version of the LGPL anyway, and that was created precisely to extend the GPL-ness to "distribution" as a web app, because the GPL didn't deal with that case. |
| 2022-07-10 11:42:07 +0200 | <tomsmeding> | Ah |
| 2022-07-10 11:43:23 +0200 | <darkling> | However, if you want to make the source code public, you've still got to deal with your source being a derived work or not. You could ship with a small shell script that grabs the latest XML file and puts it in the right place. |
| 2022-07-10 11:43:43 +0200 | <darkling> | (But maaaaybe not if you integrate that step into the build process) |
| 2022-07-10 11:44:01 +0200 | <[exa]> | DigitalKiwi: lol |
| 2022-07-10 11:46:08 +0200 | <tomsmeding> | darkling: yes that's how I interpreted that possibility, have a script that a user can optionally run that makes the application use the LGPL xml files |
| 2022-07-10 11:46:44 +0200 | <tomsmeding> | I'd prefer the license situation to be simple |
| 2022-07-10 11:46:54 +0200 | <tomsmeding> | (for this application) |
| 2022-07-10 11:47:35 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 11:47:50 +0200 | acidjnk | (~acidjnk@p200300d6e7246c33f99a28ea5fa0c307.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-10 11:55:00 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-10 11:56:24 +0200 | maroloccio | (~marolocci@151.53.133.54) (Quit: WeeChat 3.0) |
| 2022-07-10 12:02:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-10 12:03:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-10 12:12:31 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2022-07-10 12:20:00 +0200 | <DigitalKiwi> | should i go to the trouble of emailing everyone https://raw.githubusercontent.com/NixOS/nixpkgs/master/maintainers/maintainer-list.nix or just use github notifications lol |
| 2022-07-10 12:20:30 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-10 12:20:57 +0200 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1293321119135662080 |
| 2022-07-10 12:21:45 +0200 | <DigitalKiwi> | it's about 2273 now lol |
| 2022-07-10 12:29:25 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-10 12:29:57 +0200 | <tomsmeding> | DigitalKiwi: why would you want to email them all |
| 2022-07-10 12:31:42 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 12:35:19 +0200 | cosimone` | (~user@93-44-186-171.ip98.fastwebnet.it) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-07-10 12:35:22 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-10 12:36:17 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-07-10 12:36:29 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-10 12:42:05 +0200 | <DigitalKiwi> | ...warm up |
| 2022-07-10 12:42:40 +0200 | <DigitalKiwi> | i only have 4 patrons :( https://www.patreon.com/mostlyabsurd |
| 2022-07-10 12:43:06 +0200 | <DigitalKiwi> | ...and ~6 million email addresses |
| 2022-07-10 12:45:42 +0200 | <Rembane> | Would the recipients become happy or sad by that e-mail? |
| 2022-07-10 12:57:44 +0200 | <DigitalKiwi> | both |
| 2022-07-10 13:02:38 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2022-07-10 13:04:51 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 2022-07-10 13:05:26 +0200 | <DigitalKiwi> | https://mostlyabsurd.com/files/stickers-for-all.html i |
| 2022-07-10 13:05:28 +0200 | <DigitalKiwi> | i |
| 2022-07-10 13:05:30 +0200 | <DigitalKiwi> | can |
| 2022-07-10 13:05:39 +0200 | <DigitalKiwi> | 't type .... |
| 2022-07-10 13:05:53 +0200 | <DigitalKiwi> | what i'd meant to say was i'd like to email them that lol |
| 2022-07-10 13:09:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 272 seconds) |
| 2022-07-10 13:12:28 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-10 13:12:55 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-07-10 13:18:10 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-07-10 13:20:33 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-10 13:24:24 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-10 13:28:28 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-07-10 13:28:30 +0200 | Furor | Colere |
| 2022-07-10 13:29:36 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-07-10 13:34:50 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-07-10 13:35:24 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-10 13:37:16 +0200 | phma | (~phma@2001:5b0:210f:4838:4693:94f9:748:968a) (Read error: Connection reset by peer) |
| 2022-07-10 13:46:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 13:47:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 13:48:02 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) |
| 2022-07-10 13:50:02 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-10 13:51:50 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-10 13:53:23 +0200 | phma | (~phma@host-67-44-208-203.hnremote.net) |
| 2022-07-10 13:56:35 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-10 13:57:06 +0200 | phma | (~phma@host-67-44-208-203.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-10 13:57:50 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-10 13:59:00 +0200 | phma | (~phma@2001:5b0:210d:2bb8:432d:5d7d:a63c:c40f) |
| 2022-07-10 13:59:58 +0200 | phma | (~phma@2001:5b0:210d:2bb8:432d:5d7d:a63c:c40f) (Read error: Connection reset by peer) |
| 2022-07-10 14:00:22 +0200 | phma | (~phma@host-67-44-208-134.hnremote.net) |
| 2022-07-10 14:02:44 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-10 14:03:39 +0200 | phma | (~phma@host-67-44-208-134.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-10 14:07:06 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-10 14:07:38 +0200 | phma | (~phma@host-67-44-208-149.hnremote.net) |
| 2022-07-10 14:08:15 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-10 14:09:54 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-10 14:11:05 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 256 seconds) |
| 2022-07-10 14:15:41 +0200 | maroloccio | (~marolocci@151.53.133.54) |
| 2022-07-10 14:17:42 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-10 14:18:15 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.5) |
| 2022-07-10 14:18:55 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-07-10 14:19:14 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-10 14:20:35 +0200 | <kuribas`> | What does higher kinded mean? |
| 2022-07-10 14:20:35 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-10 14:20:45 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-10 14:20:54 +0200 | <kuribas`> | Does it mean type level function, or higher order type level function? |
| 2022-07-10 14:21:11 +0200 | <kuribas`> | as in (* -> *) vs ((* -> *) -> *) |
| 2022-07-10 14:21:29 +0200 | <kuribas`> | I've seen the term used for both. |
| 2022-07-10 14:22:35 +0200 | <geekosaur> | not sure "higher kinded" means much by itself. "higher kinded data" means a data declaration which takes a non-Type parameter, for example |
| 2022-07-10 14:23:13 +0200 | <kuribas`> | geekosaur: you mean including a phantom type? |
| 2022-07-10 14:23:19 +0200 | <geekosaur> | no |
| 2022-07-10 14:23:26 +0200 | <kuribas`> | or Data-kind? |
| 2022-07-10 14:23:33 +0200 | <kuribas`> | data-kind is a non-Type |
| 2022-07-10 14:23:38 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 2022-07-10 14:23:49 +0200 | vai | (~nikola@91-150-114-80.dynamic.isp.telekom.rs) |
| 2022-07-10 14:24:08 +0200 | <geekosaur> | the HKD trick is doing something like: data Foo f (f :: * -> *) = Foo { foo1 : f Int, foo2 : f Bool, ... } |
| 2022-07-10 14:24:22 +0200 | <geekosaur> | so every field is lifted into a (usually) Functor |
| 2022-07-10 14:25:00 +0200 | <geekosaur> | which lets you have a variant where every field is a Maybe for building up a datum, then use Identity when done |
| 2022-07-10 14:25:03 +0200 | <kuribas`> | what's the term for having type functions? |
| 2022-07-10 14:25:26 +0200 | <geekosaur> | (this is usually accompanied by a closed type family which elides Identity so the result is a normal record) |
| 2022-07-10 14:25:59 +0200 | <kuribas`> | yeah, and adds complexity over a simple wrapper. |
| 2022-07-10 14:26:24 +0200 | <kuribas`> | I don't get why people are afraid of having to type `Identity` or `Const`. |
| 2022-07-10 14:27:25 +0200 | <kuribas`> | IMO the newtype wrapper makes the functor more visible, which is a good thing. |
| 2022-07-10 14:28:36 +0200 | <vai> | if i use ^>= to specify dependence on an external library, what will happen if that library changes its version requirements on base after a minor version change such that i don't have that base version installed (and it cannot be installed on its own, as it's tied to the compiler)? will cabal just switch to the lower version of the library which i can compile or will it just fail? |
| 2022-07-10 14:28:38 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-07-10 14:31:14 +0200 | <geekosaur> | that library is required to bump its version. cabal/stack solvers should determine you need the older base and use the older version of the library |
| 2022-07-10 14:31:19 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-10 14:32:28 +0200 | <geekosaur> | what it should not do is break your build, since it had a working build plan before it should continue to use that build plan |
| 2022-07-10 14:32:44 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-10 14:35:10 +0200 | <unit73e> | as much as vscode is convenient (sort off) I always end up going back to nvim |
| 2022-07-10 14:35:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 14:35:40 +0200 | <unit73e> | not much of an emacs fan, just because I would have to relearn it |
| 2022-07-10 14:39:01 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) |
| 2022-07-10 14:40:01 +0200 | <vai> | geekosaur: but solvers will not do that, right? |
| 2022-07-10 14:40:19 +0200 | <kuribas`> | geekosaur: https://medium.com/@johnmcclean/simulating-higher-kinded-types-in-java-b52a18b72c74 |
| 2022-07-10 14:40:30 +0200 | kor1 | (~kor1@user/kor1) (Ping timeout: 240 seconds) |
| 2022-07-10 14:40:33 +0200 | <kuribas`> | geekosaur: here higher kinded just seems to mean "having type functions". |
| 2022-07-10 14:41:00 +0200 | <geekosaur[m]> | Solvers will not do what? |
| 2022-07-10 14:42:20 +0200 | acidjnk | (~acidjnk@p200300d6e7246c33f99a28ea5fa0c307.dip0.t-ipconnect.de) |
| 2022-07-10 14:43:05 +0200 | <geekosaur[m]> | kuribas`: I think everyone has a different definition, like everyone has a different definition of functor |
| 2022-07-10 14:43:37 +0200 | <kuribas`> | How many language allow nAry type constructors? |
| 2022-07-10 14:44:22 +0200 | <vai> | select the lower version because it needs base that i have, unlike a higher version |
| 2022-07-10 14:45:26 +0200 | <geekosaur[m]> | Solvers do that, it's a large part of why they exist |
| 2022-07-10 14:45:55 +0200 | <vai> | cool then |
| 2022-07-10 14:46:43 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-10 14:48:48 +0200 | <kuribas`> | java doesn't allow nAry types in generics, does it? |
| 2022-07-10 14:49:00 +0200 | <kuribas`> | Functor isn't expressible? |
| 2022-07-10 14:52:27 +0200 | <geekosaur[m]> | I don't think so |
| 2022-07-10 14:52:59 +0200 | <geekosaur[m]> | That said I am no Java expert |
| 2022-07-10 14:53:40 +0200 | vai | (~nikola@91-150-114-80.dynamic.isp.telekom.rs) (Quit: leaving) |
| 2022-07-10 14:54:40 +0200 | <hpc> | yeah, you can't class Foo<F> {F<A> something(){}} |
| 2022-07-10 14:55:11 +0200 | <geekosaur[m]> | And in any case I pointed to functor just because it has at least three different meanings. |
| 2022-07-10 14:55:57 +0200 | <geekosaur[m]> | The C++ one might be partially doable in Java |
| 2022-07-10 14:56:30 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-07-10 14:57:21 +0200 | kor1 | (~kor1@user/kor1) |
| 2022-07-10 14:59:44 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-10 14:59:50 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-07-10 15:06:16 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) |
| 2022-07-10 15:06:52 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 2022-07-10 15:11:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 264 seconds) |
| 2022-07-10 15:11:43 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-07-10 15:21:36 +0200 | <tomsmeding> | A c++ "functor" is an object with an overloaded function-application operation |
| 2022-07-10 15:21:58 +0200 | <tomsmeding> | Completely unrelated to what haskellers understand when they hear "functor" :p |
| 2022-07-10 15:22:54 +0200 | <geekosaur> | exactly. and then there's the ML definition, which is a parameterized module |
| 2022-07-10 15:23:27 +0200 | <geekosaur> | gotta be careful with what others mean by various terms |
| 2022-07-10 15:24:06 +0200 | <Rembane> | And there's at least one definition in category theory and other mathematics. |
| 2022-07-10 15:28:42 +0200 | phma_ | (~phma@host-67-44-209-41.hnremote.net) |
| 2022-07-10 15:29:08 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-07-10 15:29:16 +0200 | phma | (~phma@host-67-44-208-149.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-10 15:29:24 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-07-10 15:30:12 +0200 | <geekosaur> | (and in particular it's not uncommon that other languages try to take something from Haskell, but treat just one aspect of it as the main aspect because it's the only one they can emulate) |
| 2022-07-10 15:30:52 +0200 | Guest1550 | (~martin@ip5f5bdf31.dynamic.kabel-deutschland.de) |
| 2022-07-10 15:30:57 +0200 | AndChat-624225 | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-07-10 15:31:10 +0200 | alexhandy | (~trace@user/trace) |
| 2022-07-10 15:36:43 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-10 15:38:22 +0200 | Guest1550 | BusConscious |
| 2022-07-10 15:38:54 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-10 15:42:00 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-07-10 15:42:23 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-07-10 15:42:24 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-10 15:44:35 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-10 15:47:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 15:48:57 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-10 15:50:22 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-10 15:51:20 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-10 15:52:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a3df:31c3:754f:b320) (Ping timeout: 272 seconds) |
| 2022-07-10 15:52:21 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-07-10 15:54:19 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 15:55:30 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-10 16:01:55 +0200 | kenran | (~kenran@200116b82bba5a00b5db2db65ae018a5.dip.versatel-1u1.de) |
| 2022-07-10 16:03:08 +0200 | kenran | (~kenran@200116b82bba5a00b5db2db65ae018a5.dip.versatel-1u1.de) (Client Quit) |
| 2022-07-10 16:07:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 16:07:44 +0200 | <matthewmosior> | Hello! |
| 2022-07-10 16:10:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-10 16:11:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 16:15:32 +0200 | <tomsmeding> | o/ |
| 2022-07-10 16:15:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-10 16:16:24 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-10 16:17:33 +0200 | junjie_wu | (~user@103.107.42.32) |
| 2022-07-10 16:19:44 +0200 | <junjie_wu> | Hi there, a maybe silly question. I'm new to Haskell and just learned that Maybe can be a Monoid. One way is the Last newtype, after looking into the source code, I'm wondering why it does not have a customized mconcat method. Implement mconcat using foldl' is definitely better than the default foldr in performance. Can anybody enlighten me the reason? |
| 2022-07-10 16:20:55 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-07-10 16:23:27 +0200 | <kuribas`> | I don't know about mconcat, but there is a strict foldMap in Data.Foldable. |
| 2022-07-10 16:24:02 +0200 | <kuribas`> | > getLast $ foldMap Last [Nothing, Just 1, Just 3] |
| 2022-07-10 16:24:04 +0200 | <lambdabot> | error: |
| 2022-07-10 16:24:04 +0200 | <lambdabot> | Ambiguous occurrence ‘getLast’ |
| 2022-07-10 16:24:04 +0200 | <lambdabot> | It could refer to |
| 2022-07-10 16:24:23 +0200 | <kuribas`> | > Data.Monoid.getLast $ foldMap Last [Nothing, Just 1, Just 3] |
| 2022-07-10 16:24:25 +0200 | <lambdabot> | error: |
| 2022-07-10 16:24:25 +0200 | <lambdabot> | Ambiguous occurrence ‘Last’ |
| 2022-07-10 16:24:25 +0200 | <lambdabot> | It could refer to |
| 2022-07-10 16:24:34 +0200 | <kuribas`> | > Data.Monoid.getLast $ foldMap Data.Monoid.Last [Nothing, Just 1, Just 3] |
| 2022-07-10 16:24:36 +0200 | <lambdabot> | Just 3 |
| 2022-07-10 16:24:41 +0200 | <kuribas`> | > Data.Monoid.getLast $ foldMap Data.Monoid.Last [Nothing, undefined, Just 3] |
| 2022-07-10 16:24:43 +0200 | <lambdabot> | Just 3 |
| 2022-07-10 16:24:50 +0200 | <kuribas`> | > Data.Monoid.getLast $ foldMap' Data.Monoid.Last [Nothing, undefined, Just 3] |
| 2022-07-10 16:24:53 +0200 | <lambdabot> | *Exception: Prelude.undefined |
| 2022-07-10 16:24:56 +0200 | <[exa]> | also `ala` |
| 2022-07-10 16:25:12 +0200 | <[exa]> | junjie_wu: you might like this https://hackage.haskell.org/package/lens-5.1.1/docs/Control-Lens-Combinators.html#v:ala |
| 2022-07-10 16:26:09 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-10 16:28:18 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-10 16:29:08 +0200 | <junjie_wu> | [exa] kuribas` thanks for the tips! |
| 2022-07-10 16:34:06 +0200 | junjie_wu | (~user@103.107.42.32) (Quit: rcirc on GNU Emacs 28.1) |
| 2022-07-10 16:36:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 16:38:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 2022-07-10 16:42:15 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) (Remote host closed the connection) |
| 2022-07-10 16:42:21 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-10 16:43:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-10 16:43:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 255 seconds) |
| 2022-07-10 17:00:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 17:00:50 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-10 17:02:52 +0200 | waleee | (~waleee@h-176-10-144-223.NA.cust.bahnhof.se) |
| 2022-07-10 17:03:40 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-10 17:06:43 +0200 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-07-10 17:06:44 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-10 17:09:14 +0200 | lexixcx | (~alex@cpc151793-shef17-2-0-cust19.17-1.cable.virginm.net) |
| 2022-07-10 17:11:51 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-07-10 17:12:09 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-07-10 17:14:45 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-10 17:15:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 17:16:12 +0200 | Guest|69 | (~Guest|69@1.200.121.21) |
| 2022-07-10 17:16:15 +0200 | Guest|69 | (~Guest|69@1.200.121.21) (Client Quit) |
| 2022-07-10 17:16:18 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 2022-07-10 17:16:52 +0200 | Guest|74 | (~Guest|74@1.200.121.21) |
| 2022-07-10 17:18:05 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 256 seconds) |
| 2022-07-10 17:19:51 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-10 17:20:29 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2022-07-10 17:21:06 +0200 | <Guest|74> | excuse me |
| 2022-07-10 17:21:28 +0200 | <Guest|74> | i have issue on installing |
| 2022-07-10 17:21:58 +0200 | <Guest|74> | am i in the right chanel? |
| 2022-07-10 17:22:10 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 2022-07-10 17:22:22 +0200 | <int-e> | maybe |
| 2022-07-10 17:23:03 +0200 | <int-e> | (for example, if you're installing an antenna... no you're not) |
| 2022-07-10 17:23:54 +0200 | <Guest|74> | curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 2022-07-10 17:24:36 +0200 | <Guest|74> | i copy this to term |
| 2022-07-10 17:24:54 +0200 | <Guest|74> | but it failed |
| 2022-07-10 17:25:18 +0200 | <Guest|74> | by macOs |
| 2022-07-10 17:25:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 2022-07-10 17:26:39 +0200 | <Guest|74> | curl performs SSL certificate verification by default, using a "bundle" |
| 2022-07-10 17:26:40 +0200 | <Guest|74> | of Certificate Authority (CA) public keys (CA certs). If the default |
| 2022-07-10 17:26:40 +0200 | <Guest|74> | bundle file isn't adequate, you can specify an alternate file |
| 2022-07-10 17:26:41 +0200 | <Guest|74> | using the --cacert option. |
| 2022-07-10 17:26:41 +0200 | <Guest|74> | If this HTTPS server uses a certificate signed by a CA represented in |
| 2022-07-10 17:26:42 +0200 | <Guest|74> | the bundle, the certificate verification probably failed due to a |
| 2022-07-10 17:26:42 +0200 | <Guest|74> | problem with the certificate (it might be expired, or the name might |
| 2022-07-10 17:26:43 +0200 | <Guest|74> | not match the domain name in the URL). |
| 2022-07-10 17:26:43 +0200 | <Guest|74> | If you'd like to turn off curl's verification of the certificate, use |
| 2022-07-10 17:26:44 +0200 | <Guest|74> | the -k (or --insecure) option. |
| 2022-07-10 17:26:44 +0200 | <Guest|74> | HTTPS-proxy has similar options --proxy-cacert and --proxy-insecure. |
| 2022-07-10 17:27:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Remote host closed the connection) |
| 2022-07-10 17:27:10 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-10 17:27:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 2022-07-10 17:27:34 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-10 17:28:03 +0200 | waleee | (~waleee@h-176-10-144-223.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 2022-07-10 17:29:09 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-10 17:31:13 +0200 | shapr | (~user@2600:4040:2d31:7100:a531:2b41:3f53:e202) (Remote host closed the connection) |
| 2022-07-10 17:31:26 +0200 | shapr | (~user@2600:4040:2d31:7100:101e:d56a:4512:22d5) |
| 2022-07-10 17:32:22 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-07-10 17:32:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 17:34:08 +0200 | <[exa]> | Guest|74: well looks like Mac certificates changed a bit or something |
| 2022-07-10 17:34:22 +0200 | <[exa]> | Guest|74: can you download the file using the browser and run it manually with 'sh' ? |
| 2022-07-10 17:34:57 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 2022-07-10 17:35:12 +0200 | <Guest|74> | browers?? |
| 2022-07-10 17:35:52 +0200 | <Guest|74> | sorry what is sh |
| 2022-07-10 17:36:07 +0200 | <[exa]> | ah you are new to commandline? |
| 2022-07-10 17:36:24 +0200 | <Guest|74> | yes very new |
| 2022-07-10 17:36:39 +0200 | <Guest|74> | like a new born baby |
| 2022-07-10 17:36:42 +0200 | <[exa]> | you can type this url https://get-ghcup.haskell.org into the browser, which should download you the script which installs the ghcup |
| 2022-07-10 17:37:11 +0200 | <[exa]> | you will then need to run the script manually from terminal, using `sh` which is shell program, aka terminal command interpreter, which can run the installation script |
| 2022-07-10 17:37:42 +0200 | <maerwald> | [exa]: we're already instructing on #haskell-ghcup |
| 2022-07-10 17:37:49 +0200 | <[exa]> | ah okay great :] |
| 2022-07-10 17:37:56 +0200 | <[exa]> | good luck then |
| 2022-07-10 17:39:30 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 260 seconds) |
| 2022-07-10 17:41:26 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-10 17:41:29 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-10 17:42:26 +0200 | kor1 | (~kor1@user/kor1) (Quit: Leaving.) |
| 2022-07-10 17:42:35 +0200 | <Guest|74> | thank you |
| 2022-07-10 17:43:10 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-07-10 17:45:33 +0200 | <lexixcx> | I am trying to get Haskell Language Server working, but I get this error log https://pastebin.com/dCgm0UNM |
| 2022-07-10 17:45:54 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-10 17:45:59 +0200 | <maerwald> | lexixcx: https://github.com/haskell/vscode-haskell#ghc-abis-dont-match |
| 2022-07-10 17:46:15 +0200 | <lexixcx> | thanks maerwald, I will read this |
| 2022-07-10 17:46:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-10 17:46:38 +0200 | ubert | (~Thunderbi@178.165.191.175.wireless.dyn.drei.com) |
| 2022-07-10 17:48:46 +0200 | <radhika> | Hi .. are there any tutorials or examples of use of Haskell for data science.. eg like importing a csv and getting aggregates like sum group etc and outputting to another csv?? |
| 2022-07-10 17:53:15 +0200 | <monochrom> | I thought that was Excel. |
| 2022-07-10 17:54:02 +0200 | <Rembane> | radhika: There's a book about it, I haven't read it but it might be helpful for you: http://haskelldata.com/ |
| 2022-07-10 17:55:29 +0200 | <lexixcx> | thanks maerwald, you fixed it for me |
| 2022-07-10 17:55:42 +0200 | <mesaoptimizer> | that ABI error was quite annoying. I switched to cabal after encountering it |
| 2022-07-10 17:56:37 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 256 seconds) |
| 2022-07-10 17:56:37 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2022-07-10 17:56:49 +0200 | <radhika> | monochrom: it is excel work.. I want to try and automate it in Haskell.. |
| 2022-07-10 17:57:07 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-07-10 17:57:09 +0200 | <radhika> | Similar to what is done using pandas in python |
| 2022-07-10 17:58:10 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2022-07-10 17:58:16 +0200 | <radhika> | Rembane: I saw this book.. not exactly what I was looking for.. focussed on stats.. |
| 2022-07-10 17:58:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-10 17:59:11 +0200 | <Rembane> | radhika: If you want to use pandas I think pandas is the best tool for the job. |
| 2022-07-10 17:59:22 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-10 17:59:39 +0200 | <Rembane> | radhika: OTOH, there is this: https://hackage.haskell.org/package/Frames |
| 2022-07-10 17:59:49 +0200 | <radhika> | Rembane: r u saying Haskell is not suitable for this kind of work?? |
| 2022-07-10 18:00:09 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-10 18:00:13 +0200 | <Rembane> | radhika: Yes |
| 2022-07-10 18:06:43 +0200 | <radhika> | Rembane: oh.. I read somewhere Haskell is extremely suitable for data pipelines.. was not able to find any examples so was curious.. |
| 2022-07-10 18:07:42 +0200 | <radhika> | Rembane: thanks for the help |
| 2022-07-10 18:07:49 +0200 | <Rembane> | radhika: I haven't seen it used for that in the wild. No worries. :) |
| 2022-07-10 18:09:05 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-07-10 18:09:14 +0200 | econo | (uid147250@user/econo) |
| 2022-07-10 18:10:30 +0200 | crazazy | (~chatzilla@2001:1c00:831:4700:d072:b7cc:eb75:14a8) |
| 2022-07-10 18:13:43 +0200 | jgeerds | (~jgeerds@55d437cf.access.ecotel.net) |
| 2022-07-10 18:14:43 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-10 18:15:09 +0200 | califax | (~califax@user/califx) |
| 2022-07-10 18:15:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 18:15:52 +0200 | beka | (~beka@104.193.170.240) |
| 2022-07-10 18:16:03 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-10 18:16:38 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-07-10 18:17:12 +0200 | phma_ | phma |
| 2022-07-10 18:19:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-07-10 18:20:06 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-10 18:20:23 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-10 18:21:45 +0200 | jgeerds | (~jgeerds@55d437cf.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-07-10 18:22:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-10 18:23:17 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-07-10 18:23:17 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-07-10 18:23:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Remote host closed the connection) |
| 2022-07-10 18:23:20 +0200 | allbery_b | geekosaur |
| 2022-07-10 18:23:50 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 240 seconds) |
| 2022-07-10 18:24:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 18:24:52 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 18:26:13 +0200 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2022-07-10 18:27:11 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-10 18:27:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 2022-07-10 18:28:32 +0200 | Me-me | (~me-me@v.working.name) |
| 2022-07-10 18:31:20 +0200 | lexixcx | (~alex@cpc151793-shef17-2-0-cust19.17-1.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-10 18:36:32 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 2022-07-10 18:38:00 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 272 seconds) |
| 2022-07-10 18:38:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Remote host closed the connection) |
| 2022-07-10 18:42:42 +0200 | gaff | (~gaff@49.207.216.80) |
| 2022-07-10 18:42:48 +0200 | gaff | (~gaff@49.207.216.80) (Client Quit) |
| 2022-07-10 18:44:01 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-07-10 18:44:15 +0200 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 3.5) |
| 2022-07-10 18:48:11 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-07-10 18:48:53 +0200 | Guest|74 | (~Guest|74@1.200.121.21) (Quit: Connection closed) |
| 2022-07-10 18:49:13 +0200 | hnOsmium0001 | (uid453710@user/hnOsmium0001) |
| 2022-07-10 18:52:01 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 2022-07-10 18:54:03 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-10 18:55:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-10 18:56:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 18:59:27 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-07-10 18:59:27 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 276 seconds) |
| 2022-07-10 19:01:21 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-10 19:02:01 +0200 | <__monty__> | Maybe it's because of all the streaming frameworks? |
| 2022-07-10 19:05:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 19:05:35 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-10 19:06:32 +0200 | yax__ | (~yax@user/yax/x-9576643) |
| 2022-07-10 19:07:27 +0200 | <yax__> | hi |
| 2022-07-10 19:07:43 +0200 | noddy | (~user@user/noddy) (Quit: WeeChat 3.5) |
| 2022-07-10 19:07:49 +0200 | <geekosaur> | hi |
| 2022-07-10 19:09:03 +0200 | jgeerds | (~jgeerds@55d437cf.access.ecotel.net) |
| 2022-07-10 19:09:43 +0200 | yax__ | (~yax@user/yax/x-9576643) (Client Quit) |
| 2022-07-10 19:10:44 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-07-10 19:11:13 +0200 | yax___ | (~yax@user/yax/x-9576643) |
| 2022-07-10 19:13:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-07-10 19:17:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-10 19:18:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 19:19:08 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2022-07-10 19:19:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-10 19:21:33 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 2022-07-10 19:26:56 +0200 | ShalokShalom | (~quassel@2a02:8109:b40:42f4:4f45:338b:3ba8:8f20) |
| 2022-07-10 19:27:17 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2022-07-10 19:28:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 19:30:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-10 19:30:59 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) |
| 2022-07-10 19:32:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-10 19:39:46 +0200 | ShalokShalom | (~quassel@2a02:8109:b40:42f4:4f45:338b:3ba8:8f20) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2022-07-10 19:43:57 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-07-10 19:44:18 +0200 | alp | (~alp@user/alp) |
| 2022-07-10 19:44:45 +0200 | crazazy | (~chatzilla@2001:1c00:831:4700:d072:b7cc:eb75:14a8) (Quit: ChatZilla 0.11 [SeaMonkey 2.53.11/20220220154834]) |
| 2022-07-10 19:49:10 +0200 | henrytill | (~user@2601:204:e881:4ac0:b3e4:6ff0:1e3c:3008) |
| 2022-07-10 19:57:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 20:01:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 20:02:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 20:06:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-10 20:07:54 +0200 | yax___ | (~yax@user/yax/x-9576643) (Ping timeout: 264 seconds) |
| 2022-07-10 20:11:06 +0200 | martin02 | (~silas@141.84.69.76) (Ping timeout: 272 seconds) |
| 2022-07-10 20:15:19 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 20:15:34 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-10 20:17:08 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-07-10 20:19:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 20:22:55 +0200 | martin02 | (~silas@141.84.69.76) |
| 2022-07-10 20:23:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 20:23:58 +0200 | acacia | (~alloca@user/suppi) (Quit: WeeChat 1.9.1) |
| 2022-07-10 20:24:26 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-10 20:25:08 +0200 | yax__ | (~yax@user/yax/x-9576643) |
| 2022-07-10 20:29:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 20:31:08 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-10 20:31:33 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-10 20:32:30 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 2022-07-10 20:33:47 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-10 20:35:48 +0200 | Fischmie1 | (~Fischmiep@user/Fischmiep) (Quit: WeeChat 3.0) |
| 2022-07-10 20:35:57 +0200 | henrytill | (~user@2601:204:e881:4ac0:b3e4:6ff0:1e3c:3008) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-07-10 20:37:40 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-10 20:41:51 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-07-10 20:43:41 +0200 | mzan | (~quassel@mail.asterisell.com) (Client Quit) |
| 2022-07-10 20:44:45 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-10 20:46:22 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-10 20:46:33 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-10 20:48:03 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-07-10 20:49:30 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-10 20:52:01 +0200 | yax__ | (~yax@user/yax/x-9576643) (Remote host closed the connection) |
| 2022-07-10 20:53:57 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-07-10 21:03:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-10 21:07:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-10 21:07:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-10 21:08:47 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2022-07-10 21:10:29 +0200 | kuribas` | (~user@ptr-17d51epr8e240d12iuq.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-07-10 21:12:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) () |
| 2022-07-10 21:17:15 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-10 21:18:49 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-10 21:21:42 +0200 | jgeerds | (~jgeerds@55d437cf.access.ecotel.net) (Ping timeout: 264 seconds) |
| 2022-07-10 21:21:51 +0200 | beka | (~beka@104.193.170.240) (Quit: WeeChat 3.0) |
| 2022-07-10 21:23:18 +0200 | ubert | (~Thunderbi@178.165.191.175.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2022-07-10 21:27:17 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-10 21:31:02 +0200 | dostoevsky6 | (~5c42c5384@user/dostoevsky) |
| 2022-07-10 21:33:05 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 256 seconds) |
| 2022-07-10 21:33:06 +0200 | dostoevsky6 | dostoevsky |
| 2022-07-10 21:38:45 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2022-07-10 21:45:08 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-07-10 21:47:29 +0200 | Guest2638 | (~Guest26@136.56.140.2) |
| 2022-07-10 21:48:06 +0200 | <Guest2638> | Are there any examples of Profunctors that are Sieves but not Representable? |
| 2022-07-10 21:48:26 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-10 21:50:00 +0200 | <Guest2638> | Is it a case like Distributive an Functor.Representable, where they could actually be a single class? |
| 2022-07-10 21:53:40 +0200 | <Guest2638> | I tried reading ncatlab, and they talk about sieves being a subset of representable functors, but I'm not sure whether it's talking about the same things. |
| 2022-07-10 21:54:50 +0200 | dudek | (~dudek@185.150.236.103) |
| 2022-07-10 21:55:33 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-07-10 21:56:36 +0200 | <geekosaur> | subset sounds like it would go the other direction, assuming they are: there would be things that are Representable but not Sieve |
| 2022-07-10 21:57:13 +0200 | <geekosaur> | but I know very little about these things, and the only person I know who does I'm hesitant to randomly bug |
| 2022-07-10 21:57:21 +0200 | <Guest2638> | Yeah, but again, I'm not sure whether they're talking about the same thing. |
| 2022-07-10 21:58:12 +0200 | <Guest2638> | No worries. Nobody is going to die if I don't find out today. |
| 2022-07-10 22:00:52 +0200 | <Guest2638> | 'Sieve' and 'Profunctor.Representable' do seem to break up 'Functor.Representable' into separate index and tabulate classes. Again, no idea which way is more sound. |
| 2022-07-10 22:01:27 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-07-10 22:01:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-10 22:01:47 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-10 22:02:49 +0200 | mikoto-chan | (~mikoto-ch@d59mf84twhjn22gzzgy-4.rev.dnainternet.fi) |
| 2022-07-10 22:03:55 +0200 | <sshine> | in other news: someone died because Guest2638 didn't find out today. |
| 2022-07-10 22:04:01 +0200 | <pleo> | dude |
| 2022-07-10 22:04:27 +0200 | <sshine> | :-P |
| 2022-07-10 22:05:45 +0200 | <hpc> | maybe you're reading the conditional wrong, and if he finds out today someone /will/ die |
| 2022-07-10 22:05:53 +0200 | pleo | thepope |
| 2022-07-10 22:06:03 +0200 | <sshine> | if representable functors are isomorphic to the reader monad, what's the use of having a separate notion? |
| 2022-07-10 22:07:03 +0200 | <geekosaur> | is that a general isomorphism, or one specific to Hask? |
| 2022-07-10 22:07:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-10 22:07:32 +0200 | <sshine> | ah, it's a general thing. I see that a Representable is indexable by some concrete Haskell type. |
| 2022-07-10 22:07:56 +0200 | <hpc> | look at the instance lists on hackage |
| 2022-07-10 22:08:01 +0200 | <hpc> | they're also different kinds entirely |
| 2022-07-10 22:08:26 +0200 | <hpc> | for example, there's instance Representable Identity |
| 2022-07-10 22:10:14 +0200 | thepope | billcosby |
| 2022-07-10 22:10:51 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-10 22:11:03 +0200 | <sshine> | so something is always Representable with respect to a particular Rep f :: * for each instance. |
| 2022-07-10 22:11:36 +0200 | <billcosby> | no |
| 2022-07-10 22:12:03 +0200 | <sshine> | https://hackage.haskell.org/package/adjunctions-4.4/docs/src/Data-Functor-Rep.html#line-339 -- it just looks that way. how can type Rep differ for one instance, then? |
| 2022-07-10 22:17:37 +0200 | <monochrom> | The reader monad is a specific programming thing. Representable functors are a general category theory thing. |
| 2022-07-10 22:17:37 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-07-10 22:17:41 +0200 | jgeerds | (~jgeerds@55d437cf.access.ecotel.net) |
| 2022-07-10 22:18:00 +0200 | <geekosaur> | that was what I was angling toward with the Hask question tbh |
| 2022-07-10 22:18:15 +0200 | <sshine> | sure, I understand. |
| 2022-07-10 22:18:29 +0200 | dcoutts | (~duncan@host86-176-29-6.range86-176.btcentralplus.com) |
| 2022-07-10 22:18:46 +0200 | geekosaur | is rather more devops than math 🙂 |
| 2022-07-10 22:18:59 +0200 | <monochrom> | However I don't make a big fuzz about the difference when representable functors are applied to programming. Then it's the reader monad. |
| 2022-07-10 22:19:07 +0200 | <monochrom> | Why are there two notions? |
| 2022-07-10 22:19:29 +0200 | <sshine> | so I suppose in general you can think of a Representable instance over some type with multiple Rep f's. but you can't have multiple instances of Representable for the same type in Haskell with differing Rep f's, can you? |
| 2022-07-10 22:19:43 +0200 | <monochrom> | Well if you can explain why there are these two notions: continuations and callbacks, then I know how to answer. :) |
| 2022-07-10 22:20:08 +0200 | <sshine> | monochrom, I think that comparison makes sense to me :) |
| 2022-07-10 22:20:21 +0200 | <monochrom> | BTW I also know of people who advocate unnecessary differences ("differences") between flatMap and >>= |
| 2022-07-10 22:23:43 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-07-10 22:24:22 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-10 22:24:34 +0200 | <dolio> | https://ncatlab.org/nlab/show/concept+with+an+attitude |
| 2022-07-10 22:25:37 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-07-10 22:26:36 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
| 2022-07-10 22:26:56 +0200 | <int-e> | :t concatMap |
| 2022-07-10 22:26:57 +0200 | <lambdabot> | Foldable t => (a -> [b]) -> t a -> [b] |
| 2022-07-10 22:27:35 +0200 | machinedgod | (~machinedg@184.68.124.102) |
| 2022-07-10 22:27:58 +0200 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-07-10 22:30:57 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-07-10 22:31:09 +0200 | alexhandy | (~trace@user/trace) |
| 2022-07-10 22:33:11 +0200 | <Guest2638> | `instance MonadReader () Identity where{ reader f = Identity (f ()); local _ x = x }` |
| 2022-07-10 22:33:17 +0200 | <Guest2638> | It's just trivial. |
| 2022-07-10 22:34:59 +0200 | billcosby | pleo |
| 2022-07-10 22:36:05 +0200 | pavonia | (~user@user/siracusa) |
| 2022-07-10 22:37:21 +0200 | <hpc> | dolio: that's a good link |
| 2022-07-10 22:37:45 +0200 | chomwitt | (~chomwitt@2a02:587:dc0d:4a00:bc12:23b1:7459:b5b8) |
| 2022-07-10 22:37:50 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-07-10 22:40:00 +0200 | <dolio> | It pays to read the nlab. |
| 2022-07-10 22:44:38 +0200 | Guest2638 | (~Guest26@136.56.140.2) (Ping timeout: 252 seconds) |
| 2022-07-10 22:44:56 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 255 seconds) |
| 2022-07-10 22:45:57 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-10 22:46:09 +0200 | pleo | billcosby |
| 2022-07-10 22:48:57 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-10 22:51:50 +0200 | mikoto-chan | (~mikoto-ch@d59mf84twhjn22gzzgy-4.rev.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2022-07-10 22:53:40 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-07-10 22:56:24 +0200 | cosimone` | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-07-10 22:56:52 +0200 | dsrt^ | (~dsrt@50-246-23-230-static.hfc.comcastbusiness.net) |
| 2022-07-10 22:57:01 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 2022-07-10 22:57:41 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Read error: Connection reset by peer) |
| 2022-07-10 23:03:04 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-07-10 23:07:24 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-10 23:07:43 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-07-10 23:10:11 +0200 | Guest2652 | (~Guest26@136.56.140.2) |
| 2022-07-10 23:20:10 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-10 23:21:40 +0200 | billcosby | (~pleo@user/pleo) (Quit: quit) |
| 2022-07-10 23:21:57 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-10 23:23:54 +0200 | pleo | (~pleo@user/pleo) (Client Quit) |
| 2022-07-10 23:24:10 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-10 23:24:36 +0200 | Guest2652 | (~Guest26@136.56.140.2) (Quit: Client closed) |
| 2022-07-10 23:24:50 +0200 | pleo | shutup |
| 2022-07-10 23:28:20 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Remote host closed the connection) |
| 2022-07-10 23:28:41 +0200 | dsrt^ | (~dsrt@50-246-23-230-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 2022-07-10 23:37:22 +0200 | adium | (adium@user/adium) (Ping timeout: 246 seconds) |
| 2022-07-10 23:37:42 +0200 | <shutup> | Hi My name Is Edward Twindleton |
| 2022-07-10 23:38:27 +0200 | <shutup> | I am from Glasgow Steer Committee |
| 2022-07-10 23:39:08 +0200 | <shutup> | I like rugby because I am closested gay man |
| 2022-07-10 23:41:13 +0200 | <geekosaur> | wrong channel |
| 2022-07-10 23:45:27 +0200 | machinedgod | (~machinedg@184.68.124.102) (Ping timeout: 276 seconds) |
| 2022-07-10 23:48:08 +0200 | dsrt^ | (~dsrt@50-246-23-230-static.hfc.comcastbusiness.net) |
| 2022-07-10 23:49:39 +0200 | shutup | billcosby |
| 2022-07-10 23:58:02 +0200 | <monochrom> | You know what, |
| 2022-07-10 23:58:04 +0200 | ChanServ | +o monochrom |
| 2022-07-10 23:58:08 +0200 | monochrom | +b *!*@user/pleo |
| 2022-07-10 23:58:08 +0200 | billcosby | monochrom (billcosby) |
| 2022-07-10 23:58:34 +0200 | monochrom | -b+b *!*@user/pleo $a:pleo |
| 2022-07-10 23:58:40 +0200 | monochrom | -o monochrom |
| 2022-07-10 23:58:55 +0200 | <geekosaur> | I considered it but figured that was the lamest troll I've seen in a long time and not really worthy of any response |
| 2022-07-10 23:59:26 +0200 | <geekosaur> | so I said "wrong channel" and went back to making dinner |
| 2022-07-10 23:59:33 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-10 23:59:36 +0200 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |