2021/08/08

2021-08-08 00:41:32 +0200seschwar(~seschwar@user/seschwar) (Quit: :wq)
2021-08-08 00:59:26 +0200ml|ml_
2021-08-08 01:28:47 +0200ml_ml-
2021-08-08 01:28:59 +0200ml-ml--
2021-08-08 01:30:05 +0200ml--ml|
2021-08-08 01:30:40 +0200ml|(~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Changing host)
2021-08-08 01:30:40 +0200ml|(~ml|@user/ml/x-5298235)
2021-08-08 01:44:18 +0200ml|(~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1)
2021-08-08 01:44:43 +0200ml|(~ml|@c-65-34-157-166.hsd1.fl.comcast.net)
2021-08-08 01:45:01 +0200ml|Guest1037
2021-08-08 01:49:39 +0200Guest1037(~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Quit: WeeChat 3.0.1)
2021-08-08 01:50:02 +0200ml|(~ml|@c-65-34-157-166.hsd1.fl.comcast.net)
2021-08-08 01:50:21 +0200ml|Guest6754
2021-08-08 01:53:29 +0200Guest6754(~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Client Quit)
2021-08-08 01:54:21 +0200ml|(~ml|@c-65-34-157-166.hsd1.fl.comcast.net)
2021-08-08 01:54:40 +0200ml|Guest7942
2021-08-08 02:04:33 +0200Guest7942(~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Quit: WeeChat 3.0.1)
2021-08-08 02:05:13 +0200ml|(~ml|@c-65-34-157-166.hsd1.fl.comcast.net)
2021-08-08 02:05:31 +0200ml|Guest8432
2021-08-08 02:06:56 +0200Guest8432(~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Client Quit)
2021-08-08 02:07:21 +0200ml|(~ml|@c-65-34-157-166.hsd1.fl.comcast.net)
2021-08-08 02:07:39 +0200ml|Guest512
2021-08-08 02:15:29 +0200Guest512(~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Changing host)
2021-08-08 02:15:29 +0200Guest512(~ml|@user/ml/x-5298235)
2021-08-08 02:16:06 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-08 02:19:10 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-08 02:19:30 +0200Guest512(~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1)
2021-08-08 02:19:54 +0200ml|(~ml|@c-65-34-157-166.hsd1.fl.comcast.net)
2021-08-08 02:20:13 +0200ml|Guest2720
2021-08-08 02:21:37 +0200Guest2720(~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Changing host)
2021-08-08 02:21:37 +0200Guest2720(~ml|@user/ml/x-5298235)
2021-08-08 02:22:27 +0200Guest2720(~ml|@user/ml/x-5298235) (Client Quit)
2021-08-08 02:22:51 +0200ml|(~ml|@c-65-34-157-166.hsd1.fl.comcast.net)
2021-08-08 02:23:10 +0200ml|Guest2917
2021-08-08 02:34:35 +0200Guest2917(~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Changing host)
2021-08-08 02:34:35 +0200Guest2917(~ml|@user/ml/x-5298235)
2021-08-08 02:35:40 +0200Guest2917(~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1)
2021-08-08 02:36:06 +0200ml|(~ml|@user/ml/x-5298235)
2021-08-08 04:03:52 +0200banc(banc@gateway/vpn/airvpn/banc) (Ping timeout: 245 seconds)
2021-08-08 04:13:50 +0200byorgey(~byorgey@155.138.238.211)
2021-08-08 04:21:47 +0200td_(~td@94.134.91.140) (Ping timeout: 245 seconds)
2021-08-08 04:22:28 +0200banc(banc@gateway/vpn/airvpn/banc)
2021-08-08 04:23:02 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-08 04:23:26 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-08 04:23:54 +0200td_(~td@94.134.91.249)
2021-08-08 04:44:25 +0200ml|(~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1)
2021-08-08 04:44:48 +0200ml|(~ml|@user/ml/x-5298235)
2021-08-08 04:54:02 +0200ml|(~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1)
2021-08-08 04:54:28 +0200ml|(~ml|@user/ml/x-5298235)
2021-08-08 08:43:46 +0200Forkk(forkk@2600:3c00::f03c:91ff:fe84:de4d) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-08-08 08:45:33 +0200Forkk(forkk@2600:3c00::f03c:91ff:fe84:de4d)
2021-08-08 10:17:27 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-08-08 10:17:28 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-08-08 10:17:31 +0200allbery_bgeekosaur
2021-08-08 10:32:12 +0200mc47(~mc47@xmonad/TheMC47)
2021-08-08 11:01:10 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-08-08 11:32:43 +0200 <vojjvoda[m]> how do i make xmonad window borders opaque?
2021-08-08 11:43:51 +0200seschwar(~seschwar@user/seschwar)
2021-08-08 11:46:22 +0200piele_(~piele@tbonesteak.creativeserver.net) (Ping timeout: 245 seconds)
2021-08-08 11:49:29 +0200electr0n(~electr0n@about/security/founder/electr0n) (Ping timeout: 252 seconds)
2021-08-08 11:52:05 +0200PotatoGim(sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 250 seconds)
2021-08-08 11:52:10 +0200mudri(sid317655@id-317655.brockwell.irccloud.com) (Ping timeout: 272 seconds)
2021-08-08 11:54:42 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 245 seconds)
2021-08-08 11:55:28 +0200 <liskin> vojjvoda[m]: what do you mean by "opaque"? are your borders transparent?
2021-08-08 11:56:22 +0200 <Solid> I'm guessing they're using a compositor to turn non-focused windows transparent or something and since borders are part of the window they will also fade a bit
2021-08-08 11:57:08 +0200ElKowar549(~ElKowar@srv-fin.xware-gmbh.de) (Ping timeout: 256 seconds)
2021-08-08 11:57:44 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 252 seconds)
2021-08-08 11:58:50 +0200Nahra(~user@static.161.95.99.88.clients.your-server.de) (Ping timeout: 256 seconds)
2021-08-08 11:59:42 +0200thunderrd(~thunderrd@183.182.111.78) (Ping timeout: 245 seconds)
2021-08-08 12:01:54 +0200mudri(sid317655@id-317655.brockwell.irccloud.com)
2021-08-08 12:02:03 +0200PotatoGim(sid99505@id-99505.tooting.irccloud.com)
2021-08-08 12:05:07 +0200ft(~ft@shell.chaostreff-dortmund.de) (Ping timeout: 245 seconds)
2021-08-08 12:05:58 +0200ElKowar549(~ElKowar@srv-fin.xware-gmbh.de)
2021-08-08 12:06:07 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-08-08 12:07:04 +0200ft(~ft@shell.chaostreff-dortmund.de)
2021-08-08 12:07:12 +0200deepy(deepy@user/deepy) (Ping timeout: 245 seconds)
2021-08-08 12:08:40 +0200deepy(deepy@user/deepy)
2021-08-08 12:09:30 +0200piele(~piele@tbonesteak.creativeserver.net)
2021-08-08 12:10:32 +0200PotatoGim(sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 245 seconds)
2021-08-08 12:11:32 +0200electr0n(~electr0n@about/security/founder/electr0n)
2021-08-08 12:13:31 +0200 <liskin> oh
2021-08-08 12:14:31 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-08-08 12:14:36 +0200PotatoGim(sid99505@id-99505.tooting.irccloud.com)
2021-08-08 12:17:36 +0200thunderrd(~thunderrd@183.182.111.78)
2021-08-08 12:23:02 +0200PotatoGim(sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 245 seconds)
2021-08-08 12:24:52 +0200PotatoGim(sid99505@id-99505.tooting.irccloud.com)
2021-08-08 12:25:55 +0200vojjvoda[m]uploaded an image: (2KiB) < https://libera.ems.host/_matrix/media/r0/download/matrix.org/VeQBpvvvJBrFfJmgvHUwXPxv/clipboard.png >
2021-08-08 12:26:14 +0200 <vojjvoda[m]> <Solid> "I'm guessing they're using a..." <- nope.
2021-08-08 12:26:32 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-08-08 12:26:33 +0200 <vojjvoda[m]> using picom as is
2021-08-08 12:26:34 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-08-08 12:26:37 +0200allbery_bgeekosaur
2021-08-08 12:26:49 +0200 <vojjvoda[m]> this is on focused window
2021-08-08 12:29:27 +0200 <liskin> hm, there was an issue report about this somewhere that nobody figured out how to reproduce yet
2021-08-08 12:32:36 +0200 <liskin> can't find it now :-/
2021-08-08 12:35:16 +0200 <liskin> so anyway, might be a good idea to file an issue if you can come up with a reliable reproducer
2021-08-08 12:41:40 +0200 <Solid> liskin: this perhaps https://github.com/xmonad/xmonad/pull/9
2021-08-08 12:42:16 +0200 <Solid> compton has a frame-opacity setting ("Opacity of window titlebars and borders."), which turns the border of even the focused window transparent
2021-08-08 12:42:34 +0200 <Solid> maybe picom sets that to some non-1 value by default
2021-08-08 12:43:29 +0200 <liskin> the version of picom I run here definitely doesn't
2021-08-08 12:43:48 +0200 <liskin> (but I run a very old version of picom as newer versions are unbearably slow)
2021-08-08 12:44:23 +0200 <Solid> it would be a weird default, but I can at least reproduce the focused window having a transparent border with a frame-opacity of < 1
2021-08-08 12:52:19 +0200 <vojjvoda[m]> <Solid> "compton has a frame-opacity..." <- yes, you were right, THANKS
2021-08-08 13:44:33 +0200mc47(~mc47@xmonad/TheMC47) (Quit: Leaving)
2021-08-08 14:32:34 +0200berberman(~berberman@user/berberman)
2021-08-08 14:33:44 +0200berberman_(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-08-08 14:48:33 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-08-08 14:48:35 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-08-08 14:48:38 +0200allbery_bgeekosaur
2021-08-08 15:28:50 +0200henninb(~henninb@63-228-51-113.mpls.qwest.net)
2021-08-08 15:31:02 +0200 <henninb> Hello, I have been struggling with some haskell code with regards to greedyView and shift. https://gist.github.com/BitExplorer/a4750dc859ec7ed96fc2d48bd911294e please let me know if you have any advice as I can't seem to find an example on github.
2021-08-08 15:42:24 +0200 <diaspora[m]> Does anyone know of a minimalist window manager in the Haskell ecosystem? "Toy code" would be fine -- something to learn from and hack on for fun, without drowning in complexity and dependencies.
2021-08-08 15:44:28 +0200 <Solid> henninb: withNthWorkspace (\i -> W.greedyView i (W.shift i))
2021-08-08 15:45:19 +0200 <henninb> Solid, I am giving that a try now. Looks very promising.
2021-08-08 15:45:22 +0200 <henninb> thank you
2021-08-08 15:46:40 +0200 <Solid> diaspora[m]: well, xmonad core is just about 2000 lines without tests
2021-08-08 15:48:35 +0200 <diaspora[m]> Solid: Is xmonad's "core" a separable part that works independently?
2021-08-08 15:50:28 +0200 <Solid> yes https://github.com/xmonad/xmonad
2021-08-08 15:50:40 +0200 <Solid> you can run it just fine without contrib
2021-08-08 15:54:10 +0200 <henninb> Solid, works perfectly now. I had to modify the code slightly `withNthWorkspace (\i -> W.greedyView i . W.shift i)`
2021-08-08 15:54:20 +0200 <henninb> I really appreciate your help.
2021-08-08 15:55:06 +0200 <Solid> ah right, that would make sense[
2021-08-08 15:58:33 +0200 <henninb> working in xmonad really helps learn haskell. That is why i enjoy using xmonad so much.
2021-08-08 15:59:26 +0200 <Solid> now I wonder...
2021-08-08 15:59:41 +0200 <Solid> @pl \i -> W.greedyView i . W.shift i
2021-08-08 15:59:41 +0200 <lambdabot> liftM2 (.) W.greedyView W.shift
2021-08-08 15:59:46 +0200 <Solid> oh, neat
2021-08-08 16:01:34 +0200 <henninb> Thanks for the suggestion @Lambdabot
2021-08-08 16:01:43 +0200 <vojjvoda[m]> whats greedyview
2021-08-08 16:02:29 +0200 <diaspora[m]> henninb: Interesting, thanks.
2021-08-08 16:04:55 +0200 <henninb> @Lambdabot that is a pretty elegant solution, thanks. I will add both solutions to my gist.
2021-08-08 16:04:55 +0200 <lambdabot> Unknown command, try @list
2021-08-08 16:05:52 +0200 <Solid> (it's a bot :>)
2021-08-08 16:06:22 +0200 <Solid> the @pl command takes in a function and makes it point-free
2021-08-08 16:08:24 +0200 <henninb> very cool
2021-08-08 16:08:45 +0200 <Solid> this can look pretty hilarious at times, which is why this is also called pointless notation
2021-08-08 16:09:08 +0200 <Solid> @pl myFun f g a b c d = f a b . g c d
2021-08-08 16:09:08 +0200 <lambdabot> myFun = flip . ((flip . (((.) . (.) . (.)) .)) .)
2021-08-08 16:09:47 +0200Solidshould stop procrastinating now
2021-08-08 16:10:35 +0200 <diaspora[m]> That probably qualifies as elite functional humour. :P
2021-08-08 16:11:49 +0200 <henninb> vojjvoda greedyView from my understanding is used for switching workspaces, there may be better definitions out there.
2021-08-08 16:12:39 +0200 <henninb> Solid, that makes my head hurt to look at :)
2021-08-08 16:13:32 +0200 <diaspora[m]> It's not meant for processing with the head, but with the funny bone. :P
2021-08-08 16:13:58 +0200 <henninb> :)
2021-08-08 16:15:53 +0200 <henninb> good bye for now. Thanks for all the help.
2021-08-08 16:15:55 +0200henninb(~henninb@63-228-51-113.mpls.qwest.net) (Quit: leaving)
2021-08-08 16:21:54 +0200 <diaspora[m]> I wonder whether any academics have tried creating a Haskell 101 course using point-free in its entirety. It's usually only introduced way down the line after The Big Reveal that all Haskell functions actually only take a single argument + currying, but by that time students already have the multi-argument sugaring hardwired into their brains and it then needs unlearning, which isn't ideal.
2021-08-08 16:36:41 +0200 <diaspora[m]> Solid: I grabbed the earliest xmonad "core" sources available in Portage, which might make figuring it out easier. It's interesting that the archive size actually decreased from 0.13 to 0.15 -- perhaps some stuff was factored out into contrib?
2021-08-08 16:36:45 +0200 <diaspora[m]> 59119 Sep 25 2013 xmonad-0.11.tar.gz
2021-08-08 16:36:45 +0200 <diaspora[m]> 72034 Feb 10 2017 xmonad-0.13.tar.gz
2021-08-08 16:36:45 +0200 <diaspora[m]> 68822 Sep 30 2018 xmonad-0.15.tar.gz
2021-08-08 16:44:39 +0200 <diaspora[m]> Oh, the versions are tagged in git, awesome --- for the most KISS version I could grab the earliest tagged that still compiles today. :-)
2021-08-08 16:46:13 +0200 <Solid> diaspora[m]: all of these release are before my involvement with xmonad, so no idea :)
2021-08-08 16:46:25 +0200 <diaspora[m]> Hehe.
2021-08-08 16:47:10 +0200 <Solid> r.e. the point-free course: I just think humans aren't very good at holding so much intermediary information in their heads
2021-08-08 16:47:28 +0200 <diaspora[m]> Well the most recent tag is 0.15, so you're still on one of them. :-)
2021-08-08 16:47:52 +0200 <Solid> I'm not using a tagged release ;)
2021-08-08 16:48:13 +0200 <diaspora[m]> Strange that a new release hasn't been tagged in three years.
2021-08-08 16:48:33 +0200 <diaspora[m]> Solid: That explains it. :-)
2021-08-08 16:49:20 +0200 <Solid> 0.17 _should_ be out in a few weeks (we've been saying this for a couple of months I think, but it's definitely true this time!)
2021-08-08 16:49:34 +0200 <diaspora[m]> \o/
2021-08-08 16:50:22 +0200 <diaspora[m]> I seem to have outed myself as being pre-emoji. :P
2021-08-08 16:51:08 +0200 <Solid> no emoji's on IRC, just old-school smileys :)
2021-08-08 16:55:29 +0200 <diaspora[m]> Ah, bridges. The tentacles of this Matrix room #xmonad:matrix.org spread to parts unknown. :-)
2021-08-08 16:56:12 +0200 <Solid> oh right, this is now bridged even to #xmonad:matrix.org
2021-08-08 16:56:15 +0200 <Solid> brave new world
2021-08-08 16:57:53 +0200 <diaspora[m]> Brave indeed. But interop is good.
2021-08-08 17:12:06 +0200liskinsometimes uses emoji
2021-08-08 17:12:37 +0200 <liskin> I have no idea why I do this because whenever I receive any, I have to switch to a different font and increase the font size 10 times :-D
2021-08-08 17:13:46 +0200 <liskin> $ git diff --stat v0.13..v0.15 | tail -1
2021-08-08 17:13:48 +0200 <liskin> 15 files changed, 714 insertions(+), 324 deletions(-)
2021-08-08 17:14:02 +0200 <liskin> funny that the tarball should become smaller
2021-08-08 17:15:16 +0200 <liskin> $ git diff --stat v0.15..master -- src | tail -1
2021-08-08 17:15:17 +0200 <liskin> 7 files changed, 277 insertions(+), 229 deletions(-)
2021-08-08 17:15:39 +0200 <liskin> apparently we managed to not enlarge it too much since 0.15 either, good
2021-08-08 17:22:57 +0200 <Solid> oh that should also give us a rough estimate how big the release is going to be
2021-08-08 17:24:04 +0200 <diaspora[m]> Nice.
2021-08-08 18:14:37 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-08 18:14:56 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-08 18:42:25 +0200qbt(~edun@user/edun)
2021-08-08 18:42:27 +0200qbt(~edun@user/edun) (Remote host closed the connection)
2021-08-08 18:42:30 +0200edun(~edun@user/edun)
2021-08-08 18:43:34 +0200edun(~edun@user/edun) (Client Quit)
2021-08-08 18:43:53 +0200qbt(~edun@user/edun)
2021-08-08 18:47:40 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-08-08 20:25:06 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-08 20:29:07 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-08 20:48:18 +0200amir(sid22336@user/amir) (Ping timeout: 240 seconds)
2021-08-08 20:52:37 +0200amir(sid22336@user/amir)
2021-08-08 21:17:34 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-08-08 22:16:37 +0200frosch03(~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0)
2021-08-08 22:16:40 +0200frosch03(~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) (Client Quit)
2021-08-08 22:19:39 +0200frosch03(~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0)
2021-08-08 22:19:42 +0200frosch03(~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) (Client Quit)
2021-08-08 22:46:42 +0200benin03693(~benin@183.82.205.178)
2021-08-08 23:33:39 +0200Nahra(~user@static.161.95.99.88.clients.your-server.de)