Home freenode/#xmonad: Logs Calendar

Logs on 2020-12-30 (freenode/#xmonad)

00:01:49 × notis quits (~notis@212.54.207.241.dsl.dyn.forthnet.gr) (Ping timeout: 246 seconds)
00:02:16 notis joins (~notis@45.134.22.54)
00:08:30 gzj joins (~gzj@unaffiliated/gzj)
00:19:19 × notis quits (~notis@45.134.22.54) (Ping timeout: 246 seconds)
00:27:17 growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net)
01:30:06 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
01:30:27 gzj joins (~gzj@unaffiliated/gzj)
01:33:06 davemq_ joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net)
01:33:13 × davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Ping timeout: 264 seconds)
01:45:46 × drl quits (~l@2600:1700:8360:3870::725) (Quit: Leaving)
02:36:01 Hash joins (~Hash@unaffiliated/hash)
03:05:37 × theDon quits (~td@muedsl-82-207-238-118.citykom.de) (Ping timeout: 264 seconds)
03:07:24 theDon joins (~td@94.134.91.72)
03:30:07 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
03:30:27 gzj joins (~gzj@unaffiliated/gzj)
04:02:46 × theDon quits (~td@94.134.91.72) (Ping timeout: 256 seconds)
04:04:29 theDon joins (~td@94.134.91.51)
04:19:19 hacxman joins (~hexo@gateway/tor-sasl/hexo)
04:19:23 × hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds)
04:19:37 hacxman is now known as hexo
05:22:09 ADG1089__ joins (~aditya@223.235.213.117)
05:22:25 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
06:28:00 palo1 joins (~weechat@c-base/crew/palo)
06:31:01 × palo quits (~weechat@c-base/crew/palo) (Ping timeout: 246 seconds)
06:31:01 palo1 is now known as palo
07:01:34 wallygivesthed joins (~danielxvu@2607:f2c0:e35e:9b::cd8)
07:16:23 × hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds)
07:19:02 hexo joins (~hexo@gateway/tor-sasl/hexo)
07:50:06 × al3x27 quits (~plovs@85.254.74.40) (Quit: WeeChat 3.0)
07:54:48 × growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
08:07:40 notis joins (~notis@45.134.22.54)
08:57:22 × wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds)
09:05:44 thunderrd joins (~thunderrd@183.182.111.131)
09:09:27 xaltsc joins (~xaltsc@unaffiliated/xaltsc)
09:17:45 <Solid> I wish things in the PP type were a little more strongly typed :/
09:27:01 × wonko7 quits (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) (Quit: See You Space Cowboy..)
09:33:09 wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de)
10:20:18 mc47 joins (~yecinem@89.246.239.190)
10:26:06 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
10:26:26 gzj joins (~gzj@unaffiliated/gzj)
10:35:04 × ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection)
10:36:57 ADG1089__ joins (~aditya@223.235.213.117)
10:43:19 × ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection)
10:44:16 × brettgilio quits (~brettgili@brettgilio.com) (Ping timeout: 240 seconds)
10:45:50 brettgilio joins (~brettgili@brettgilio.com)
10:48:47 × notis quits (~notis@45.134.22.54) (Ping timeout: 260 seconds)
10:50:33 notis joins (~notis@185.51.134.230)
10:53:01 ADG1089__ joins (~aditya@223.235.213.117)
11:20:49 × notis quits (~notis@185.51.134.230) (Ping timeout: 246 seconds)
11:22:54 notis joins (~notis@45.134.22.54)
11:30:02 <ADG1089__> @t spawnPipe
11:30:03 <lambdabot> Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? .
11:30:11 <ADG1089__> @type spawnPipe
11:30:14 <lambdabot> error: Variable not in scope: spawnPipe
11:31:11 <ADG1089__> spawnPipe :: MonadIO m => String -> m Handle (Launch an external application through the system shell and return a Handle to its standard input.)
11:31:52 <ADG1089__> how can i get the handle to its standard output?
11:38:03 ericsagn1 joins (~ericsagne@2405:6580:0:5100:fcdb:75f:452b:6812)
11:38:56 <Solid> it returns the handle as a monadic action
11:39:19 <Solid> i.e. if you're in some do-notation-thing you can do `h <- spawnPipe "my-program"'`
11:39:26 <Solid> and then `h` will be the handle
11:40:49 × ericsagnes quits (~ericsagne@2405:6580:0:5100:7c82:3285:3449:9fb4) (Ping timeout: 258 seconds)
11:58:16 × mc47 quits (~yecinem@89.246.239.190) (Read error: Connection reset by peer)
12:06:41 mc47 joins (~yecinem@89.246.239.190)
12:09:52 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:fcdb:75f:452b:6812) (Ping timeout: 260 seconds)
12:17:21 ericsagnes joins (~ericsagne@2405:6580:0:5100:1a8:463f:5e1d:212e)
12:30:52 <ADG1089__> Solid: it returns stdin, i wanted stdout; I copied the source code and modified it to spawnPipe'
12:31:08 <ADG1089__> anyways, i wanted to know if there is a X transformer
12:31:10 <ADG1089__> @hoogle X a -> IO a
12:31:11 <lambdabot> Basement.Monad unsafePrimToIO :: PrimMonad prim => prim a -> IO a
12:31:11 <lambdabot> Generic.Data.Internal.Utils coerce' :: Coercible (f x) (g x) => f x -> g x
12:31:11 <lambdabot> Control.Effect.Lift sendM :: (Has (Lift n) sig m, Functor n) => n a -> m a
12:32:44 <Solid> ADG1089__: whoops, sorry for missing that detail
12:33:39 <Solid> There's no (safe) way to do `X a -> IO a', no
12:33:51 <Solid> because the X monad is essentially "IO with more stuff"
12:34:33 <Solid> what you can do it run that "more stuff" and get the IO action out; that function is called `runX'
12:34:42 <Solid> @hoogle runX
12:34:43 <lambdabot> Text.XML.HXT.Arrow.XmlState runX :: IOSArrow XmlTree c -> IO [c]
12:34:43 <lambdabot> Text.XML.HXT.Arrow.XmlState.RunIOStateArrow runX :: IOSArrow XmlTree c -> IO [c]
12:34:43 <lambdabot> XMonad.Core runX :: XConf -> XState -> X a -> IO (a, XState)
12:35:10 <ADG1089__> Solid: I was using XMonad.Util.ExtensibleState#gets :: (ExtensionClass a, XLike m) => (a -> b) -> m b inside a do notation with IO
12:35:35 <ADG1089__> but IO is not XLike so i couldn't bind the result `v <- XS.gets`
12:36:00 <Solid> Yes, if your function is in IO there's no way you can get at xmonad's extensible state
12:36:39 geekosaur joins (ac3a8b4c@172.58.139.76)
12:37:58 <ADG1089__> I can make that X and use liftIO in dependent functions
12:38:01 <ADG1089__> I think Solid
12:39:27 <Solid> That would be possible yes
12:40:13 <Solid> actually, maybe not; depends on _where_ you want to use that
12:40:42 <dminuoso> It still surprises me how non-Haskellers write their xmonad config with extensible state, and not run scared off. It confused the heck out of me for a long while how this could even work when I was actually learning Haskell.
12:41:41 <Solid> dminuoso: I would expect non-Haskellers to be much more comfortable with the idea of "oh there's some bit of global mutable state here" than people who're already a few levels deep into the cult ;)
12:49:26 <ADG1089__> i have some haskell experience
12:52:06 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
12:52:27 gzj joins (~gzj@unaffiliated/gzj)
13:03:04 <dminuoso> Solid: Not just mutable state, but global mutable extensible state! :P
13:03:47 <aldum> non-haskellers don't know what they are messing with in the config :)
13:12:54 tux1 joins (~tux@ru1.metahumanvpn.network)
13:35:06 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
13:47:09 berberman_ joins (~berberman@unaffiliated/berberman)
13:47:53 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
13:49:14 × ericsagnes quits (~ericsagne@2405:6580:0:5100:1a8:463f:5e1d:212e) (Ping timeout: 258 seconds)
13:57:47 × tux1 quits (~tux@ru1.metahumanvpn.network) (Ping timeout: 272 seconds)
13:59:06 tux1 joins (~tux@95.85.102.122)
14:01:43 ericsagnes joins (~ericsagne@2405:6580:0:5100:9344:4d83:8d7c:8a3f)
14:06:43 × tux1 quits (~tux@95.85.102.122) (Ping timeout: 265 seconds)
14:07:10 tux1 joins (~tux@ru1.metahumanvpn.network)
14:14:15 rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
14:42:12 kelnoky joins (~shao@ip1f1222c4.dynamic.kabel-deutschland.de)
14:42:17 × geekosaur quits (ac3a8b4c@172.58.139.76) (Remote host closed the connection)
14:44:45 ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
14:46:06 × ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection)
14:46:27 ADG1089__ joins (~aditya@223.235.213.117)
14:48:32 × xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds)
14:49:59 ADG1089_ joins (~aditya@223.235.213.117)
14:50:33 × ADG1089__ quits (~aditya@223.235.213.117) (Read error: Connection reset by peer)
14:59:48 mmarconm joins (~mmarconm@unaffiliated/mmarconm)
15:21:57 × ADG1089_ quits (~aditya@223.235.213.117) (Remote host closed the connection)
15:22:20 ADG1089__ joins (~aditya@223.235.213.117)
15:29:29 malook joins (~Thunderbi@5.109.68.114)
15:30:49 × tux1 quits (~tux@ru1.metahumanvpn.network) (Ping timeout: 264 seconds)
15:32:36 tux1 joins (~tux@95.85.102.122)
15:34:02 × malook quits (~Thunderbi@5.109.68.114) (Ping timeout: 260 seconds)
15:40:54 × tux1 quits (~tux@95.85.102.122) (Ping timeout: 256 seconds)
15:41:13 tux1 joins (~tux@ru1.metahumanvpn.network)
15:49:24 × mmarconm quits (~mmarconm@unaffiliated/mmarconm) (Ping timeout: 256 seconds)
15:58:25 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
16:00:39 × thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection)
16:03:51 × tux1 quits (~tux@ru1.metahumanvpn.network) (Quit: WeeChat 2.9)
16:09:04 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
16:20:00 thunderrd joins (~thunderrd@183.182.111.131)
16:20:08 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
16:30:05 cfricke joins (~cfricke@unaffiliated/cfricke)
16:34:50 × ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!)
16:37:16 nova joins (~novasenco@gateway/tor-sasl/novasenco)
16:37:25 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
16:50:51 × hexo quits (~hexo@gateway/tor-sasl/hexo) (Quit: ZNC 1.8.2 - https://znc.in)
16:51:05 hexo joins (~hexo@gateway/tor-sasl/hexo)
16:52:16 geekosaur joins (42d52137@66.213.33.55)
16:53:29 × nova quits (~novasenco@gateway/tor-sasl/novasenco) (Remote host closed the connection)
16:54:00 nova joins (~novasenco@gateway/tor-sasl/novasenco)
16:57:55 al3x27 joins (~plovs@85.254.74.40)
16:59:14 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
17:04:50 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
17:09:07 gspe_ joins (~gspe@94-36-114-149.adsl-ull.clienti.tiscali.it)
17:21:03 × nova quits (~novasenco@gateway/tor-sasl/novasenco) (Quit: nova)
17:28:19 everythingTaken joins (~everythin@gateway/tor-sasl/everythingtaken)
17:30:16 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
17:34:27 everythingTaken parts (~everythin@gateway/tor-sasl/everythingtaken) ()
17:36:50 × mc47 quits (~yecinem@89.246.239.190) (Read error: Connection reset by peer)
17:49:50 × ericsagnes quits (~ericsagne@2405:6580:0:5100:9344:4d83:8d7c:8a3f) (Ping timeout: 264 seconds)
17:56:45 × geekosaur quits (42d52137@66.213.33.55) (Ping timeout: 245 seconds)
18:01:43 ericsagnes joins (~ericsagne@2405:6580:0:5100:2d54:ddf7:e8d2:c4c3)
18:08:22 geekosaur joins (42d52137@66.213.33.55)
18:39:09 ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
18:54:10 ADG1089__ joins (~aditya@223.235.213.117)
19:01:59 fionnan joins (~fionnan@109.255.20.201)
19:03:37 berberman joins (~berberman@unaffiliated/berberman)
19:04:51 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
19:27:24 × ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection)
19:32:15 ADG1089__ joins (~aditya@223.235.213.117)
19:35:55 <ADG1089__> anyone using gridselect, has anyone thought of adding add .desktop files in path to it?
19:41:20 × geekosaur quits (42d52137@66.213.33.55) (Ping timeout: 245 seconds)
19:49:11 <Liskni_si> ADG1089__: rofi already does this
19:49:31 <Liskni_si> (but the UI is different a bit, yeah)
19:54:28 geekosaur joins (42d52137@66.213.33.55)
19:55:59 <ADG1089__> Liskni_si: this rofi is amazing
19:56:22 <ADG1089__> I can remove xmonad run prompt, ssh prompt, grid select
19:57:05 <ADG1089__> and probably tree select too
20:01:10 mc47 joins (~yecinem@89.246.239.190)
20:01:56 <dminuoso> Gah, why is the intel driver so damn buggy.
20:02:15 <dminuoso> Now firefox is regularly bugged to the point, that it's window content doesn't refresh. It's visually stuck
20:02:29 <ADG1089__> Liskni_si: i have used Albert launcher in the past, how does it compare to rofi
20:02:49 <dminuoso> Sadly modesetting doesn't offer vsync, what are my options here? Is a compositor likely to have a positive effect?
20:04:27 ohmysomuchuser joins (~nickednam@037008230172.dynamic-3-poz-k-1-2-0.vectranet.pl)
20:06:33 Shiranai joins (beed0d8f@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.143)
20:10:32 antoniy joins (~antoniy@78.130.185.113)
20:15:38 <al3x27> ADG1089__: rofi is simpler, but faster
20:16:36 <al3x27> ADG1089__: gridselect is great for stuff you tend to forget (for older folk)
20:16:59 <Liskni_si> dminuoso: compositor solves tearing
20:17:16 <Liskni_si> dminuoso: unfortunately it usually brings its own problems
20:17:58 <Liskni_si> I'm on picom 7.4 and it works, but newer versions are slow and older buggy. It's a total mess.
20:18:33 <Liskni_si> (the x11 compositor landscape, not picom/compton in particular)
20:18:50 <Liskni_si> ADG1089__: never heard of Albert
20:21:15 <ADG1089__> Liskni_si: https://www.youtube.com/watch?v=i95rn3sl_Uo
20:21:19 <al3x27> Liskni_si: Liskni_si it's a quicksilver wanabe, from the golden days of MocOS
20:21:36 <al3x27> MacOS
20:27:23 <dminuoso> Liskni_si: Sigh. So perhaps its better to just accept tearing, switch to modesetting and not plug in a compositor then...
20:28:06 <Liskni_si> dminuoso: it's not that bad :-)
20:28:28 <Liskni_si> Most people won't notice the slowness or the bugs.
20:28:38 <dminuoso> Well, I guess its bearable since I rarely watch videos on my work laptop.
20:28:49 <dminuoso> On my desktop it's a different story because it's an nvidia card
20:28:58 <Liskni_si> It's better than the random full system hangs of xf86-video-intel
20:29:12 <dminuoso> full system hangs?
20:29:26 <dminuoso> Mmm. Well I've had just my share of large windows bug/crap out in mysterious ways..
20:29:32 <dminuoso> All disappeared when I switched to modesetting. :>
20:29:39 <Liskni_si> Or whatever other problem you're having...
20:30:10 <dminuoso> I should get a T14 then with an ATI card.
20:30:14 <dminuoso> Or well. AMD.
20:30:20 <Liskni_si> :-D
20:31:24 <Liskni_si> I'm going to bisect picom sooner or later, but there's little motivation as 7.4 or .5 or whatever I have just works.
20:31:44 <Liskni_si> I don't need the fancy new features like shadows that slow everything down
20:32:28 <Liskni_si> Or blurs. Shadows are there since xcompmgr
20:32:31 <dminuoso> Well, at best Id just use it to fight tearing.
20:33:03 Solid is still using some old compton fork because it has a blur option that no one else has yet :>
20:33:34 × gspe_ quits (~gspe@94-36-114-149.adsl-ull.clienti.tiscali.it) (Ping timeout: 260 seconds)
20:33:42 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
20:33:45 <dminuoso> How is blur even useful on a tiling wm?
20:33:56 <dminuoso> Oh wait. I was thinking transparency
20:35:30 <Solid> dminuoso: I don't have a border around windows; instead, unfocused windows are slightly transparent+blured
20:36:03 <dminuoso> Can you share a screenshot how that would look? Im curious
20:38:56 <Liskni_si> I think I only have blur under notify-osd and I could live even without that.
20:40:21 <Solid> dminuoso: sure https://i.imgur.com/nBNvBfc.png
20:40:26 <Liskni_si> Actually have no idea if that blur is composited
20:40:49 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Quit: WeeChat 2.8)
20:43:07 AHemlocksLie joins (~mikey@2603-8080-090b-0b47-0000-0000-0000-0283.res6.spectrum.com)
20:43:58 ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
20:47:46 <AHemlocksLie> I'm getting into xmonad and using it to build an info board sort of set up, and I want to autostart some programs and predefine the layout of a couple workspaces. Ideally, define a few workspaces, each with a preset list of autorun applications in a set layout and its own background. Can anyone recommend a resource to start working this out?
20:48:27 × notis quits (~notis@45.134.22.54) (Ping timeout: 260 seconds)
20:50:26 notis joins (~notis@212.54.207.241.dsl.dyn.forthnet.gr)
20:53:07 × ericsagnes quits (~ericsagne@2405:6580:0:5100:2d54:ddf7:e8d2:c4c3) (Ping timeout: 260 seconds)
20:54:27 <Solid> AHemlocksLie: you can use topic spaces ( https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Actions-TopicSpace.html ) or dynamic projects ( https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Actions-DynamicProjects.html ) for that
20:54:43 <Solid> (probably others, but these are the ones that come to mind right now)
21:01:04 × ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!)
21:04:36 ericsagnes joins (~ericsagne@2405:6580:0:5100:408c:5ab0:3607:c803)
21:06:13 × wallygivesthed quits (~danielxvu@2607:f2c0:e35e:9b::cd8) (Remote host closed the connection)
21:06:49 × notis quits (~notis@212.54.207.241.dsl.dyn.forthnet.gr) (Ping timeout: 260 seconds)
21:07:08 <AHemlocksLie> Awesome, thanks for the leads
21:07:16 notis joins (~notis@185.51.134.230)
21:18:33 seschwar joins (~seschwar@unaffiliated/seschwar)
21:19:25 × Shiranai quits (beed0d8f@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.143) (Quit: Connection closed)
21:21:25 × eblip quits (~eblip@unaffiliated/eblip) (Ping timeout: 246 seconds)
21:30:46 ohmysomuchuser is now known as nickednamed
21:39:29 growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net)
21:43:48 × geekosaur quits (42d52137@66.213.33.55) (Remote host closed the connection)
22:37:30 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
22:51:10 × nickednamed quits (~nickednam@037008230172.dynamic-3-poz-k-1-2-0.vectranet.pl) (Quit: Lost terminal)
23:25:39 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
23:56:25 × al3x27 quits (~plovs@85.254.74.40) (Quit: WeeChat 3.0)

All times are in UTC on 2020-12-30.