Logs: liberachat/#xmonad
| 2021-08-08 10:43:29 | <liskin> | the version of picom I run here definitely doesn't |
| 2021-08-08 10:43:48 | <liskin> | (but I run a very old version of picom as newer versions are unbearably slow) |
| 2021-08-08 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 |
| 2021-08-08 10:52:19 | <vojjvoda[m]> | <Solid> "compton has a frame-opacity..." <- yes, you were right, THANKS |
| 2021-08-08 11:44:33 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2021-08-08 12:32:34 | → | berberman joins (~berberman@user/berberman) |
| 2021-08-08 12:33:44 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2021-08-08 12:48:33 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-08 12:48:35 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-08 12:48:38 | allbery_b | is now known as geekosaur |
| 2021-08-08 13:28:50 | → | henninb joins (~henninb@63-228-51-113.mpls.qwest.net) |
| 2021-08-08 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. |
| 2021-08-08 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. |
| 2021-08-08 13:44:28 | <Solid> | henninb: withNthWorkspace (\i -> W.greedyView i (W.shift i)) |
| 2021-08-08 13:45:19 | <henninb> | Solid, I am giving that a try now. Looks very promising. |
| 2021-08-08 13:45:22 | <henninb> | thank you |
| 2021-08-08 13:46:40 | <Solid> | diaspora[m]: well, xmonad core is just about 2000 lines without tests |
| 2021-08-08 13:48:35 | <diaspora[m]> | Solid: Is xmonad's "core" a separable part that works independently? |
| 2021-08-08 13:50:28 | <Solid> | yes https://github.com/xmonad/xmonad |
| 2021-08-08 13:50:40 | <Solid> | you can run it just fine without contrib |
| 2021-08-08 13:54:10 | <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 | <henninb> | I really appreciate your help. |
| 2021-08-08 13:55:06 | <Solid> | ah right, that would make sense[ |
| 2021-08-08 13:58:33 | <henninb> | working in xmonad really helps learn haskell. That is why i enjoy using xmonad so much. |
| 2021-08-08 13:59:26 | <Solid> | now I wonder... |
| 2021-08-08 13:59:41 | <Solid> | @pl \i -> W.greedyView i . W.shift i |
| 2021-08-08 13:59:41 | <lambdabot> | liftM2 (.) W.greedyView W.shift |
| 2021-08-08 13:59:46 | <Solid> | oh, neat |
| 2021-08-08 14:01:34 | <henninb> | Thanks for the suggestion @Lambdabot |
| 2021-08-08 14:01:43 | <vojjvoda[m]> | whats greedyview |
| 2021-08-08 14:02:29 | <diaspora[m]> | henninb: Interesting, thanks. |
| 2021-08-08 14:04:55 | <henninb> | @Lambdabot that is a pretty elegant solution, thanks. I will add both solutions to my gist. |
| 2021-08-08 14:04:55 | <lambdabot> | Unknown command, try @list |
| 2021-08-08 14:05:52 | <Solid> | (it's a bot :>) |
| 2021-08-08 14:06:22 | <Solid> | the @pl command takes in a function and makes it point-free |
| 2021-08-08 14:08:24 | <henninb> | very cool |
| 2021-08-08 14:08:45 | <Solid> | this can look pretty hilarious at times, which is why this is also called pointless notation |
| 2021-08-08 14:09:08 | <Solid> | @pl myFun f g a b c d = f a b . g c d |
| 2021-08-08 14:09:08 | <lambdabot> | myFun = flip . ((flip . (((.) . (.) . (.)) .)) .) |
| 2021-08-08 14:09:47 | Solid | should stop procrastinating now |
| 2021-08-08 14:10:35 | <diaspora[m]> | That probably qualifies as elite functional humour. :P |
| 2021-08-08 14:11:49 | <henninb> | vojjvoda greedyView from my understanding is used for switching workspaces, there may be better definitions out there. |
| 2021-08-08 14:12:39 | <henninb> | Solid, that makes my head hurt to look at :) |
| 2021-08-08 14:13:32 | <diaspora[m]> | It's not meant for processing with the head, but with the funny bone. :P |
| 2021-08-08 14:13:58 | <henninb> | :) |
| 2021-08-08 14:15:53 | <henninb> | good bye for now. Thanks for all the help. |
| 2021-08-08 14:15:55 | × | henninb quits (~henninb@63-228-51-113.mpls.qwest.net) (Quit: leaving) |
| 2021-08-08 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. |
| 2021-08-08 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? |
| 2021-08-08 14:36:45 | <diaspora[m]> | 59119 Sep 25 2013 xmonad-0.11.tar.gz |
| 2021-08-08 14:36:45 | <diaspora[m]> | 72034 Feb 10 2017 xmonad-0.13.tar.gz |
| 2021-08-08 14:36:45 | <diaspora[m]> | 68822 Sep 30 2018 xmonad-0.15.tar.gz |
| 2021-08-08 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. :-) |
| 2021-08-08 14:46:13 | <Solid> | diaspora[m]: all of these release are before my involvement with xmonad, so no idea :) |
| 2021-08-08 14:46:25 | <diaspora[m]> | Hehe. |
| 2021-08-08 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 |
| 2021-08-08 14:47:28 | <diaspora[m]> | Well the most recent tag is 0.15, so you're still on one of them. :-) |
| 2021-08-08 14:47:52 | <Solid> | I'm not using a tagged release ;) |
| 2021-08-08 14:48:13 | <diaspora[m]> | Strange that a new release hasn't been tagged in three years. |
| 2021-08-08 14:48:33 | <diaspora[m]> | Solid: That explains it. :-) |
| 2021-08-08 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!) |
| 2021-08-08 14:49:34 | <diaspora[m]> | \o/ |
| 2021-08-08 14:50:22 | <diaspora[m]> | I seem to have outed myself as being pre-emoji. :P |
| 2021-08-08 14:51:08 | <Solid> | no emoji's on IRC, just old-school smileys :) |
| 2021-08-08 14:55:29 | <diaspora[m]> | Ah, bridges. The tentacles of this Matrix room #xmonad:matrix.org spread to parts unknown. :-) |
| 2021-08-08 14:56:12 | <Solid> | oh right, this is now bridged even to #xmonad:matrix.org |
| 2021-08-08 14:56:15 | <Solid> | brave new world |
| 2021-08-08 14:57:53 | <diaspora[m]> | Brave indeed. But interop is good. |
| 2021-08-08 15:12:06 | liskin | sometimes uses emoji |
| 2021-08-08 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 |
| 2021-08-08 15:13:46 | <liskin> | $ git diff --stat v0.13..v0.15 | tail -1 |
| 2021-08-08 15:13:48 | <liskin> | 15 files changed, 714 insertions(+), 324 deletions(-) |
| 2021-08-08 15:14:02 | <liskin> | funny that the tarball should become smaller |
| 2021-08-08 15:15:16 | <liskin> | $ git diff --stat v0.15..master -- src | tail -1 |
| 2021-08-08 15:15:17 | <liskin> | 7 files changed, 277 insertions(+), 229 deletions(-) |
| 2021-08-08 15:15:39 | <liskin> | apparently we managed to not enlarge it too much since 0.15 either, good |
| 2021-08-08 15:22:57 | <Solid> | oh that should also give us a rough estimate how big the release is going to be |
| 2021-08-08 15:24:04 | <diaspora[m]> | Nice. |
| 2021-08-08 16:14:37 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-08 16:14:56 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-08 16:42:25 | → | qbt joins (~edun@user/edun) |
| 2021-08-08 16:42:27 | × | qbt quits (~edun@user/edun) (Remote host closed the connection) |
| 2021-08-08 16:42:30 | → | edun joins (~edun@user/edun) |
| 2021-08-08 16:43:34 | × | edun quits (~edun@user/edun) (Client Quit) |
| 2021-08-08 16:43:53 | → | qbt joins (~edun@user/edun) |
| 2021-08-08 16:47:40 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-08-08 18:25:06 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-08 18:29:07 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-08 18:48:18 | × | amir quits (sid22336@user/amir) (Ping timeout: 240 seconds) |
| 2021-08-08 18:52:37 | → | amir joins (sid22336@user/amir) |
| 2021-08-08 19:17:34 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-08-08 20:16:37 | → | frosch03 joins (~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) |
| 2021-08-08 20:16:40 | × | frosch03 quits (~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) (Client Quit) |
| 2021-08-08 20:19:39 | → | frosch03 joins (~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) |
| 2021-08-08 20:19:42 | × | frosch03 quits (~user@2a02:8070:7ab:1b00:9b6b:2c90:6af0:f3c0) (Client Quit) |
| 2021-08-08 20:46:42 | → | benin03693 joins (~benin@183.82.205.178) |
| 2021-08-08 21:33:39 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-08-08 22:15:06 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-08 22:19:27 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-08 22:46:46 | → | cjb joins (~cjb@user/cjb) |
All times are in UTC.