Logs: freenode/#xmonad
| 2021-05-11 09:41:40 | → | kajzer joins (~kajzer@unaffiliated/kajzer) |
| 2021-05-11 09:45:07 | <Solid> | xmonad needs to be restarted (as in, M-S-q restarted) for some things to work properly; switching out your workspaces is one of them |
| 2021-05-11 10:06:13 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-11 10:09:51 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-05-11 10:10:27 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-11 10:10:31 | → | mohab joins (~mohab@156.223.132.209) |
| 2021-05-11 10:18:05 | → | ChubaDub1 joins (~ChubaDuba@37.112.226.48) |
| 2021-05-11 10:21:06 | × | ChubaDuba quits (~ChubaDuba@46.147.215.167) (Ping timeout: 240 seconds) |
| 2021-05-11 10:26:42 | × | ChubaDub1 quits (~ChubaDuba@37.112.226.48) (Quit: WeeChat 1.6) |
| 2021-05-11 10:37:17 | × | Irishluck83 quits (~Irishluck@unaffiliated/irishluck83) (Ping timeout: 260 seconds) |
| 2021-05-11 10:37:58 | → | Irishluck83 joins (~Irishluck@149.28.126.73) |
| 2021-05-11 10:37:59 | × | Irishluck83 quits (~Irishluck@149.28.126.73) (Changing host) |
| 2021-05-11 10:37:59 | → | Irishluck83 joins (~Irishluck@unaffiliated/irishluck83) |
| 2021-05-11 10:38:35 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-11 10:40:35 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-11 10:42:03 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-11 10:45:22 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-05-11 10:58:31 | × | mohab quits (~mohab@156.223.132.209) (Ping timeout: 265 seconds) |
| 2021-05-11 10:59:44 | → | mohab joins (~mohab@156.223.132.209) |
| 2021-05-11 11:32:39 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-11 11:58:01 | → | pmj joins (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-11 12:04:44 | × | notis quits (~notis@185.192.69.66) (Ping timeout: 246 seconds) |
| 2021-05-11 12:06:10 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-11 12:06:53 | → | notis joins (~notis@102.129.202.151) |
| 2021-05-11 12:15:24 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-11 12:25:13 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-11 12:31:26 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-11 13:09:16 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-05-11 13:13:46 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-11 13:16:40 | × | wonko7 quits (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-05-11 13:20:04 | <Solid> | Liskni_si: well it works, but it's also O(n^2) :/ |
| 2021-05-11 13:21:35 | <Liskni_si> | Solid: O(n²) outside of the critical path (redoLayout, logHook, that kind of stuff) is absolutely fine |
| 2021-05-11 13:22:10 | <Liskni_si> | Also, 10² = 100. |
| 2021-05-11 13:33:03 | <Solid> | well, a lot of people have more than 10 workspaces |
| 2021-05-11 13:33:18 | <Solid> | but you're probably right, I just tested this with 250 workspaces and things seemed fine |
| 2021-05-11 13:33:30 | <Solid> | unlikely a lot of people will have more than this :P |
| 2021-05-11 13:33:55 | <Liskni_si> | :-D |
| 2021-05-11 13:37:42 | <dminuoso> | I cant handle more than 4. |
| 2021-05-11 13:41:13 | <Liskni_si> | It shouldn't be difficult to make it O(n ⋅ log n) or something by using Data.Map, but we've established some time ago that it's not actually faster until n > 20-ish or something |
| 2021-05-11 13:44:41 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-05-11 13:47:42 | <Solid> | Yeah the main pain point is the fact that find is O(n) |
| 2021-05-11 13:48:06 | <Solid> | just converting it to a set and then using Set.find should make it n log n |
| 2021-05-11 13:48:40 | <Solid> | I don't know how many people have more than 20 workspaces tbh; maybe it's still worth it |
| 2021-05-11 13:49:35 | <Liskni_si> | It really is not worth it |
| 2021-05-11 13:50:33 | <Liskni_si> | We're talking about a couple microsecond difference a dozen times a day for maybe 5 users maximum. |
| 2021-05-11 13:55:10 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-11 14:01:20 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-11 14:12:41 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-11 14:14:59 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-11 14:20:53 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-05-11 14:21:59 | × | rafadc quits (~rafadc@213.37.16.152.dyn.user.ono.com) (Quit: ZNC - https://znc.in) |
| 2021-05-11 14:22:13 | → | rafadc joins (~rafadc@213.37.16.152.dyn.user.ono.com) |
| 2021-05-11 14:31:04 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-11 14:35:06 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-11 14:36:20 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-11 14:41:28 | × | mohab quits (~mohab@156.223.132.209) (Ping timeout: 252 seconds) |
| 2021-05-11 14:45:11 | × | thunderrd quits (~thunderrd@183.182.115.120) (Remote host closed the connection) |
| 2021-05-11 14:49:16 | → | thunderrd joins (~thunderrd@183.182.115.120) |
| 2021-05-11 14:57:17 | → | mohab joins (~mohab@156.223.132.209) |
| 2021-05-11 15:07:59 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-11 15:08:23 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-11 15:11:54 | × | thoros quits (~thoros@193-154-186-236.adsl.highway.telekom.at) (Ping timeout: 268 seconds) |
| 2021-05-11 15:16:06 | → | thoros joins (~thoros@193-154-186-236.adsl.highway.telekom.at) |
| 2021-05-11 15:20:32 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-11 15:22:47 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-05-11 15:23:39 | × | PotatoGim quits (sid99505@gateway/web/irccloud.com/x-stkdlziizvdtczpk) (Remote host closed the connection) |
| 2021-05-11 15:24:03 | → | PotatoGim joins (sid99505@gateway/web/irccloud.com/x-kguolsobtmitgwzj) |
| 2021-05-11 15:24:05 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-11 15:24:15 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Client Quit) |
| 2021-05-11 15:31:57 | → | ADG1089 joins (~aditya@27.58.160.217) |
| 2021-05-11 15:33:47 | × | ADG1089 quits (~aditya@27.58.160.217) (Client Quit) |
| 2021-05-11 15:34:12 | → | a6a45081-2b83-4b joins (~aditya@27.58.160.217) |
| 2021-05-11 15:36:49 | × | a6a45081-2b83-4b quits (~aditya@27.58.160.217) (Client Quit) |
| 2021-05-11 15:37:10 | → | a6a45081-2b83-4b joins (~aditya@27.58.160.217) |
| 2021-05-11 15:37:52 | × | a6a45081-2b83-4b quits (~aditya@27.58.160.217) (Client Quit) |
| 2021-05-11 15:38:12 | → | a6a45081-2b83 joins (~aditya@27.58.160.217) |
| 2021-05-11 15:40:16 | × | materiyolo quits (~materiyol@112.205.57.255) (Ping timeout: 268 seconds) |
| 2021-05-11 15:41:51 | × | mohab quits (~mohab@156.223.132.209) (Ping timeout: 260 seconds) |
| 2021-05-11 15:42:43 | → | mohab joins (~mohab@156.223.132.209) |
| 2021-05-11 15:50:46 | × | pmj quits (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-05-11 15:51:49 | <heck-to-the-gnom> | I've 12 workspaces, and I'm having difficulty using them all |
| 2021-05-11 15:52:34 | <geekosaur> | I have 13 but I rarely use more than 6 |
| 2021-05-11 15:53:29 | <geekosaur> | but I've seen a number of configs that use 20 (usually mod-{1-0} and mod-{F1-F10}) |
| 2021-05-11 15:53:40 | <geekosaur> | and at least one that also used higher fkeys |
| 2021-05-11 15:55:01 | × | a6a45081-2b83 quits (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 2021-05-11 15:55:08 | <heck-to-the-gnom> | probably has a custom board for that |
| 2021-05-11 15:55:16 | <geekosaur> | note also that configs using X.A.Plane typically use lots of workspaces |
| 2021-05-11 15:57:43 | <Liskni_si> | just now I have 6 workspaces with some windows in them, and I don't consider that a lot, quite the opposite, mostly just some old work-in-progress stuff that waits there |
| 2021-05-11 15:58:27 | <Liskni_si> | I normally use two to three workspaces per projects, so having 10 workspaces in use is quite usual when I'm actually working on stuff |
| 2021-05-11 15:59:11 | <Liskni_si> | (this probably explains why my brain is all over the place most of the time :-)) |
| 2021-05-11 16:06:25 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-05-11 16:14:42 | → | pmj joins (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-11 16:29:07 | <Solid> | I have like 25 I think, but in this case it's not really about using them; hidden workspaces count as well |
| 2021-05-11 16:44:24 | × | pmj quits (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2021-05-11 17:03:38 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2021-05-11 17:05:27 | ← | davemq parts (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-11 17:05:33 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-05-11 17:52:45 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-11 17:53:16 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-11 18:01:10 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
All times are in UTC.