Logs: liberachat/#xmonad
| 2021-06-09 08:38:40 | → | __[m]1 joins (~quillaspm@2001:470:69fc:105::a55) |
| 2021-06-09 08:38:40 | → | mishgun[m] joins (~mishgunma@2001:470:69fc:105::a50) |
| 2021-06-09 08:38:40 | → | moyamo[m] joins (~moyamomat@2001:470:69fc:105::a51) |
| 2021-06-09 08:38:40 | → | TheWizardTower[m joins (~thewizard@2001:470:69fc:105::a5b) |
| 2021-06-09 08:38:40 | → | VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d) |
| 2021-06-09 08:38:40 | → | ph_0x17[m] joins (~ph0x17mat@2001:470:69fc:105::a53) |
| 2021-06-09 08:38:40 | → | MerlinGttlinger[ joins (~mgttlinge@2001:470:69fc:105::a4f) |
| 2021-06-09 08:38:40 | → | samhh[m] joins (~samhhmatr@2001:470:69fc:105::a58) |
| 2021-06-09 08:38:40 | → | sanuto[m] joins (~sanutomat@2001:470:69fc:105::a59) |
| 2021-06-09 08:38:40 | → | madjestic[m] joins (~madjestic@2001:470:69fc:105::a4e) |
| 2021-06-09 08:38:40 | → | mc47[m] joins (~mc47matri@2001:470:69fc:105::733) |
| 2021-06-09 08:38:40 | → | therivercass[m] joins (~theriverc@2001:470:69fc:105::a5a) |
| 2021-06-09 08:38:40 | → | sid[m] joins (~iffsidmat@2001:470:69fc:105::a3e) |
| 2021-06-09 08:38:40 | → | Liyang[m] joins (~liyangmat@2001:470:69fc:105::a4b) |
| 2021-06-09 08:38:40 | → | rosariopulella[m joins (~rosariopu@2001:470:69fc:105::a57) |
| 2021-06-09 08:38:40 | → | Sam[m]1 joins (~mmarvidfr@2001:470:69fc:105::3bf) |
| 2021-06-09 08:38:40 | → | pavelthebest[m] joins (~paveltheb@2001:470:69fc:105::a52) |
| 2021-06-09 08:38:40 | → | pnotequalnp[m] joins (~pnotequal@2001:470:69fc:105::a54) |
| 2021-06-09 08:38:40 | → | masse[m] joins (~masserauh@2001:470:69fc:105::3bd) |
| 2021-06-09 08:38:40 | → | Industrial[m] joins (~industria@2001:470:69fc:105::eb9) |
| 2021-06-09 08:38:40 | → | triumphofdeath[m joins (~triumphof@2001:470:69fc:105::a5c) |
| 2021-06-09 08:38:40 | → | maom[m] joins (~lurpammat@2001:470:69fc:105::a4d) |
| 2021-06-09 08:38:40 | → | YehoshuaPesachWa joins (~yehoshuap@2001:470:69fc:105::a5f) |
| 2021-06-09 08:38:40 | → | lukebarnard[m] joins (~lukebarna@2001:470:69fc:105::a4c) |
| 2021-06-09 08:38:40 | → | vyorkin[m] joins (~vyorkinma@2001:470:69fc:105::a5e) |
| 2021-06-09 08:38:40 | → | jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef) |
| 2021-06-09 08:48:18 | → | benin033 joins (~benin@183.82.206.233) |
| 2021-06-09 08:48:33 | × | benin03 quits (~benin@183.82.206.233) (Ping timeout: 252 seconds) |
| 2021-06-09 08:48:33 | benin033 | is now known as benin03 |
| 2021-06-09 08:54:18 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-09 09:55:36 | mc47 | doesn't like the duplication in CycleWS |
| 2021-06-09 09:56:28 | <mc47> | I don't understand why there are all these constructors |
| 2021-06-09 09:56:56 | <mc47> | I think it would be way better to only have WSIs, and then some boolean operations (and, or and not) |
| 2021-06-09 09:58:21 | <mc47> | What do you think about it? It would be possible to replace the current constructors with PatternSynonyms and deprecate them later |
| 2021-06-09 10:02:53 | <Solid> | would that actually result in less code though? the only place I can really see them used is wsTypeToPred |
| 2021-06-09 10:06:52 | → | Torro joins (Torro@gateway/vpn/protonvpn/torro) |
| 2021-06-09 10:07:27 | <mc47> | Well, I guess not, but I wanted to add a function that takes a WSType and returns another one that ignores the NSP workspace |
| 2021-06-09 10:07:47 | <mc47> | and that got me thinking about the interface itself |
| 2021-06-09 10:08:29 | <mc47> | it's totally doable with this interface though |
| 2021-06-09 10:13:44 | <Solid> | ah |
| 2021-06-09 10:13:53 | <Solid> | mh I can see how that would be a bit annoying with the current implementation |
| 2021-06-09 10:23:08 | <mc47> | alright, I have a flight to catch! Would be interested to see what others think about this |
| 2021-06-09 10:23:09 | <mc47> | cheers! |
| 2021-06-09 10:23:10 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2021-06-09 10:34:49 | → | kajzer joins (~themainma@user/themainman) |
| 2021-06-09 10:52:50 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 250 seconds) |
| 2021-06-09 11:37:38 | × | benin03 quits (~benin@183.82.206.233) (Ping timeout: 244 seconds) |
| 2021-06-09 11:53:08 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 264 seconds) |
| 2021-06-09 11:54:59 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-06-09 12:27:43 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: leaving) |
| 2021-06-09 12:32:19 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 2021-06-09 12:48:48 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-06-09 12:49:04 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2021-06-09 12:53:00 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-09 12:59:59 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 244 seconds) |
| 2021-06-09 13:11:07 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-09 13:17:49 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2021-06-09 13:19:42 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-09 13:49:56 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-09 13:57:20 | × | kajzer quits (~themainma@user/themainman) (Ping timeout: 264 seconds) |
| 2021-06-09 13:58:08 | → | kajzer joins (~themainma@user/themainman) |
| 2021-06-09 14:01:43 | → | davve joins (davve@bsd.douchedata.com) |
| 2021-06-09 14:05:25 | → | yosafbridge` joins (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2021-06-09 14:09:30 | → | dmwit_ joins (~dmwit@pool-96-255-233-247.washdc.fios.verizon.net) |
| 2021-06-09 14:10:34 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (*.net *.split) |
| 2021-06-09 14:10:34 | × | gknux quits (~gknux@user/galaxy-knuckles/x-3015990) (*.net *.split) |
| 2021-06-09 14:10:34 | × | davve_ quits (davve@bsd.douchedata.com) (*.net *.split) |
| 2021-06-09 14:10:34 | × | dmwit quits (~dmwit@pool-96-255-233-247.washdc.fios.verizon.net) (*.net *.split) |
| 2021-06-09 14:21:04 | → | gknux joins (~gknux@db4g.com) |
| 2021-06-09 14:21:04 | × | gknux quits (~gknux@db4g.com) (Changing host) |
| 2021-06-09 14:21:04 | → | gknux joins (~gknux@user/galaxy-knuckles/x-3015990) |
| 2021-06-09 14:21:13 | → | skewerr joins (~spoonm@inaba.spoonm.org) |
| 2021-06-09 14:37:58 | × | wonko quits (~wjc@62.115.229.50) (Remote host closed the connection) |
| 2021-06-09 14:50:49 | → | benin03 joins (~benin@183.82.205.134) |
| 2021-06-09 14:50:57 | × | benin03 quits (~benin@183.82.205.134) (Client Quit) |
| 2021-06-09 15:01:12 | × | eyenx quits (~eyenxeyen@eyenx.ch) (Ping timeout: 244 seconds) |
| 2021-06-09 15:02:06 | → | eyenx joins (~eyenxeyen@eyenx.ch) |
| 2021-06-09 15:19:10 | → | galaxy_knuckles joins (~gknux@db4g.com) |
| 2021-06-09 15:19:10 | × | galaxy_knuckles quits (~gknux@db4g.com) (Changing host) |
| 2021-06-09 15:19:10 | → | galaxy_knuckles joins (~gknux@user/galaxy-knuckles/x-3015990) |
| 2021-06-09 15:21:09 | → | gadmyth[m] joins (~gadmythma@2001:470:69fc:105::1720) |
| 2021-06-09 15:24:58 | × | gknux quits (~gknux@user/galaxy-knuckles/x-3015990) (*.net *.split) |
| 2021-06-09 15:24:58 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split) |
| 2021-06-09 15:25:00 | galaxy_knuckles | is now known as gknux |
| 2021-06-09 15:27:44 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-06-09 15:31:29 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-06-09 15:32:22 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-09 15:51:13 | ← | gadmyth[m] parts (~gadmythma@2001:470:69fc:105::1720) () |
| 2021-06-09 15:57:43 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 2021-06-09 16:16:39 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 2021-06-09 16:17:09 | liskin | will be a bit unresponsive for a couple days, because of sun, beer, spending time outside, and travelling |
| 2021-06-09 16:27:59 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 2021-06-09 16:31:52 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-06-09 16:34:23 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2021-06-09 16:43:53 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 2021-06-09 16:55:42 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-09 17:39:47 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 2021-06-09 18:06:44 | × | dnadales quits (~user@2a02:a210:a7a1:2770:30df:a741:8ae4:1786) (Ping timeout: 245 seconds) |
| 2021-06-09 18:27:44 | × | davve quits (davve@bsd.douchedata.com) (Quit: Reconnecting) |
| 2021-06-09 18:27:51 | → | davve joins (davve@bsd.douchedata.com) |
All times are in UTC.