2025-04-13 00:00:04 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-04-13 00:00:46 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-13 00:01:57 +0200 | <[exa]> | monochrom: I should probably ask if it works by accident, I can't find any docs that would say it should work |
2025-04-13 00:05:28 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-04-13 00:05:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 00:05:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Ping timeout: 260 seconds) |
2025-04-13 00:06:01 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-13 00:06:08 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-13 00:07:38 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 00:10:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-13 00:17:53 +0200 | ludihan | (~ludihan@189.36.207.182) (Quit: ludihan) |
2025-04-13 00:21:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 00:24:44 +0200 | <haskellbridge> | <Liamzee> do you know if anyone ever uses stuff like this? |
2025-04-13 00:24:44 +0200 | <haskellbridge> | <Liamzee> https://miracuves.com/upwork-clone/ |
2025-04-13 00:24:44 +0200 | <haskellbridge> | <Liamzee> if someone made a foss version and put it up on github / hackage, would anyone ever use it? |
2025-04-13 00:25:31 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:f900:ab6f:ff57:4715:5eec) (Ping timeout: 276 seconds) |
2025-04-13 00:26:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 00:29:28 +0200 | ludihan | (~ludihan@189.36.207.182) |
2025-04-13 00:29:53 +0200 | <geekosaur> | depends on how widely you advertise it, I'd guess |
2025-04-13 00:31:59 +0200 | <geekosaur> | actually, now that I've actually looked at it, it could probably be done FOSS but it smells of consultantware so you'd best be ready to provide lots of support |
2025-04-13 00:32:54 +0200 | <geekosaur> | and, uh, anyone that is willing to put that much effort into it generally doesn't want to release their source code |
2025-04-13 00:34:22 +0200 | <haskellbridge> | <Liamzee> thanks geekosaur, hope you're doing alright |
2025-04-13 00:34:49 +0200 | <haskellbridge> | <Liamzee> geekosaur: because I care about a related project but would likely have an anxiety attack if i focused on the related project |
2025-04-13 00:34:54 +0200 | <geekosaur> | hand's still playing up, will probably have to contact orthopedics Monday |
2025-04-13 00:35:00 +0200 | <haskellbridge> | <Liamzee> so make a dumber, simpler project as foss |
2025-04-13 00:35:03 +0200 | <haskellbridge> | <Liamzee> sorry to hear, geekosaur |
2025-04-13 00:35:18 +0200 | <geekosaur> | flip side, at least I can type now |
2025-04-13 00:36:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-04-13 00:36:15 +0200 | <geekosaur> | but not being able to hold stuff between fingers and thumb is kinda a big thing 😞 |
2025-04-13 00:37:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 00:37:25 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-04-13 00:37:56 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-04-13 00:40:19 +0200 | <haskellbridge> | <Liamzee> oh, i'm so sorry to hear |
2025-04-13 00:40:28 +0200 | <haskellbridge> | <Liamzee> and thanks for the implicit warning |
2025-04-13 00:40:53 +0200 | <haskellbridge> | <Liamzee> my pinky got hurt by a bike accident, then my cat bit the wrong part, so i'm wondering if it'll go |
2025-04-13 00:41:17 +0200 | <haskellbridge> | <Liamzee> will see a doc for it |
2025-04-13 00:42:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 00:42:56 +0200 | <geekosaur> | yeh. hope you're up on your dtap |
2025-04-13 00:43:41 +0200 | <geekosaur> | oh right, swapped for adults, tdap |
2025-04-13 00:49:30 +0200 | tired | (~tired@user/tired) (Remote host closed the connection) |
2025-04-13 00:53:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 00:55:30 +0200 | tired | (~tired@user/tired) tired |
2025-04-13 00:55:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-13 00:58:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-13 00:59:26 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 01:01:42 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-04-13 01:04:09 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 01:04:31 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2025-04-13 01:08:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 01:13:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 01:19:33 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
2025-04-13 01:24:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 01:27:16 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 01:29:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 01:33:46 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-13 01:35:05 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-13 01:35:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-04-13 01:35:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-04-13 01:38:00 +0200 | ludihan | (~ludihan@189.36.207.182) (Quit: ludihan) |
2025-04-13 01:40:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 01:41:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-04-13 01:45:36 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 01:46:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 01:50:46 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 01:52:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 01:57:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 01:58:29 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 02:03:55 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-13 02:04:41 +0200 | sprotte24 | (~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-13 02:06:22 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection) |
2025-04-13 02:08:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 02:08:39 +0200 | tired- | (~tired@user/tired) tired |
2025-04-13 02:10:07 +0200 | tired | (~tired@user/tired) (Ping timeout: 244 seconds) |
2025-04-13 02:13:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-13 02:16:08 +0200 | <haskellbridge> | <Bowuigi> Is libfuse3 not working for anyone else? I'm getting undefined references to fuse_new |
2025-04-13 02:21:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f1280c5cc93734c0928.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-04-13 02:23:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 02:24:34 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-04-13 02:25:38 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-13 02:25:57 +0200 | <EvanR> | #define fuse_new(args, op, size, data) fuse_new_fn(args, op, size, data) |
2025-04-13 02:25:59 +0200 | <EvanR> | it says |
2025-04-13 02:26:24 +0200 | <EvanR> | (it seems to be a macro not a linkable symbol) |
2025-04-13 02:29:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 02:30:39 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
2025-04-13 02:31:57 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-04-13 02:34:50 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-04-13 02:36:27 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 02:39:17 +0200 | <geekosaur> | sounds like someone should update it to use CApiFFI |
2025-04-13 02:39:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 02:39:37 +0200 | <geekosaur> | maybe it's old enough that ccall supported that at the time? |
2025-04-13 02:41:40 +0200 | <geekosaur> | mm, no, apparently updated in 2023 |
2025-04-13 02:44:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 02:45:27 +0200 | Guest87 | (~Guest87@2620:72:0:1f18:f98c:1934:e021:b784) (Quit: Client closed) |
2025-04-13 02:46:04 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f12a0b6afce8ca0cd68.dip0.t-ipconnect.de) |
2025-04-13 02:46:22 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:9e00:b37d:61ab:c06f:9824) aforemny |
2025-04-13 02:55:17 +0200 | otto_s | (~user@p4ff27f53.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-04-13 02:55:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-04-13 02:55:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 02:57:05 +0200 | otto_s | (~user@p5b0445dc.dip0.t-ipconnect.de) |
2025-04-13 03:00:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 03:04:33 +0200 | <haskellbridge> | <Bowuigi> Hmmm learning FFI, taking over the package and actually fixing it would take more time than just using something else |
2025-04-13 03:08:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f12a0b6afce8ca0cd68.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-04-13 03:08:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-13 03:09:19 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-13 03:09:22 +0200 | <haskellbridge> | <Liamzee> often just replacing ccall with capi is enough |
2025-04-13 03:10:37 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-04-13 03:10:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 03:11:10 +0200 | <haskellbridge> | <Liamzee> geekosaur: do you have a diagnosis yet? |
2025-04-13 03:11:17 +0200 | <haskellbridge> | <Liamzee> I got tested for Chagas, I'd need a PCR to confirm |
2025-04-13 03:11:28 +0200 | jinsun | (~jinsun@user/jinsun) () |
2025-04-13 03:11:29 +0200 | <haskellbridge> | <Liamzee> but not chagas, which leaves me up **** creek without a paddle, ugh |
2025-04-13 03:11:55 +0200 | sayurc | (~sayurc@169.150.203.34) sayurc |
2025-04-13 03:12:04 +0200 | sayurc_ | (~sayurc@177.136.41.195) (Ping timeout: 272 seconds) |
2025-04-13 03:15:10 +0200 | <haskellbridge> | <Bowuigi> Oh HFuse works well, odd. I'm gonna use that then |
2025-04-13 03:15:12 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-13 03:15:15 +0200 | <geekosaur> | oh, I know what happened. I fell a week ago and most of the weight landed on the palm of my left hand |
2025-04-13 03:15:28 +0200 | <geekosaur> | no broken bones but a lot of internal bleeding |
2025-04-13 03:16:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 03:16:33 +0200 | <haskellbridge> | <Bowuigi> That sounds like it hurts a lot |
2025-04-13 03:19:00 +0200 | <geekosaur> | yeh, it's gotten better over the past week but I'm still having a fair amount of pain when holding something between my index finger and my thumb |
2025-04-13 03:22:08 +0200 | <haskellbridge> | <Bowuigi> Glad to hear that (the first part, not the rest lol) |
2025-04-13 03:22:20 +0200 | <haskellbridge> | <Bowuigi> Liamzee Chagas? Isn't that a Latam thing? U ok? |
2025-04-13 03:23:07 +0200 | tired- | (~tired@user/tired) (Remote host closed the connection) |
2025-04-13 03:24:10 +0200 | <geekosaur> | it's been spreading |
2025-04-13 03:26:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 03:32:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 03:32:32 +0200 | tired | (~tired@user/tired) tired |
2025-04-13 03:37:28 +0200 | ludihan | (~ludihan@189.36.207.182) |
2025-04-13 03:37:54 +0200 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
2025-04-13 03:42:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 03:44:57 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2025-04-13 03:47:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 03:52:13 +0200 | carburetant | (~dottily@user/dottily) (Remote host closed the connection) |
2025-04-13 03:52:13 +0200 | dottily | (~user@user/dottily) (Remote host closed the connection) |
2025-04-13 03:58:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 03:58:32 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2025-04-13 04:03:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-13 04:05:03 +0200 | op_4 | (~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection) |
2025-04-13 04:05:33 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-04-13 04:12:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-13 04:13:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 04:16:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2025-04-13 04:16:24 +0200 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
2025-04-13 04:17:50 +0200 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2025-04-13 04:18:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 04:18:52 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-13 04:19:25 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-13 04:19:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-04-13 04:20:09 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 260 seconds) |
2025-04-13 04:20:09 +0200 | Katarushisu6 | Katarushisu |
2025-04-13 04:25:14 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 04:29:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 04:30:17 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
2025-04-13 04:32:31 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 04:33:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-13 04:34:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 04:44:33 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2025-04-13 04:45:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 04:46:11 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-04-13 04:50:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 05:01:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 05:06:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 05:15:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 05:19:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 05:20:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-04-13 05:23:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-04-13 05:27:13 +0200 | ludihan | (~ludihan@189.36.207.182) (Quit: ludihan) |
2025-04-13 05:30:38 +0200 | <haskellbridge> | <thirdofmay18081814goya> does anyone know of any articles discussing how to force the type checker to refine the current expression's type |
2025-04-13 05:30:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 05:31:25 +0200 | <haskellbridge> | <thirdofmay18081814goya> the only technique I know of is using "case aClassMethod @variableToRefine of" |
2025-04-13 05:32:17 +0200 | <geekosaur> | use it at the refined type? |
2025-04-13 05:32:28 +0200 | <geekosaur> | I mean, that's what H-M is about |
2025-04-13 05:32:58 +0200 | <geekosaur> | if it can't be refined to that type then the typechecker will complain |
2025-04-13 05:33:18 +0200 | <geekosaur> | otherwise it'll take it as evidence refining the type |
2025-04-13 05:33:41 +0200 | <haskellbridge> | <thirdofmay18081814goya> but e.g. is this the only method, i.e., if the typehole has type "a" and you have class instances that can refine it to "Int" or "String", the only way to refine it is calling a "case ... of" using these methods right? i.e. this is the only notion of type refinement there is in ghc |
2025-04-13 05:34:07 +0200 | <haskellbridge> | <thirdofmay18081814goya> using these *class instance methods |
2025-04-13 05:35:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> typehole is "a" with constraint "Refinable a" in context, and you have "Refinable String" and "Refinable Int" instances |
2025-04-13 05:35:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 05:35:45 +0200 | <geekosaur> | aside from playing around with constraints (which is a slightly more direct way to produce evidence), yes |
2025-04-13 05:36:00 +0200 | <geekosaur> | that pretty much defines the type system |
2025-04-13 05:36:34 +0200 | <haskellbridge> | <thirdofmay18081814goya> ok, so "case ... of" really has a super privileged position wrt the type checker right? |
2025-04-13 05:36:35 +0200 | <Leary> | You can use type ascriptions or helpers like `asTypeOf` ... not sure what case-of has to do with anything. |
2025-04-13 05:37:13 +0200 | <geekosaur> | ghc is System Fc (System F with typeclass constraints), constraints and use are how you refine types because type checking is constraint solving |
2025-04-13 05:37:40 +0200 | <geekosaur> | if you want something else, find a language sitting in a different corner of the lambda cube 🙂 |
2025-04-13 05:38:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> https://play.haskell.org/saved/QlXwBEzT |
2025-04-13 05:39:00 +0200 | <haskellbridge> | <thirdofmay18081814goya> here's an example of the "case ... of" refinement I'm talking about |
2025-04-13 05:40:05 +0200 | <haskellbridge> | <thirdofmay18081814goya> you force a refinement to be able to extract a value out of an existential term |
2025-04-13 05:41:56 +0200 | <geekosaur> | maybe you were looking for GADTs? |
2025-04-13 05:42:03 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:9e00:b37d:61ab:c06f:9824) (Ping timeout: 252 seconds) |
2025-04-13 05:42:05 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf2:2e00:fc2a:aed8:207c:b526) aforemny |
2025-04-13 05:42:10 +0200 | <geekosaur> | pattern match, retrieve type information |
2025-04-13 05:43:15 +0200 | <Leary> | Pattern matching on a constructor is necessary to expose the constraints it captures, yes, but that's not strictly special. |
2025-04-13 05:43:44 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
2025-04-13 05:44:03 +0200 | <haskellbridge> | <thirdofmay18081814goya> right, is this the only way to add new constraints to context? |
2025-04-13 05:45:08 +0200 | <geekosaur> | you think "no" means "maybe", then? |
2025-04-13 05:45:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-13 05:45:30 +0200 | <geekosaur> | this is System Fc. it's not going to change into something else. |
2025-04-13 05:46:26 +0200 | <haskellbridge> | <thirdofmay18081814goya> right there's no need for it to be anything else, I'm just making a small API to wrap type constructors in an existential type for heterogeneous logging types |
2025-04-13 05:46:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 05:47:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> so am just looking to see whether "case ... of" has a priviledged position wrt to refinement |
2025-04-13 05:47:34 +0200 | <geekosaur> | it doesn't |
2025-04-13 05:47:39 +0200 | <JuanDaugherty> | sentence with fancy that ends in plain ol |
2025-04-13 05:47:49 +0200 | <geekosaur> | it's just one of many ways to inject a type ascription or type application |
2025-04-13 05:48:30 +0200 | <geekosaur> | which is what does the real work. `case` only matters if you are using a pattern match to extract type information from a GADT's constructor |
2025-04-13 05:48:51 +0200 | <haskellbridge> | <thirdofmay18081814goya> what are the alternatives? the goal is to produce the value from an existential term |
2025-04-13 05:51:07 +0200 | <geekosaur> | in general you can't do that because of type erasure. GADTs preserve type information and pattern matching their constructors retrieves it. in other cases you need to do something like packaging a `Typeable` dictionary in the existential so there's runtime information to use in extracting the value, or more generally package a dictionary which allows access to the value only via that dictionary's methods |
2025-04-13 05:51:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 05:52:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> I see ty |
2025-04-13 05:54:21 +0200 | <EvanR> | what was the "dumb as nails but would work" method to enable different kinds of loggers... pass a String -> IO () around, or have one in the environment |
2025-04-13 05:55:40 +0200 | <JuanDaugherty> | cant have too complicated a logger, it's super critical |
2025-04-13 05:56:14 +0200 | <JuanDaugherty> | everybody will see how clever u r when they use it all the time |
2025-04-13 05:56:47 +0200 | <geekosaur> | EvanR, maybe some ImplicitParams thing? |
2025-04-13 05:57:37 +0200 | <EvanR> | that's getting less dumb as nails |
2025-04-13 05:59:23 +0200 | JuanDaugherty | ColinRobinson |
2025-04-13 05:59:26 +0200 | <EvanR> | that's funny, it was basically the topic of an aside the other day, scope based output redirect |
2025-04-13 06:00:03 +0200 | <EvanR> | but I guess that might be orthogonal to logging, which is usually this "thing tacked on to the main purpose of the program" |
2025-04-13 06:02:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 06:04:33 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-04-13 06:07:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 06:18:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 06:22:11 +0200 | <monochrom> | Oh, logging is just a special case of output. :) |
2025-04-13 06:23:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 06:25:28 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:9c0e:3384:b3dd:3798) (Quit: Leaving) |
2025-04-13 06:28:38 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-04-13 06:33:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 06:39:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-13 06:49:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 06:52:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-13 06:54:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-13 07:00:29 +0200 | Square2 | (~Square@user/square) Square |
2025-04-13 07:01:34 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
2025-04-13 07:02:40 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 268 seconds) |
2025-04-13 07:04:30 +0200 | Square | (~Square4@user/square) (Ping timeout: 272 seconds) |
2025-04-13 07:05:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 07:10:08 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
2025-04-13 07:10:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 07:11:40 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-04-13 07:16:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 07:20:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 07:28:09 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
2025-04-13 07:28:33 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-04-13 07:29:00 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-04-13 07:31:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 07:33:59 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
2025-04-13 07:37:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 07:47:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 07:54:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 08:02:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 08:07:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-13 08:17:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 08:22:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-13 08:29:21 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-13 08:30:05 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-13 08:32:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 08:37:08 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-13 08:38:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-13 08:45:15 +0200 | <jcarpenter2> | Just wrote "except . runExcept" to get "Monad m => Except a b -> ExceptT a m b" |
2025-04-13 08:45:58 +0200 | <jcarpenter2> | Since "ExceptT a m b" is similar to "m (Except a b)", "except . runExcept" is like a transformer version of "return" |
2025-04-13 08:46:54 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f12a43f9347ee674ba0.dip0.t-ipconnect.de) acidjnk |
2025-04-13 08:48:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 08:48:37 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-13 08:48:59 +0200 | <jcarpenter2> | Is there a general transformer "return" function like this? Something that goes "(MonadTrans t, Monad m) => t Identity a -> t m a"? |
2025-04-13 08:49:09 +0200 | <jcarpenter2> | checked hoogle, nothing came up |
2025-04-13 08:49:11 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-13 08:50:37 +0200 | <jcarpenter2> | Just wondering, really. Come to think of it, I'm gonna refactor my code shortly and won't even need this after all |
2025-04-13 08:50:50 +0200 | ensyde | (~ensyde@2601:5c6:c200:6dc0::429b) |
2025-04-13 08:50:52 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-13 08:51:33 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-13 08:53:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 08:59:33 +0200 | forell | (~forell@user/forell) (Ping timeout: 245 seconds) |
2025-04-13 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-13 09:00:06 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2025-04-13 09:00:59 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-13 09:02:11 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-04-13 09:02:40 +0200 | <Leary> | jcarpenter2: If `t` is an endofunctor on the category of functors, i.e. if it has `class (forall f. Functor f => Functor (t f)) => FFunctor t where { ffmap :: (f ~> g) -> t f ~> t g }` (where `type f ~> g = forall x. f x -> g x`), then that function is `ffmap (pure . runIdentity)`. Most commenly used monad transformers have this property, but `ContT` and friends don't. |
2025-04-13 09:03:31 +0200 | <Leary> | commonly* |
2025-04-13 09:04:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 09:04:41 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2025-04-13 09:09:04 +0200 | <jcarpenter2> | huh interesting |
2025-04-13 09:09:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 09:10:47 +0200 | <jcarpenter2> | that more or less makes sense |
2025-04-13 09:11:40 +0200 | <jcarpenter2> | going from Identity to some m is a special case of going from some n to some m |
2025-04-13 09:18:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 09:19:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-04-13 09:19:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-13 09:24:29 +0200 | gehmehgeh | gmg |
2025-04-13 09:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-13 09:29:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
2025-04-13 09:36:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 09:40:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 09:41:33 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
2025-04-13 09:50:32 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-13 09:51:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 09:56:00 +0200 | <jcarpenter2> | man, learning monad transformers was really fun |
2025-04-13 09:56:32 +0200 | <jcarpenter2> | I now have a basic idea of what's going on with those |
2025-04-13 09:56:36 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-04-13 09:57:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 10:02:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-04-13 10:06:23 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-04-13 10:07:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 10:08:37 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) thuna` |
2025-04-13 10:08:56 +0200 | forell | (~forell@user/forell) forell |
2025-04-13 10:09:28 +0200 | Square | (~Square4@user/square) Square |
2025-04-13 10:12:00 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 10:12:36 +0200 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
2025-04-13 10:13:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 10:14:08 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 10:19:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 10:19:24 +0200 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
2025-04-13 10:23:37 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-13 10:24:10 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f12a43f9347ee674ba0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-13 10:24:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 10:27:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
2025-04-13 10:28:13 +0200 | <ski> | @hoogle hoist |
2025-04-13 10:28:14 +0200 | <lambdabot> | Pipes hoist :: (MFunctor t, Monad m) => (forall a . () => m a -> n a) -> t m b -> t n b |
2025-04-13 10:28:14 +0200 | <lambdabot> | Control.Monad.Morph hoist :: (MFunctor t, Monad m) => (forall a . m a -> n a) -> t m b -> t n b |
2025-04-13 10:28:14 +0200 | <lambdabot> | Streaming hoist :: (MFunctor t, Monad m) => (forall a . () => m a -> n a) -> t m b -> t n b |
2025-04-13 10:31:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-04-13 10:34:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 10:36:24 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-04-13 10:39:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 10:41:48 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 252 seconds) |
2025-04-13 10:44:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-04-13 10:49:47 +0200 | <jcarpenter2> | oh neat |
2025-04-13 10:50:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 10:50:42 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-04-13 10:52:15 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-04-13 10:55:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-13 10:57:21 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-04-13 11:02:03 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-13 11:06:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 11:07:09 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-04-13 11:13:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 11:16:54 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf2:2e00:fc2a:aed8:207c:b526) (Ping timeout: 276 seconds) |
2025-04-13 11:20:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 11:22:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-04-13 11:24:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 11:31:40 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-04-13 11:33:31 +0200 | hattckory | (~hattckory@70.27.118.207) |
2025-04-13 11:34:18 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-13 11:34:30 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
2025-04-13 11:35:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 11:37:36 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-04-13 11:38:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 276 seconds) |
2025-04-13 11:39:00 +0200 | img | (~img@user/img) img |
2025-04-13 11:39:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-13 11:40:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-04-13 11:41:09 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
2025-04-13 11:41:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 11:43:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-04-13 11:49:16 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-04-13 11:50:37 +0200 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
2025-04-13 11:50:46 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-04-13 11:51:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 11:55:04 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-13 11:56:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 12:00:27 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-04-13 12:01:21 +0200 | sprotte24 | (~sprotte24@p200300d16f100900e59eadb5b10f2646.dip0.t-ipconnect.de) |
2025-04-13 12:07:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 12:07:34 +0200 | ColinRobinson | JuanDaugherty |
2025-04-13 12:12:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 12:18:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-13 12:18:34 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-13 12:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 12:23:26 +0200 | aforemny | (~aforemny@i577B13D5.versanet.de) aforemny |
2025-04-13 12:26:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-13 12:27:40 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-13 12:27:50 +0200 | aforemny_ | (~aforemny@i59F4C452.versanet.de) aforemny |
2025-04-13 12:28:02 +0200 | aforemny | (~aforemny@i577B13D5.versanet.de) (Ping timeout: 252 seconds) |
2025-04-13 12:31:00 +0200 | Square | (~Square4@user/square) (Ping timeout: 276 seconds) |
2025-04-13 12:31:44 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-04-13 12:36:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 12:41:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 12:41:50 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
2025-04-13 12:45:43 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-13 12:52:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 12:53:45 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-04-13 12:58:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 13:08:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 13:09:01 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-13 13:13:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 13:16:30 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-04-13 13:22:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 13:23:21 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 13:25:19 +0200 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
2025-04-13 13:27:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-13 13:35:08 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 13:35:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-13 13:35:54 +0200 | ensyde | (~ensyde@2601:5c6:c200:6dc0::429b) (Quit: WeeChat 4.6.0) |
2025-04-13 13:37:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-13 13:37:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 13:40:00 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
2025-04-13 13:40:37 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-04-13 13:45:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 13:50:49 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 13:55:18 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 13:55:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 13:56:53 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 14:00:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 14:04:40 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
2025-04-13 14:09:22 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Killed buffer) |
2025-04-13 14:11:00 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
2025-04-13 14:11:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 14:14:34 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 14:16:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 14:22:26 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 14:23:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 14:28:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-13 14:28:52 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-13 14:29:48 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 14:33:02 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-13 14:34:25 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
2025-04-13 14:35:28 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-04-13 14:38:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 14:42:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-04-13 14:43:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-13 14:43:29 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-04-13 14:43:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 14:45:48 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 14:46:27 +0200 | systemhalted | (~systemhal@75-32-210-179.lightspeed.ftwotx.sbcglobal.net) systemhalted |
2025-04-13 14:47:31 +0200 | systemhalted | (~systemhal@75-32-210-179.lightspeed.ftwotx.sbcglobal.net) (Remote host closed the connection) |
2025-04-13 14:49:27 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-04-13 14:53:14 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 14:54:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 14:54:42 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 14:55:18 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-04-13 14:59:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-13 15:01:04 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-13 15:01:24 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 272 seconds) |
2025-04-13 15:08:39 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-13 15:08:50 +0200 | <[exa]> | Accelerate question: what are the chances that if I replace all Accelerate.LLVM's runN with runQ, the 150MB of the libllvm won't be linked to the resulting binary? |
2025-04-13 15:09:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-13 15:09:49 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-04-13 15:10:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 15:14:37 +0200 | <tomsmeding> | [exa]: I have no clue, try it |
2025-04-13 15:14:45 +0200 | <tomsmeding> | using accelerate after all? :p |
2025-04-13 15:14:58 +0200 | tomsmeding | has never used runQ |
2025-04-13 15:15:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 15:22:21 +0200 | leah2 | (~leah@vuxu.org) leah2 |
2025-04-13 15:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 15:31:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 15:34:47 +0200 | hattckory | (~hattckory@70.27.118.207) |
2025-04-13 15:39:44 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
2025-04-13 15:41:39 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
2025-04-13 15:41:56 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 15:42:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 15:47:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 15:50:28 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-13 15:52:34 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 15:56:08 +0200 | leah2 | (~leah@vuxu.org) leah2 |
2025-04-13 15:57:09 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 248 seconds) |
2025-04-13 15:57:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 16:02:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-13 16:03:35 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-04-13 16:05:41 +0200 | <[exa]> | tomsmeding: yeah turns out to be Quite Fast And Great in the end |
2025-04-13 16:05:45 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-04-13 16:06:05 +0200 | euleritian | (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) |
2025-04-13 16:06:47 +0200 | <[exa]> | literally the only tiny taint is that the executable is 181MB |
2025-04-13 16:07:11 +0200 | <[exa]> | (ok 141 after stripping) |
2025-04-13 16:07:32 +0200 | <[exa]> | anyway I ended with runN, turns out pretty much exactly what I want for a portable executable |
2025-04-13 16:09:28 +0200 | <[exa]> | btw I found that plain LL.run has some kind of a race condition in writing to the cache, ended up with a segfault, any guess on whether that's expected? |
2025-04-13 16:09:31 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-13 16:10:16 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 16:13:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 16:17:04 +0200 | euleritian | (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-13 16:17:21 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-13 16:20:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 16:25:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 16:28:09 +0200 | albet70 | (~xxx@2400:8905::f03c:92ff:fe60:98d8) (Ping timeout: 260 seconds) |
2025-04-13 16:29:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 16:32:43 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2025-04-13 16:33:34 +0200 | euleritian | (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) |
2025-04-13 16:35:32 +0200 | <tomsmeding> | [exa]: that segfault is not at all expected. Can you reproduce it after you `rm -rf ~/.cache/accelerate`? |
2025-04-13 16:38:14 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
2025-04-13 16:38:16 +0200 | Server | +Cnt |
2025-04-13 16:39:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-04-13 16:40:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 16:40:48 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-04-13 16:41:21 +0200 | <tomsmeding> | [exa]: no complaints about llvm version restrictions? I assume you're on ubuntu? |
2025-04-13 16:45:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 16:51:08 +0200 | albet70 | (~xxx@172-233-90-118.ip.linodeusercontent.com) albet70 |
2025-04-13 16:52:24 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 16:54:25 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 16:56:56 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
2025-04-13 16:56:58 +0200 | Server | +Cnt |
2025-04-13 16:59:09 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
2025-04-13 17:00:32 +0200 | coldmountain | (uid484352@id-484352.helmsley.irccloud.com) coldmountain |
2025-04-13 17:01:33 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 17:02:42 +0200 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
2025-04-13 17:09:27 +0200 | fantom | (~fantom@2.219.56.221) |
2025-04-13 17:09:59 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
2025-04-13 17:11:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 17:12:49 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-04-13 17:18:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 17:26:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 17:30:35 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-04-13 17:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 17:32:13 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 17:33:10 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-13 17:35:17 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-04-13 17:38:09 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
2025-04-13 17:38:09 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:587b:b035:2357:b8f1) |
2025-04-13 17:39:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-04-13 17:39:57 +0200 | mal1 | lieven |
2025-04-13 17:41:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 17:43:41 +0200 | Owner_ | (~Owner@2600:1700:69cf:9000:587b:b035:2357:b8f1) |
2025-04-13 17:46:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-13 17:46:54 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:587b:b035:2357:b8f1) (Ping timeout: 260 seconds) |
2025-04-13 17:50:45 +0200 | euleritian | (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2025-04-13 17:56:15 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-04-13 17:57:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 17:59:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) |
2025-04-13 18:01:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 18:02:59 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-13 18:04:40 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 18:07:38 +0200 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
2025-04-13 18:08:04 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-04-13 18:08:22 +0200 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2025-04-13 18:11:36 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 18:13:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 18:15:57 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-04-13 18:16:26 +0200 | aman | (~aman@user/aman) aman |
2025-04-13 18:17:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 18:17:47 +0200 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
2025-04-13 18:18:22 +0200 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2025-04-13 18:19:09 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-13 18:22:09 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-13 18:23:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-13 18:23:48 +0200 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
2025-04-13 18:24:23 +0200 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2025-04-13 18:27:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 18:27:56 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 18:32:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-13 18:33:10 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
2025-04-13 18:33:37 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-13 18:33:57 +0200 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
2025-04-13 18:34:20 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
2025-04-13 18:34:32 +0200 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2025-04-13 18:36:42 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-04-13 18:37:40 +0200 | Flow | (~none@gentoo/developer/flow) (Read error: Connection reset by peer) |
2025-04-13 18:38:28 +0200 | Flow | (~none@gentoo/developer/flow) flow |
2025-04-13 18:40:22 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 18:42:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 18:44:45 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-04-13 18:46:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) |
2025-04-13 18:47:05 +0200 | euleritian | (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) |
2025-04-13 18:47:32 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 18:49:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 18:51:55 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-13 18:52:04 +0200 | sayurc | (~sayurc@169.150.203.34) sayurc |
2025-04-13 18:54:32 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 18:56:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-04-13 18:56:04 +0200 | ljdarj1 | ljdarj |
2025-04-13 19:00:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 19:05:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-13 19:08:24 +0200 | gerogaga | (~user@20014C4C152C94004C6ABB17B328D6E0.catv.pool.telekom.hu) gerogaga |
2025-04-13 19:11:15 +0200 | <gerogaga> | Hello, I'm trying to create a module named Systemd.Connection, but |
2025-04-13 19:11:15 +0200 | <gerogaga> | HLS says that loading the module has failed. The module is in |
2025-04-13 19:11:16 +0200 | <gerogaga> | project/Systemd/Connection.hs, but it didn't work in |
2025-04-13 19:11:19 +0200 | <gerogaga> | project/app/Systemd/Connection.hs. What could be the problem? |
2025-04-13 19:11:31 +0200 | <gerogaga> | Whoops, sorry for it splitting up. |
2025-04-13 19:14:17 +0200 | <EvanR> | "doesn't work" "doesn't load" |
2025-04-13 19:14:23 +0200 | <EvanR> | not much to go on |
2025-04-13 19:16:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 19:16:34 +0200 | jespada | (~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) jespada |
2025-04-13 19:16:57 +0200 | <gerogaga> | Unfortunately, that's all HLS gives me. The error message is "cradle: Loading the module '/home/ggero/projects/init/Systemd/Connection.hs' failed." |
2025-04-13 19:17:02 +0200 | <monochrom> | Probably simplest to just keep it as project/Systemd/Connection.hs |
2025-04-13 19:17:48 +0200 | <gerogaga> | I tried that, as well as project/Systemd.hs, to no avail. |
2025-04-13 19:18:03 +0200 | <monochrom> | You could go out of your way to configure non-default options to put your files almost anywhere you want, but I'm too lazy to talk about it. |
2025-04-13 19:21:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 19:25:54 +0200 | <tomsmeding> | gerogaga: what is the hs-source-dirs option in your cabal file? |
2025-04-13 19:26:15 +0200 | <tomsmeding> | what could also just be the problem is that you need to restart HLS |
2025-04-13 19:26:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-13 19:31:10 +0200 | jespada | (~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-04-13 19:31:32 +0200 | <gerogaga> | tomsmeding: I've tried restarting HLS, to no avail, unfortunately. hs-source-dirs is set to app/. |
2025-04-13 19:32:58 +0200 | <tomsmeding> | gerogaga: then the module should be in app/, for sure. Have you tried putting it there and _then_ restarting HLS? |
2025-04-13 19:33:50 +0200 | <gerogaga> | I tried putting it in a subdirectory under app/ but not directly under app/ itself. |
2025-04-13 19:34:05 +0200 | <tomsmeding> | right, it should be app/Systemd/Connection.hs |
2025-04-13 19:34:50 +0200 | <tomsmeding> | if that doesn't work, try posting a precise file tree (e.g. `tree -I dist-newstyle` if you're on linux) and the contents of your *.cabal file |
2025-04-13 19:34:52 +0200 | <tomsmeding> | @where paste |
2025-04-13 19:34:52 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2025-04-13 19:35:16 +0200 | jespada | (~jespada@r179-25-5-255.dialup.adsl.anteldata.net.uy) jespada |
2025-04-13 19:41:49 +0200 | <gerogaga> | tomsmeding: Here's the paste: https://paste.tomsmeding.com/DEsVdDmB. I've restarted HLS again, just to be sure, and there's no difference. |
2025-04-13 19:43:06 +0200 | <tomsmeding> | gerogaga: ah: all modules in a library or executable need to be listed in the cabal file |
2025-04-13 19:43:15 +0200 | <tomsmeding> | in the case of an executable, all non-Main modules should be in `other-modules:` |
2025-04-13 19:43:36 +0200 | <tomsmeding> | the list under other-modules should contain module names (not paths), and they are whitespace-separated |
2025-04-13 19:43:49 +0200 | <gerogaga> | Oh, I see. Thanks! |
2025-04-13 19:44:01 +0200 | <tomsmeding> | (if you are writing a library instead of an executable, there is a distinction between exposed-modules and other-modules) |
2025-04-13 19:44:26 +0200 | <gerogaga> | I assume other-modules becomes private in that case? |
2025-04-13 19:44:30 +0200 | <tomsmeding> | yep |
2025-04-13 19:44:48 +0200 | <tomsmeding> | but an executable doesn't expose any modules anyway, so the distinction is moot and all end up in other-modules. :) |
2025-04-13 19:44:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 19:45:17 +0200 | <gerogaga> | One last question: do I need to list each module individually, or would using only Systemd include all of it's children in the list? |
2025-04-13 19:45:23 +0200 | <tomsmeding> | each module individually |
2025-04-13 19:45:51 +0200 | <gerogaga> | I guess Systemd doesn't exist as a module then? |
2025-04-13 19:46:35 +0200 | <tomsmeding> | indeed |
2025-04-13 19:46:37 +0200 | <EvanR> | is there a Systemd.hs |
2025-04-13 19:46:58 +0200 | <tomsmeding> | gerogaga: see e.g. here: https://hackage.haskell.org/package/text there is a Data.Text and a Data.Text.Array, but no Data |
2025-04-13 19:47:06 +0200 | euleritian | (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-13 19:47:12 +0200 | <gerogaga> | No. Is it possible to have both a directory and a .hs file of the same name without ghc getting confused? |
2025-04-13 19:47:23 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-13 19:47:25 +0200 | <tomsmeding> | yes, that's the intended use! |
2025-04-13 19:47:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) |
2025-04-13 19:47:30 +0200 | <gerogaga> | tomsmeding: Thanks for the help. |
2025-04-13 19:47:53 +0200 | <tomsmeding> | after all, they're distinguished by the one having ".hs" at the end ;) |
2025-04-13 19:49:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 19:51:55 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 260 seconds) |
2025-04-13 19:55:06 +0200 | <monochrom> | Unlike Java, Haskell does not have a "Systemd.*" notion at all. The computer assumes no relation between Systemd and Systemd.Connection |
2025-04-13 19:57:17 +0200 | <mauke> | originally Haskell didn't even have a "." notion |
2025-04-13 19:57:40 +0200 | <mauke> | and tbh I'm not sure why it was added |
2025-04-13 19:59:20 +0200 | <[exa]> | tomsmeding: re segfault: will check. It's in a concurrent tcp server so maybe there's more things at play. |
2025-04-13 19:59:53 +0200 | <[exa]> | tomsmeding: re llvm version: not really but the docs could say as the first thing in bold that "just compile llvm15 from source" |
2025-04-13 20:00:12 +0200 | <tomsmeding> | right |
2025-04-13 20:00:16 +0200 | <tomsmeding> | which works :p |
2025-04-13 20:00:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 20:00:32 +0200 | <[exa]> | tomsmeding: well |
2025-04-13 20:00:34 +0200 | <[exa]> | tomsmeding: https://github.com/AccelerateHS/accelerate-llvm/issues/102 |
2025-04-13 20:00:35 +0200 | <tomsmeding> | if you pass the right compiler flags; apparently the docs are either more informative than I thought, or you got lucky |
2025-04-13 20:02:43 +0200 | <tomsmeding> | [exa]: the llvm build options I used are -DCMAKE_BUILD_TYPE=Release -DLLVM_BUILD_LLVM_DYLIB=ON -DLLVM_LINK_LLVM_DYLIB=ON -DLLVM_TARGETS_TO_BUILD='X86;NVPTX' -DLLVM_ENABLE_PROJECTS='clang;libcxx;libcxxabi' |
2025-04-13 20:02:45 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2025-04-13 20:02:54 +0200 | <tomsmeding> | you may skip the NVPTX if you're not interested in GPU |
2025-04-13 20:02:57 +0200 | <tomsmeding> | what did you use? |
2025-04-13 20:03:49 +0200 | <tomsmeding> | (we hope to be able to do a release this spring that drops the dependency on LLVM and just uses it indirectly via `clang`, which removes this whole issue) |
2025-04-13 20:04:51 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-13 20:05:15 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-04-13 20:05:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 20:05:37 +0200 | <[exa]> | tomsmeding: I tried to follow the build opts here https://github.com/AccelerateHS/accelerate-llvm?tab=readme-ov-file#building-from-source |
2025-04-13 20:05:58 +0200 | <[exa]> | tomsmeding: tbh given the sheer size of the whole LLVM business it would be super great to document the TARGETS_TO_BUILD :) |
2025-04-13 20:07:59 +0200 | messewix | (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) |
2025-04-13 20:07:59 +0200 | messewix | (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) (Changing host) |
2025-04-13 20:07:59 +0200 | messewix | (~jmc@user/messewix) messewix |
2025-04-13 20:08:13 +0200 | <[exa]> | what sucked was that I was completely unable to find how that piece of code is even triggered during the compilation from ghc (no TH at that point!), so I just ended up disabling it and was happy it worked |
2025-04-13 20:14:10 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-04-13 20:14:24 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-13 20:16:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 20:21:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-13 20:21:38 +0200 | <tomsmeding> | [exa]: it may well be the LLVM_ENABLE_ASSERTIONS that does that |
2025-04-13 20:21:47 +0200 | tomsmeding | actually reads the readme for the first time |
2025-04-13 20:22:03 +0200 | <tomsmeding> | I wonder if the reason my flags worked for me is that I did not set LLVM_ENABLE_ASSERTIONS |
2025-04-13 20:22:37 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-04-13 20:23:41 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-04-13 20:24:45 +0200 | <tomsmeding> | [exa]: for the time being I've just shoved my flags in the README |
2025-04-13 20:25:17 +0200 | <[exa]> | might be useful to check, eyah |
2025-04-13 20:29:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 20:33:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 20:34:26 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Remote host closed the connection) |
2025-04-13 20:38:16 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
2025-04-13 20:39:24 +0200 | sprotte24_ | (~sprotte24@p5b039d5b.dip0.t-ipconnect.de) |
2025-04-13 20:40:53 +0200 | sprotte24 | (~sprotte24@p200300d16f100900e59eadb5b10f2646.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-04-13 20:44:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 20:49:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-13 20:52:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-04-13 20:54:06 +0200 | califax | (~califax@user/califx) califx |
2025-04-13 20:54:17 +0200 | <[exa]> | tomsmeding: btw why do you build clang and the libcxx etc. there? |
2025-04-13 20:54:42 +0200 | <tomsmeding> | I... have no clue, this worked |
2025-04-13 20:54:57 +0200 | <tomsmeding> | not at all unlikely that I needed clang for other reasons |
2025-04-13 20:55:11 +0200 | <tomsmeding> | does it work for you without that LLVM_ENABLE_PROJECTS? |
2025-04-13 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-13 21:00:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 21:00:45 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-13 21:05:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 21:05:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-13 21:05:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-13 21:10:18 +0200 | aman | (~aman@user/aman) (Ping timeout: 265 seconds) |
2025-04-13 21:15:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 21:17:28 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-04-13 21:18:15 +0200 | skum | (~skum@user/skum) skum |
2025-04-13 21:18:51 +0200 | <monochrom> | Module dot was added for the only universal reason: popular demand. :) For example, people really want to be able to say "Data.Machine" and "Control.Lens". >:) |
2025-04-13 21:20:16 +0200 | <monochrom> | in which Lens is a way to access data so it must come under the Control hieararchy, and Machine is a way to express autoamaton-like execution control flow so it must come under the Data hierarchy! |
2025-04-13 21:21:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 21:24:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-04-13 21:26:36 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
2025-04-13 21:31:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 21:36:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2025-04-13 21:36:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-13 21:42:54 +0200 | <haskellbridge> | <Bowuigi> Tbh Control/Lens looks decent and reflects the directory structure |
2025-04-13 21:44:00 +0200 | <haskellbridge> | <Bowuigi> "Data/Traversable/mapAccumL" seems like an individual file instead of a function tho |
2025-04-13 21:44:59 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2025-04-13 21:45:04 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-04-13 21:45:29 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-04-13 21:45:30 +0200 | <monochrom> | That just shifts the question to "should I have a directory tree in the first place?" |
2025-04-13 21:45:40 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 252 seconds) |
2025-04-13 21:46:03 +0200 | Square2 | (~Square@user/square) Square |
2025-04-13 21:47:30 +0200 | <monochrom> | Personally I would be fine with having 3 files DataFunctor.hs, DataFunctorConst.hs, DataFunctorProduct.hs in the same directory. |
2025-04-13 21:47:30 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-13 21:47:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 21:47:48 +0200 | jle` | (~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) jle` |
2025-04-13 21:47:54 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-13 21:48:43 +0200 | <geekosaur> | iirc ghc used to let you put module `Data.Functor.Const` in `Data.Functor.Const.hs` |
2025-04-13 21:48:49 +0200 | <monochrom> | In fact, that actually works better with most editors. Suppose you open both Control/Monad/Trans/State.hs and Control/Monad/State.hs. Great, now you have two tabs, both named "State.hs". |
2025-04-13 21:49:35 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-13 21:49:47 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 21:50:13 +0200 | <monochrom> | Even better, open both Data/ByteString/Lazy.hs and Control/Monad/State/Lazy.hs, both you have two "Lazy.hs"s and they aren't even remotely related! |
2025-04-13 21:52:51 +0200 | <tomsmeding> | I work on a project that has multiple Base.hs in various directories, and furthermore has two parallel module trees with mostly shared names for a completely different backend |
2025-04-13 21:53:09 +0200 | <tomsmeding> | this is regularly annoying for precisely the reason monochrom mentioned |
2025-04-13 21:54:04 +0200 | <monochrom> | If you put two files into two different directories, that should be because, only because, 90% of the time, when you for example run `ls` you want to see one but not the other. |
2025-04-13 21:54:10 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 21:54:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-13 21:54:57 +0200 | <monochrom> | But this is emphatically false for most software projects. You look at your workflow and how you use your editor/IDE, you find that you always want to see all files at the same time. |
2025-04-13 21:55:38 +0200 | <tomsmeding> | except if there are legitimately separate components in the project that you mostly work on separately |
2025-04-13 21:56:52 +0200 | <monochrom> | Right. |
2025-04-13 21:57:25 +0200 | <monochrom> | Another case is e.g Java projects where there is one directory for metadata and another for source code proper. |
2025-04-13 21:57:26 +0200 | <davean> | You know, I don't even know on my editor where I'd look to see what file is open, I've never considered having to ask. |
2025-04-13 21:57:36 +0200 | <davean> | I told it to open the file, why would I be in wonder? |
2025-04-13 21:57:57 +0200 | <davean> | am I wondering if it opened the wrong file? |
2025-04-13 21:58:49 +0200 | <davean> | How does this come up? |
2025-04-13 22:04:05 +0200 | <mauke> | Data.Machine is functionally identical to Data_Machine, language-wise |
2025-04-13 22:04:51 +0200 | <mauke> | only less ambiguous in cases like Data_Maybe.Just |
2025-04-13 22:05:19 +0200 | gadot | (Angelz@user/angelz) (Remote host closed the connection) |
2025-04-13 22:05:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 22:06:21 +0200 | <monochrom> | \∩/ also Data'Machine |
2025-04-13 22:06:40 +0200 | <monochrom> | <-- fan of Oleg'case. |
2025-04-13 22:07:27 +0200 | <tomsmeding> | davean: depending on the kind of work one does, and the kind of project, one can have a whole list of files open in an editor, that have to be edited concurrently |
2025-04-13 22:07:43 +0200 | <tomsmeding> | it would be rather inconvenient to have to open 10 editors to open 10 files. |
2025-04-13 22:08:04 +0200 | <davean> | Sure? I don't even tell the difference between opened files and unopened ones. I say where I want to go and I'm there. |
2025-04-13 22:08:16 +0200 | <davean> | if it was opened, I'm there, if it was not, now opened and there |
2025-04-13 22:08:21 +0200 | <davean> | I'm blind to all this |
2025-04-13 22:08:43 +0200 | <tomsmeding> | I'd like to keep my editing state (cursor position, undo history, scroll position) in files that I'm working in, and also sometimes want to see multiple side-by-side |
2025-04-13 22:08:53 +0200 | <davean> | Sure, and that state is kept |
2025-04-13 22:09:03 +0200 | <davean> | If its opened, I return to where I was when I say I want to be in that file |
2025-04-13 22:09:17 +0200 | <tomsmeding> | that is a workflow that also works. :) |
2025-04-13 22:10:01 +0200 | <tomsmeding> | there are people who are more used to a "working set" of relevant files, promoted over the collection of all files in the project |
2025-04-13 22:10:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-13 22:10:12 +0200 | <tomsmeding> | but it is indeed not strictly necessary |
2025-04-13 22:10:26 +0200 | <davean> | Its so forgien to me I'm not even sure what you're talking about |
2025-04-13 22:11:42 +0200 | <tomsmeding> | that's okay, not everyone works the same way |
2025-04-13 22:13:19 +0200 | <tomsmeding> | (many editors, e.g. the rather popular VSCode (and its predecessor Atom), vim (with plugins), gedit, nodepad++, etc., have a number of tabs at the top of the editing buffer with "open files", in addition to, optionally, a file tree and some way to add arbitrary additional files to that list of tabs) |
2025-04-13 22:14:13 +0200 | <tomsmeding> | but it is certainly not universal, to wit: one needs plugins to make vim behave this way, and IIRC emacs also doesn't by default |
2025-04-13 22:15:02 +0200 | <tomsmeding> | (one can torture unmodified vim into sorta kinda working with this style by using classical vim tabs (workspaces), but that's a hack) |
2025-04-13 22:15:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-13 22:16:33 +0200 | <davean> | What do you get for displaying it like that? |
2025-04-13 22:17:16 +0200 | <tomsmeding> | easier access to the files you are working on, in addition to a visual reminder of the same, plus an indication of whether the files have changes |
2025-04-13 22:17:28 +0200 | <Leary> | davean: With your workflow, presumably you have to specify the name of the file you want to switch to editing each time. In mine, I have a few files open simultaneously in separate vim windows (tabbed by my WM) and switch between them rapidly. If I had too many windows open and lacked window decorations, I could possibly forget what file I'm editing. |
2025-04-13 22:17:33 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
2025-04-13 22:17:36 +0200 | <tomsmeding> | the latter can also appear in a file tree, but if the tree doesn't fit on the screen, the indications on the tabs can be helpful |
2025-04-13 22:18:42 +0200 | Digitteknohippie | Digit |
2025-04-13 22:19:09 +0200 | <davean> | Leary: I have a lot of relative references to jump to files, I'd occasionally have to start typing a name, though I probably could get to any file on my computer in less than 10 key strokes |
2025-04-13 22:19:11 +0200 | mikess | (~sam@user/mikess) mikess |
2025-04-13 22:19:36 +0200 | <davean> | I wonder what it actually is ... |
2025-04-13 22:19:56 +0200 | davean | goes and gets distracted in file jump golf |
2025-04-13 22:20:00 +0200 | <tomsmeding> | davean: then clearly you don't work on something like LLVM. :) |
2025-04-13 22:20:13 +0200 | <davean> | tomsmeding: oh? |
2025-04-13 22:20:25 +0200 | <tomsmeding> | (I also don't, but there are enough people who do, and I do work on smaller-scale projects that exhibit some of the same effects) |
2025-04-13 22:20:55 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 22:21:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 22:22:16 +0200 | <tomsmeding> | davean: just picking a few directories in an LLVM 15 source tree I have lying around, I count 89934 files. While it might still be possible to uniquely identify any file in that list with <9 characters with fuzzy search, are you really going to be able to predict ahead of time which 8 characters it should be? |
2025-04-13 22:23:19 +0200 | <davean> | ah after 4 or 5 chars I start getting significance hints on different options |
2025-04-13 22:23:31 +0200 | <davean> | and it becomes more of a search tree system |
2025-04-13 22:23:53 +0200 | <tomsmeding> | what does that UI look like? |
2025-04-13 22:24:06 +0200 | <tomsmeding> | "significance hints" is the thing that sounds foreign to _me_ |
2025-04-13 22:24:15 +0200 | <davean> | it looks like a bunch of letters and how many files are selected under that option |
2025-04-13 22:24:34 +0200 | <davean> | sop how much each key narrows down the search |
2025-04-13 22:24:51 +0200 | <tomsmeding> | could you make a screenshot? I'm curious |
2025-04-13 22:25:16 +0200 | <davean> | probably |
2025-04-13 22:25:55 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
2025-04-13 22:26:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-13 22:35:33 +0200 | mikess | (~sam@user/mikess) () |
2025-04-13 22:37:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 22:41:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 22:46:08 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-13 22:46:33 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
2025-04-13 22:47:20 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2025-04-13 22:49:32 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-04-13 22:50:14 +0200 | coldmountain | (uid484352@id-484352.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-13 22:51:00 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-13 22:52:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 22:56:50 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 22:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-13 23:00:05 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-04-13 23:05:39 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 252 seconds) |
2025-04-13 23:08:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 23:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 23:24:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 23:26:23 +0200 | inca | (~inca@71.30.233.213) |
2025-04-13 23:29:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-13 23:34:12 +0200 | skum_ | (~skum@sout-10-b2-v4wan-167579-cust2396.vm41.cable.virginm.net) |
2025-04-13 23:36:24 +0200 | skum | (~skum@user/skum) (Ping timeout: 244 seconds) |
2025-04-13 23:40:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-13 23:40:29 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 252 seconds) |
2025-04-13 23:41:25 +0200 | Owner_ | (~Owner@2600:1700:69cf:9000:587b:b035:2357:b8f1) (Quit: Leaving) |
2025-04-13 23:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-13 23:51:40 +0200 | <EvanR> | this code is from a paper. Any idea why the variable name iota was chosen here https://paste.tomsmeding.com/GyAs09aL |
2025-04-13 23:54:14 +0200 | <EvanR> | (Freer Monads, More Extensible Effects) |
2025-04-13 23:56:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |