IRCBrowse

2023/01/09

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