Logs on 2021-10-09 (liberachat/#xmonad)
| 00:10:21 | → | a6a45081-2b83 joins (~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) |
| 00:19:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 00:21:10 | × | a6a45081-2b83 quits (~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) (Remote host closed the connection) |
| 00:21:37 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 00:30:39 | <jakefromstatefar> | Does anyone recall the window manager for wayland that has the ability to draw borders on top of other windows? |
| 00:31:07 | <jakefromstatefar> | I recall conversing with geekosaur on this subject, but it's not possible given the current XMonad architecture. |
| 01:29:03 | × | Nosrep quits (~archbox@user/nosrep) (Ping timeout: 250 seconds) |
| 01:29:43 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 01:31:12 | → | Nosrep joins (~archbox@user/nosrep) |
| 01:53:10 | × | darkstardevx quits (~darkstard@c-24-21-53-33.hsd1.or.comcast.net) (Quit: Leaving) |
| 01:53:41 | → | darkstardevx joins (~darkstard@2601:1c2:300:c8a0::6c32) |
| 02:03:14 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 245 seconds) |
| 02:22:15 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 02:36:58 | × | mudri quits (sid317655@id-317655.helmsley.irccloud.com) (Ping timeout: 252 seconds) |
| 02:37:34 | × | jmct_ quits (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 260 seconds) |
| 02:39:26 | → | jmct_ joins (sid160793@5.254.36.57) |
| 02:40:38 | → | mudri joins (sid317655@helmsley.irccloud.com) |
| 02:53:25 | × | td_ quits (~td@muedsl-82-207-238-110.citykom.de) (Ping timeout: 252 seconds) |
| 02:55:19 | → | td_ joins (~td@muedsl-82-207-238-244.citykom.de) |
| 02:57:27 | <jakefromstatefar> | I'll update it when I find it. |
| 02:57:28 | <jakefromstatefar> | Hm, well, I'm impatient, and that's literally the only thing inhibiting me from pushing out my newer concept for the tree structure. |
| 03:24:03 | × | Nosrep quits (~archbox@user/nosrep) (Quit: WeeChat 3.2.1) |
| 03:24:15 | × | benin03693230163 quits (~benin@183.82.24.191) (Ping timeout: 260 seconds) |
| 03:30:26 | → | benin03693230163 joins (~benin@183.82.24.191) |
| 03:34:41 | <jakefromstatefar> | I left my old proposal in there, just in case some ideas needed to be reverted. |
| 03:34:49 | <jakefromstatefar> | But, I've thought this through pretty thoroughly. |
| 03:35:36 | <jakefromstatefar> | As well as written some examples. I made the tab layout decoration waay sexier than it ever could've been before. |
| 03:35:59 | <jakefromstatefar> | Of course, that requires the new data type, and a lot of effort on that front. |
| 03:36:11 | <jakefromstatefar> | But, in the end it'd be a huge breath of fresh air. |
| 05:08:01 | × | electr0n quits (~electr0n@about/security/founder/electr0n) (Quit: WeeChat 3.3) |
| 05:08:51 | → | electr0n joins (~electr0n@about/security/founder/electr0n) |
| 05:19:53 | × | ml| quits (~ml|@user/ml/x-5298235) (Ping timeout: 264 seconds) |
| 05:33:58 | → | ml| joins (~ml|@user/ml/x-5298235) |
| 06:39:48 | → | qbt joins (~qbt@user/edun) |
| 06:44:47 | → | wonko joins (~wjc@62.115.229.50) |
| 07:32:07 | ← | qbt parts (~qbt@user/edun) () |
| 08:17:37 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 08:17:37 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 08:17:40 | allbery_b | is now known as geekosaur |
| 08:42:51 | → | qbt joins (~qbt@user/edun) |
| 08:45:16 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:49:06 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 265 seconds) |
| 09:18:39 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 09:20:54 | → | seschwar joins (~seschwar@user/seschwar) |
| 10:13:58 | × | benin03693230163 quits (~benin@183.82.24.191) (Ping timeout: 260 seconds) |
| 10:23:49 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 10:29:14 | → | benin03693230163 joins (~benin@106.198.95.241) |
| 11:59:55 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 12:00:07 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 12:03:53 | → | rachit joins (~rachit@122.161.50.104) |
| 12:04:10 | <rachit> | hi |
| 12:04:48 | × | rachit quits (~rachit@122.161.50.104) (Client Quit) |
| 12:35:56 | × | benin03693230163 quits (~benin@106.198.95.241) (Ping timeout: 245 seconds) |
| 12:45:06 | → | benin03693230163 joins (~benin@183.82.30.186) |
| 13:45:57 | <Solid> | hi |
| 13:49:34 | <geekosaur> | thye left already |
| 13:49:40 | <geekosaur> | stuck around maybe 30 seconds |
| 13:56:18 | <Solid> | ah |
| 13:56:24 | <Solid> | rip :/ |
| 13:56:46 | → | humky joins (~humky@user/humky) |
| 14:07:24 | × | benin03693230163 quits (~benin@183.82.30.186) (Quit: Ping timeout (120 seconds)) |
| 14:07:55 | → | benin03693230163 joins (~benin@183.82.30.186) |
| 14:21:34 | × | thunderrd quits (~thunderrd@183.182.110.52) (Remote host closed the connection) |
| 14:22:46 | → | thunderrd joins (~thunderrd@183.182.110.52) |
| 14:46:38 | <Solid> | liskin: hot damn, we actually got sponsors from that thread?! |
| 14:53:17 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 14:55:07 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 15:18:07 | × | slep quits (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 15:20:07 | → | slep joins (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) |
| 16:15:22 | → | wonko joins (~wjc@62.115.229.50) |
| 16:19:21 | <liskin> | Solid: yes, lota |
| 16:19:23 | <liskin> | Lots |
| 16:20:50 | <liskin> | And I'd hazard a guess that my reply being at the top and casually mentioning the sponsors page helped a lot |
| 16:28:06 | <Solid> | :) |
| 16:35:37 | <jakefromstatefar> | Does anyone have any thoughts regarding my [tree-structure](https://github.com/xmonad/xmonad/issues/334#issuecomment-939216844)? |
| 16:54:37 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 17:05:31 | → | rarelyafk joins (~minty@pool-173-61-191-195.cmdnnj.fios.verizon.net) |
| 17:39:54 | × | rarelyafk quits (~minty@pool-173-61-191-195.cmdnnj.fios.verizon.net) (Ping timeout: 245 seconds) |
| 18:22:30 | <liskin> | jakefromstatefar: I haven't had time to look at it yet, and if I may be honest, it looks so complicated I can virtually guarantee that my procrastination habits will keep me away from it for a long time :-/ |
| 18:27:33 | × | Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 18:29:21 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 18:39:14 | <byorgey> | jakefromstatefar: what does "inherit"/"uninherit" mean? |
| 18:39:49 | <geekosaur> | it's kinda half of xmonad turned into a tree |
| 18:40:07 | <geekosaur> | I saw a replacement for manageHooks in there |
| 18:40:14 | <geekosaur> | thta might be overdoing it a bit |
| 18:41:30 | <byorgey> | I also don't understand what mutable vs immutable attributes are in the context of Haskell |
| 18:43:14 | × | Eoco quits (~ian@x-160-94-179-157.acm.umn.edu) (Ping timeout: 245 seconds) |
| 18:43:32 | → | Eoco joins (~ian@x-160-94-179-157.acm.umn.edu) |
| 19:12:56 | → | rarelyafk joins (~minty@pool-173-61-191-195.cmdnnj.fios.verizon.net) |
| 19:41:04 | × | rarelyafk quits (~minty@pool-173-61-191-195.cmdnnj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 19:48:39 | × | tv quits (~tv@user/tv) (Ping timeout: 245 seconds) |
| 19:50:48 | → | tv joins (~tv@user/tv) |
| 20:00:40 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 20:06:05 | × | qbt quits (~qbt@user/edun) (Quit: Leaving.) |
| 20:10:29 | <jakefromstatefar> | inherit/uninherit means: |
| 20:10:29 | <jakefromstatefar> | `a = { attrA=1; attrB = 2; }; b = { inherit a; }; c = { inherit a.* }` -> `b = { a{...} }; c = { attrA=1; attrB=2 }` |
| 20:10:34 | <jakefromstatefar> | It's not a haskell thing afaik, but, it's merely a conceptual piece. |
| 20:10:54 | <jakefromstatefar> | conceptual means to an end* |
| 20:11:43 | <jakefromstatefar> | It's present in other languages, such as `nix`, and haskell's import system sort of does this with `qualified` vs no `qualified`. |
| 20:12:07 | <jakefromstatefar> | <geekosaur> "I saw a replacement for manageHo..." <- manageHooks wouldn't be replaced, existing one's would merely need to be reworked. |
| 20:13:03 | <jakefromstatefar> | <byorgey> "I also don't understand what..." <- immutable means a value that once the data type is instanced, cannot be changed, while mutable means it's a state value, such as a monad/oid. |
| 20:13:40 | <jakefromstatefar> | state-containing value* |
| 20:16:05 | <jakefromstatefar> | <liskin> "jakefromstatefarm: I haven't had..." <- It's mostly the same as your idea, I just tried to make it more modular. Perhaps I'll give another diagram, one with WAAAY less detail. |
| 20:44:05 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 245 seconds) |
| 20:44:29 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 20:45:23 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 20:45:45 | <jakefromstatefar> | OK, I updated my proposal. |
| 20:46:01 | <jakefromstatefar> | There's a few details I'd glazed over yesterday, as well as a simpler explanation. |
| 20:47:12 | <byorgey> | I see, thanks |
| 21:02:34 | <FOSSHuman[m]> | <liskin> "my xmobars are packed full of..." <- lol same |
| 21:03:02 | <davve> | i like polybar |
| 21:03:19 | <davve> | also packed with a bunch of own hacks :) |
| 21:03:48 | <geekosaur> | I have a pare of mate-panels, likewise packed full of crap |
| 21:03:55 | <geekosaur> | *pair |
| 21:04:11 | <FOSSHuman[m]> | davve: Yeah, even though I use XMobar I admit Polybar looks sexy |
| 21:04:23 | <FOSSHuman[m]> | geekosaur: lol |
| 21:05:14 | <FOSSHuman[m]> | * lol same, I have too much icons on my XMobar, I don't do anything to compress words though |
| 21:05:19 | <geekosaur> | that said the top one is 95% task manager and the bottom one 50% mate-log-applet :) |
| 21:05:26 | <FOSSHuman[m]> | * lol same, I have too much icons on my XMobar |
| 21:05:30 | <geekosaur> | *xmonad-log-applet for mate |
| 21:06:02 | <FOSSHuman[m]> | * lol same |
| 21:07:08 | <FOSSHuman[m]> | geekosaur: useful |
| 21:08:09 | <FOSSHuman[m]> | > <@elonsroadster[m]:libera.chat> > <@liskin:libera.chat> my xmobars are packed full of shit, and I literally have to use nerdfonts/fontawesome to compress common words into icons |
| 21:08:09 | <FOSSHuman[m]> | > |
| 21:08:09 | <FOSSHuman[m]> | > Right, this is why text only is shit. Icons are pretty useful in certain contexts. |
| 21:08:09 | <FOSSHuman[m]> | Very true stuff |
| 21:08:11 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 21:08:12 | <lambdabot> | <hint>:1:6: error: parse error on input ‘,’ |
| 21:08:21 | <FOSSHuman[m]> | AH crap parse error |
| 21:21:24 | → | rarelyafk joins (~minty@pool-173-61-191-195.cmdnnj.fios.verizon.net) |
| 21:23:49 | <FOSSHuman[m]> | I actually think I'm going to switch to Polybar aswell now, since on XMobar all I'm trying to do is replicate them sexy boxes that you can get with Polybar |
| 21:24:24 | <FOSSHuman[m]> | And it makes the template of XMobar big and clunky and undecipherable |
| 21:25:43 | <FOSSHuman[m]> | * and undecipherable,, * since XMobars non-haskell syntax doesn't support backslashes to separate template syntax, I'm stuck with the template syntax going off the screen lol |
| 21:26:17 | <FOSSHuman[m]> | * and undecipherable,, * since XMobars non-haskell syntax doesn't support backslashes to separate template syntax (to my knowledge), I'm stuck with the template syntax going off the screen lol |
| 21:26:44 | <FOSSHuman[m]> | * and undecipherable,, * since XMobars (non-haskell) syntax doesn't support backslashes to separate template syntax (to my knowledge), I'm stuck with the template syntax going off the screen lol |
| 21:30:59 | <FOSSHuman[m]> | s/And it makes the template of XMobar big and clunky and undecipherable/And it makes the template of XMobar big and clunky and hard to look at and read, since XMobars (non-haskell) syntax doesn't support backslashes to separate template syntax (to my knowledge), I'm stuck with the template syntax going off the screen lol/ |
| 21:32:22 | <FOSSHuman[m]> | davve: Is there anyway to use bash scripts in Polybar?? |
| 21:32:37 | <FOSSHuman[m]> | s/davve: Is there anyway to use bash scripts in Polybar??/davve: Is there any way to use bash scripts in Polybar??/ |
| 21:38:03 | <davve> | FOSSHuman[m]: yeah, all my own stuff are simple bash scripts... whatever you echo will be end up in the bar |
| 21:38:28 | <davve> | dont have access to my config right now but i think its module/script or something similar |
| 21:44:25 | <liskin> | (it's time for another reminder that message edits don't transfer well through the IRC gateway; please don't do them, or if you absolutely have to, don't do more than one edit) |
| 22:07:59 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:27:25 | → | syntactic_sugar joins (~amoljha@2601:644:8601:2e30::822c) |
| 22:46:09 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 23:41:04 | → | spider joins (~spider@vps-951ce37a.vps.ovh.ca) |
| 23:41:18 | spider | is now known as spider_ |
| 23:43:05 | <abhixec> | Probably a little off topic but what is some good recommendations for getting to speed with Haskell where I can feel comfortable trying to understand xmonad? Rather simple question what is path to learning internals of xmonad? |
| 23:43:31 | <geekosaur> | @where books |
| 23:43:31 | <lambdabot> | https://www.extrema.is/articles/haskell-books, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books |
| 23:44:25 | <geekosaur> | that's just for Haskell though. for xmonad, once you have a basic understanding of Haskell you should be able to understand xmonad's core fairly easily |
| 23:44:38 | <geekosaur> | and it's only 5 smallish files |
| 23:44:52 | <geekosaur> | maybe 6 smallish files |
| 23:45:18 | <geekosaur> | many of the extensions are just as simple, but there's over 200 of those :) |
| 23:46:54 | <geekosaur> | there's also the so-called Gentle Introduction to Haskell on haskell.org, but many people find it less than gentle. (I had no problem with it, but I'd already been exposed to Scheme and SML/NJ by that point.) |
| 23:48:44 | <abhixec> | Thanks geekosaur |
| 23:49:02 | <geekosaur> | you can also ask questions in #haskell or #haskell-beginners |
| 23:49:34 | <geekosaur> | and you can play with Haskell expressions in lambdabot in those channels or here |
All times are in UTC on 2021-10-09.