Logs: liberachat/#xmonad
| 2021-06-06 15:55:02 | <Solid> | interesting how some hlint hints literally lead to incorrectly typed programs |
| 2021-06-06 16:05:34 | <mc47> | like what? |
| 2021-06-06 16:07:36 | <Solid> | Like how it tells me to evaluate throw e `const` (x `asTypeOf` ExitSuccess) to just throw e |
| 2021-06-06 16:09:06 | <Solid> | also I'm not sure data -> newtype is safe in every situation? It should be fine for us but I remember having some issues regarding GeneralizedNewtypeDeriving and friends silently giving me other instances |
| 2021-06-06 16:10:43 | <mc47> | oh, that's beyond my knowledge |
| 2021-06-06 16:11:01 | <mc47> | we probably want to disable those lints then |
| 2021-06-06 16:11:25 | <Solid> | we definitely want to disable evaluate yeah |
| 2021-06-06 16:17:34 | → | jg joins (~jrgiacone@47.149.222.98) |
| 2021-06-06 16:17:53 | <jg> | good morning :) how's everyone's weekend going? |
| 2021-06-06 16:19:58 | <Solid> | good evening :) |
| 2021-06-06 16:20:32 | <Solid> | well I wasted half of my sunday linting xmonad-contrib because it was not as straightforward as I expected after all |
| 2021-06-06 16:20:44 | <Solid> | but other than that it was fine =) |
| 2021-06-06 16:23:35 | <mc47> | it has been okay, the weather is kinda ruining it |
| 2021-06-06 16:23:41 | <mc47> | how about yourself? |
| 2021-06-06 16:24:07 | <jg> | I'm not familiar with the term linting, is that like just looking for syntax errors? |
| 2021-06-06 16:24:58 | <jg> | It's been pretty good so far, I had to work Saturday because I'm a little behind on deadlines but I'm hoping the sun comes out today |
| 2021-06-06 16:25:51 | <mc47> | linting is basically detecting bad patterns |
| 2021-06-06 16:25:54 | <mc47> | more or less |
| 2021-06-06 16:27:28 | <jg> | interesting, like it looks for predefined patterns or is it AI? |
| 2021-06-06 16:28:38 | <mc47> | it's predefined |
| 2021-06-06 16:30:41 | <mc47> | you basically know in advance what you're looking for, so you don't need AI |
| 2021-06-06 16:30:54 | <Solid> | yeah it looks for patterns like how writing `map f . map g` is slightly less clear than `map (f . g)` |
| 2021-06-06 16:31:03 | <mc47> | And when I say "you" I mean people who wrote the linter |
| 2021-06-06 16:31:44 | <jg> | That is pretty nifty, so it's main purpose is to clean up/shorten code while improving compile time? |
| 2021-06-06 16:33:51 | <Solid> | not so much improving compile time as just improving legibility |
| 2021-06-06 16:34:06 | <Solid> | but "clean up" fits nicely |
| 2021-06-06 16:35:00 | <mc47> | depends on the application, really |
| 2021-06-06 16:36:09 | <mc47> | one of the lints I'm implementing actually makes the "code run longer", but it's a good compromise if the result is more clear |
| 2021-06-06 16:36:50 | <mc47> | (and by "code run longer" I mean "it takes longer to find and verify the proofs" |
| 2021-06-06 16:36:54 | <mc47> | ) |
| 2021-06-06 16:37:18 | mc47 | thinks linters are fun |
| 2021-06-06 16:39:50 | <Solid> | :) |
| 2021-06-06 16:40:00 | <Solid> | oh right I forgot, you're writing a linter as part of your thesis right? |
| 2021-06-06 16:41:25 | <jg> | for masters ? |
| 2021-06-06 16:43:41 | <liskin> | hlint is also useful when one wants to define site-specific lints such as "we never use head in this codebase as it might explode in production" |
| 2021-06-06 16:46:03 | <mc47> | jg my bachelor's |
| 2021-06-06 16:46:32 | <mc47> | I'll hopefully be done with it soon... kinda starting to burn out |
| 2021-06-06 16:47:03 | <jg> | damn you had to do a thesis for your bachelor's, for my BS in ME we just had a final design project |
| 2021-06-06 16:48:36 | <mc47> | well it's called a thesis, but it's more like a project |
| 2021-06-06 16:49:10 | <mc47> | then again, a project kinda underrates it |
| 2021-06-06 16:49:38 | <jg> | I mean if you aren't spending a few hundred hours on your final project was it really a final project |
| 2021-06-06 16:49:58 | × | kajzer quits (~themainma@user/themainman) (Quit: WeeChat 3.1) |
| 2021-06-06 16:50:14 | <mc47> | it's just the thing I have to do to get my degree, and that should approximately take 450 hours over the span of 4 months :D |
| 2021-06-06 16:50:29 | → | kajzer joins (~themainma@user/themainman) |
| 2021-06-06 16:52:51 | <Solid> | liskin: that's a good point as well |
| 2021-06-06 16:53:16 | <Solid> | I guess we can use #537 to bikeshed rules we may want to place in our fresh .hlint.yaml :) |
| 2021-06-06 16:54:13 | <Solid> | I will do another -fforce-recomp now and then I'll push the changes if nothing blows up |
| 2021-06-06 16:54:24 | <Solid> | so we get maximum test time before the release |
| 2021-06-06 16:59:06 | <liskin> | https://liskin.github.io/xmonad-web/posts.html |
| 2021-06-06 16:59:29 | <liskin> | and the "What's new" at https://liskin.github.io/xmonad-web/ is now generated from the posts as well, and there's an atom feed too |
| 2021-06-06 17:00:07 | <liskin> | I should just open a PR |
| 2021-06-06 17:00:13 | <liskin> | it's a bit of a mess :-/ |
| 2021-06-06 17:00:21 | <Solid> | :o |
| 2021-06-06 17:00:25 | <Solid> | that's awesome |
| 2021-06-06 17:00:57 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-06-06 17:08:55 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-06-06 17:13:06 | <mc47> | that's pretty cool! |
| 2021-06-06 17:19:44 | <jg> | when are ya'll planning the next major release? |
| 2021-06-06 17:20:53 | → | sundbry joins (~quassel@99-42-143-129.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-06 17:23:00 | × | kajzer quits (~themainma@user/themainman) (Quit: WeeChat 3.1) |
| 2021-06-06 17:23:09 | <Solid> | the only big thing that's left is the EWMH pr |
| 2021-06-06 17:23:19 | <Solid> | so perhaps in the next few weeks :) |
| 2021-06-06 17:24:16 | → | kajzer joins (~themainma@user/themainman) |
| 2021-06-06 17:25:09 | <liskin> | which is sort of exactly the same situation we thought we had in november :-D |
| 2021-06-06 17:25:18 | <liskin> | it might be true this time though |
| 2021-06-06 17:28:36 | <Solid> | hah, good point :D |
| 2021-06-06 17:36:45 | <jg> | solid, i thought ewmh was already in ? |
| 2021-06-06 17:47:55 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-06 17:52:05 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-06 17:52:57 | <liskin> | Solid: https://github.com/xmonad/xmonad-contrib/commit/402d29b306950b9f74664b7652d2b9f3bfa40895 |
| 2021-06-06 17:53:23 | <liskin> | (passes on my fork, will take a few minutes here) |
| 2021-06-06 17:53:37 | <liskin> | oh and I forgot to add Related: |
| 2021-06-06 17:53:46 | <liskin> | doesn't matter I guess |
| 2021-06-06 17:54:17 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-06 17:58:06 | × | kajzer quits (~themainma@user/themainman) (Quit: WeeChat 3.1) |
| 2021-06-06 17:59:20 | → | kajzer joins (~themainma@user/themainman) |
| 2021-06-06 18:07:07 | <liskin> | jg: https://github.com/xmonad/xmonad-contrib/issues/396 |
| 2021-06-06 18:07:09 | <mc47> | jg there's a big change coming for ewmh (#399) |
| 2021-06-06 18:08:41 | <liskin> | I can't decide how to move forward with it though |
| 2021-06-06 18:08:54 | <liskin> | I don't like #399 any more :-) |
| 2021-06-06 18:09:21 | <mc47> | why not |
| 2021-06-06 18:09:40 | <liskin> | might be nice to actually build something on top of ExtensibleConf, perhaps even take a stab at the extensible EWMH framework geekosaur suggested back in 2016 (https://github.com/xmonad/xmonad-contrib/pull/109#issuecomment-259766760) |
| 2021-06-06 18:10:44 | <liskin> | mc47: because having a single record with lots of options is not extensible, and if we're going to try not breaking backward compat, we'd be stuck with it for a while :-/ |
| 2021-06-06 18:10:49 | <liskin> | (afk dinner) |
| 2021-06-06 18:11:27 | <mc47> | I can kinda see what you mean |
| 2021-06-06 18:43:25 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 2021-06-06 19:42:41 | → | Guest85 joins (~Guest85@124.40.244.150) |
| 2021-06-06 19:43:36 | <Guest85> | Is ppOutput used when using statusBarPropTo? If not what is the alternative if want to process the output string? |
| 2021-06-06 19:49:42 | <liskin> | Guest85: it's not being used, although you raise a good point that we should document that |
| 2021-06-06 19:50:25 | <liskin> | Guest85: you could possibly do some processing in ppOrder: https://github.com/xmonad/xmonad-contrib/blob/402d29b306950b9f74664b7652d2b9f3bfa40895/XMonad/Hooks/StatusBar/PP.hs#L187 |
| 2021-06-06 19:51:13 | <jg> | gosh I love how easy it is to just take my config file and throw it on my laptop, goodbye dwm on laptop |
| 2021-06-06 19:51:23 | <Guest85> | Yup. I thougt of that. Can't we have a simple post processing hook also. It will be clean. |
| 2021-06-06 19:51:34 | <liskin> | and if you need anything extra, then just look at how statusBarPropTo is defined and define it yourself with the postprocessing step |
| 2021-06-06 19:51:56 | <liskin> | Guest85: what sort of processing are you trying to do? |
| 2021-06-06 19:52:09 | <Solid> | yeah statusBarPropTo is just one or two lines, should be easy enough to do something with the output of dynamicLogString |
| 2021-06-06 19:52:26 | <Solid> | liskin: thanks for handling the CI stuff :) |
| 2021-06-06 19:52:29 | <liskin> | (in other words, yes we can maybe have a postproc hook, but we'd love to understand the motivations before we add something, as it might turn out to be unnecessary) |
| 2021-06-06 19:52:47 | × | cyr4x3 quits (~cyr4x3@139.47.116.53) (Quit: WeeChat 2.3) |
| 2021-06-06 19:53:21 | <Guest85> | I am trying to get powerline with xmobar. The problem is I need to find the previous segment's background or alternatively next segment's foreground in the current segment. Not a haskell programmer - though a decent programmer otherwise. |
| 2021-06-06 19:54:49 | <Guest85> | I can always look at prior art - but none I could find by googling :(. |
All times are in UTC.