IRCBrowse

2021/08/08

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