Logs: freenode/#xmonad
| 2021-01-27 08:10:19 | <AusCyber> | wait no maybe it doesnt rely on lens |
| 2021-01-27 08:10:42 | <AusCyber> | anyway i could just make a simple lens library and add that |
| 2021-01-27 08:10:50 | <AusCyber> | with different names |
| 2021-01-27 08:11:34 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-01-27 08:12:09 | → | kelnoky joins (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) |
| 2021-01-27 08:13:17 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2021-01-27 08:13:47 | <Solid> | microlens exists, but at that point I would question the validity of the whole endeavour |
| 2021-01-27 08:14:12 | <Solid> | I'm just some guy on IRC of course but, as much as I love lenses to death, I don't think they're a good fit here |
| 2021-01-27 08:14:23 | <Solid> | but feel free to wait for other people to respond |
| 2021-01-27 08:17:10 | <AusCyber> | nah there still is the point as this means people can interact easier with the StackSet |
| 2021-01-27 08:17:30 | <AusCyber> | I'm working on multiple Workspace Set kinda thing |
| 2021-01-27 08:17:38 | <AusCyber> | and nested record updates is very annoying |
| 2021-01-27 08:25:36 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-01-27 08:50:41 | → | notis joins (~notis@185.51.134.230) |
| 2021-01-27 09:04:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-01-27 09:04:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-01-27 09:20:31 | → | ADG1089__ joins (~aditya@223.226.145.125) |
| 2021-01-27 09:39:45 | × | SpiderPig quits (~matt@047-132-233-190.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2021-01-27 09:51:21 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 2021-01-27 09:55:43 | × | de-vri-es quits (~de-vri-es@voyager.de-vri.es) (Ping timeout: 244 seconds) |
| 2021-01-27 10:02:45 | × | ADG1089__ quits (~aditya@223.226.145.125) (Remote host closed the connection) |
| 2021-01-27 10:03:56 | → | de-vri-es joins (~de-vri-es@voyager.de-vri.es) |
| 2021-01-27 10:09:53 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-01-27 10:10:33 | × | de-vri-es quits (~de-vri-es@voyager.de-vri.es) (Ping timeout: 260 seconds) |
| 2021-01-27 10:22:44 | → | de-vri-es joins (~de-vri-es@voyager.de-vri.es) |
| 2021-01-27 10:35:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-01-27 10:35:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-01-27 10:43:57 | × | AusCyber quits (~will@121-200-22-213.79c816.mel.nbn.aussiebb.net) (Quit: Leaving) |
| 2021-01-27 10:55:04 | × | kelnoky quits (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0) |
| 2021-01-27 11:16:59 | → | gazler_ joins (~gazler@195.107.2.81.in-addr.arpa) |
| 2021-01-27 11:19:38 | × | gazler quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 265 seconds) |
| 2021-01-27 12:16:19 | → | SpiderPig joins (~matt@047-132-233-190.res.spectrum.com) |
| 2021-01-27 12:31:08 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2021-01-27 12:45:58 | → | materiyolo joins (~materiyol@112.204.170.198) |
| 2021-01-27 12:48:59 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:befe:a59d:a937:2991) |
| 2021-01-27 12:49:48 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 260 seconds) |
| 2021-01-27 12:49:49 | × | sagax quits (~sagax_nb@213.138.71.146) (Remote host closed the connection) |
| 2021-01-27 12:51:59 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-01-27 12:55:05 | × | materiyolo quits (~materiyol@112.204.170.198) (Quit: WeeChat 2.9) |
| 2021-01-27 12:55:28 | → | materiyolo joins (~materiyol@112.204.170.198) |
| 2021-01-27 13:04:07 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 2021-01-27 13:17:32 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 2021-01-27 13:19:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-01-27 13:19:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-01-27 13:21:28 | → | ChubaDuba joins (~ChubaDuba@176.212.36.79) |
| 2021-01-27 13:23:22 | × | ChubaDuba quits (~ChubaDuba@176.212.36.79) (Client Quit) |
| 2021-01-27 13:23:45 | → | ChubaDuba joins (~ChubaDuba@176.212.36.79) |
| 2021-01-27 13:29:49 | <Solid> | <Liskni_si> that dynamic icons PR, would that work as a separate module? looks like it might, in which case they might mark themselves as a maintainer and we wouldn't need to worry about consistent code quality with the rest of DynamicLog >> I think it would work as a separate module yeah |
| 2021-01-27 13:31:35 | <Solid> | But I think we're also *almost* there in terms of code; we just need to fix some redefinitions of things already exposed by the StackSet, some trailing spaces, maybe add some strictness annotations... |
| 2021-01-27 13:32:02 | <Solid> | I'm also not clear on why `NameSet' needs to hold a type variable, as it's not really used in the code |
| 2021-01-27 13:33:51 | × | gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 256 seconds) |
| 2021-01-27 13:46:41 | × | geekosaur quits (82650c7c@130.101.12.124) (Ping timeout: 248 seconds) |
| 2021-01-27 14:00:59 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-01-27 14:03:11 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 2021-01-27 14:20:27 | × | mc47 quits (~yecinem@89.246.239.190) (Ping timeout: 264 seconds) |
| 2021-01-27 14:30:14 | → | ADG1089__ joins (~aditya@223.226.145.125) |
| 2021-01-27 14:44:30 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 2021-01-27 14:52:31 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-01-27 14:59:21 | → | drl joins (~l@2600:1700:8360:3870:3573:cd0e:f187:1c9e) |
| 2021-01-27 15:09:35 | → | _jak joins (~jak@cpe-24-90-94-163.nyc.res.rr.com) |
| 2021-01-27 15:13:48 | × | materiyolo quits (~materiyol@112.204.170.198) (Quit: WeeChat 2.9) |
| 2021-01-27 15:17:44 | <Liskni_si> | there was another PR recently that added some dynamic something based on the workspace windows, that seems related |
| 2021-01-27 15:18:00 | <Liskni_si> | and NameSet could use some docs/examples, last time I checked |
| 2021-01-27 15:24:30 | <Solid> | true that |
| 2021-01-27 15:25:04 | <Solid> | ...I'm beginning to see the benefits of your suggestion :P |
| 2021-01-27 15:27:04 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-01-27 16:07:11 | → | everythingTaken joins (~everythin@gateway/tor-sasl/everythingtaken) |
| 2021-01-27 16:08:01 | × | ADG1089__ quits (~aditya@223.226.145.125) (Quit: Konversation terminated!) |
| 2021-01-27 16:37:30 | × | jmct quits (sid160793@gateway/web/irccloud.com/x-gyczmpckpghbkfat) (Ping timeout: 240 seconds) |
| 2021-01-27 16:37:53 | × | lally quits (sid388228@gateway/web/irccloud.com/x-tkmapnstbhlyqvyu) (Ping timeout: 265 seconds) |
| 2021-01-27 16:38:05 | × | [Neurotic]__ quits (sid10123@gateway/web/irccloud.com/x-jblbfuixrimgsqbh) (Read error: Connection reset by peer) |
| 2021-01-27 16:38:13 | × | typetetris quits (sid275937@gateway/web/irccloud.com/x-fvejyhaqkscbncgo) (Write error: Connection reset by peer) |
| 2021-01-27 16:38:13 | × | mudri quits (sid317655@gateway/web/irccloud.com/x-tykowpwgevxgkhqt) (Read error: Connection reset by peer) |
| 2021-01-27 16:38:14 | × | pittma quits (sid332680@gateway/web/irccloud.com/x-esowvifgzahulkls) (Read error: Connection reset by peer) |
| 2021-01-27 16:38:15 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-ttpidntygpyuywtj) (Read error: Connection reset by peer) |
| 2021-01-27 16:38:16 | × | p_l quits (p_l@gateway/web/irccloud.com/x-npedepwokgpddxvo) (Read error: Connection reset by peer) |
| 2021-01-27 16:38:16 | × | travv0 quits (sid293381@gateway/web/irccloud.com/x-cdkgjeiazghryoab) (Write error: Connection reset by peer) |
| 2021-01-27 16:38:16 | × | feepo quits (sid28508@gateway/web/irccloud.com/x-nueoothjeagxmewn) (Write error: Connection reset by peer) |
| 2021-01-27 16:38:16 | × | rizary quits (sid220347@gateway/web/irccloud.com/x-dexviposroeqsrhu) (Read error: Connection reset by peer) |
| 2021-01-27 16:38:16 | × | dsal quits (sid13060@gateway/web/irccloud.com/x-xcmmksyfygnrhaeu) (Read error: Connection reset by peer) |
| 2021-01-27 16:38:20 | × | PotatoGim quits (sid99505@gateway/web/irccloud.com/x-yiylpgitlafelbpb) (Read error: Connection reset by peer) |
| 2021-01-27 16:39:46 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-mdglukdrpjlobxfz) |
| 2021-01-27 16:40:46 | → | jmct joins (sid160793@gateway/web/irccloud.com/x-bdacuhqfxwywobqj) |
| 2021-01-27 16:44:03 | → | pittma joins (sid332680@gateway/web/irccloud.com/x-umfooqhfdhayepww) |
| 2021-01-27 16:44:06 | → | mudri joins (sid317655@gateway/web/irccloud.com/x-zmxfmbqjqzukjjdd) |
| 2021-01-27 16:44:15 | → | dsal joins (sid13060@gateway/web/irccloud.com/x-wigdgcltedknlytk) |
| 2021-01-27 16:44:43 | → | travv0 joins (sid293381@gateway/web/irccloud.com/x-wunsptkywdjaiqfa) |
| 2021-01-27 16:45:28 | → | [Neurotic]__ joins (sid10123@gateway/web/irccloud.com/x-zlpnwzesbvxmqafy) |
| 2021-01-27 16:45:33 | → | lally joins (sid388228@gateway/web/irccloud.com/x-sxdlxjxvqziuhggc) |
| 2021-01-27 16:45:41 | → | typetetris joins (sid275937@gateway/web/irccloud.com/x-efnufbuhmucnyyrl) |
| 2021-01-27 16:46:08 | × | everythingTaken quits (~everythin@gateway/tor-sasl/everythingtaken) (Quit: everythingTaken) |
| 2021-01-27 16:49:04 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 240 seconds) |
| 2021-01-27 16:50:45 | → | PotatoGim joins (sid99505@gateway/web/irccloud.com/x-pbgowffittybiofd) |
| 2021-01-27 16:53:55 | → | p_l joins (p_l@gateway/web/irccloud.com/x-cecwskqnfegqghrc) |
| 2021-01-27 16:53:55 | × | p_l quits (p_l@gateway/web/irccloud.com/x-cecwskqnfegqghrc) (Remote host closed the connection) |
| 2021-01-27 16:55:44 | → | p_l joins (p_l@gateway/web/irccloud.com/x-ixmftclxislisnmv) |
| 2021-01-27 16:55:46 | × | PotatoGim quits (sid99505@gateway/web/irccloud.com/x-pbgowffittybiofd) (Excess Flood) |
| 2021-01-27 16:56:24 | → | rizary joins (sid220347@gateway/web/irccloud.com/x-zsasxjctkuqvhore) |
| 2021-01-27 16:56:32 | → | feepo joins (sid28508@gateway/web/irccloud.com/x-kiyqtfhiuaqwjnyw) |
| 2021-01-27 16:57:51 | → | PotatoGim joins (sid99505@gateway/web/irccloud.com/x-hgyoxtevabqaevpb) |
All times are in UTC.