IRCBrowse

2022/09/01

2022-09-01 01:14:54 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-01 01:20:11 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-01 01:36:26 +0200catman(~catman@user/catman) (Remote host closed the connection)
2022-09-01 01:37:09 +0200catman(~catman@user/catman)
2022-09-01 01:37:37 +0200banc(banc@gateway/vpn/airvpn/banc) (Ping timeout: 268 seconds)
2022-09-01 01:39:47 +0200banc(banc@gateway/vpn/airvpn/banc)
2022-09-01 01:48:55 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-01 02:34:59 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds)
2022-09-01 02:38:13 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-09-01 03:07:40 +0200catman(~catman@user/catman) (Remote host closed the connection)
2022-09-01 03:16:48 +0200jeeeun(~jeeeun@78.40.148.178) (Quit: Ping timeout (120 seconds))
2022-09-01 03:17:02 +0200jeeeun(~jeeeun@78.40.148.178)
2022-09-01 03:26:35 +0200catman(~catman@user/catman)
2022-09-01 04:04:37 +0200banc(banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds)
2022-09-01 04:18:30 +0200catman(~catman@user/catman) (Remote host closed the connection)
2022-09-01 04:23:28 +0200banc(banc@gateway/vpn/airvpn/banc)
2022-09-01 04:26:56 +0200dpn`(~dpn@203-206-161-39.perm.iinet.net.au)
2022-09-01 04:28:26 +0200 <dpn`> moin - for some reason I can't import this operator. Other ones from the same module work fine. https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/src/XMonad.Hooks.ManageHelpers.html…
2022-09-01 04:30:45 +0200 <dpn`> also how would I do a logical AND on Query results? something like: (stringProperty "WM_WINDOW_ROLE" ^? "join?action=join" && stringProperty "Foo" ^? "bar") --> doFloat
2022-09-01 04:43:14 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-09-01 04:44:30 +0200 <dpn`> ahh... found <&&>
2022-09-01 04:45:27 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-09-01 04:45:56 +0200td_(~td@94.134.91.66) (Ping timeout: 260 seconds)
2022-09-01 04:47:51 +0200td_(~td@94.134.91.37)
2022-09-01 04:50:57 +0200catman(~catman@user/catman)
2022-09-01 07:19:29 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds)
2022-09-01 07:27:38 +0200 <Solid> dpn`: be aware that ^?, ~?, and $? are kind of the wrong way around in 0.17.0
2022-09-01 07:27:54 +0200 <Solid> (this has been fixed in HEAD and will land in 0.17.1 this weekend)
2022-09-01 07:31:53 +0200 <dpn`> Solid: do you mean in terms of parameter application order?
2022-09-01 07:32:08 +0200 <dpn`> er... insofar as that means anything in haskell :P
2022-09-01 07:34:30 +0200 <Solid> dpn`: `x ^? y` means "is y a prefix of x" instead of "is x a prefix of y" in 0.17.0
2022-09-01 07:34:45 +0200 <Solid> which is... not optimal :>
2022-09-01 07:35:18 +0200 <Solid> wait, that's the other way around
2022-09-01 07:35:20 +0200 <Solid> argh
2022-09-01 07:36:15 +0200 <Solid> the point is that one often uses these operators in the sense of `appName ~? "text"` or `className $? "text"`
2022-09-01 07:36:48 +0200 <Solid> which means that `q ~? x` should really mean that x is a prefix of q and not the other way around
2022-09-01 07:36:48 +0200 <dpn`> thanks Solid - with you now :)
2022-09-01 07:37:30 +0200 <Solid> sorry, haven't had any caffeine today, so my thoughts are still a bit chaotic :)
2022-09-01 07:39:03 +0200 <dpn`> haha... all day for me :P
2022-09-01 07:39:48 +0200 <dpn`> but tldr what's the point of the operator if it saves a few chars off isPrefixOf and doesn't do anything about the conventions of param application order
2022-09-01 07:40:04 +0200 <dpn`> explains some confused posts I was reading earlier ;)
2022-09-01 07:40:47 +0200 <dpn`> I have no idea why I can't use the operator in my code, but can make it work with =? for now
2022-09-01 07:42:24 +0200 <Solid> The thing is that users are scared of writing Haskell and since stuff like `appName` and `className` are actually queries they would have to lift e.g. `isPrefixOf`
2022-09-01 07:43:17 +0200 <Solid> and then write "fmap appName (x `isPrefixOf`) --> blah" or something like that
2022-09-01 07:43:44 +0200 <Solid> so these new operators have the same shape as =? (which is just a lifted version of equality!)
2022-09-01 07:44:07 +0200 <Solid> I have no idea why I can't use the operator in my code << what's not working?
2022-09-01 07:44:17 +0200 <dpn`> i spent too long avoiding reading the classes available for Query... ngl. I work outside of FP land too much
2022-09-01 07:44:32 +0200 <dpn`> tweaking my config is a good excuse to keep some of my FP skills around :P
2022-09-01 07:45:19 +0200 <dpn`> Solid: Module ‘XMonad.Hooks.ManageHelpers’ does not export ‘(^?)’ |29 | import XMonad.Hooks.ManageHelpers((^?)) |
2022-09-01 07:46:04 +0200 <Solid> dpn`: Are you on an older version of xmonad(-contrib) perhaps?
2022-09-01 07:47:41 +0200 <dpn`> Solid: I'm using the local stack with get repo checkouts. I can see the operator in the contrib checking local to where I'm building. Actually I'm an idiot... maybe it's just vim using the wrong contrib for type checking
2022-09-01 07:48:15 +0200 <dpn`> yep.. that built fine. I'm a fool :)
2022-09-01 07:48:35 +0200 <dpn`> Solid: thanks for the rubber ducking haha
2022-09-01 07:48:44 +0200 <Solid> :D
2022-09-01 07:48:56 +0200 <Solid> you're welcome :)
2022-09-01 08:17:28 +0200Ehllie(~Thunderbi@user-94-254-227-37.play-internet.pl)
2022-09-01 08:21:29 +0200Ehllie(~Thunderbi@user-94-254-227-37.play-internet.pl) (Client Quit)
2022-09-01 08:22:49 +0200Ehllie1(~Thunderbi@user-94-254-227-37.play-internet.pl)
2022-09-01 08:22:49 +0200Ehllie1(~Thunderbi@user-94-254-227-37.play-internet.pl) (Client Quit)
2022-09-01 08:25:24 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-09-01 08:33:45 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
2022-09-01 09:02:19 +0200Ehllie(~Thunderbi@217-67-208-66.itsa.net.pl)
2022-09-01 09:12:19 +0200wonko_(~wjc@2a0e:1c80:2::130)
2022-09-01 09:45:05 +0200benin0(~benin@59.92.178.116) (Quit: Ping timeout (120 seconds))
2022-09-01 09:45:26 +0200benin0(~benin@59.92.178.116)
2022-09-01 09:55:10 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
2022-09-01 10:06:59 +0200Linux(~kernel@user/OpenSource) (Ping timeout: 248 seconds)
2022-09-01 10:30:06 +0200OpenSource(~kernel@user/OpenSource)
2022-09-01 10:32:25 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2022-09-01 10:38:09 +0200OpenSourceLinux
2022-09-01 10:58:20 +0200[Leary](~Leary]@user/Leary/x-0910699)
2022-09-01 11:00:06 +0200jchia[m]1(~jchiamatr@2001:470:69fc:105::c50b) (Quit: You have been kicked for being idle)
2022-09-01 11:08:44 +0200wonko_(~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds)
2022-09-01 11:14:29 +0200Ehllie(~Thunderbi@217-67-208-66.itsa.net.pl) (Quit: Ehllie)
2022-09-01 11:14:43 +0200Ehllie(~Thunderbi@217-67-208-66.itsa.net.pl)
2022-09-01 11:29:22 +0200Ehllie(~Thunderbi@217-67-208-66.itsa.net.pl) (Remote host closed the connection)
2022-09-01 11:34:12 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2022-09-01 11:35:43 +0200[Leary](~Leary]@user/Leary/x-0910699)
2022-09-01 13:13:46 +0200Ehllie(~Thunderbi@217-67-208-66.itsa.net.pl)
2022-09-01 13:44:53 +0200benin0(~benin@59.92.178.116) (Ping timeout: 255 seconds)
2022-09-01 13:46:53 +0200azureorange404[m(~azureoran@2001:470:69fc:105::2:7589)
2022-09-01 13:56:41 +0200c0c0(~coco@212-51-146-199.fiber7.init7.net)
2022-09-01 14:23:38 +0200benin0(~benin@117.193.64.161)
2022-09-01 14:25:01 +0200c0c0(~coco@212-51-146-199.fiber7.init7.net) (Ping timeout: 252 seconds)
2022-09-01 14:27:03 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-01 14:30:17 +0200c0c0(~coco@85.195.206.136)
2022-09-01 14:34:11 +0200Ehllie(~Thunderbi@217-67-208-66.itsa.net.pl) (Ping timeout: 252 seconds)
2022-09-01 14:52:51 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 248 seconds)
2022-09-01 14:53:58 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3)
2022-09-01 15:53:35 +0200nomadxxxx3(~lanomadx@208.91.67.142) (Ping timeout: 268 seconds)
2022-09-01 15:57:18 +0200nomadxx3(~lanomadx@69.167.45.126)
2022-09-01 16:12:03 +0200haskl(~haskl@user/haskl) (Ping timeout: 268 seconds)
2022-09-01 16:22:55 +0200haskl(~haskl@user/haskl)
2022-09-01 16:26:07 +0200benin0(~benin@117.193.64.161) (Ping timeout: 244 seconds)
2022-09-01 16:44:01 +0200benin0(~benin@117.193.64.161)
2022-09-01 17:42:07 +0200c0c0(~coco@85.195.206.136) (Quit: WeeChat 3.5)
2022-09-01 17:58:58 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-01 18:33:27 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-01 18:57:25 +0200Ehllie(~Thunderbi@83.31.196.9)
2022-09-01 19:03:56 +0200Ehllie(~Thunderbi@83.31.196.9) (Ping timeout: 255 seconds)
2022-09-01 19:06:29 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-01 19:08:12 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-01 19:36:44 +0200benin0(~benin@117.193.64.161) (Quit: The Lounge - https://thelounge.chat)
2022-09-01 20:01:15 +0200logzet(~quassel@2001:9e8:e539:a000:dabb:c1ff:fed3:a1b9)
2022-09-01 20:55:39 +0200Ehllie(~Thunderbi@83.31.196.9)
2022-09-01 20:57:12 +0200Ehllie1(~Thunderbi@83.31.196.9)
2022-09-01 20:57:12 +0200Ehllie(~Thunderbi@83.31.196.9) (Read error: Connection reset by peer)
2022-09-01 20:57:13 +0200Ehllie1Ehllie
2022-09-01 21:02:13 +0200Ehllie(~Thunderbi@83.31.196.9) (Read error: Connection reset by peer)
2022-09-01 21:02:22 +0200Ehllie(~Thunderbi@83.31.196.9)
2022-09-01 21:20:37 +0200Ehllie(~Thunderbi@83.31.196.9) (Ping timeout: 244 seconds)
2022-09-01 22:14:51 +0200Ehllie(~Thunderbi@83.31.196.9)
2022-09-01 22:23:17 +0200Ehllie(~Thunderbi@83.31.196.9) (Ping timeout: 255 seconds)
2022-09-01 23:07:14 +0200Ehllie(~Thunderbi@83.31.196.9)
2022-09-01 23:12:00 +0200Ehllie(~Thunderbi@83.31.196.9) (Ping timeout: 268 seconds)
2022-09-01 23:37:35 +0200steve_(~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 252 seconds)
2022-09-01 23:55:21 +0200samhh_(7569f027cf@2604:bf00:561:2000::e4)
2022-09-01 23:55:40 +0200matijja`(~matijja@193.77.181.201)
2022-09-01 23:55:55 +0200alethkit_(23bd17ddc6@2604:bf00:561:2000::3ce)
2022-09-01 23:55:59 +0200lazyrat(~lazycat@user/lazycat)
2022-09-01 23:56:06 +0200telser_(~quassel@user/telser)
2022-09-01 23:56:24 +0200PotatoGim_(sid99505@id-99505.lymington.irccloud.com)
2022-09-01 23:56:48 +0200pl_(sid98063@id-98063.helmsley.irccloud.com)
2022-09-01 23:57:17 +0200rieper|net(~riepernet@webmirror.geo.uni-leipzig.de)
2022-09-01 23:57:25 +0200pl_(sid98063@id-98063.helmsley.irccloud.com) (Client Quit)
2022-09-01 23:57:57 +0200pl_(sid98063@id-98063.helmsley.irccloud.com)
2022-09-01 23:58:00 +0200bsima-(~bsima@2604:a880:400:d0::19f1:7001)
2022-09-01 23:58:09 +0200laman1(~laman@rego.ai)
2022-09-01 23:58:18 +0200Mion(~Urist@archlinux/op/MrElendig)
2022-09-01 23:58:48 +0200_qw_(~eqw@31.134.178.99)
2022-09-01 23:58:56 +0200lazycat(~lazycat@user/lazycat) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200xmonadtrack(~xmonadtra@xmonad/geekosaur) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200x88x88x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200alethkit(23bd17ddc6@2604:bf00:561:2000::3ce) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200MrElendig(~Urist@archlinux/op/MrElendig) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200Rockj(~rockj@chromie.geekrevolution.net) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200^[(~user@user//x-8473491) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200laman(~laman@rego.ai) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200matijja(~matijja@193.77.181.201) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200davean(~davean@davean.sciesnet.net) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200bsima(~bsima@143.198.118.179) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200_qw(~eqw@31.134.178.99) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200pl(sid98063@id-98063.helmsley.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200rieper(~riepernet@webmirror.geo.uni-leipzig.de) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200telser(~quassel@user/telser) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200alethkit_alethkit
2022-09-01 23:58:59 +0200samhh_samhh
2022-09-01 23:59:05 +0200pl_pl