Home liberachat/#xmonad: Logs Calendar

Logs on 2021-08-08 (liberachat/#xmonad)

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

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