Logs: liberachat/#xmonad
| 2022-02-03 17:39:46 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-03 17:40:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-03 19:25:58 | <jakeStateless-Fa> | <geekosaur> "jake :: Stateless -> Farm, you..." <- It does use `>>=`, see the definition of `nest` and `custom`? |
| 2022-02-03 19:26:00 | <jakeStateless-Fa> | I'll post a proper paste when I'm back on my desktop |
| 2022-02-03 19:42:51 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-03 19:47:44 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-02-03 19:51:35 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-03 19:52:37 | <geekosaur> | jakeStateless-Fa, that's not using them in the right place |
| 2022-02-03 19:53:21 | <geekosaur> | using thenm there makes your mAllGrids an action instead of a data value, that itself must be run with >>= |
| 2022-02-03 20:03:39 | × | dirtcastle quits (~dirtcastl@103.43.203.226) (Ping timeout: 256 seconds) |
| 2022-02-03 20:04:07 | → | dirtcastle joins (~dirtcastl@2409:4072:e90:9cd7:b4c6:72ff:fee7:728e) |
| 2022-02-03 20:08:13 | × | qbt quits (~qbt@user/edun) (Quit: Leaving.) |
| 2022-02-03 20:22:17 | × | dirtcastle quits (~dirtcastl@2409:4072:e90:9cd7:b4c6:72ff:fee7:728e) (Ping timeout: 240 seconds) |
| 2022-02-03 20:28:48 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-02-03 20:37:09 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-03 20:57:16 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-03 20:57:40 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-03 21:28:44 | × | byorgey quits (~byorgey@155.138.238.211) (Quit: leaving) |
| 2022-02-03 21:30:00 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-03 21:52:11 | <jakeStateless-Fa> | https://p.bsd-unix.net/view/9d29b7b6 |
| 2022-02-03 21:52:11 | <jakeStateless-Fa> | The relevant lines are 33-58, this' my most recent attempt. |
| 2022-02-03 21:53:31 | <geekosaur> | right, did you consider adding type signatures as Solid suggested? it might show you what ypou have wrong, since apparently I'm failing to explain it |
| 2022-02-03 21:54:32 | <geekosaur> | also you are not showing where mAllGrids is used, and that's likely the real problem here |
| 2022-02-03 21:54:53 | <geekosaur> | mAllGrids uses >>= and is therefore an action. it *also* must be applied with >>= |
| 2022-02-03 21:55:15 | <geekosaur> | >>= is not some magic that causes an IO or X or etc. context to pop up out of nowhere |
| 2022-02-03 21:57:18 | → | byorgey joins (~byorgey@155.138.238.211) |
| 2022-02-03 21:59:26 | <jakeStateless-Fa> | mAllGrids isn't actually used anywhere yet |
| 2022-02-03 21:59:34 | <jakeStateless-Fa> | It's to be used as an action via a keybind |
| 2022-02-03 22:00:18 | <jakeStateless-Fa> | the components present within mgrids do work on their own |
| 2022-02-03 22:00:28 | <jakeStateless-Fa> | And I tried adding the type signatures that ghc gave me, those didn't work :/ (used the `:: ()` trick) |
| 2022-02-03 22:04:52 | <jakeStateless-Fa> | oh, turns out I was missing parenthesis, the problem's still here though |
| 2022-02-03 22:04:55 | <jakeStateless-Fa> | just, more logically... |
| 2022-02-03 22:05:46 | <geekosaur> | right, that wasn't supposed to fix it, it was supposed to give you some guidance as to what you're doing wrong |
| 2022-02-03 22:15:32 | <jakeStateless-Fa> | Aha! Got it! Now I'm just going to optimize it, and for anyone interested, I'll post a paste when I figure that out. |
| 2022-02-03 22:33:04 | <jakeStateless-Fa> | https://0bin.net/paste/sr3m7Gul#beUT7U7aHGHKdiTsy5kDyxnvHAza-xeg4jHtiJTyNxb p.bsd.net was being a snob about pasting things, here's the finalized version, for all interested (L35-47) |
| 2022-02-03 22:33:39 | <jakeStateless-Fa> | simple recursive gridselect... Nothing much. |
| 2022-02-03 23:35:25 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2022-02-03 23:47:11 | × | ectospasm quits (~ectospasm@user/ectospasm) (Quit: WeeChat 3.4) |
| 2022-02-04 00:07:27 | <jakeStateless-Fa> | liskin: https://gitlab.com/mikenrafter/config/-/blob/master/.xmonad/treeRewrite.hs <- I messaged you about this a while ago, did you ever take a look/do you have any feedback? I'm not overly familiar with XMonad's internals, so I'm not sure how I'd go about swapping things out for this structure - but I think this layout could remove a lot of the hackiness around floating windows, fullscreen, sublayouts, etc. |
| 2022-02-04 00:07:46 | <jakeStateless-Fa> | s/hackiness/hackiness and headaches/ |
| 2022-02-04 00:51:35 | → | mvk joins (~mvk@2607:fea8:5cdc:bf00::80f1) |
| 2022-02-04 02:02:22 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-02-04 02:03:39 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-04 03:03:19 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
| 2022-02-04 03:22:41 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-02-04 03:41:57 | × | td_ quits (~td@94.134.91.183) (Ping timeout: 240 seconds) |
| 2022-02-04 03:44:03 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-04 03:44:10 | → | td_ joins (~td@muedsl-82-207-238-085.citykom.de) |
| 2022-02-04 03:44:41 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-02-04 03:46:29 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-02-04 04:00:01 | × | haasn quits (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-02-04 04:01:21 | → | haasn joins (~nand@haasn.dev) |
| 2022-02-04 04:46:18 | × | noex quits (~null@user/noex) (Quit: :q!) |
| 2022-02-04 04:48:09 | → | noex joins (~null@user/noex) |
| 2022-02-04 04:50:00 | → | noex_ joins (~null@ip98-161-28-200.om.om.cox.net) |
| 2022-02-04 04:50:36 | × | noex quits (~null@user/noex) (Remote host closed the connection) |
| 2022-02-04 04:58:27 | noex_ | is now known as noex |
| 2022-02-04 04:58:57 | × | noex quits (~null@ip98-161-28-200.om.om.cox.net) (Changing host) |
| 2022-02-04 04:58:57 | → | noex joins (~null@user/noex) |
| 2022-02-04 05:36:21 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-04 05:50:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 06:09:45 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-04 06:45:30 | → | arjun joins (~arjun@user/arjun) |
| 2022-02-04 08:23:29 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-02-04 08:23:51 | <liskin> | jakeStateless-Fa: I haven't really had time to dig deep into it :-/ |
| 2022-02-04 08:25:38 | <liskin> | jakeStateless-Fa: what I'd probably say is that the devil is in the details, and not being familiar with the internals isn't the best starting position to hack on this, as the best way forward IMO is probably to temporarily forget about all of xmonad-contrib and actually experiment with real stuff in xmonad core, like actually implement a basic version of this and see where that goes |
| 2022-02-04 08:27:01 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-02-04 08:28:12 | <liskin> | it shouldn't be big, in terms of lines of code, as xmonad core is fairly small, but until something real is visible, I'm reluctant to get excited about it (primarily because I'm already overwhelmed with other stuff in my life, please don't take this personally) |
| 2022-02-04 08:31:15 | <liskin> | I wonder how best to approach this. Perhaps it'd make sense to do this in a similar way as a backelor thesis is done, where the student goes off for a week or two to hack on something, and then has a 15 minute call every 2 weeks with the advisor who tells them to throw it all away and try something else -- I could maybe do something like that :-D |
| 2022-02-04 08:32:52 | <liskin> | (I'm half joking of course, but recently I've been thinking about this idea of having planned high-throughput chats, or even planned intense hackathon, to move things forward in the project in a systematic way) |
| 2022-02-04 08:47:10 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 08:47:10 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-02-04 08:47:13 | allbery_b | is now known as geekosaur |
| 2022-02-04 09:01:21 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-04 09:02:52 | × | Czernobog quits (~Czernobog@user/czernobog) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-04 09:03:08 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-02-04 09:03:43 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 09:17:41 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-02-04 09:17:41 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 09:17:44 | allbery_b | is now known as geekosaur |
| 2022-02-04 09:21:11 | → | desantra joins (~skykanin@user/skykanin) |
| 2022-02-04 09:52:43 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-04 09:53:59 | → | redsith joins (~user@45.81.189.55) |
| 2022-02-04 10:06:37 | × | arjun quits (~arjun@user/arjun) (Ping timeout: 256 seconds) |
| 2022-02-04 10:10:49 | → | arjun joins (~arjun@103.57.87.28) |
| 2022-02-04 10:14:15 | × | arjun quits (~arjun@103.57.87.28) (Client Quit) |
| 2022-02-04 10:32:58 | <mc47> | liskin: I agree on your line of thought about chats and hackathons, it seems the only realistic way to achieve systematic progress, given the amount of free time everyone have |
| 2022-02-04 10:33:58 | <mc47> | I was actually thinking of trying to convince some of my classmates to do a project together that ties into xmonad (we can do something called a "Pushing the Limits" project, where we work on something "big" for a whole semester) |
| 2022-02-04 10:34:05 | <mc47> | But I think it's a longshot... |
| 2022-02-04 10:34:08 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-02-04 10:38:21 | × | redsith quits (~user@45.81.189.55) (Remote host closed the connection) |
| 2022-02-04 10:47:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-02-04 10:48:28 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 11:17:08 | → | redsith joins (~user@45.81.189.55) |
| 2022-02-04 11:45:01 | × | redsith quits (~user@45.81.189.55) (Remote host closed the connection) |
| 2022-02-04 13:43:18 | <jakeStateless-Fa> | I wish I had IRL friends like that :/ |
| 2022-02-04 13:44:18 | <jakeStateless-Fa> | <liskin> "I wonder how best to approach..." <- I like that idea, once I finish this round of fiddling with my configs, I'll give that a whirl. |
| 2022-02-04 14:47:38 | → | seschwar joins (~seschwar@user/seschwar) |
| 2022-02-04 15:01:47 | × | jludwig quits (~justin@user/jludwig) (Quit: ZNC - https://znc.in) |
| 2022-02-04 15:25:37 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
All times are in UTC.