Logs on 2025-04-13 (liberachat/#haskell)
| 00:03:55 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 00:04:41 | × | sprotte24 quits (~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:06:22 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 00:08:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:08:39 | → | tired- joins (~tired@user/tired) |
| 00:10:07 | × | tired quits (~tired@user/tired) (Ping timeout: 244 seconds) |
| 00:13:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:16:08 | <haskellbridge> | <Bowuigi> Is libfuse3 not working for anyone else? I'm getting undefined references to fuse_new |
| 00:21:19 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f1280c5cc93734c0928.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:23:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:24:34 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:25:38 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 00:25:57 | <EvanR> | #define fuse_new(args, op, size, data) fuse_new_fn(args, op, size, data) |
| 00:25:59 | <EvanR> | it says |
| 00:26:24 | <EvanR> | (it seems to be a macro not a linkable symbol) |
| 00:29:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:30:39 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 00:31:57 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 00:34:50 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 00:36:27 | → | inca joins (~inca@71.30.233.213) |
| 00:39:17 | <geekosaur> | sounds like someone should update it to use CApiFFI |
| 00:39:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:39:37 | <geekosaur> | maybe it's old enough that ccall supported that at the time? |
| 00:41:40 | <geekosaur> | mm, no, apparently updated in 2023 |
| 00:44:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:45:27 | × | Guest87 quits (~Guest87@2620:72:0:1f18:f98c:1934:e021:b784) (Quit: Client closed) |
| 00:46:04 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f12a0b6afce8ca0cd68.dip0.t-ipconnect.de) |
| 00:46:22 | → | aforemny joins (~aforemny@2001:9e8:6ce2:9e00:b37d:61ab:c06f:9824) |
| 00:55:17 | × | otto_s quits (~user@p4ff27f53.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 00:55:20 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:55:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:57:05 | → | otto_s joins (~user@p5b0445dc.dip0.t-ipconnect.de) |
| 01:00:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:04:33 | <haskellbridge> | <Bowuigi> Hmmm learning FFI, taking over the package and actually fixing it would take more time than just using something else |
| 01:08:03 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f12a0b6afce8ca0cd68.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:08:48 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:09:19 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 01:09:22 | <haskellbridge> | <Liamzee> often just replacing ccall with capi is enough |
| 01:10:37 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 01:10:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:11:10 | <haskellbridge> | <Liamzee> geekosaur: do you have a diagnosis yet? |
| 01:11:17 | <haskellbridge> | <Liamzee> I got tested for Chagas, I'd need a PCR to confirm |
| 01:11:28 | × | jinsun quits (~jinsun@user/jinsun) () |
| 01:11:29 | <haskellbridge> | <Liamzee> but not chagas, which leaves me up **** creek without a paddle, ugh |
| 01:11:55 | → | sayurc joins (~sayurc@169.150.203.34) |
| 01:12:04 | × | sayurc_ quits (~sayurc@177.136.41.195) (Ping timeout: 272 seconds) |
| 01:15:10 | <haskellbridge> | <Bowuigi> Oh HFuse works well, odd. I'm gonna use that then |
| 01:15:12 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 01:15:15 | <geekosaur> | oh, I know what happened. I fell a week ago and most of the weight landed on the palm of my left hand |
| 01:15:28 | <geekosaur> | no broken bones but a lot of internal bleeding |
| 01:16:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:16:33 | <haskellbridge> | <Bowuigi> That sounds like it hurts a lot |
| 01:19:00 | <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 |
| 01:22:08 | <haskellbridge> | <Bowuigi> Glad to hear that (the first part, not the rest lol) |
| 01:22:20 | <haskellbridge> | <Bowuigi> Liamzee Chagas? Isn't that a Latam thing? U ok? |
| 01:23:07 | × | tired- quits (~tired@user/tired) (Remote host closed the connection) |
| 01:24:10 | <geekosaur> | it's been spreading |
| 01:26:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:32:32 | → | tired joins (~tired@user/tired) |
| 01:37:28 | → | ludihan joins (~ludihan@189.36.207.182) |
| 01:37:54 | × | mhatta_ quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 01:42:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:44:57 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 01:47:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:52:13 | × | carburetant quits (~dottily@user/dottily) (Remote host closed the connection) |
| 01:52:13 | × | dottily quits (~user@user/dottily) (Remote host closed the connection) |
| 01:58:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:58:32 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 02:03:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 02:05:03 | × | op_4 quits (~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection) |
| 02:05:33 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:12:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:13:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:16:24 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 02:16:24 | × | prasad quits (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 02:17:50 | → | Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 02:18:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:18:52 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 02:19:25 | → | j1n37- joins (~j1n37@user/j1n37) |
| 02:19:34 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 02:20:09 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 260 seconds) |
| 02:20:09 | Katarushisu6 | is now known as Katarushisu |
| 02:25:14 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 02:29:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:30:17 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 02:32:31 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 02:33:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:34:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:44:33 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 02:45:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:46:11 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 02:50:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:01:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:06:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:15:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:19:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:20:33 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 03:23:05 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 03:27:13 | × | ludihan quits (~ludihan@189.36.207.182) (Quit: ludihan) |
| 03:30:38 | <haskellbridge> | <thirdofmay18081814goya> does anyone know of any articles discussing how to force the type checker to refine the current expression's type |
| 03:30:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:31:25 | <haskellbridge> | <thirdofmay18081814goya> the only technique I know of is using "case aClassMethod @variableToRefine of" |
| 03:32:17 | <geekosaur> | use it at the refined type? |
| 03:32:28 | <geekosaur> | I mean, that's what H-M is about |
| 03:32:58 | <geekosaur> | if it can't be refined to that type then the typechecker will complain |
| 03:33:18 | <geekosaur> | otherwise it'll take it as evidence refining the type |
| 03:33:41 | <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 |
| 03:34:07 | <haskellbridge> | <thirdofmay18081814goya> using these *class instance methods |
| 03:35:21 | <haskellbridge> | <thirdofmay18081814goya> typehole is "a" with constraint "Refinable a" in context, and you have "Refinable String" and "Refinable Int" instances |
| 03:35:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:35:45 | <geekosaur> | aside from playing around with constraints (which is a slightly more direct way to produce evidence), yes |
| 03:36:00 | <geekosaur> | that pretty much defines the type system |
| 03:36:34 | <haskellbridge> | <thirdofmay18081814goya> ok, so "case ... of" really has a super privileged position wrt the type checker right? |
| 03:36:35 | <Leary> | You can use type ascriptions or helpers like `asTypeOf` ... not sure what case-of has to do with anything. |
| 03:37:13 | <geekosaur> | ghc is System Fc (System F with typeclass constraints), constraints and use are how you refine types because type checking is constraint solving |
| 03:37:40 | <geekosaur> | if you want something else, find a language sitting in a different corner of the lambda cube 🙂 |
| 03:38:48 | <haskellbridge> | <thirdofmay18081814goya> https://play.haskell.org/saved/QlXwBEzT |
| 03:39:00 | <haskellbridge> | <thirdofmay18081814goya> here's an example of the "case ... of" refinement I'm talking about |
| 03:40:05 | <haskellbridge> | <thirdofmay18081814goya> you force a refinement to be able to extract a value out of an existential term |
| 03:41:56 | <geekosaur> | maybe you were looking for GADTs? |
| 03:42:03 | × | aforemny quits (~aforemny@2001:9e8:6ce2:9e00:b37d:61ab:c06f:9824) (Ping timeout: 252 seconds) |
| 03:42:05 | → | aforemny_ joins (~aforemny@2001:9e8:6cf2:2e00:fc2a:aed8:207c:b526) |
| 03:42:10 | <geekosaur> | pattern match, retrieve type information |
| 03:43:15 | <Leary> | Pattern matching on a constructor is necessary to expose the constraints it captures, yes, but that's not strictly special. |
| 03:43:44 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
| 03:44:03 | <haskellbridge> | <thirdofmay18081814goya> right, is this the only way to add new constraints to context? |
| 03:45:08 | <geekosaur> | you think "no" means "maybe", then? |
| 03:45:23 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 03:45:30 | <geekosaur> | this is System Fc. it's not going to change into something else. |
| 03:46:26 | <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 |
| 03:46:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:47:19 | <haskellbridge> | <thirdofmay18081814goya> so am just looking to see whether "case ... of" has a priviledged position wrt to refinement |
| 03:47:34 | <geekosaur> | it doesn't |
| 03:47:39 | <JuanDaugherty> | sentence with fancy that ends in plain ol |
| 03:47:49 | <geekosaur> | it's just one of many ways to inject a type ascription or type application |
| 03:48:30 | <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 |
| 03:48:51 | <haskellbridge> | <thirdofmay18081814goya> what are the alternatives? the goal is to produce the value from an existential term |
| 03:51:07 | <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 |
| 03:51:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:52:48 | <haskellbridge> | <thirdofmay18081814goya> I see ty |
| 03:54:21 | <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 |
| 03:55:40 | <JuanDaugherty> | cant have too complicated a logger, it's super critical |
| 03:56:14 | <JuanDaugherty> | everybody will see how clever u r when they use it all the time |
| 03:56:47 | <geekosaur> | EvanR, maybe some ImplicitParams thing? |
| 03:57:37 | <EvanR> | that's getting less dumb as nails |
| 03:59:23 | JuanDaugherty | is now known as ColinRobinson |
| 03:59:26 | <EvanR> | that's funny, it was basically the topic of an aside the other day, scope based output redirect |
| 04:00:03 | <EvanR> | but I guess that might be orthogonal to logging, which is usually this "thing tacked on to the main purpose of the program" |
| 04:02:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:04:33 | → | infinity0 joins (~infinity0@pwned.gg) |
| 04:07:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:18:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:22:11 | <monochrom> | Oh, logging is just a special case of output. :) |
| 04:23:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:25:28 | × | notdabs quits (~Owner@2600:1700:69cf:9000:9c0e:3384:b3dd:3798) (Quit: Leaving) |
| 04:28:38 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 04:33:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:39:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:49:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:52:41 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:54:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:00:29 | → | Square2 joins (~Square@user/square) |
| 05:01:34 | × | Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 05:02:40 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 268 seconds) |
| 05:04:30 | × | Square quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 05:05:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:10:08 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 05:10:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:11:40 | → | pabs3 joins (~pabs3@user/pabs3) |
| 05:16:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:28:09 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 05:28:33 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 05:29:00 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 05:31:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:33:59 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 05:37:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:47:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:54:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:02:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:07:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:17:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:22:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 06:29:21 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 06:30:05 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 06:32:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:37:08 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:38:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:45:15 | <jcarpenter2> | Just wrote "except . runExcept" to get "Monad m => Except a b -> ExceptT a m b" |
| 06:45:58 | <jcarpenter2> | Since "ExceptT a m b" is similar to "m (Except a b)", "except . runExcept" is like a transformer version of "return" |
| 06:46:54 | → | acidjnk joins (~acidjnk@p200300d6e71c4f12a43f9347ee674ba0.dip0.t-ipconnect.de) |
| 06:48:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:48:37 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 06:48:59 | <jcarpenter2> | Is there a general transformer "return" function like this? Something that goes "(MonadTrans t, Monad m) => t Identity a -> t m a"? |
| 06:49:09 | <jcarpenter2> | checked hoogle, nothing came up |
| 06:49:11 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 06:50:37 | <jcarpenter2> | Just wondering, really. Come to think of it, I'm gonna refactor my code shortly and won't even need this after all |
| 06:50:50 | → | ensyde joins (~ensyde@2601:5c6:c200:6dc0::429b) |
| 06:50:52 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 06:51:33 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 06:53:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:59:33 | × | forell quits (~forell@user/forell) (Ping timeout: 245 seconds) |
| 07:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:06 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 07:00:59 | → | caconym joins (~caconym@user/caconym) |
| 07:02:11 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:02:40 | <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. |
| 07:03:31 | <Leary> | commonly* |
| 07:04:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:04:41 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 07:09:04 | <jcarpenter2> | huh interesting |
| 07:09:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:10:47 | <jcarpenter2> | that more or less makes sense |
| 07:11:40 | <jcarpenter2> | going from Identity to some m is a special case of going from some n to some m |
| 07:18:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:19:18 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 07:19:55 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:24:29 | gehmehgeh | is now known as gmg |
| 07:25:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:29:54 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 07:36:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:40:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:41:33 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 07:50:32 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:51:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:56:00 | <jcarpenter2> | man, learning monad transformers was really fun |
| 07:56:32 | <jcarpenter2> | I now have a basic idea of what's going on with those |
| 07:56:36 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 07:57:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:02:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 08:06:23 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:07:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:08:37 | → | thuna` joins (~thuna`@user/thuna/x-1480069) |
| 08:08:56 | → | forell joins (~forell@user/forell) |
| 08:09:28 | → | Square joins (~Square4@user/square) |
| 08:12:00 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 08:12:36 | × | Square2 quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 08:13:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:14:08 | → | inca joins (~inca@71.30.233.213) |
| 08:19:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:19:24 | × | sayurc quits (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 08:23:37 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:24:10 | × | acidjnk quits (~acidjnk@p200300d6e71c4f12a43f9347ee674ba0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 08:24:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:27:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 08:28:13 | <ski> | @hoogle hoist |
| 08:28:14 | <lambdabot> | Pipes hoist :: (MFunctor t, Monad m) => (forall a . () => m a -> n a) -> t m b -> t n b |
| 08:28:14 | <lambdabot> | Control.Monad.Morph hoist :: (MFunctor t, Monad m) => (forall a . m a -> n a) -> t m b -> t n b |
| 08:28:14 | <lambdabot> | Streaming hoist :: (MFunctor t, Monad m) => (forall a . () => m a -> n a) -> t m b -> t n b |
| 08:31:01 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:34:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:36:24 | → | srazkvt joins (~sarah@user/srazkvt) |
| 08:39:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:41:48 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 252 seconds) |
| 08:44:32 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:49:47 | <jcarpenter2> | oh neat |
| 08:50:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:50:42 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 08:52:15 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:55:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 08:57:21 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 09:02:03 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 09:06:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:07:09 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 09:13:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 09:16:54 | × | aforemny_ quits (~aforemny@2001:9e8:6cf2:2e00:fc2a:aed8:207c:b526) (Ping timeout: 276 seconds) |
| 09:20:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:22:34 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 09:24:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:31:40 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 09:33:31 | → | hattckory joins (~hattckory@70.27.118.207) |
| 09:34:18 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 09:34:30 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 09:35:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:37:36 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:38:16 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 276 seconds) |
| 09:39:00 | → | img joins (~img@user/img) |
| 09:39:23 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:40:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 09:41:09 | × | hattckory quits (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 09:41:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 09:43:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:49:16 | → | __monty__ joins (~toonn@user/toonn) |
| 09:50:37 | × | srazkvt quits (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 09:50:46 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 09:51:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:55:04 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 09:56:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:00:27 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 10:01:21 | → | sprotte24 joins (~sprotte24@p200300d16f100900e59eadb5b10f2646.dip0.t-ipconnect.de) |
| 10:07:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:07:34 | ColinRobinson | is now known as JuanDaugherty |
| 10:12:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:18:16 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:18:34 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 10:21:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:23:26 | → | aforemny joins (~aforemny@i577B13D5.versanet.de) |
| 10:26:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 10:27:40 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:27:50 | → | aforemny_ joins (~aforemny@i59F4C452.versanet.de) |
| 10:28:02 | × | aforemny quits (~aforemny@i577B13D5.versanet.de) (Ping timeout: 252 seconds) |
| 10:31:00 | × | Square quits (~Square4@user/square) (Ping timeout: 276 seconds) |
| 10:31:44 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 10:36:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:41:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:41:50 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 10:45:43 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 10:52:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:53:45 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 10:58:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 11:08:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:09:01 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 11:13:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 11:16:30 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 11:22:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:23:21 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 11:25:19 | → | xdej joins (~xdej@quatramaran.salle-s.org) |
| 11:27:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 11:35:08 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 11:35:30 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 11:35:54 | × | ensyde quits (~ensyde@2601:5c6:c200:6dc0::429b) (Quit: WeeChat 4.6.0) |
| 11:37:02 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:37:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:40:00 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 11:40:37 | → | tremon joins (~tremon@83.80.159.219) |
| 11:45:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 11:50:49 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 11:55:18 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 11:55:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:56:53 | → | inca joins (~inca@71.30.233.213) |
| 12:00:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:04:40 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 12:09:22 | ← | zlqrvx parts (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Killed buffer) |
| 12:11:00 | → | zlqrvx joins (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
| 12:11:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:14:34 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 12:16:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 12:22:26 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 12:23:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:28:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 12:28:52 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 12:29:48 | → | inca joins (~inca@71.30.233.213) |
| 12:33:02 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 12:34:25 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 12:35:28 | → | srazkvt joins (~sarah@user/srazkvt) |
| 12:38:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:42:18 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 12:43:17 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 12:43:29 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 12:43:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:45:48 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 12:46:27 | → | systemhalted joins (~systemhal@75-32-210-179.lightspeed.ftwotx.sbcglobal.net) |
| 12:47:31 | × | systemhalted quits (~systemhal@75-32-210-179.lightspeed.ftwotx.sbcglobal.net) (Remote host closed the connection) |
| 12:49:27 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 12:53:14 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 12:54:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:54:42 | → | inca joins (~inca@71.30.233.213) |
| 12:55:18 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 12:59:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 13:01:04 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 13:01:24 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 272 seconds) |
| 13:08:39 | → | j1n37- joins (~j1n37@user/j1n37) |
| 13:08:50 | <[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? |
| 13:09:31 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 13:09:49 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 13:10:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:14:37 | <tomsmeding> | [exa]: I have no clue, try it |
| 13:14:45 | <tomsmeding> | using accelerate after all? :p |
| 13:14:58 | tomsmeding | has never used runQ |
| 13:15:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 13:22:21 | → | leah2 joins (~leah@vuxu.org) |
| 13:24:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:31:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 13:34:47 | → | hattckory joins (~hattckory@70.27.118.207) |
| 13:39:44 | × | hattckory quits (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 13:41:39 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 13:41:56 | → | inca joins (~inca@71.30.233.213) |
| 13:42:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:47:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 13:50:28 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 13:52:34 | → | inca joins (~inca@71.30.233.213) |
| 13:56:08 | → | leah2 joins (~leah@vuxu.org) |
| 13:57:09 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 248 seconds) |
| 13:57:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:02:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 14:03:35 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 14:05:41 | <[exa]> | tomsmeding: yeah turns out to be Quite Fast And Great in the end |
| 14:05:45 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 14:06:05 | → | euleritian joins (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) |
| 14:06:47 | <[exa]> | literally the only tiny taint is that the executable is 181MB |
| 14:07:11 | <[exa]> | (ok 141 after stripping) |
| 14:07:32 | <[exa]> | anyway I ended with runN, turns out pretty much exactly what I want for a portable executable |
| 14:09:28 | <[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? |
| 14:09:31 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 14:10:16 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 14:13:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:17:04 | × | euleritian quits (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 14:17:21 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 14:20:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:25:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:28:09 | × | albet70 quits (~xxx@2400:8905::f03c:92ff:fe60:98d8) (Ping timeout: 260 seconds) |
| 14:29:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 14:32:43 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 14:33:34 | → | euleritian joins (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) |
| 14:35:32 | <tomsmeding> | [exa]: that segfault is not at all expected. Can you reproduce it after you `rm -rf ~/.cache/accelerate`? |
| 14:38:14 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 14:38:16 | Server | sets mode +Cnt |
| 14:39:59 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 14:40:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:40:48 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:41:21 | <tomsmeding> | [exa]: no complaints about llvm version restrictions? I assume you're on ubuntu? |
| 14:45:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 14:51:08 | → | albet70 joins (~xxx@172-233-90-118.ip.linodeusercontent.com) |
| 14:52:24 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 14:54:25 | → | inca joins (~inca@71.30.233.213) |
| 14:56:56 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 14:56:58 | Server | sets mode +Cnt |
| 14:59:09 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 15:00:32 | → | coldmountain joins (uid484352@id-484352.helmsley.irccloud.com) |
| 15:01:33 | → | inca joins (~inca@71.30.233.213) |
| 15:02:42 | × | fantom quits (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 15:09:27 | → | fantom joins (~fantom@2.219.56.221) |
| 15:09:59 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 15:11:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:12:49 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 15:18:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:26:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:30:35 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:31:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 15:32:13 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 15:33:10 | → | gmg joins (~user@user/gehmehgeh) |
| 15:35:17 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 15:38:09 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 15:38:09 | → | notdabs joins (~Owner@2600:1700:69cf:9000:587b:b035:2357:b8f1) |
| 15:39:57 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:39:57 | mal1 | is now known as lieven |
| 15:41:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:43:41 | → | Owner_ joins (~Owner@2600:1700:69cf:9000:587b:b035:2357:b8f1) |
| 15:46:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 15:46:54 | × | notdabs quits (~Owner@2600:1700:69cf:9000:587b:b035:2357:b8f1) (Ping timeout: 260 seconds) |
| 15:50:45 | × | euleritian quits (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 15:56:15 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:57:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:59:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) |
| 16:01:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:02:59 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 16:04:40 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 16:07:38 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 16:08:04 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 16:08:22 | → | ethantwardy joins (user@user/ethantwardy) |
| 16:11:36 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 16:13:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:15:57 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 16:16:26 | → | aman joins (~aman@user/aman) |
| 16:17:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:17:47 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 16:18:22 | → | ethantwardy joins (user@user/ethantwardy) |
| 16:19:09 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:22:09 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 16:23:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:23:48 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 16:24:23 | → | ethantwardy joins (user@user/ethantwardy) |
| 16:27:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:27:56 | → | inca joins (~inca@71.30.233.213) |
| 16:32:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 16:33:10 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 16:33:37 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 16:33:57 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 16:34:20 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 16:34:32 | → | ethantwardy joins (user@user/ethantwardy) |
| 16:36:42 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 16:37:40 | × | Flow quits (~none@gentoo/developer/flow) (Read error: Connection reset by peer) |
| 16:38:28 | → | Flow joins (~none@gentoo/developer/flow) |
| 16:40:22 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 16:42:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:44:45 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:46:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) |
| 16:47:05 | → | euleritian joins (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) |
| 16:47:32 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 16:49:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:51:55 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 16:52:04 | → | sayurc joins (~sayurc@169.150.203.34) |
| 16:54:32 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 16:56:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 16:56:04 | ljdarj1 | is now known as ljdarj |
| 17:00:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:05:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:08:24 | → | gerogaga joins (~user@20014C4C152C94004C6ABB17B328D6E0.catv.pool.telekom.hu) |
| 17:11:15 | <gerogaga> | Hello, I'm trying to create a module named Systemd.Connection, but |
| 17:11:15 | <gerogaga> | HLS says that loading the module has failed. The module is in |
| 17:11:16 | <gerogaga> | project/Systemd/Connection.hs, but it didn't work in |
| 17:11:19 | <gerogaga> | project/app/Systemd/Connection.hs. What could be the problem? |
| 17:11:31 | <gerogaga> | Whoops, sorry for it splitting up. |
| 17:14:17 | <EvanR> | "doesn't work" "doesn't load" |
| 17:14:23 | <EvanR> | not much to go on |
| 17:16:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:16:34 | → | jespada joins (~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) |
| 17:16:57 | <gerogaga> | Unfortunately, that's all HLS gives me. The error message is "cradle: Loading the module '/home/ggero/projects/init/Systemd/Connection.hs' failed." |
| 17:17:02 | <monochrom> | Probably simplest to just keep it as project/Systemd/Connection.hs |
| 17:17:48 | <gerogaga> | I tried that, as well as project/Systemd.hs, to no avail. |
| 17:18:03 | <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. |
| 17:21:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 17:25:54 | <tomsmeding> | gerogaga: what is the hs-source-dirs option in your cabal file? |
| 17:26:15 | <tomsmeding> | what could also just be the problem is that you need to restart HLS |
| 17:26:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:31:10 | × | jespada quits (~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 17:31:32 | <gerogaga> | tomsmeding: I've tried restarting HLS, to no avail, unfortunately. hs-source-dirs is set to app/. |
| 17:32:58 | <tomsmeding> | gerogaga: then the module should be in app/, for sure. Have you tried putting it there and _then_ restarting HLS? |
| 17:33:50 | <gerogaga> | I tried putting it in a subdirectory under app/ but not directly under app/ itself. |
| 17:34:05 | <tomsmeding> | right, it should be app/Systemd/Connection.hs |
| 17:34:50 | <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 |
| 17:34:52 | <tomsmeding> | @where paste |
| 17:34:52 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 17:35:16 | → | jespada joins (~jespada@r179-25-5-255.dialup.adsl.anteldata.net.uy) |
| 17:41:49 | <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. |
| 17:43:06 | <tomsmeding> | gerogaga: ah: all modules in a library or executable need to be listed in the cabal file |
| 17:43:15 | <tomsmeding> | in the case of an executable, all non-Main modules should be in `other-modules:` |
| 17:43:36 | <tomsmeding> | the list under other-modules should contain module names (not paths), and they are whitespace-separated |
| 17:43:49 | <gerogaga> | Oh, I see. Thanks! |
| 17:44:01 | <tomsmeding> | (if you are writing a library instead of an executable, there is a distinction between exposed-modules and other-modules) |
| 17:44:26 | <gerogaga> | I assume other-modules becomes private in that case? |
| 17:44:30 | <tomsmeding> | yep |
| 17:44:48 | <tomsmeding> | but an executable doesn't expose any modules anyway, so the distinction is moot and all end up in other-modules. :) |
| 17:44:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:45:17 | <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? |
| 17:45:23 | <tomsmeding> | each module individually |
| 17:45:51 | <gerogaga> | I guess Systemd doesn't exist as a module then? |
| 17:46:35 | <tomsmeding> | indeed |
| 17:46:37 | <EvanR> | is there a Systemd.hs |
| 17:46:58 | <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 |
| 17:47:06 | × | euleritian quits (~euleritia@dynamic-176-000-004-056.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:47:12 | <gerogaga> | No. Is it possible to have both a directory and a .hs file of the same name without ghc getting confused? |
| 17:47:23 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 17:47:25 | <tomsmeding> | yes, that's the intended use! |
| 17:47:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) |
| 17:47:30 | <gerogaga> | tomsmeding: Thanks for the help. |
| 17:47:53 | <tomsmeding> | after all, they're distinguished by the one having ".hs" at the end ;) |
| 17:49:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 17:51:55 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 260 seconds) |
| 17:55:06 | <monochrom> | Unlike Java, Haskell does not have a "Systemd.*" notion at all. The computer assumes no relation between Systemd and Systemd.Connection |
| 17:57:17 | <mauke> | originally Haskell didn't even have a "." notion |
| 17:57:40 | <mauke> | and tbh I'm not sure why it was added |
| 17:59:20 | <[exa]> | tomsmeding: re segfault: will check. It's in a concurrent tcp server so maybe there's more things at play. |
| 17:59:53 | <[exa]> | tomsmeding: re llvm version: not really but the docs could say as the first thing in bold that "just compile llvm15 from source" |
| 18:00:12 | <tomsmeding> | right |
| 18:00:16 | <tomsmeding> | which works :p |
| 18:00:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:00:32 | <[exa]> | tomsmeding: well |
| 18:00:34 | <[exa]> | tomsmeding: https://github.com/AccelerateHS/accelerate-llvm/issues/102 |
| 18:00:35 | <tomsmeding> | if you pass the right compiler flags; apparently the docs are either more informative than I thought, or you got lucky |
| 18:02:43 | <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' |
| 18:02:45 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:02:54 | <tomsmeding> | you may skip the NVPTX if you're not interested in GPU |
| 18:02:57 | <tomsmeding> | what did you use? |
| 18:03:49 | <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) |
| 18:04:51 | → | weary-traveler joins (~user@user/user363627) |
| 18:05:15 | → | mceresa joins (~mceresa@user/mceresa) |
| 18:05:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:05:37 | <[exa]> | tomsmeding: I tried to follow the build opts here https://github.com/AccelerateHS/accelerate-llvm?tab=readme-ov-file#building-from-source |
| 18:05:58 | <[exa]> | tomsmeding: tbh given the sheer size of the whole LLVM business it would be super great to document the TARGETS_TO_BUILD :) |
| 18:07:59 | → | messewix joins (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) |
| 18:07:59 | × | messewix quits (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) (Changing host) |
| 18:07:59 | → | messewix joins (~jmc@user/messewix) |
| 18:08:13 | <[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 |
| 18:14:10 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 18:14:24 | → | weary-traveler joins (~user@user/user363627) |
| 18:16:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:21:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:21:38 | <tomsmeding> | [exa]: it may well be the LLVM_ENABLE_ASSERTIONS that does that |
| 18:21:47 | tomsmeding | actually reads the readme for the first time |
| 18:22:03 | <tomsmeding> | I wonder if the reason my flags worked for me is that I did not set LLVM_ENABLE_ASSERTIONS |
| 18:22:37 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:23:41 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 18:24:45 | <tomsmeding> | [exa]: for the time being I've just shoved my flags in the README |
| 18:25:17 | <[exa]> | might be useful to check, eyah |
| 18:29:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:33:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:34:26 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Remote host closed the connection) |
| 18:38:16 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 18:39:24 | → | sprotte24_ joins (~sprotte24@p5b039d5b.dip0.t-ipconnect.de) |
| 18:40:53 | × | sprotte24 quits (~sprotte24@p200300d16f100900e59eadb5b10f2646.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 18:44:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:49:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 18:52:29 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:54:06 | → | califax joins (~califax@user/califx) |
| 18:54:17 | <[exa]> | tomsmeding: btw why do you build clang and the libcxx etc. there? |
| 18:54:42 | <tomsmeding> | I... have no clue, this worked |
| 18:54:57 | <tomsmeding> | not at all unlikely that I needed clang for other reasons |
| 18:55:11 | <tomsmeding> | does it work for you without that LLVM_ENABLE_PROJECTS? |
| 19:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:00:45 | → | caconym joins (~caconym@user/caconym) |
| 19:05:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:05:12 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:05:24 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 19:10:18 | × | aman quits (~aman@user/aman) (Ping timeout: 265 seconds) |
| 19:15:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:17:28 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:18:15 | → | skum joins (~skum@user/skum) |
| 19:18:51 | <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". >:) |
| 19:20:16 | <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! |
| 19:21:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:24:37 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 19:26:36 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
| 19:31:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:36:21 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 19:36:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:42:54 | <haskellbridge> | <Bowuigi> Tbh Control/Lens looks decent and reflects the directory structure |
| 19:44:00 | <haskellbridge> | <Bowuigi> "Data/Traversable/mapAccumL" seems like an individual file instead of a function tho |
| 19:44:59 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 19:45:04 | → | Digitteknohippie joins (~user@user/digit) |
| 19:45:29 | → | pavonia joins (~user@user/siracusa) |
| 19:45:30 | <monochrom> | That just shifts the question to "should I have a directory tree in the first place?" |
| 19:45:40 | × | jle` quits (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 252 seconds) |
| 19:46:03 | → | Square2 joins (~Square@user/square) |
| 19:47:30 | <monochrom> | Personally I would be fine with having 3 files DataFunctor.hs, DataFunctorConst.hs, DataFunctorProduct.hs in the same directory. |
| 19:47:30 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:47:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:47:48 | → | jle` joins (~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) |
| 19:47:54 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 19:48:43 | <geekosaur> | iirc ghc used to let you put module `Data.Functor.Const` in `Data.Functor.Const.hs` |
| 19:48:49 | <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". |
| 19:49:35 | → | weary-traveler joins (~user@user/user363627) |
| 19:49:47 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 19:50:13 | <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! |
| 19:52:51 | <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 |
| 19:53:09 | <tomsmeding> | this is regularly annoying for precisely the reason monochrom mentioned |
| 19:54:04 | <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. |
| 19:54:10 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 19:54:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:54:57 | <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. |
| 19:55:38 | <tomsmeding> | except if there are legitimately separate components in the project that you mostly work on separately |
| 19:56:52 | <monochrom> | Right. |
| 19:57:25 | <monochrom> | Another case is e.g Java projects where there is one directory for metadata and another for source code proper. |
| 19:57:26 | <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. |
| 19:57:36 | <davean> | I told it to open the file, why would I be in wonder? |
| 19:57:57 | <davean> | am I wondering if it opened the wrong file? |
| 19:58:49 | <davean> | How does this come up? |
| 20:04:05 | <mauke> | Data.Machine is functionally identical to Data_Machine, language-wise |
| 20:04:51 | <mauke> | only less ambiguous in cases like Data_Maybe.Just |
| 20:05:19 | × | gadot quits (Angelz@user/angelz) (Remote host closed the connection) |
| 20:05:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:06:21 | <monochrom> | \∩/ also Data'Machine |
| 20:06:40 | <monochrom> | <-- fan of Oleg'case. |
| 20:07:27 | <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 |
| 20:07:43 | <tomsmeding> | it would be rather inconvenient to have to open 10 editors to open 10 files. |
| 20:08:04 | <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. |
| 20:08:16 | <davean> | if it was opened, I'm there, if it was not, now opened and there |
| 20:08:21 | <davean> | I'm blind to all this |
| 20:08:43 | <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 |
| 20:08:53 | <davean> | Sure, and that state is kept |
| 20:09:03 | <davean> | If its opened, I return to where I was when I say I want to be in that file |
| 20:09:17 | <tomsmeding> | that is a workflow that also works. :) |
| 20:10:01 | <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 |
| 20:10:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:10:12 | <tomsmeding> | but it is indeed not strictly necessary |
| 20:10:26 | <davean> | Its so forgien to me I'm not even sure what you're talking about |
| 20:11:42 | <tomsmeding> | that's okay, not everyone works the same way |
| 20:13:19 | <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) |
| 20:14:13 | <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 |
| 20:15:02 | <tomsmeding> | (one can torture unmodified vim into sorta kinda working with this style by using classical vim tabs (workspaces), but that's a hack) |
| 20:15:30 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:16:33 | <davean> | What do you get for displaying it like that? |
| 20:17:16 | <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 |
| 20:17:28 | <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. |
| 20:17:33 | → | Angelz joins (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 20:17:36 | <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 |
| 20:18:42 | Digitteknohippie | is now known as Digit |
| 20:19:09 | <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 |
| 20:19:11 | → | mikess joins (~sam@user/mikess) |
| 20:19:36 | <davean> | I wonder what it actually is ... |
| 20:19:56 | davean | goes and gets distracted in file jump golf |
| 20:20:00 | <tomsmeding> | davean: then clearly you don't work on something like LLVM. :) |
| 20:20:13 | <davean> | tomsmeding: oh? |
| 20:20:25 | <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) |
| 20:20:55 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 20:21:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:22:16 | <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? |
| 20:23:19 | <davean> | ah after 4 or 5 chars I start getting significance hints on different options |
| 20:23:31 | <davean> | and it becomes more of a search tree system |
| 20:23:53 | <tomsmeding> | what does that UI look like? |
| 20:24:06 | <tomsmeding> | "significance hints" is the thing that sounds foreign to _me_ |
| 20:24:15 | <davean> | it looks like a bunch of letters and how many files are selected under that option |
| 20:24:34 | <davean> | sop how much each key narrows down the search |
| 20:24:51 | <tomsmeding> | could you make a screenshot? I'm curious |
| 20:25:16 | <davean> | probably |
| 20:25:55 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 20:26:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:35:33 | ← | mikess parts (~sam@user/mikess) () |
| 20:37:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:41:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:46:08 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 20:46:33 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 20:47:20 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 20:49:32 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 20:50:14 | × | coldmountain quits (uid484352@id-484352.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:51:00 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 20:52:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:56:50 | → | inca joins (~inca@71.30.233.213) |
| 20:57:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:00:05 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 21:05:39 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 252 seconds) |
| 21:08:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:14:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:24:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:26:23 | → | inca joins (~inca@71.30.233.213) |
| 21:29:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 21:34:12 | → | skum_ joins (~skum@sout-10-b2-v4wan-167579-cust2396.vm41.cable.virginm.net) |
| 21:36:24 | × | skum quits (~skum@user/skum) (Ping timeout: 244 seconds) |
| 21:40:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:40:29 | × | thuna` quits (~thuna`@user/thuna/x-1480069) (Ping timeout: 252 seconds) |
| 21:41:25 | × | Owner_ quits (~Owner@2600:1700:69cf:9000:587b:b035:2357:b8f1) (Quit: Leaving) |
| 21:45:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:51:40 | <EvanR> | this code is from a paper. Any idea why the variable name iota was chosen here https://paste.tomsmeding.com/GyAs09aL |
| 21:54:14 | <EvanR> | (Freer Monads, More Extensible Effects) |
| 21:56:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:01:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:06:25 | <haskellbridge> | <Bowuigi> Iota is the combinator for generating a sequence of numbers (I think the name comes from APL, it also appears on Guile and Ivy) |
| 22:09:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 22:10:30 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 22:10:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:11:32 | <EvanR> | aaaaahhhh |
| 22:11:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:17:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 22:17:42 | → | j1n37- joins (~j1n37@user/j1n37) |
| 22:18:47 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 22:22:05 | → | aaronv joins (~aaronv@user/aaronv) |
| 22:29:09 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 248 seconds) |
| 22:30:25 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 22:31:06 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:33:00 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 22:37:24 | → | inca joins (~inca@71.30.233.213) |
| 22:38:44 | × | tromp quits (~textual@2001:1c00:3487:1b00:1844:3a13:7641:5c03) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:41:49 | × | xff0x quits (~xff0x@2405:6580:b080:900:46de:d563:2315:dd7b) (Quit: xff0x) |
| 22:42:42 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:44:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:49:21 | → | xff0x joins (~xff0x@2405:6580:b080:900:a3da:a53f:d4f9:34ab) |
| 22:49:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 22:50:33 | × | skum_ quits (~skum@sout-10-b2-v4wan-167579-cust2396.vm41.cable.virginm.net) (Quit: Leaving) |
| 22:50:49 | → | skum_ joins (~skum@sout-10-b2-v4wan-167579-cust2396.vm41.cable.virginm.net) |
| 22:52:58 | → | cheater_ joins (~Username@user/cheater) |
| 22:55:49 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 22:55:55 | cheater_ | is now known as cheater |
| 22:56:06 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 272 seconds) |
| 22:58:32 | → | aaronv joins (~aaronv@user/aaronv) |
| 23:00:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:05:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:05:41 | → | mikess joins (~sam@user/mikess) |
| 23:06:44 | × | messewix quits (~jmc@user/messewix) (Ping timeout: 260 seconds) |
| 23:10:15 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:13:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 23:13:25 | ljdarj1 | is now known as ljdarj |
| 23:16:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:20:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:20:48 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 23:21:04 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:31:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:35:55 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:36:51 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 23:37:06 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 23:37:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:38:27 | → | Square joins (~Square4@user/square) |
| 23:41:59 | × | Square2 quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 23:42:14 | × | sprotte24_ quits (~sprotte24@p5b039d5b.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:43:10 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 23:47:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:48:10 | → | aaronv joins (~aaronv@user/aaronv) |
| 23:51:06 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 23:53:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:56:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 23:57:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
All times are in UTC on 2025-04-13.