IRCBrowse

2023/01/09

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