2021-08-08 00:41:32 +0200 | seschwar | (~seschwar@user/seschwar) (Quit: :wq) |
2021-08-08 00:59:26 +0200 | ml| | ml_ |
2021-08-08 01:28:47 +0200 | ml_ | ml- |
2021-08-08 01:28:59 +0200 | ml- | ml-- |
2021-08-08 01:30:05 +0200 | ml-- | ml| |
2021-08-08 01:30:40 +0200 | ml| | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Changing host) |
2021-08-08 01:30:40 +0200 | ml| | (~ml|@user/ml/x-5298235) |
2021-08-08 01:44:18 +0200 | ml| | (~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1) |
2021-08-08 01:44:43 +0200 | ml| | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) |
2021-08-08 01:45:01 +0200 | ml| | Guest1037 |
2021-08-08 01:49:39 +0200 | Guest1037 | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Quit: WeeChat 3.0.1) |
2021-08-08 01:50:02 +0200 | ml| | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) |
2021-08-08 01:50:21 +0200 | ml| | Guest6754 |
2021-08-08 01:53:29 +0200 | Guest6754 | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Client Quit) |
2021-08-08 01:54:21 +0200 | ml| | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) |
2021-08-08 01:54:40 +0200 | ml| | Guest7942 |
2021-08-08 02:04:33 +0200 | Guest7942 | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Quit: WeeChat 3.0.1) |
2021-08-08 02:05:13 +0200 | ml| | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) |
2021-08-08 02:05:31 +0200 | ml| | Guest8432 |
2021-08-08 02:06:56 +0200 | Guest8432 | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Client Quit) |
2021-08-08 02:07:21 +0200 | ml| | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) |
2021-08-08 02:07:39 +0200 | ml| | Guest512 |
2021-08-08 02:15:29 +0200 | Guest512 | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Changing host) |
2021-08-08 02:15:29 +0200 | Guest512 | (~ml|@user/ml/x-5298235) |
2021-08-08 02:16:06 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-08-08 02:19:10 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-08-08 02:19:30 +0200 | Guest512 | (~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1) |
2021-08-08 02:19:54 +0200 | ml| | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) |
2021-08-08 02:20:13 +0200 | ml| | Guest2720 |
2021-08-08 02:21:37 +0200 | Guest2720 | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Changing host) |
2021-08-08 02:21:37 +0200 | Guest2720 | (~ml|@user/ml/x-5298235) |
2021-08-08 02:22:27 +0200 | Guest2720 | (~ml|@user/ml/x-5298235) (Client Quit) |
2021-08-08 02:22:51 +0200 | ml| | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) |
2021-08-08 02:23:10 +0200 | ml| | Guest2917 |
2021-08-08 02:34:35 +0200 | Guest2917 | (~ml|@c-65-34-157-166.hsd1.fl.comcast.net) (Changing host) |
2021-08-08 02:34:35 +0200 | Guest2917 | (~ml|@user/ml/x-5298235) |
2021-08-08 02:35:40 +0200 | Guest2917 | (~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1) |
2021-08-08 02:36:06 +0200 | ml| | (~ml|@user/ml/x-5298235) |
2021-08-08 04:03:52 +0200 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 245 seconds) |
2021-08-08 04:13:50 +0200 | byorgey | (~byorgey@155.138.238.211) |
2021-08-08 04:21:47 +0200 | td_ | (~td@94.134.91.140) (Ping timeout: 245 seconds) |
2021-08-08 04:22:28 +0200 | banc | (banc@gateway/vpn/airvpn/banc) |
2021-08-08 04:23:02 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-08-08 04:23:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-08-08 04:23:54 +0200 | td_ | (~td@94.134.91.249) |
2021-08-08 04:44:25 +0200 | ml| | (~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1) |
2021-08-08 04:44:48 +0200 | ml| | (~ml|@user/ml/x-5298235) |
2021-08-08 04:54:02 +0200 | ml| | (~ml|@user/ml/x-5298235) (Quit: WeeChat 3.0.1) |
2021-08-08 04:54:28 +0200 | ml| | (~ml|@user/ml/x-5298235) |
2021-08-08 08:43:46 +0200 | Forkk | (forkk@2600:3c00::f03c:91ff:fe84:de4d) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-08-08 08:45:33 +0200 | Forkk | (forkk@2600:3c00::f03c:91ff:fe84:de4d) |
2021-08-08 10:17:27 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-08-08 10:17:28 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-08-08 10:17:31 +0200 | allbery_b | geekosaur |
2021-08-08 10:32:12 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2021-08-08 11:01:10 +0200 | werneta | (~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 +0200 | seschwar | (~seschwar@user/seschwar) |
2021-08-08 11:46:22 +0200 | piele_ | (~piele@tbonesteak.creativeserver.net) (Ping timeout: 245 seconds) |
2021-08-08 11:49:29 +0200 | electr0n | (~electr0n@about/security/founder/electr0n) (Ping timeout: 252 seconds) |
2021-08-08 11:52:05 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 250 seconds) |
2021-08-08 11:52:10 +0200 | mudri | (sid317655@id-317655.brockwell.irccloud.com) (Ping timeout: 272 seconds) |
2021-08-08 11:54:42 +0200 | Natch | (~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 +0200 | ElKowar549 | (~ElKowar@srv-fin.xware-gmbh.de) (Ping timeout: 256 seconds) |
2021-08-08 11:57:44 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 252 seconds) |
2021-08-08 11:58:50 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Ping timeout: 256 seconds) |
2021-08-08 11:59:42 +0200 | thunderrd | (~thunderrd@183.182.111.78) (Ping timeout: 245 seconds) |
2021-08-08 12:01:54 +0200 | mudri | (sid317655@id-317655.brockwell.irccloud.com) |
2021-08-08 12:02:03 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) |
2021-08-08 12:05:07 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 245 seconds) |
2021-08-08 12:05:58 +0200 | ElKowar549 | (~ElKowar@srv-fin.xware-gmbh.de) |
2021-08-08 12:06:07 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2021-08-08 12:07:04 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) |
2021-08-08 12:07:12 +0200 | deepy | (deepy@user/deepy) (Ping timeout: 245 seconds) |
2021-08-08 12:08:40 +0200 | deepy | (deepy@user/deepy) |
2021-08-08 12:09:30 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
2021-08-08 12:10:32 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 245 seconds) |
2021-08-08 12:11:32 +0200 | electr0n | (~electr0n@about/security/founder/electr0n) |
2021-08-08 12:13:31 +0200 | <liskin> | oh |
2021-08-08 12:14:31 +0200 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
2021-08-08 12:14:36 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) |
2021-08-08 12:17:36 +0200 | thunderrd | (~thunderrd@183.182.111.78) |
2021-08-08 12:23:02 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 245 seconds) |
2021-08-08 12:24:52 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) |
2021-08-08 12:25:55 +0200 | vojjvoda[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 +0200 | geekosaur | (~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 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-08-08 12:26:37 +0200 | allbery_b | geekosaur |
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 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
2021-08-08 14:32:34 +0200 | berberman | (~berberman@user/berberman) |
2021-08-08 14:33:44 +0200 | berberman_ | (~berberman@user/berberman) (Ping timeout: 272 seconds) |
2021-08-08 14:48:33 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-08-08 14:48:35 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-08-08 14:48:38 +0200 | allbery_b | geekosaur |
2021-08-08 15:28:50 +0200 | henninb | (~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 +0200 | Solid | should 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 +0200 | henninb | (~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 +0200 | liskin | sometimes 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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-08-08 18:14:56 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-08-08 18:42:25 +0200 | qbt | (~edun@user/edun) |
2021-08-08 18:42:27 +0200 | qbt | (~edun@user/edun) (Remote host closed the connection) |
2021-08-08 18:42:30 +0200 | edun | (~edun@user/edun) |
2021-08-08 18:43:34 +0200 | edun | (~edun@user/edun) (Client Quit) |
2021-08-08 18:43:53 +0200 | qbt | (~edun@user/edun) |
2021-08-08 18:47:40 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
2021-08-08 20:25:06 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-08-08 20:29:07 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-08-08 20:48:18 +0200 | amir | (sid22336@user/amir) (Ping timeout: 240 seconds) |
2021-08-08 20:52:37 +0200 | amir | (sid22336@user/amir) |
2021-08-08 21:17:34 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-08-08 22:16:37 +0200 | frosch03 | (~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) |
2021-08-08 22:16:40 +0200 | frosch03 | (~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) (Client Quit) |
2021-08-08 22:19:39 +0200 | frosch03 | (~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) |
2021-08-08 22:19:42 +0200 | frosch03 | (~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) (Client Quit) |
2021-08-08 22:46:42 +0200 | benin03693 | (~benin@183.82.205.178) |
2021-08-08 23:33:39 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |