Home liberachat/#xmonad: Logs Calendar

Logs on 2021-06-03 (liberachat/#xmonad)

00:02:20 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
00:04:15 geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
00:05:57 electr0n joins (~electr0n@hunt.revrse.sh)
00:59:44 jg joins (~jrgiacone@47.149.222.98)
00:59:57 <jg> Hiya :) how was everyone's day?
01:01:24 <geekosaur> busier than I liked, because I inadvertently slept in over an hour
01:02:30 liskin was woken up at 10am by a Tesco delivery and then had to get more sleep in the afternoon :-)
01:03:09 <liskin> and now I'm digging deeper into the recompilation rabbit hole instead of going to bed early :-/
01:03:51 <jg> ooooh noooo
01:03:59 <jg> what are you recompiling ?
01:04:26 <jg> geekosaur, you probably needed it :)
01:04:33 <jg> your body knows haha
01:05:04 <liskin> jg: trying to make ~/.xmonad/build unnecessary
01:06:08 <jg> a feat, may I ask why, it really is not difficult to make the build file?
01:06:23 <liskin> actually I was just trying to write one sentence of documentation totally unrelated, but I needed to look up something and poof an hour passed and I'm reading into dyre :-)
01:07:08 <liskin> well it's not difficult now that we have a guide that tells you to make it
01:07:15 <jg> ooh its a reconfiguration library for haskel, how did you stumble upon this
01:07:25 <liskin> but we also have like 5 other guides that don't tell you that
01:07:41 <liskin> which we should just clean up, obviously
01:07:58 <jg> I'd be down to help with that
01:07:59 <liskin> but it'd be nice if the build script wasn't necessary in normal setups
01:09:12 <jg> i get that, make it slightly easier for new users
01:09:16 <jg> or just one less step
01:10:54 <liskin> if you want to help cleaning up, here's what I found we have now: https://github.com/xmonad/xmonad/blob/master/README.md, https://github.com/xmonad/xmonad/blob/master/INSTALL.md, https://xmonad.org/documentation.html (quick start on the right side), https://xmonad.org/tour.html links to https://xmonad.org/intro.html which doesn't exist
01:11:11 <liskin> and also some cabal instructions at https://xmonad.org/download.html
01:11:15 <liskin> it's one huge mess :-/
01:11:30 <liskin> 03:07:15 <jg> ooh its a reconfiguration library for haskel, how did you stumble upon this
01:11:35 <liskin> ^ via taffybar
01:12:01 <liskin> sources for the website are at https://github.com/xmonad/xmonad-web
01:13:08 <jg> liskin i googled it: https://github.com/willdonnelly/dyre
01:13:39 <liskin> yeah that's it
01:13:51 <jg> it looks interesting
01:14:12 <jg> i thought you were asking me lmao, i didnt see the via taffeybar
01:14:33 <liskin> no I just pasted your line so you know what I'm replying to :-)
01:14:44 <jg> i appreciate that! i did not catch it at first
01:25:00 × themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1)
01:33:49 <jg> liskin, to edit I just want to make a fork fix up the text and then send it over correct?
01:34:21 <liskin> jg: sort of, yeah
01:34:55 <liskin> the README has some instructions how to build the website locally which is good if you want to see what it looks like and get a quick feedback
01:35:14 <liskin> I also have a Makefile to make it easier somewhere, been meaning to push it but got distracted with other work
01:35:31 <liskin> also, if you make a fork, you can enable github pages in the settings on github
01:35:50 <liskin> so then github gives you a url with the rendered site
01:36:06 <liskin> and then we can all take a look what your changes look like before we merge them
01:40:38 <jg> cool beans, I'll work on it a little this week and weekend!
01:42:09 <liskin> ok I'll try to push the Makefile tomorrow to make it easier
01:42:33 <liskin> with it you just do "make serve" and then edit the files and it immediately reloads in the browser
01:42:56 <liskin> oh and it's almost 3am again
01:43:10 <liskin> off I go :-)
01:44:02 <jg> good night :)
01:46:03 × jg quits (~jrgiacone@47.149.222.98) (Quit: Lost terminal)
01:56:48 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
02:24:18 × thunderrd quits (~thunderrd@183.182.115.71) (Ping timeout: 264 seconds)
02:30:40 × td_ quits (~td@muedsl-82-207-238-043.citykom.de) (Ping timeout: 268 seconds)
02:31:53 td_ joins (~td@muedsl-82-207-238-081.citykom.de)
03:09:53 Guest39 joins (~Guest39@124.40.244.150)
03:12:36 × Guest39 quits (~Guest39@124.40.244.150) (Client Quit)
03:23:22 thunderrd joins (~thunderrd@183.182.111.155)
03:43:37 a6a45081-2b83 joins (~aditya@106.212.70.132)
04:16:29 <a6a45081-2b83> unrelated but how can I control MPRIS2 using CLI?
04:17:38 <a6a45081-2b83> I understand it has a dbus-interface
04:18:27 <a6a45081-2b83> oh, I can use playerctl
04:27:36 <a6a45081-2b83> btw is there a way to add if-else to xmobar?
04:30:28 × a6a45081-2b83 quits (~aditya@106.212.70.132) (Quit: Konversation terminated!)
04:49:05 a6a45081-2b83 joins (~aditya@106.212.70.132)
04:52:48 berberman joins (~berberman@user/berberman)
04:53:23 × berberman_ quits (~berberman@user/berberman) (Ping timeout: 244 seconds)
05:24:11 × a6a45081-2b83 quits (~aditya@106.212.70.132) (Remote host closed the connection)
06:25:28 a6a45081-2b83 joins (~aditya@106.212.70.132)
06:34:37 Guest7213 joins (~Guest7213@78.32.70.245)
07:24:17 mc47 joins (~yecinem@89.246.239.190)
08:19:58 wonko joins (~wjc@62.115.229.50)
08:25:07 cfricke joins (~cfricke@user/cfricke)
08:26:00 × a6a45081-2b83 quits (~aditya@106.212.70.132) (Remote host closed the connection)
08:58:19 benin03 joins (~benin@183.82.205.186)
08:58:30 × benin0 quits (~benin@183.82.205.186) (Ping timeout: 264 seconds)
08:58:30 benin03 is now known as benin0
09:20:11 milosz parts (~milosz@user/milosz) (Leaving)
09:20:30 × liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Ping timeout: 244 seconds)
09:20:30 × Lehvak[m] quits (~lehvakmat@2001:470:69fc:105::469) (Ping timeout: 244 seconds)
09:20:30 × Sam[m] quits (~mmarvidfr@2001:470:69fc:105::3bf) (Ping timeout: 244 seconds)
09:20:30 × ElKowar[m] quits (~elkowarma@2001:470:69fc:105::392) (Ping timeout: 244 seconds)
09:20:30 × freopen quits (~freopenma@2001:470:69fc:105::256) (Ping timeout: 244 seconds)
09:20:30 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Ping timeout: 244 seconds)
09:20:45 × TomasJakl[m] quits (~jaklttchn@2001:470:69fc:105::a42) (Ping timeout: 268 seconds)
09:20:45 × therivercass[m] quits (~theriverc@2001:470:69fc:105::a5a) (Ping timeout: 268 seconds)
09:20:45 × Kidany[m] quits (~kidanymat@2001:470:69fc:105::a48) (Ping timeout: 268 seconds)
09:20:45 × mc47[m] quits (~mc47matri@2001:470:69fc:105::733) (Ping timeout: 268 seconds)
09:20:45 × zpartacoos[m] quits (~zpartacoo@2001:470:69fc:105::a60) (Ping timeout: 268 seconds)
09:20:45 × VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 268 seconds)
09:20:45 × sanuto[m] quits (~sanutomat@2001:470:69fc:105::a59) (Ping timeout: 268 seconds)
09:20:45 × pavelthebest[m] quits (~paveltheb@2001:470:69fc:105::a52) (Ping timeout: 268 seconds)
09:20:45 × madjestic[m] quits (~madjestic@2001:470:69fc:105::a4e) (Ping timeout: 268 seconds)
09:20:45 × Liyang[m] quits (~liyangmat@2001:470:69fc:105::a4b) (Ping timeout: 268 seconds)
09:20:45 × Jason[m] quits (~jasonzemo@2001:470:69fc:105::a44) (Ping timeout: 268 seconds)
09:20:45 × jakub[m] quits (~jakubfami@2001:470:69fc:105::a43) (Ping timeout: 268 seconds)
09:20:49 × justinrestivo[m] quits (~justinres@2001:470:69fc:105::a47) (Ping timeout: 272 seconds)
09:21:01 × hellquist[m] quits (~hellquist@2001:470:69fc:105::a3c) (Ping timeout: 272 seconds)
09:21:01 × gustavcedersjo[m quits (~gustavced@2001:470:69fc:105::a3b) (Ping timeout: 272 seconds)
09:21:01 × dmytrokurch[m] quits (~dmytrokur@2001:470:69fc:105::a35) (Ping timeout: 272 seconds)
09:21:01 × dkasak[m] quits (~dkasakter@2001:470:69fc:105::a34) (Ping timeout: 272 seconds)
09:21:01 × Dave[m] quits (~davama1ma@2001:470:69fc:105::a31) (Ping timeout: 272 seconds)
09:21:01 × AunJaffery[m] quits (~aunoxmatr@2001:470:69fc:105::a2d) (Ping timeout: 272 seconds)
09:21:01 × aamermoquim[m] quits (~aamermoqu@2001:470:69fc:105::a28) (Ping timeout: 272 seconds)
09:21:23 × triumphofdeath[m quits (~triumphof@2001:470:69fc:105::a5c) (Ping timeout: 268 seconds)
09:21:23 × pnotequalnp[m] quits (~pnotequal@2001:470:69fc:105::a54) (Ping timeout: 268 seconds)
09:21:24 × maom[m] quits (~lurpammat@2001:470:69fc:105::a4d) (Ping timeout: 268 seconds)
09:21:24 × lukebarnard[m] quits (~lukebarna@2001:470:69fc:105::a4c) (Ping timeout: 268 seconds)
09:21:24 × psibi quits (~psibimatr@2001:470:69fc:105::8ab) (Ping timeout: 268 seconds)
09:21:24 × vyorkin[m] quits (~vyorkinma@2001:470:69fc:105::a5e) (Ping timeout: 268 seconds)
09:21:24 × rosariopulella[m quits (~rosariopu@2001:470:69fc:105::a57) (Ping timeout: 268 seconds)
09:21:24 × mishgun[m] quits (~mishgunma@2001:470:69fc:105::a50) (Ping timeout: 268 seconds)
09:21:24 × MerlinGttlinger[ quits (~mgttlinge@2001:470:69fc:105::a4f) (Ping timeout: 268 seconds)
09:21:24 × krisfris[m] quits (~krisfrism@2001:470:69fc:105::a49) (Ping timeout: 268 seconds)
09:21:24 × jhuizy[m] quits (~jhuizymat@2001:470:69fc:105::a45) (Ping timeout: 268 seconds)
09:21:24 × issadarkthing[m] quits (~issadarkt@2001:470:69fc:105::a41) (Ping timeout: 268 seconds)
09:21:24 × instinctive[m] quits (~instincti@2001:470:69fc:105::a40) (Ping timeout: 268 seconds)
09:21:24 × ibizaman[m] quits (~ibizamanm@2001:470:69fc:105::a3d) (Ping timeout: 268 seconds)
09:21:24 × ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Ping timeout: 268 seconds)
09:21:24 × yuu[m] quits (~yuumatrix@2001:470:69fc:105::8a6) (Ping timeout: 268 seconds)
09:21:24 × masse[m] quits (~masserauh@2001:470:69fc:105::3bd) (Ping timeout: 268 seconds)
09:21:24 × Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 268 seconds)
09:21:24 × Daniel[m] quits (~therealda@2001:470:69fc:105::740) (Ping timeout: 268 seconds)
09:21:24 × hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Ping timeout: 268 seconds)
09:21:28 × kunrooted[m] quits (~kunrooted@2001:470:69fc:105::a4a) (Ping timeout: 272 seconds)
09:21:28 × unclechu quits (~unclechu@2001:470:69fc:105::354) (Ping timeout: 272 seconds)
09:21:39 × iffsid[m] quits (~iffsidmat@2001:470:69fc:105::a3e) (Ping timeout: 272 seconds)
09:21:40 × egeas[m] quits (~egeasasra@2001:470:69fc:105::a37) (Ping timeout: 272 seconds)
09:21:41 × dev[m] quits (~devnetmat@2001:470:69fc:105::a33) (Ping timeout: 272 seconds)
09:21:41 × CodeBitCookie[m] quits (~code-bit-@2001:470:69fc:105::a2f) (Ping timeout: 272 seconds)
09:22:00 × __[m] quits (~quillaspm@2001:470:69fc:105::a55) (Ping timeout: 268 seconds)
09:35:08 a6a45081-2b83 joins (~aditya@106.212.70.132)
09:38:01 <a6a45081-2b83> how can I get ScreenId -> ScreenDetail, I wanted to set xmobar size based on ScreenDetail Rectangle
09:51:55 Sam[m] joins (~mmarvidfr@2001:470:69fc:105::3bf)
09:54:14 ElKowar[m] joins (~elkowarma@2001:470:69fc:105::392)
09:58:09 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
10:01:17 themainman joins (~themainma@user/themainman)
10:01:19 × josiah_sama[m] quits (~josiahsam@2001:470:69fc:105::a46) (*.net *.split)
10:01:19 × YehoshuaPesachWa quits (~yehoshuap@2001:470:69fc:105::a5f) (*.net *.split)
10:01:19 × samhh[m] quits (~samhhmatr@2001:470:69fc:105::a58) (*.net *.split)
10:01:19 × Roos[m] quits (~roosember@2001:470:69fc:105::a56) (*.net *.split)
10:01:19 × moyamo[m] quits (~moyamomat@2001:470:69fc:105::a51) (*.net *.split)
10:01:19 × ph_0x17[m] quits (~ph0x17mat@2001:470:69fc:105::a53) (*.net *.split)
10:01:19 × fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (*.net *.split)
10:01:19 × liskin quits (~liskin@ackle.nomi.cz) (*.net *.split)
10:01:19 × bsima quits (~bsima@simatime.com) (*.net *.split)
10:01:19 × Bruners quits (lasseb@colargol.tihlde.org) (*.net *.split)
10:01:20 × dexterfoo quits (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split)
10:01:20 × incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split)
10:01:20 × lisq quits (~quassel@lis.moe) (*.net *.split)
10:01:21 × fizzie quits (fis@selene.zem.fi) (*.net *.split)
10:03:13 × thunderrd quits (~thunderrd@183.182.111.155) (Ping timeout: 272 seconds)
10:11:23 josiah_sama[m] joins (~josiahsam@2001:470:69fc:105::a46)
10:11:23 YehoshuaPesachWa joins (~yehoshuap@2001:470:69fc:105::a5f)
10:11:23 samhh[m] joins (~samhhmatr@2001:470:69fc:105::a58)
10:11:23 Roos[m] joins (~roosember@2001:470:69fc:105::a56)
10:11:23 moyamo[m] joins (~moyamomat@2001:470:69fc:105::a51)
10:11:23 ph_0x17[m] joins (~ph0x17mat@2001:470:69fc:105::a53)
10:11:23 fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db)
10:11:23 liskin joins (~liskin@ackle.nomi.cz)
10:11:23 bsima joins (~bsima@simatime.com)
10:11:23 Bruners joins (lasseb@colargol.tihlde.org)
10:11:23 dexterfoo joins (dexter@2a01:7e00::f03c:91ff:fe86:59ec)
10:11:23 incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
10:11:23 lisq joins (~quassel@lis.moe)
10:11:23 fizzie joins (fis@selene.zem.fi)
10:14:09 Lehvak[m] joins (~lehvakmat@2001:470:69fc:105::469)
10:18:26 liskin[m] joins (~liskinmat@2001:470:69fc:105::768)
10:21:33 TomasJakl[m] joins (~jaklttchn@2001:470:69fc:105::a42)
10:21:55 therivercass[m] joins (~theriverc@2001:470:69fc:105::a5a)
10:22:06 Kidany[m] joins (~kidanymat@2001:470:69fc:105::a48)
10:33:24 Liyang[m] joins (~liyangmat@2001:470:69fc:105::a4b)
10:33:34 madjestic[m] joins (~madjestic@2001:470:69fc:105::a4e)
10:39:48 Jason[m] joins (~jasonzemo@2001:470:69fc:105::a44)
10:42:07 mc47[m] joins (~mc47matri@2001:470:69fc:105::733)
10:43:33 pavelthebest[m] joins (~paveltheb@2001:470:69fc:105::a52)
10:44:31 VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d)
10:45:10 jakub[m] joins (~jakubfami@2001:470:69fc:105::a43)
10:48:01 sanuto[m] joins (~sanutomat@2001:470:69fc:105::a59)
10:48:10 zpartacoos[m] joins (~zpartacoo@2001:470:69fc:105::a60)
10:52:54 mc47[m] parts (~mc47matri@2001:470:69fc:105::733) ()
10:53:12 mc47[m] joins (~mc47matri@2001:470:69fc:105::733)
11:20:13 × a6a45081-2b83 quits (~aditya@106.212.70.132) (Remote host closed the connection)
11:22:52 hellquist[m] joins (~hellquist@2001:470:69fc:105::a3c)
11:23:03 dkasak[m] joins (~dkasakter@2001:470:69fc:105::a34)
11:23:14 Dave[m] joins (~davama1ma@2001:470:69fc:105::a31)
11:23:25 aamermoquim[m] joins (~aamermoqu@2001:470:69fc:105::a28)
11:27:23 gustavcedersjo[m joins (~gustavced@2001:470:69fc:105::a3b)
11:27:45 dmytrokurch[m] joins (~dmytrokur@2001:470:69fc:105::a35)
11:28:07 AunJaffery[m] joins (~aunoxmatr@2001:470:69fc:105::a2d)
11:29:59 mc47 joins (~yecinem@89.246.239.190)
12:06:17 × MrElendig quits (~Urist@user/mrelendig) (Changing host)
12:06:17 MrElendig joins (~Urist@archlinux/op/MrElendig)
12:11:34 × wonko quits (~wjc@62.115.229.50) (Quit: See You Space Cowboy..)
12:14:30 wonko joins (~wjc@62.115.229.50)
12:22:02 MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22)
12:28:30 × themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1)
12:28:50 themainman joins (~themainma@user/themainman)
12:30:14 freopen joins (~freopenma@2001:470:69fc:105::256)
12:33:19 justinrestivo[m] joins (~justinres@2001:470:69fc:105::a47)
12:33:59 × benin0 quits (~benin@183.82.205.186) (Ping timeout: 272 seconds)
12:44:03 × Guest7213 quits (~Guest7213@78.32.70.245) (Quit: Client closed)
12:47:05 geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
12:53:45 lukebarnard[m] joins (~lukebarna@2001:470:69fc:105::a4c)
12:53:57 psibi joins (~psibimatr@2001:470:69fc:105::8ab)
12:54:07 vyorkin[m] joins (~vyorkinma@2001:470:69fc:105::a5e)
12:54:18 rosariopulella[m joins (~rosariopu@2001:470:69fc:105::a57)
12:54:29 mishgun[m] joins (~mishgunma@2001:470:69fc:105::a50)
12:54:39 <davve> hi haskell/xmonad gods... I have been googling this but not getting much due to ambiguity, I want to run a command (change keyboard layout with setxkbmap) when focusing different windows.. any ideas/pointers on how to go about it?
12:54:40 masse[m] joins (~masserauh@2001:470:69fc:105::3bd)
12:55:13 krisfris[m] joins (~krisfrism@2001:470:69fc:105::a49)
12:55:24 Las[m] joins (~lasmatrix@2001:470:69fc:105::74e)
12:55:35 issadarkthing[m] joins (~issadarkt@2001:470:69fc:105::a41)
12:55:46 jhuizy[m] joins (~jhuizymat@2001:470:69fc:105::a45)
12:55:57 instinctive[m] joins (~instincti@2001:470:69fc:105::a40)
12:56:20 hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd)
12:58:51 triumphofdeath[m joins (~triumphof@2001:470:69fc:105::a5c)
13:00:17 maom[m] joins (~lurpammat@2001:470:69fc:105::a4d)
13:00:28 MerlinGttlinger[ joins (~mgttlinge@2001:470:69fc:105::a4f)
13:01:07 ibizaman[m] joins (~ibizamanm@2001:470:69fc:105::a3d)
13:01:15 <Solid> davve: the logHook runs on every internal state change, so you could write something that checks the focused window and does something based on that
13:01:29 pnotequalnp[m] joins (~pnotequal@2001:470:69fc:105::a54)
13:07:08 <liskin> davve: you don't want to run setxkbmap though, that's too heavy weight and quite possibly might trigger a refresh of xmonad, you should define two layouts in your /etc/default/keyboard or wherever and just tell X to switch between them
13:07:25 <liskin> Not that I know how (on my phone now)
13:07:45 <liskin> Surely there's a separate tool that does this for any ewmh compliant wm
13:08:51 <davve> Solid: thanks, liskin i actually have a script that toggles between them currently on a hotkey, but i switch windows so frequent that its still a pain point
13:10:28 psibi is now known as sibi
13:17:32 × themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1)
13:17:49 themainman joins (~themainma@user/themainman)
13:19:39 <Solid> "I should probably not even mention it to you, as we all know what's gonna happen" >> I feel offended :P
13:20:39 Daniel[m] joins (~therealda@2001:470:69fc:105::740)
13:24:49 × jgart[m] quits (~jgartemat@2001:470:69fc:105::5c9) (Quit: node-irc says goodbye)
13:24:49 × nihilipster[m] quits (~nihilipst@2001:470:69fc:105::720) (Quit: node-irc says goodbye)
13:24:49 × EdwardTjrnhammar quits (~edwtjofai@2001:470:69fc:105::3cb) (Quit: node-irc says goodbye)
13:24:49 × gate32[m] quits (~gate32mat@2001:470:69fc:105::9e3) (Quit: node-irc says goodbye)
13:24:49 × abhixec[m] quits (~abhixecma@2001:470:69fc:105::a2a) (Quit: node-irc says goodbye)
13:24:49 × devnet[m] quits (~devnet20m@2001:470:69fc:105::a32) (Quit: node-irc says goodbye)
13:24:49 × By_JumperX4[m] quits (~byjumperx@2001:470:69fc:105::a2e) (Quit: node-irc says goodbye)
13:24:49 × d9ny[m] quits (~d9nymatri@2001:470:69fc:105::a30) (Quit: node-irc says goodbye)
13:24:49 × AhmedAl-Hamed[m] quits (~asalhamed@2001:470:69fc:105::a2c) (Quit: node-irc says goodbye)
13:24:49 × fakecrafter[m] quits (~fakecraft@2001:470:69fc:105::a38) (Quit: node-irc says goodbye)
13:24:49 × globulis[m] quits (~globulism@2001:470:69fc:105::a3a) (Quit: node-irc says goodbye)
13:24:49 × antilambda[m] quits (~antilambd@2001:470:69fc:105::a2b) (Quit: node-irc says goodbye)
13:24:49 × galambborong[m] quits (~galambbor@2001:470:69fc:105::a39) (Quit: node-irc says goodbye)
13:24:49 × Drishal[m] quits (~drishalma@2001:470:69fc:105::a36) (Quit: node-irc says goodbye)
13:24:49 × TheWizardTower[m quits (~thewizard@2001:470:69fc:105::a5b) (Quit: node-irc says goodbye)
13:24:50 × indium[m] quits (~indiummat@2001:470:69fc:105::a3f) (Quit: node-irc says goodbye)
13:24:50 × fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Quit: node-irc says goodbye)
13:24:50 × ph_0x17[m] quits (~ph0x17mat@2001:470:69fc:105::a53) (Quit: node-irc says goodbye)
13:24:50 × moyamo[m] quits (~moyamomat@2001:470:69fc:105::a51) (Quit: node-irc says goodbye)
13:24:50 × Roos[m] quits (~roosember@2001:470:69fc:105::a56) (Quit: node-irc says goodbye)
13:24:50 × samhh[m] quits (~samhhmatr@2001:470:69fc:105::a58) (Quit: node-irc says goodbye)
13:24:50 × YehoshuaPesachWa quits (~yehoshuap@2001:470:69fc:105::a5f) (Quit: node-irc says goodbye)
13:24:50 × josiah_sama[m] quits (~josiahsam@2001:470:69fc:105::a46) (Quit: node-irc says goodbye)
13:24:50 × lyiriyah[m] quits (~lyiriyahm@2001:470:69fc:105::cc0) (Quit: node-irc says goodbye)
13:24:50 × Sam[m] quits (~mmarvidfr@2001:470:69fc:105::3bf) (Quit: node-irc says goodbye)
13:24:50 × ElKowar[m] quits (~elkowarma@2001:470:69fc:105::392) (Quit: node-irc says goodbye)
13:24:50 × Lehvak[m] quits (~lehvakmat@2001:470:69fc:105::469) (Quit: node-irc says goodbye)
13:24:50 × liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: node-irc says goodbye)
13:24:50 × Kidany[m] quits (~kidanymat@2001:470:69fc:105::a48) (Quit: node-irc says goodbye)
13:24:50 × madjestic[m] quits (~madjestic@2001:470:69fc:105::a4e) (Quit: node-irc says goodbye)
13:24:50 × TomasJakl[m] quits (~jaklttchn@2001:470:69fc:105::a42) (Quit: node-irc says goodbye)
13:24:50 × therivercass[m] quits (~theriverc@2001:470:69fc:105::a5a) (Quit: node-irc says goodbye)
13:24:50 × Liyang[m] quits (~liyangmat@2001:470:69fc:105::a4b) (Quit: node-irc says goodbye)
13:24:50 × Jason[m] quits (~jasonzemo@2001:470:69fc:105::a44) (Quit: node-irc says goodbye)
13:24:50 × mc47[m] quits (~mc47matri@2001:470:69fc:105::733) (Quit: node-irc says goodbye)
13:24:50 × pavelthebest[m] quits (~paveltheb@2001:470:69fc:105::a52) (Quit: node-irc says goodbye)
13:24:50 × VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Quit: node-irc says goodbye)
13:24:50 × sanuto[m] quits (~sanutomat@2001:470:69fc:105::a59) (Quit: node-irc says goodbye)
13:24:50 × jakub[m] quits (~jakubfami@2001:470:69fc:105::a43) (Quit: node-irc says goodbye)
13:24:50 × zpartacoos[m] quits (~zpartacoo@2001:470:69fc:105::a60) (Quit: node-irc says goodbye)
13:24:50 × hellquist[m] quits (~hellquist@2001:470:69fc:105::a3c) (Quit: node-irc says goodbye)
13:24:50 × Dave[m] quits (~davama1ma@2001:470:69fc:105::a31) (Quit: node-irc says goodbye)
13:24:50 × dkasak[m] quits (~dkasakter@2001:470:69fc:105::a34) (Quit: node-irc says goodbye)
13:24:50 × gustavcedersjo[m quits (~gustavced@2001:470:69fc:105::a3b) (Quit: node-irc says goodbye)
13:24:50 × aamermoquim[m] quits (~aamermoqu@2001:470:69fc:105::a28) (Quit: node-irc says goodbye)
13:24:50 × dmytrokurch[m] quits (~dmytrokur@2001:470:69fc:105::a35) (Quit: node-irc says goodbye)
13:24:50 × AunJaffery[m] quits (~aunoxmatr@2001:470:69fc:105::a2d) (Quit: node-irc says goodbye)
13:24:50 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye)
13:24:50 × masse[m] quits (~masserauh@2001:470:69fc:105::3bd) (Quit: node-irc says goodbye)
13:24:50 × mishgun[m] quits (~mishgunma@2001:470:69fc:105::a50) (Quit: node-irc says goodbye)
13:24:50 × Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Quit: node-irc says goodbye)
13:24:50 × issadarkthing[m] quits (~issadarkt@2001:470:69fc:105::a41) (Quit: node-irc says goodbye)
13:24:50 × ibizaman[m] quits (~ibizamanm@2001:470:69fc:105::a3d) (Quit: node-irc says goodbye)
13:24:50 × pnotequalnp[m] quits (~pnotequal@2001:470:69fc:105::a54) (Quit: node-irc says goodbye)
13:24:50 × instinctive[m] quits (~instincti@2001:470:69fc:105::a40) (Quit: node-irc says goodbye)
13:24:50 × hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye)
13:24:50 × triumphofdeath[m quits (~triumphof@2001:470:69fc:105::a5c) (Quit: node-irc says goodbye)
13:24:50 × maom[m] quits (~lurpammat@2001:470:69fc:105::a4d) (Quit: node-irc says goodbye)
13:24:50 × lukebarnard[m] quits (~lukebarna@2001:470:69fc:105::a4c) (Quit: node-irc says goodbye)
13:24:50 × vyorkin[m] quits (~vyorkinma@2001:470:69fc:105::a5e) (Quit: node-irc says goodbye)
13:24:50 × rosariopulella[m quits (~rosariopu@2001:470:69fc:105::a57) (Quit: node-irc says goodbye)
13:24:50 × sibi quits (~psibimatr@2001:470:69fc:105::8ab) (Quit: node-irc says goodbye)
13:24:50 × krisfris[m] quits (~krisfrism@2001:470:69fc:105::a49) (Quit: node-irc says goodbye)
13:24:50 × jhuizy[m] quits (~jhuizymat@2001:470:69fc:105::a45) (Quit: node-irc says goodbye)
13:24:50 × MerlinGttlinger[ quits (~mgttlinge@2001:470:69fc:105::a4f) (Quit: node-irc says goodbye)
13:24:50 × freopen quits (~freopenma@2001:470:69fc:105::256) (Quit: node-irc says goodbye)
13:24:50 × justinrestivo[m] quits (~justinres@2001:470:69fc:105::a47) (Quit: node-irc says goodbye)
13:24:50 × Daniel[m] quits (~therealda@2001:470:69fc:105::740) (Client Quit)
13:26:55 freopen joins (~freopenma@2001:470:69fc:105::256)
13:27:29 aamermoquim[m] joins (~aamermoqu@2001:470:69fc:105::a28)
13:32:09 ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a)
13:32:09 MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22)
13:32:21 lyiriyah[m] joins (~lyiriyahm@2001:470:69fc:105::cc0)
13:32:21 VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d)
13:32:21 sibi joins (~psibimatr@2001:470:69fc:105::8ab)
13:33:13 ElKowar[m] joins (~elkowarma@2001:470:69fc:105::392)
13:33:13 fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db)
13:33:13 gate32[m] joins (~gate32mat@2001:470:69fc:105::9e3)
13:33:14 hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd)
13:33:15 TomasJakl[m] joins (~jaklttchn@2001:470:69fc:105::a42)
13:33:15 Jason[m] joins (~jasonzemo@2001:470:69fc:105::a44)
13:33:15 jgart[m] joins (~jgartemat@2001:470:69fc:105::5c9)
13:33:15 Las[m] joins (~lasmatrix@2001:470:69fc:105::74e)
13:33:16 Lehvak[m] joins (~lehvakmat@2001:470:69fc:105::469)
13:33:16 liskin[m] joins (~liskinmat@2001:470:69fc:105::768)
13:33:17 nihilipster[m] joins (~nihilipst@2001:470:69fc:105::720)
13:33:17 Daniel[m] joins (~therealda@2001:470:69fc:105::740)
13:33:18 unclechu joins (~unclechu@2001:470:69fc:105::354)
13:33:18 yuu[m] joins (~yuumatrix@2001:470:69fc:105::8a6)
13:33:24 AunJaffery[m] joins (~aunoxmatr@2001:470:69fc:105::a2d)
13:33:24 CodeBitCookie[m] joins (~code-bit-@2001:470:69fc:105::a2f)
13:33:24 d9ny[m] joins (~d9nymatri@2001:470:69fc:105::a30)
13:33:24 dev[m] joins (~devnetmat@2001:470:69fc:105::a33)
13:33:24 abhixec[m] joins (~abhixecma@2001:470:69fc:105::a2a)
13:33:24 antilambda[m] joins (~antilambd@2001:470:69fc:105::a2b)
13:33:24 AhmedAl-Hamed[m] joins (~asalhamed@2001:470:69fc:105::a2c)
13:33:24 By_JumperX4[m] joins (~byjumperx@2001:470:69fc:105::a2e)
13:33:24 Dave[m] joins (~davama1ma@2001:470:69fc:105::a31)
13:33:24 devnet[m] joins (~devnet20m@2001:470:69fc:105::a32)
13:33:25 dkasak[m] joins (~dkasakter@2001:470:69fc:105::a34)
13:33:25 dmytrokurch[m] joins (~dmytrokur@2001:470:69fc:105::a35)
13:33:25 egeas[m] joins (~egeasasra@2001:470:69fc:105::a37)
13:33:25 galambborong[m] joins (~galambbor@2001:470:69fc:105::a39)
13:33:25 Drishal[m] joins (~drishalma@2001:470:69fc:105::a36)
13:33:25 EdwardTjrnhammar joins (~edwtjofai@2001:470:69fc:105::3cb)
13:33:25 fakecrafter[m] joins (~fakecraft@2001:470:69fc:105::a38)
13:33:26 gustavcedersjo[m joins (~gustavced@2001:470:69fc:105::a3b)
13:33:26 globulis[m] joins (~globulism@2001:470:69fc:105::a3a)
13:33:26 hellquist[m] joins (~hellquist@2001:470:69fc:105::a3c)
13:33:26 iffsid[m] joins (~iffsidmat@2001:470:69fc:105::a3e)
13:33:26 indium[m] joins (~indiummat@2001:470:69fc:105::a3f)
13:33:26 instinctive[m] joins (~instincti@2001:470:69fc:105::a40)
13:33:26 ibizaman[m] joins (~ibizamanm@2001:470:69fc:105::a3d)
13:33:26 issadarkthing[m] joins (~issadarkt@2001:470:69fc:105::a41)
13:33:27 jakub[m] joins (~jakubfami@2001:470:69fc:105::a43)
13:33:27 josiah_sama[m] joins (~josiahsam@2001:470:69fc:105::a46)
13:33:27 justinrestivo[m] joins (~justinres@2001:470:69fc:105::a47)
13:33:27 krisfris[m] joins (~krisfrism@2001:470:69fc:105::a49)
13:33:27 jhuizy[m] joins (~jhuizymat@2001:470:69fc:105::a45)
13:33:27 Kidany[m] joins (~kidanymat@2001:470:69fc:105::a48)
13:33:27 kunrooted[m] joins (~kunrooted@2001:470:69fc:105::a4a)
13:33:28 lukebarnard[m] joins (~lukebarna@2001:470:69fc:105::a4c)
13:33:28 madjestic[m] joins (~madjestic@2001:470:69fc:105::a4e)
13:33:28 masse[m] joins (~masserauh@2001:470:69fc:105::3bd)
13:33:28 MerlinGttlinger[ joins (~mgttlinge@2001:470:69fc:105::a4f)
13:33:28 mishgun[m] joins (~mishgunma@2001:470:69fc:105::a50)
13:33:28 moyamo[m] joins (~moyamomat@2001:470:69fc:105::a51)
13:33:28 Sam[m]1 joins (~mmarvidfr@2001:470:69fc:105::3bf)
13:33:28 Liyang[m] joins (~liyangmat@2001:470:69fc:105::a4b)
13:33:28 maom[m] joins (~lurpammat@2001:470:69fc:105::a4d)
13:33:29 Roos[m] joins (~roosember@2001:470:69fc:105::a56)
13:33:29 rosariopulella[m joins (~rosariopu@2001:470:69fc:105::a57)
13:33:29 samhh[m] joins (~samhhmatr@2001:470:69fc:105::a58)
13:33:29 pavelthebest[m] joins (~paveltheb@2001:470:69fc:105::a52)
13:33:29 ph_0x17[m] joins (~ph0x17mat@2001:470:69fc:105::a53)
13:33:29 pnotequalnp[m] joins (~pnotequal@2001:470:69fc:105::a54)
13:33:29 __[m] joins (~quillaspm@2001:470:69fc:105::a55)
13:33:29 sanuto[m] joins (~sanutomat@2001:470:69fc:105::a59)
13:33:30 TheWizardTower[m joins (~thewizard@2001:470:69fc:105::a5b)
13:33:30 triumphofdeath[m joins (~triumphof@2001:470:69fc:105::a5c)
13:33:30 vyorkin[m] joins (~vyorkinma@2001:470:69fc:105::a5e)
13:33:30 YehoshuaPesachWa joins (~yehoshuap@2001:470:69fc:105::a5f)
13:33:30 therivercass[m] joins (~theriverc@2001:470:69fc:105::a5a)
13:33:30 zpartacoos[m] joins (~zpartacoo@2001:470:69fc:105::a60)
13:33:30 mc47[m] joins (~mc47matri@2001:470:69fc:105::733)
13:54:52 <Solid> mh either I'm stupid or `T` is really not suited for testing arbitrary layouts for anything
13:55:19 <Solid> we can't even do (l `pureMessage` ...) because an Int is not _really_ a layout
14:06:31 <Solid> oh right Choose doesn't even implement pureMessage, so we'd need handleMessage anyways which needs X
14:30:18 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
14:32:06 geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
15:02:27 thunderrd joins (~thunderrd@183.182.115.184)
15:09:05 × themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1)
15:09:21 themainman joins (~themainma@user/themainman)
15:24:53 seschwar joins (~seschwar@user/seschwar)
15:55:10 <liskin> I vaguely remember Arbitrary T just puts ones or zeroes in all the layouts.
16:18:46 <liskin> but you don't really want a StackSet do you? what you want is a binary tree, and then you turn that into a binary tree of (|||) of the same shape
16:19:03 <liskin> and you'll need a custom layout to put into that tree that has a description and some hideable state
16:19:55 <liskin> not sure if there's an Arbitrary instance for binary trees of Strings (descriptions)
16:38:42 <Solid> but tests can't be in X can they?
16:43:00 <liskin> oh right
16:43:11 <liskin> I'll think about it during lunch
17:26:20 <liskin> Solid: I think you may be able to get away with doing runX undefined undefined (handleMessage …)
17:27:00 <liskin> it's ugly but we know that the Choose layout doesn't really need X
17:29:54 berberman_ joins (~berberman@user/berberman)
17:30:58 × berberman quits (~berberman@user/berberman) (Ping timeout: 272 seconds)
17:31:20 <liskin> but yeah, not having any clean way to test these monadic parts of layout is quite a shortcoming
17:31:33 <liskin> how did no one miss it all those years?
17:34:59 <liskin> btw I made my own xmonad-testing yesterday: https://github.com/liskin/dotfiles/blob/home/.xmonad-testing/Makefile
17:35:52 <liskin> at this points I should probably really just use nix instead, but I'm too oldschool :-(
17:42:26 lyiriyah[m] < https://libera.ems.host/_matrix/media/r0/download/libera.chat/331449c960923e9ad668e5f4ae13de936c674a87/message.txt >
17:46:24 <liskin> lyiriyah[m]: looks like you're missing some parentheses around the arguments to Tall
17:46:46 <lyiriyah[m]> 🤦
17:47:01 <lyiriyah[m]> Thanks -- I'll see if it works
17:48:04 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds)
17:48:30 <lyiriyah[m]> It does, thanks so much
17:48:34 cfricke joins (~cfricke@user/cfricke)
17:50:38 tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
18:41:17 <Solid> liskin: uff... thanks though :D
18:41:34 <Solid> I'll try to take a look this weekend
18:41:54 <Solid> also, you should really just use nix :>
18:43:10 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds)
18:45:05 cfricke joins (~cfricke@user/cfricke)
18:51:35 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1)
20:32:41 × wonko quits (~wjc@62.115.229.50) (Ping timeout: 244 seconds)
20:47:22 Guest39 joins (~Guest39@124.40.244.150)
20:50:12 × Guest39 quits (~Guest39@124.40.244.150) (Client Quit)
20:53:44 SimPilotAdamT joins (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net)
21:00:34 × SimPilotAdamT quits (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) (Read error: Connection reset by peer)
21:02:15 SimPilotAdamT joins (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net)
21:07:22 × SimPilotAdamT quits (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) (Read error: Connection reset by peer)
21:13:37 SimPilotAdamT joins (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net)
21:13:39 × SimPilotAdamT quits (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) (Read error: Connection reset by peer)
21:17:27 SimPilotAdamT joins (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net)
21:17:46 × SimPilotAdamT quits (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) (Client Quit)
21:19:35 × seschwar quits (~seschwar@user/seschwar) (Quit: :wq)
21:50:27 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
22:02:03 Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
22:24:59 r0cket2510[m] joins (~r0cket251@2001:470:69fc:105::e00)
22:29:19 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
22:37:16 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
23:39:36 × themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1)
23:50:39 × Roos[m] quits (~roosember@2001:470:69fc:105::a56) (Quit: node-irc says goodbye)
23:50:56 Roos[m] joins (~roosember@2001:470:69fc:105::a56)
23:52:46 × tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
23:52:58 Roos[m] is now known as Orbstheorem
23:56:54 × Orbstheorem quits (~roosember@2001:470:69fc:105::a56) (Quit: node-irc says goodbye)
23:57:10 Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56)

All times are in UTC on 2021-06-03.