Home liberachat/#xmonad: Logs Calendar

Logs on 2023-01-09 (liberachat/#xmonad)

00:06:21 × thyriaen quits (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Remote host closed the connection)
02:23:10 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 260 seconds)
02:37:03 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
02:41:23 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 256 seconds)
02:54:20 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
02:59:03 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 255 seconds)
03:03:19 × banc quits (banc@gateway/vpn/protonvpn/banc) (Ping timeout: 265 seconds)
03:07:40 × td_ quits (~td@83.135.9.53) (Ping timeout: 265 seconds)
03:09:25 → td_ joins (~td@83.135.9.52)
03:24:48 → banc joins (banc@gateway/vpn/protonvpn/banc)
03:28:53 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
03:30:25 → lokesh1197 joins (~Thunderbi@14.139.128.10)
03:34:19 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 260 seconds)
03:47:35 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
03:50:33 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
03:52:08 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 265 seconds)
04:01:00 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
04:01:10 × lokesh1197 quits (~Thunderbi@14.139.128.10) (Ping timeout: 260 seconds)
04:01:28 → lokesh1197 joins (~Thunderbi@14.139.128.40)
04:08:21 → lokesh1198 joins (~Thunderbi@14.139.128.23)
04:10:35 × lokesh1197 quits (~Thunderbi@14.139.128.40) (Ping timeout: 268 seconds)
04:11:12 → lokesh1197 joins (~Thunderbi@14.139.128.10)
04:13:03 × lokesh1198 quits (~Thunderbi@14.139.128.23) (Ping timeout: 268 seconds)
04:47:34 × lokesh1197 quits (~Thunderbi@14.139.128.10) (Remote host closed the connection)
05:16:29 → galactic_starfis joins (~galactics@2001:470:69fc:105::1:2985)
05:25:12 <galactic_starfis> is there a clean way for me to say M-*-k whereas C or S or M1 in any combination can be pressed, e.g. M-k M-C-k or M-C-S-k M-C-M1-k M-S-k M-S-M1-k M-M1-k all work?
05:28:32 <galactic_starfis> without doing `f k a = [ (m<>k, a) | m <- [ "M-", "M-C-", "M-C-S-", "M-C-M1-", "M-S-", "M-S-M1-", "M-M1-" ] ]`
05:28:48 <galactic_starfis> * ] ]` and combining that with EZConfig
05:28:56 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
05:32:39 <[Leary]> > [ "M-" <> c <> s <> m1 | c <- ["", "C-"], s <- ["", "S-"], m1 <- ["", "M1-"] ]
05:32:41 <lambdabot> ["M-","M-M1-","M-S-","M-S-M1-","M-C-","M-C-M1-","M-C-S-","M-C-S-M1-"]
05:32:48 <[Leary]> galactic_starfis: Something like that.
05:33:13 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
05:33:29 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 246 seconds)
05:35:23 <Jadesheit[m]> ```hs
05:35:23 <Jadesheit[m]> f k a = [ (foldr (.|.) modMask mods, k) | mods <- [shiftMask, altMask, <other mods>] ]
05:35:23 <Jadesheit[m]> ```
05:36:32 <Jadesheit[m]> * ```hs
05:36:32 <Jadesheit[m]> f k a = [ ((foldr (.|.) modMask mods) .|. k, a) | mods <- [shiftMask, altMask, <other mods>] ]
05:36:32 <Jadesheit[m]> ```
05:36:51 <Jadesheit[m]> wait no
05:37:19 <Jadesheit[m]> you need a singleton generator for each like leary showed above
05:46:51 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
05:50:13 PotatoGim_ is now known as PotatoGim
05:51:08 <[Leary]> > let anyMods mod mods key a = fmap (,a) . getAp . foldMap Ap $ [mod <> "-"]:((\m -> ["", m <> "-"]) <$> mods) <> [[key]] in anyMods "M" ["C", "S", "M1"] "k" "<action>"
05:51:11 <lambdabot> [("M-k","<action>"),("M-M1-k","<action>"),("M-S-k","<action>"),("M-S-M1-k","...
05:51:23 <[Leary]> There's a more general form, if you want to do this more than once.
05:53:27 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 265 seconds)
06:07:21 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
06:12:03 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 260 seconds)
06:25:25 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
06:30:16 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 252 seconds)
06:51:22 → abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
06:58:13 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
07:02:28 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 260 seconds)
07:15:02 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
07:19:39 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 248 seconds)
07:39:51 → mncheckm joins (~mncheck@193.224.205.254)
07:52:05 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
07:57:10 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 252 seconds)
08:09:37 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
08:20:49 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 256 seconds)
08:34:22 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
08:39:15 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 255 seconds)
08:50:48 → cfricke joins (~cfricke@user/cfricke)
08:51:41 → thunderrd joins (~thunderrd@183.182.111.166)
08:52:47 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
08:57:07 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 252 seconds)
09:27:32 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
09:32:53 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 265 seconds)
09:40:44 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
09:45:27 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 265 seconds)
09:57:07 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
10:38:21 → escobear joins (~gknux@user/galaxy-knuckles/x-3015990)
10:39:05 × gknux quits (~gknux@user/galaxy-knuckles/x-3015990) (Ping timeout: 256 seconds)
10:39:12 escobear is now known as gknux
10:45:59 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 246 seconds)
10:50:04 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
11:07:28 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 252 seconds)
11:09:17 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
11:33:27 <galactic_starfis> thanks! what exactly does Ap do? it's hoogle documentation doesn't really clear it up, but it seems useful...
11:33:35 <galactic_starfis> * thanks! what exactly does Ap do? it's hoogle documentation doesn't really clear it up, but after playing with it, it seems useful...
11:34:42 × jab quits (~jabuxas@user/jabuxas) (Quit: WeeChat 2.8)
11:37:26 → jabuxas joins (~jabuxas@user/jabuxas)
11:56:06 <[Leary]> galactic_starfis: `Ap` gives an abitrary `Applicative` a corresponding `Monoid` instance where `mempty = pure mempty` and `(<>) = liftA2 (<>)`.
11:56:17 <[Leary]> > "abc" <> "def"
11:56:19 <lambdabot> "abcdef"
11:56:26 <[Leary]> > Ap "abc" <> Ap "def"
11:56:28 <lambdabot> error:
11:56:28 <lambdabot> • No instance for (Semigroup Char) arising from a use of ‘<>’
11:56:28 <lambdabot> • In the expression: Ap "abc" <> Ap "def"
11:56:45 <[Leary]> Oops.
11:57:19 <[Leary]> > Ap ["a", "b", "c"] <> Ap ["d", "e", "f"]
11:57:20 <lambdabot> Ap {getAp = ["ad","ae","af","bd","be","bf","cd","ce","cf"]}
11:57:25 <[Leary]> Is what I meant.
11:58:01 <[Leary]> > liftA2 (<>) ["a", "b", "c"] ["d", "e", "f"]
11:58:04 <lambdabot> ["ad","ae","af","bd","be","bf","cd","ce","cf"]
12:20:29 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 246 seconds)
12:21:43 × redgloboli_ quits (~redglobol@user/redgloboli) (Ping timeout: 252 seconds)
12:32:18 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
12:39:55 → redgloboli joins (~redglobol@user/redgloboli)
12:41:49 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1)
13:02:35 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 248 seconds)
13:13:45 × mncheckm quits (~mncheck@193.224.205.254) (Ping timeout: 255 seconds)
13:16:48 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
13:21:07 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 252 seconds)
13:35:48 → mncheckm joins (~mncheck@193.224.205.254)
13:37:56 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
13:50:28 → defjam joins (~defjam@2a02:c7e:2807:b900:854b:823d:a475:490c)
13:55:36 × defjam quits (~defjam@2a02:c7e:2807:b900:854b:823d:a475:490c) (Ping timeout: 255 seconds)
14:08:21 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
14:44:09 → cfricke joins (~cfricke@user/cfricke)
14:54:47 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 265 seconds)
15:04:13 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1)
15:04:22 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
15:05:30 → cfricke joins (~cfricke@user/cfricke)
15:08:26 × cfricke quits (~cfricke@user/cfricke) (Client Quit)
15:31:02 → tremon joins (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl)
15:58:28 → lokesh1197 joins (~Thunderbi@14.139.128.52)
16:00:09 × liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle)
16:33:32 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 246 seconds)
16:46:32 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
16:50:51 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 248 seconds)
17:20:20 × lokesh1197 quits (~Thunderbi@14.139.128.52) (Ping timeout: 272 seconds)
17:21:21 → Dominik[m]12 joins (~dschrempf@2001:470:69fc:105::2:bbb6)
17:22:06 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
17:23:44 → Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
17:38:05 → defjam joins (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc)
17:42:55 × defjam quits (~defjam@2a02:c7e:2807:b900:cc65:3053:ec90:ffbc) (Ping timeout: 252 seconds)
17:53:34 → defjam joins (~defjam@2a02:c7e:2807:b900:895f:ea1b:f4ef:f6b2)
17:58:03 × defjam quits (~defjam@2a02:c7e:2807:b900:895f:ea1b:f4ef:f6b2) (Ping timeout: 248 seconds)
18:21:27 → defjam joins (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9)
18:26:43 × defjam quits (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9) (Ping timeout: 260 seconds)
18:54:14 → defjam joins (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9)
18:59:15 × defjam quits (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9) (Ping timeout: 260 seconds)
19:08:39 × jabuxas quits (~jabuxas@user/jabuxas) (Quit: WeeChat 2.8)
19:11:30 → defjam joins (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9)
19:12:02 → mc47 joins (~mc47@xmonad/TheMC47)
20:49:09 → jabuxas joins (~jabuxas@user/jabuxas)
21:05:58 × defjam quits (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9) (Ping timeout: 260 seconds)
21:11:08 → defjam joins (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9)
21:24:27 × defjam quits (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9) (Ping timeout: 248 seconds)
21:26:38 → defjam joins (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9)
21:49:58 × defjam quits (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9) (Ping timeout: 265 seconds)
21:52:27 → defjam joins (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9)
22:18:00 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
22:18:41 × defjam quits (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9) (Ping timeout: 246 seconds)
22:28:13 → defjam joins (~defjam@2a02:c7e:2807:b900:384f:5b71:6585:86f9)

All times are in UTC on 2023-01-09.