Home freenode/#xmonad: Logs Calendar

Logs on 2021-02-02 (freenode/#xmonad)

00:20:12 × notis quits (~notis@185.51.134.229) (Ping timeout: 246 seconds)
01:04:15 × _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
01:05:28 → _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net)
01:40:15 <Liskni_si> ?tell mc47 I played with my dynamic bars today, if you want to have a look: https://github.com/liskin/dotfiles/commit/38503119bddbf14065cadc5ecb94ee16dd9096a1
01:40:15 <lambdabot> Consider it noted.
01:40:41 <Liskni_si> ?tell mc47 (didn't get to your PR but it's in queue)
01:40:41 <lambdabot> Consider it noted.
02:34:08 × ml| quits (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 260 seconds)
02:47:09 → ml| joins (~ml|@unaffiliated/ml/x-3958674)
02:55:17 → gazler joins (~gazler@195.107.2.81.in-addr.arpa)
02:57:16 × gazler_ quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 240 seconds)
03:22:54 × theDon quits (~td@muedsl-82-207-238-102.citykom.de) (Ping timeout: 246 seconds)
03:24:47 → theDon joins (~td@94.134.91.201)
04:56:05 × thunderrd quits (~thunderrd@183.182.115.7) (Remote host closed the connection)
05:14:38 → thunderrd joins (~thunderrd@183.182.115.7)
06:12:11 → palo1 joins (~weechat@c-base/crew/palo)
06:15:09 × palo quits (~weechat@c-base/crew/palo) (Ping timeout: 256 seconds)
06:15:09 palo1 is now known as palo
06:28:51 × growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
06:48:16 → engblom joins (~foo@unaffiliated/engblom)
06:49:39 <engblom> I have a case where I want to use xmonad and dual screens. On single screen smartborders works great: the frame is removed if there is only one program running. Now I need smartborders to work also for dual screen as feh refuses to do fullscreen if there are borders.
06:50:35 <engblom> I have a script calling on feh to put information on two screens that will show the menu at a restaurant.
06:57:25 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
06:58:33 → thoros joins (~thoros@194-96-55-156.hdsl.highway.telekom.at)
07:05:00 → materiyolo joins (~materiyol@112.204.170.198)
07:05:09 <Solid> engblom: I suspect this may have been fixed by https://github.com/xmonad/xmonad-contrib/commit/9cff824a24040cd0270f79614c525d4c541e7133 already
07:11:58 → cfricke joins (~cfricke@unaffiliated/cfricke)
07:12:37 → gzj joins (~gzj@unaffiliated/gzj)
07:13:39 <Solid> if you don't want to/can't update to git you can also of course disable borders entirely :)
07:47:06 <engblom> Solid: Thanks, I went with the disable borders entirely route. I want to avoid things outside of the distro repo as that makes maintaince harder.
08:06:24 → mc47 joins (~yecinem@89.246.239.190)
08:11:59 <mc47> Liskni_si that's cool! I guess a module for more involved process management might be cool for users (something along the lines of the private module you have)
08:12:22 <mc47> someone asked on the irc last week that they wanted to restart their systray with xmonad
08:12:45 <mc47> and take your time with my PR, it's fine :-)
08:47:43 → seschwar joins (~seschwar@unaffiliated/seschwar)
08:48:16 × p71 quits (~chatzilla@097-083-185-160.res.spectrum.com) (Ping timeout: 240 seconds)
08:50:09 → p71 joins (~chatzilla@97.83.185.160)
08:55:25 × gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds)
09:08:07 × materiyolo quits (~materiyol@112.204.170.198) (Quit: WeeChat 2.9)
09:08:44 → materiyolo joins (~materiyol@112.204.170.198)
09:10:58 → notis joins (~notis@185.51.134.230)
09:25:14 → gzj joins (~gzj@unaffiliated/gzj)
09:26:54 → GZJ0X_ joins (~gzj@unaffiliated/gzj)
09:30:25 × gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds)
09:38:38 × davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Ping timeout: 256 seconds)
09:38:55 × materiyolo quits (~materiyol@112.204.170.198) (Quit: WeeChat 2.9)
09:40:38 → davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net)
09:59:04 × GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
10:07:45 × tcberner quits (~quassel@freebsd/developer/tcberner) (Ping timeout: 264 seconds)
10:16:15 <Liskni_si> engblom: what distro do you have?
10:17:17 <engblom> Ubuntu 20.04
10:17:24 <engblom> Liskni_si: ^
10:17:36 <Liskni_si> It might be a good idea to try to set up gh actions to do the whole release process for us and go to a regular release schedule.
10:18:17 <Liskni_si> On the other hand many xmonad users are probably fine with using it from git as they're devs as well.
10:18:59 <Liskni_si> That was just me thinking aloud, nevermind.
10:19:11 <Solid> it depends really; do we expect this spur of productivity to continue?
10:19:23 <Solid> If yes then it might make sense to have more frequent releases
10:20:40 <Liskni_si> That's a good point. On the other hand being able to make bugfix releases with one click is so awesome.
10:22:04 <Liskni_si> But then the debian maintainers seem to be inactive anyway so... :-/
10:23:17 <Solid> :/
10:34:36 → thc202 joins (~thc202@unaffiliated/thc202)
10:37:20 → tcberner joins (~quassel@freebsd/developer/tcberner)
11:06:10 <engblom> I have "doShiftScreen sid = maybe mempty doShift =<< liftX (screenWorkspace sid)" and I use it for shifting a feh window according to title with "title =? "screen1" --> doShiftScreen 0". This is all working well when using just "feh --title screen1 --auto-zoom foo.png".
11:06:34 <engblom> But there is one annoying thing: it flickers a bit before the whole screen is used.
11:07:21 <engblom> If I use "feh --title screen1 --fullscreen --auto-zoom foo.png" there is less of flicker between each feh command (when next image is shown)
11:07:46 <engblom> But the problem is that my hook for shifting screen is not working if I use --fullscreen for feh. What could be done?
11:11:12 <Liskni_si> unrelated rant: I'm starting to think AusCyberman is dyslexic or perhaps blind, I asked them to make three sentences in doc look like sentences, they fixed the first one, ignored the second, fixed the third, and then added one more than again doesn't look like a sence
11:11:33 <Liskni_si> if we just took the idea and rewrote it from scratch, it would be a net-positive in time wasted.
11:12:15 × arzano quits (~arzano@gentoo/developer/arzano) (Ping timeout: 246 seconds)
11:20:46 <Solid> I'm getting a bit annoyed with them marking things as resolved when they haven't actually done anything
11:21:23 <Solid> engblom: maybe feh changes it's title when it's started in fullscreen?
11:21:31 <Solid> otherwise I can't see why the hook wouldn't fire
11:22:15 <psibi[m]> Liskni_si: I haven't seen the other conversations. But I saw the MR related to lenses and I'm not sure if adding microlens as a dependency to xmonad is a good idea.
11:22:59 <psibi[m]> Probably it's better to create a separate package if somebody needs lens combinators.
11:24:37 <Liskni_si> psibi[m]: there's a PR in xmonad-contrib that emits dozens of mail notifications daily
11:25:19 <Liskni_si> as if there was a background process doing while :; do git commit --amend -a && git push -f; sleep 10; done
11:25:52 <Liskni_si> and you're right that since all of StackSet is exported, this can indeed be implemented as a separate package
11:26:19 <engblom> Solid: No, it is not changing. I tested and it is still the same
11:28:54 <Solid> I'm not sure why microlens-th is there and it's not used
11:29:21 <Solid> microlens itself only has base and transformers as a dependency, but I agree that it seems "meh" to import it for one type
11:29:56 → def_jam joins (~eblip@unaffiliated/eblip)
11:30:03 → eb0t_ joins (~eblip@unaffiliated/eblip)
11:30:09 <Solid> Liskni_si: I should perhaps say "sorry" for a good bunch of those notifications :>
11:31:27 <mc47> same, same... ':D
11:31:51 × eblip quits (~eblip@unaffiliated/eblip) (Ping timeout: 246 seconds)
11:31:58 × eb0t quits (~eblip@unaffiliated/eblip) (Ping timeout: 260 seconds)
11:32:04 <mc47> they *almost* figured it out in 450... there are still two changes to the formatting that shouldn't be there
11:32:37 <dminuoso> Thing is, you can export lens combinators without depending on micro/lens just fine..
11:32:54 <dminuoso> At least for most reasonable uses
11:36:17 <Solid> well, depends what you qualify as "reasonable" ;)
11:37:20 <Solid> but yes a small `Lens` module can be done without almost any dependencies
11:38:03 → xaltsc joins (~xaltsc@unaffiliated/xaltsc)
11:38:14 <Solid> and with ExistentialTypes this can even interact nicely with the lens should the need arise (though this obviously isn't a use-case for xmonad)
11:38:54 <dminuoso> Solid: For that particular usecase, it's just one single type alias.
11:39:07 <Solid> sure
11:39:51 <Solid> I'm not saying that microlens *needs* to be a dependency of xmonad now (it doesn't) when we could just define `type Lens' s a = forall f. Functor f => (a -> f a) -> s -> f s' ourselves
11:40:01 <dminuoso> That's how you should do it, for this.
11:40:20 <dminuoso> The VL style is part of its (undocumented) API, and it's there to stay.
11:41:48 <Solid> it's isomorphic to a profunctor encoding, so I do hope it stays and they don't just change the API for nothing ;)
11:42:34 <dminuoso> I guess that's one advantage of lens over optics, that you can expose lenses and the likes without adding a dependency.
11:43:01 <dminuoso> Granted, for optics you could still export VL-encoding and ask the user to wrap them with lensVL, etc..
11:43:25 <dminuoso> But that might not play nice with inlining
11:44:31 <Solid> probably not
11:44:41 <Solid> plus, you can't use . for profunctor-encoded lenses
11:44:45 <Solid> that's sad :(
11:45:16 <Solid> at least they managed to produce an interesting paper
11:47:27 → jerin[m]1 joins (jerinmatri@gateway/shell/matrix.org/x-oqephxscfyounuwh)
11:49:02 × jerin[m]1 quits (jerinmatri@gateway/shell/matrix.org/x-oqephxscfyounuwh) (Quit: authenticating)
11:49:14 → jerin[m]1 joins (jerinmatri@gateway/shell/matrix.org/x-stcjgbkwbrmjmqpx)
11:57:03 jerin[m]1 is now known as jerin
12:13:49 <Liskni_si> what is VL?
12:16:24 <psibi[m]> Van Laarhoven lenses ?
12:16:47 <Solid> Van Laarhoven
12:17:07 <Solid> the ones based on representable functors instead of profunctor
12:17:13 <Solid> s
12:17:58 <Liskni_si> oh. (haven't read any of the papers and haven't used lenses for years or maybe never)
12:18:48 <Solid> the tl;dr for haskell is that you're using type aliases instead of newtypes
12:18:59 <Solid> which yields composition with (.), but worse error messages sometimes
12:26:25 × thoros quits (~thoros@194-96-55-156.hdsl.highway.telekom.at) (Ping timeout: 240 seconds)
12:35:47 <dminuoso> *quite often
12:36:44 <dminuoso> Also, because optic kind is decided by constraint mixing, it defers errors to usage sites (say you compose two incompatible optics, it type checks fine)
12:37:05 <dminuoso> In such a case you'd just get unsolvable constraint errors, where the constraints involved have magical internal names
12:37:31 <dminuoso> To be absolutely fair, `lens` uses a mixed encoding
12:37:41 <dminuoso> There's some profunctors, some VL style, and some hybrid stuff
12:37:49 <dminuoso> But `optics` is a pure profunctor library
13:15:08 → geekosaur joins (82650c7c@130.101.12.124)
13:23:53 <geekosaur> the problem with using xmonad-extras is that "wacky dependencies" is a bit too broad a brush. what if I just want the lenses and not the audio libs dependency, or vice versa?
13:29:41 → thoros joins (~thoros@194-96-55-156.hdsl.highway.telekom.at)
13:31:06 <Solid> there are a lot of flags in xmonad-extras, maybe this is already covered?
13:31:34 <Solid> the default dependencies are only "base < 5, mtl, containers, X11>=1.4.3, xmonad>=0.10, xmonad-contrib>=0.10"
13:31:37 <Solid> this seems about right
13:32:29 <geekosaur> but flags are a bad way to handle dependencies, and thre's no guarantee that won't break at some point :(
13:32:49 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
13:33:17 <Solid> tell that to the people who wrote -extras :D
13:35:49 <geekosaur> they need to pay more attention to the folks who wrote Cabal (the library, not the program). basically there's no guarantee they won't break this usage somehow. but I suppose that's a sunk cost for now and someone will have to split -extras if it does chaneg in the future
13:36:07 geekosaur is in favor of splitting stuff up anyway, -contrib is way too big as it is…
13:36:47 <Solid> I think distributions would not like that
13:36:54 <Solid> and neither would users, most likely
13:37:14 <geekosaur> users would prefer it all be one package. that has its own nightmares
13:37:33 <Solid> that is a good point
13:40:26 → cfricke joins (~cfricke@unaffiliated/cfricke)
14:30:57 × geekosaur quits (82650c7c@130.101.12.124) (Ping timeout: 248 seconds)
14:40:08 → geekosaur joins (82650c7c@130.101.12.124)
14:56:35 × geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed)
15:07:14 × thoros quits (~thoros@194-96-55-156.hdsl.highway.telekom.at) (Read error: Connection reset by peer)
15:09:10 → thoros joins (~thoros@194-96-55-156.hdsl.highway.telekom.at)
15:10:14 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 264 seconds)
15:13:39 × thoros quits (~thoros@194-96-55-156.hdsl.highway.telekom.at) (Read error: Connection reset by peer)
15:47:03 → ADG1089__ joins (~aditya@223.236.190.35)
15:59:56 → thoros joins (~thoros@194-96-55-156.hdsl.highway.telekom.at)
16:15:48 × ADG1089__ quits (~aditya@223.236.190.35) (Remote host closed the connection)
16:25:48 → growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net)
17:02:30 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
17:04:19 × thoros quits (~thoros@194-96-55-156.hdsl.highway.telekom.at) (Ping timeout: 265 seconds)
17:12:37 → geekosaur joins (82650c7c@130.101.12.124)
17:18:44 → thoros joins (~thoros@194-96-55-156.hdsl.highway.telekom.at)
18:53:12 × geekosaur quits (82650c7c@130.101.12.124) (Ping timeout: 248 seconds)
19:33:01 → geekosaur joins (82650c7c@130.101.12.124)
19:46:05 × notis quits (~notis@185.51.134.230) (Ping timeout: 240 seconds)
19:46:30 → notis joins (~notis@185.51.134.230)
20:26:18 × Bruners quits (lasseb@gateway/shell/tihlde/x-prbtsfnrzpsykjsd) (Ping timeout: 260 seconds)
20:26:36 × mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving)
20:30:58 → Bruners joins (lasseb@gateway/shell/tihlde/x-eozvpbgovnsurlwk)
21:25:21 × geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed)
21:44:07 → geekosaur joins (82650c7c@130.101.12.124)
21:52:43 × xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 258 seconds)
21:56:03 × geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed)
22:17:56 × de-vri-es quits (~de-vri-es@voyager.de-vri.es) (Quit: Bathrobe!)
22:18:27 → de-vri-es joins (~de-vri-es@voyager.de-vri.es)
22:41:15 × seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq)
23:08:43 × thoros quits (~thoros@194-96-55-156.hdsl.highway.telekom.at) (Ping timeout: 272 seconds)
23:53:55 × Liskni_si quits (~liskin@ackle.nomi.cz) (Remote host closed the connection)
23:54:14 → Liskni_si joins (~liskin@ackle.nomi.cz)

All times are in UTC on 2021-02-02.