Home liberachat/#xmonad: Logs Calendar

Logs on 2022-04-20 (liberachat/#xmonad)

00:03:22 × Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 250 seconds)
01:03:24 → abastro joins (~abab9579@220.75.216.63)
01:05:10 × abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection)
01:05:21 → abastro joins (~abab9579@220.75.216.63)
01:35:41 → jeeeun1 joins (~jeeeun@78.40.148.178)
01:37:13 <abastro[m]> I wonder of a way to make the declarative combinators more composable..
01:37:37 × jeeeun quits (~jeeeun@78.40.148.178) (Quit: Ping timeout (120 seconds))
01:37:37 × koluacik quits (~koluacik@165.227.171.188) (Ping timeout: 272 seconds)
01:37:37 × yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving)
01:37:38 × Czernobog quits (~Czernobog@user/czernobog) (Quit: ZNC 1.8.2 - https://znc.in)
01:37:38 × rieper|net quits (~riepernet@sxbeta1.geo.uni-leipzig.de) (Quit: No Ping reply in 180 seconds.)
01:37:38 → Czernobog joins (~Czernobog@49.36.107.87)
01:37:38 jeeeun1 is now known as jeeeun
01:37:39 × Czernobog quits (~Czernobog@49.36.107.87) (Changing host)
01:37:39 → Czernobog joins (~Czernobog@user/czernobog)
01:37:53 → koluacik joins (~koluacik@165.227.171.188)
01:38:04 → rieper joins (~riepernet@sxbeta1.geo.uni-leipzig.de)
01:38:25 × abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection)
01:39:40 → yosafbridge joins (~yosafbrid@static.38.6.217.95.clients.your-server.de)
01:41:17 → koluacik_ joins (~koluacik@165.227.171.188)
01:41:33 → The_Czernobog joins (~Czernobog@user/czernobog)
01:42:13 × scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Ping timeout: 272 seconds)
01:42:13 × totte quits (~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 272 seconds)
01:42:13 × koluacik quits (~koluacik@165.227.171.188) (Client Quit)
01:42:17 × byorgey quits (~byorgey@155.138.238.211) (Ping timeout: 272 seconds)
01:42:45 → scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk)
01:42:54 × Czernobog quits (~Czernobog@user/czernobog) (Ping timeout: 272 seconds)
01:42:55 The_Czernobog is now known as Czernobog
01:43:29 → byorgey joins (~byorgey@155.138.238.211)
01:48:32 → totte joins (~totte@h-82-196-112-155.A166.priv.bahnhof.se)
01:57:59 × steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds)
02:02:19 × banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 240 seconds)
02:07:27 × ectospasm quits (~ectospasm@user/ectospasm) (Ping timeout: 272 seconds)
02:16:50 → ectospasm joins (~ectospasm@user/ectospasm)
02:24:37 → banc joins (banc@gateway/vpn/airvpn/banc)
02:25:53 × [Leary] quits (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Ping timeout: 256 seconds)
02:54:23 → [Leary] joins (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz)
02:55:36 → benin joins (~benin@183.82.204.110)
02:58:23 → abastro joins (~abab9579@220.75.216.63)
03:22:21 × stackdroid18 quits (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!)
03:30:29 × abastro quits (~abab9579@220.75.216.63) (Ping timeout: 256 seconds)
03:33:51 → Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
04:15:27 → steve__ joins (~steve@ool-182c2b80.dyn.optonline.net)
04:34:07 → rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
04:36:40 → abastro joins (~abab9579@220.75.216.63)
04:41:03 × abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection)
04:41:14 → abastro joins (~abab9579@220.75.216.63)
05:23:42 × rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds)
05:37:18 × abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection)
05:38:40 → abastro joins (~abab9579@220.75.216.63)
06:02:29 <abastro> Hmm, decoupling taffybar made my config a bit more stable
06:03:16 → benin5 joins (~benin@106.198.93.9)
06:05:11 × benin quits (~benin@183.82.204.110) (Ping timeout: 256 seconds)
06:05:12 benin5 is now known as benin
06:18:37 → benin4 joins (~benin@183.82.204.110)
06:20:54 × benin quits (~benin@106.198.93.9) (Ping timeout: 276 seconds)
06:20:54 benin4 is now known as benin
06:41:05 <abastro> TIL invoking `cabal build` after `cabal install` makes next `cabal build` take less time.
06:42:02 <Solid> presumably cabal install also builds the package before installing it :)
07:19:05 <abastro> Yep, but cabal install takes longer time if I just want to check if I should re-install stuffs
07:58:39 × steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds)
08:14:35 <abastro> What could I use to read a file alike stock `Read` instance reads?
08:15:16 <abastro> The stock instance is quite cumbersome (No error messages, constrained to String)
09:00:09 × abastro quits (~abab9579@220.75.216.63) (Ping timeout: 276 seconds)
10:31:28 → chomwitt joins (~chomwitt@2a02:587:dc1b:da00:41cd:5357:91a5:6)
11:04:50 → wybpip[m] joins (~wybpipmat@2001:470:69fc:105::1:f452)
11:04:51 ← wybpip[m] parts (~wybpipmat@2001:470:69fc:105::1:f452) ()
11:39:11 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Remote host closed the connection)
12:00:10 <geekosaur> abastro[m], the general recommendation is to ignore Read completely and write a parser
12:00:25 <geekosaur> parsec/megaparsec and attoparsec are commonly used
12:01:57 → abastro joins (~abab9579@220.75.216.63)
12:02:00 <geekosaur> Read's sole advantage is it can be done with stuff in base and restricted to haskell98
12:02:10 <geekosaur> but it's a *lousy* parser
12:07:45 <abastro[m]> It takes time to write a good parser though.
12:08:05 <geekosaur> well, yes
12:08:17 <geekosaur> it took time to design Read too though :)
12:08:33 <abastro> Yep
12:08:44 <geekosaur> especially since some key parts of modern parsers didn't exist back then (Applicative and Alternative)
12:09:14 <abastro> I mean, want out-of-the box solution
12:09:18 <abastro> I want*
12:13:30 <tdammers> another problem with the format Show/Read use is that it's not actually properly specified
12:14:28 <tdammers> the entire specification is pretty much "as close to valid Haskell syntax as you can reasonably make it", but more than enough instances produce something that isn't valid Haskell code to make even this bit of specification practically useless
12:15:05 <tdammers> this is fine for the use case that Show and Read were intended for (casual debugging), but it's a bad choice if you need anything more robust than that
12:15:10 <abastro> I find the syntax great-looking personally
12:15:25 <tdammers> of course, but that's not the point
12:15:30 <abastro> So I wanted something which replicates some of its behavior with more advanced tools
12:15:34 <tdammers> the point is that it's not fully defined
12:16:05 <abastro> Yep, I'd like some specialized solution which is better defined, but sufficiently similar with `Read` instance
12:35:27 <abastro[m]> I guess I could use JSON & Aeson, but I think aeson would carry quite a bit of dependency baggage
13:00:01 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
13:04:13 × ArshiaAghaei[m] quits (~arshiaagh@2001:470:69fc:105::1:c382) (Ping timeout: 240 seconds)
13:04:25 → ArshiaAghaei[m] joins (~arshiaagh@2001:470:69fc:105::1:c382)
13:04:33 <abastro> Perhaps it would not take much effort to implement one myself, let me see.
14:20:55 → rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
14:53:57 → mvk joins (~mvk@2607:fea8:5ce3:8500::46a8)
15:00:35 <Solid> there are leaner JSON libraries than aeson out there if that's all that's holding you back from using it
15:14:51 × abastro quits (~abab9579@220.75.216.63) (Ping timeout: 256 seconds)
15:17:15 <abastro[m]> Hmm
15:17:41 <abastro[m]> I mean I think haskell syntax is nice but that might just be my bias
15:18:35 <abastro[m]> Is JSON config file desirable
15:32:55 <abastro[m]> Yea aeson dependency footprint is too huge, as well
15:49:53 × Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer)
15:50:58 → Czernobog joins (~Czernobog@user/czernobog)
15:59:18 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8)
15:59:30 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
16:00:12 × liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle)
16:01:27 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
17:01:03 <geekosaur> we don't often care about dependencies given cabal/stack manages them for us
17:01:16 → liskin[m] joins (~liskinmat@2001:470:69fc:105::768)
17:02:37 <abhixec> is there a way to make toggleFloatallnew for just the workspace i toggle on?
17:06:48 <geekosaur> not easily
17:07:39 <abhixec> ok thanks!
17:08:11 <geekosaur> you would have to write your own version of toggleFloatAllNew that recorded the current workspace, and a version of floatNextHook that compared it against XMonad.Hooks.ManageHelpers.currentWs
17:19:45 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
17:35:09 × Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer)
17:36:22 → Czernobog joins (~Czernobog@user/czernobog)
17:43:55 → werneta joins (~werneta@137.79.201.225)
17:50:01 × jeeeun quits (~jeeeun@78.40.148.178) (Remote host closed the connection)
17:51:20 → jeeeun joins (~jeeeun@78.40.148.178)
18:02:19 × Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 240 seconds)
18:05:54 → Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
18:29:23 × Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer)
18:31:39 → ge59wox[m] joins (~ge59woxtu@2001:470:69fc:105::1:fdcf)
18:35:56 → lulu_hu joins (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27)
18:37:07 × rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
18:37:53 <lulu_hu> hi guys, I wanted to ask whether "keys = myKeys <+> keys def" in my config and "
18:37:53 <lulu_hu> myKeys conf@(XConfig {XMonad.modMask = modm}) = M.fromList [ ]
18:38:29 <lulu_hu> ((modm, xK_y), scratchpadSpawnAction conf) is sufficiet for adding a scratchpad (sorry for the bad formatting, first time usisng an irc).
18:40:29 <geekosaur> the keys and spawn action part has tobeinside the list
18:40:58 <geekosaur> although these days we recommend additionalKeysP instead of manipulating keys like that directly
18:42:15 → Natch joins (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se)
18:57:08 × lulu_hu quits (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) (Remote host closed the connection)
18:57:34 → lulu_hu joins (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27)
19:00:28 × lulu_hu quits (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) (Remote host closed the connection)
19:10:12 × mvk quits (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds)
19:16:15 <geekosaur> hrm
19:16:48 <geekosaur> looked over the code, it seems to do the right thing. anyone else override the fontName for tabbed? does it work for you?
19:17:12 <geekosaur> (it's not the font that is wrong, I use the same font with Prompt and it works fine)
19:23:21 → lulu_hu joins (~user@ip4d15b30c.dynamic.kabel-deutschland.de)
19:30:00 × Natch quits (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 276 seconds)
19:31:44 × lulu_hu quits (~user@ip4d15b30c.dynamic.kabel-deutschland.de) (Remote host closed the connection)
19:32:54 → Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
19:40:56 → mvk joins (~mvk@2607:fea8:5ce3:8500::46a8)
20:19:31 × Forkk quits (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
20:40:36 × mvk quits (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds)
21:41:19 × werneta quits (~werneta@137.79.201.225) (Ping timeout: 256 seconds)
21:46:57 → werneta joins (~werneta@137.79.218.82)
21:48:41 → stackdroid18 joins (14094@user/stackdroid)
22:00:01 → abiss27 joins (~abiss27@user/abiss)
22:02:06 × werneta quits (~werneta@137.79.218.82) (Ping timeout: 276 seconds)
22:08:30 → mvk joins (~mvk@2607:fea8:5ce3:8500::46a8)
22:15:39 × [Leary] quits (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds)
22:42:33 ge59wox[m] is now known as LukasLuluHu[m]
22:56:37 → steve__ joins (~steve@ool-182c2b80.dyn.optonline.net)
23:09:22 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
23:11:12 → geekosaur joins (~geekosaur@xmonad/geekosaur)
23:25:10 × Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer)
23:25:25 × thonoht[m] quits (~thonohtma@2001:470:69fc:105::d7be) (Ping timeout: 240 seconds)
23:25:44 → thonoht[m] joins (~thonohtma@2001:470:69fc:105::d7be)
23:25:51 → Czernobog joins (~Czernobog@user/czernobog)
23:26:13 × lyiriyah[m] quits (~lyiriyahm@2001:470:69fc:105::cc0) (Ping timeout: 240 seconds)
23:28:50 → lyiriyah[m] joins (~lyiriyahm@2001:470:69fc:105::cc0)
23:34:55 × Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer)
23:35:59 → Czernobog joins (~Czernobog@user/czernobog)

All times are in UTC on 2022-04-20.