Logs: liberachat/#xmonad
| 2025-02-05 00:34:03 | → | dweller joins (~dweller@178.62.146.60) |
| 2025-02-05 00:38:45 | → | ElKowar8 joins (~ElKowar@srv-fin.xware-gmbh.de) |
| 2025-02-05 00:40:22 | × | ElKowar quits (~ElKowar@srv-fin.xware-gmbh.de) (Ping timeout: 252 seconds) |
| 2025-02-05 00:41:36 | → | ElKowar joins (~ElKowar@srv-fin.xware-gmbh.de) |
| 2025-02-05 00:43:18 | × | ElKowar8 quits (~ElKowar@srv-fin.xware-gmbh.de) (Ping timeout: 252 seconds) |
| 2025-02-05 02:35:25 | → | hightower4 joins (~hightower@141-136-229-141.dsl.iskon.hr) |
| 2025-02-05 02:37:37 | × | hightower3 quits (~hightower@226-170.dsl.iskon.hr) (Ping timeout: 248 seconds) |
| 2025-02-05 02:40:29 | × | hightower4 quits (~hightower@141-136-229-141.dsl.iskon.hr) (Remote host closed the connection) |
| 2025-02-05 02:40:54 | → | hightower4 joins (~hightower@141-136-229-141.dsl.iskon.hr) |
| 2025-02-05 02:57:08 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-02-05 03:42:10 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-05 03:45:07 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:a66e::) |
| 2025-02-05 04:01:38 | × | rekahsoft quits (~rekahsoft@70.51.99.237) (Ping timeout: 245 seconds) |
| 2025-02-05 07:06:00 | × | ft quits (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-05 08:32:05 | → | mc47 joins (~yecinem@p200300ee0f22d8f17d9f22863b6682b3.dip0.t-ipconnect.de) |
| 2025-02-05 10:36:01 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-02-05 10:47:35 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2025-02-05 13:19:56 | × | alp quits (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) (Read error: Connection reset by peer) |
| 2025-02-05 13:20:57 | → | alp joins (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) |
| 2025-02-05 14:06:40 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds) |
| 2025-02-05 14:12:10 | → | rekahsoft joins (~rekahsoft@142.112.184.232) |
| 2025-02-05 14:13:53 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 2025-02-05 16:37:04 | × | hightower4 quits (~hightower@141-136-229-141.dsl.iskon.hr) (Remote host closed the connection) |
| 2025-02-05 16:57:58 | → | ft joins (~ft@p3e9bcd97.dip0.t-ipconnect.de) |
| 2025-02-05 17:01:56 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-05 17:40:05 | × | mc47 quits (~yecinem@p200300ee0f22d8f17d9f22863b6682b3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-05 18:45:35 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2025-02-05 18:57:24 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-05 20:38:40 | → | ChubaDuba joins (~ChubaDuba@176.212.42.22) |
| 2025-02-05 20:55:57 | × | hightower2 quits (~hightower@213.186.15.36) (Remote host closed the connection) |
| 2025-02-05 21:07:11 | → | beastwic1 joins (~brian@pool-74-102-103-193.nwrknj.fios.verizon.net) |
| 2025-02-05 21:07:16 | → | mc47 joins (~yecinem@p200300ee0f22d8f17d9f22863b6682b3.dip0.t-ipconnect.de) |
| 2025-02-05 21:09:05 | × | beastwick quits (~brian@user/beastwick) (Ping timeout: 248 seconds) |
| 2025-02-05 21:13:05 | → | jzargo2 joins (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) |
| 2025-02-05 21:15:00 | → | kaskal- joins (~kaskal@2a02:8388:15bf:c200:f01c:d173:579b:8db6) |
| 2025-02-05 21:17:05 | × | ChubaDuba quits (~ChubaDuba@176.212.42.22) (Quit: WeeChat 4.5.1) |
| 2025-02-05 21:17:56 | → | srk- joins (~sorki@user/srk) |
| 2025-02-05 21:18:09 | × | kaskal quits (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 | × | srk quits (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 | × | scardinal quits (~supreme@0x573d64a9.static.cust.fastspeed.dk) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 | × | tv quits (~tv@user/tv) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 | × | jzargo quits (~jzargo@user/jzargo) (Ping timeout: 252 seconds) |
| 2025-02-05 21:20:46 | srk- | is now known as srk |
| 2025-02-05 21:27:40 | → | scardinal joins (~supreme@0x573d64a9.static.cust.fastspeed.dk) |
| 2025-02-05 21:29:17 | → | tv joins (~tv@user/tv) |
| 2025-02-05 21:39:29 | × | mc47 quits (~yecinem@p200300ee0f22d8f17d9f22863b6682b3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-05 21:43:47 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-02-05 21:46:49 | → | hightower2 joins (~hightower@213.186.15.36) |
| 2025-02-05 21:51:09 | <haskellbridge> | <m1mir> Hi, geekosaur I'd like to ask something. Is something wrong with the contents of this PR (https://github.com/xmonad/xmonad-contrib/pull/926) that I made? I'm asking because you quickly reviewed the contents of my previous few PRs and I can't really tell if something is wrong with it and that's why there were only comments from you but no reviews, or is it just coincidence and I'm just overthinking it? |
| 2025-02-05 21:53:01 | → | Guest64 joins (~Guest64@81-231-8-142-no600.tbcn.telia.com) |
| 2025-02-05 21:53:12 | <geekosaur> | I'm still stuck on whether you mean something different by "viewport" than EWMH does, because as I told you we delete the latter because it causes too many problems |
| 2025-02-05 22:00:29 | <geekosaur> | basically someone else insists it causes problems and I want them to review it |
| 2025-02-05 22:00:58 | <geekosaur> | although I just noted that the comment I made was actually about WORKAREA which is a different can of worms |
| 2025-02-05 22:01:30 | <geekosaur> | xmonad is, essentially, non-compliant with EWMH and we have to be careful how we set things or programs assuming EWMH semantics will break |
| 2025-02-05 22:03:21 | <geekosaur> | Solid, can you check that PR over? (I'm not sure if it was you or liskin, actually, but I thought you were the primary maintainer of EwmhDesktops these days) |
| 2025-02-05 22:04:25 | × | Guest64 quits (~Guest64@81-231-8-142-no600.tbcn.telia.com) (Quit: Client closed) |
| 2025-02-05 22:04:29 | <haskellbridge> | <m1mir> I'm not 100 percent sure what viewports are, my mental model is that they are rectangles that represent something that can/is/should be drawn on screen. I tried to avoid writing code that required that understanding. |
| 2025-02-05 22:06:27 | <haskellbridge> | <m1mir> I just know that (screen,workspace) pairs have a function to map them to a viewport and I was just trying to change which screen some of the hidden wiewports are mapped to |
| 2025-02-05 22:16:35 | <haskellbridge> | <m1mir> You just did did very fast reviews previously so I just assumed that I just got something wrong and it was in the unknown unknowns category for me. |
| 2025-02-05 22:30:25 | <geekosaur> | no, I just want more eyes on it |
| 2025-02-05 22:30:40 | <geekosaur> | partly because my brain has been messed up last night and today |
| 2025-02-05 22:31:37 | <geekosaur> | (confusing viewport and workarea last night being a symptom, sigh)\ |
| 2025-02-05 22:47:55 | <geekosaur> | (also much of the current delay is you messaged me while I was having to cut myself out of a new jacket whose zipper failed pretty much immediately) |
| 2025-02-05 22:48:27 | <haskellbridge> | <m1mir> I have a different question, does haskell/xmonad have a naming convention for functions that are intended to be passed as map's first argument? I'm terrible at naming things so if there is a convention I'd like to follow it. I was thinking of names for the function that I try to add in that PR I was thinging of using "Mapper" as a sufix, but my impression is that sounds like something that does list to list... |
| 2025-02-05 22:48:32 | <haskellbridge> | ... transformations instead of transforming. |
| 2025-02-05 22:49:05 | <geekosaur> | `map` is too simple by itself. you may be reaching for the `Traversable` typeclass though |
| 2025-02-05 22:50:26 | <geekosaur> | as for higher order functions (that is, functions that are passed to functions), they're too common and too simple in functional programming languages 🙂 |
| 2025-02-05 22:51:00 | <haskellbridge> | <m1mir> A similar thing happened to me recently but it wasn't a jacket but a pullover. |
| 2025-02-05 22:51:08 | <geekosaur> | I mean, pretty much anything can be used as a HOF |
| 2025-02-05 22:51:26 | <geekosaur> | (uh, that was a response to something in a different channel) |
| 2025-02-05 22:56:49 | <geekosaur> | oh I was the one who was looking in the wrong place. still a mess 😟 |
| 2025-02-05 23:16:46 | × | hightower2 quits (~hightower@213.186.15.36) (Remote host closed the connection) |
| 2025-02-05 23:17:00 | → | hightower2 joins (~hightower@213.186.15.36) |
| 2025-02-05 23:47:13 | × | jzargo2 quits (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2025-02-05 23:47:26 | → | jzargo2 joins (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) |
| 2025-02-05 23:47:59 | × | jzargo2 quits (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-06 02:35:17 | × | rekahsoft quits (~rekahsoft@142.112.184.232) (Ping timeout: 244 seconds) |
| 2025-02-06 04:02:48 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2025-02-06 04:08:12 | → | ChubaDuba joins (~ChubaDuba@5.165.176.233) |
| 2025-02-06 06:39:13 | × | alp quits (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) (Remote host closed the connection) |
| 2025-02-06 06:39:31 | → | alp joins (~alp@2001:861:8ca0:4940:e0b0:d5fb:93ef:4ef8) |
| 2025-02-06 06:40:54 | × | alp quits (~alp@2001:861:8ca0:4940:e0b0:d5fb:93ef:4ef8) (Remote host closed the connection) |
| 2025-02-06 06:41:13 | → | alp joins (~alp@2001:861:8ca0:4940:7eb3:2e6e:7dc9:4f15) |
| 2025-02-06 06:42:36 | × | alp quits (~alp@2001:861:8ca0:4940:7eb3:2e6e:7dc9:4f15) (Remote host closed the connection) |
| 2025-02-06 06:42:53 | → | alp joins (~alp@2001:861:8ca0:4940:3d30:574c:e91e:fee7) |
| 2025-02-06 06:44:19 | × | alp quits (~alp@2001:861:8ca0:4940:3d30:574c:e91e:fee7) (Remote host closed the connection) |
| 2025-02-06 06:44:36 | → | alp joins (~alp@2001:861:8ca0:4940:f75c:8158:a534:1f8a) |
| 2025-02-06 06:46:01 | × | alp quits (~alp@2001:861:8ca0:4940:f75c:8158:a534:1f8a) (Remote host closed the connection) |
| 2025-02-06 06:46:18 | → | alp joins (~alp@2001:861:8ca0:4940:2afa:c238:f26:8e7f) |
| 2025-02-06 06:48:01 | → | alp_ joins (~alp@2001:861:8ca0:4940:9b95:20d:aabb:ced3) |
| 2025-02-06 06:49:25 | × | alp_ quits (~alp@2001:861:8ca0:4940:9b95:20d:aabb:ced3) (Remote host closed the connection) |
| 2025-02-06 06:49:42 | → | alp_ joins (~alp@2001:861:8ca0:4940:f903:6c8:e9e2:1b2b) |
| 2025-02-06 06:51:19 | × | alp quits (~alp@2001:861:8ca0:4940:2afa:c238:f26:8e7f) (Ping timeout: 252 seconds) |
| 2025-02-06 06:51:26 | → | alp__ joins (~alp@2001:861:8ca0:4940:5403:7c5f:5e1b:67a6) |
| 2025-02-06 06:54:37 | × | alp_ quits (~alp@2001:861:8ca0:4940:f903:6c8:e9e2:1b2b) (Ping timeout: 252 seconds) |
| 2025-02-06 06:56:27 | × | alp__ quits (~alp@2001:861:8ca0:4940:5403:7c5f:5e1b:67a6) (Ping timeout: 252 seconds) |
| 2025-02-06 07:10:50 | × | ft quits (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-06 08:38:42 | → | mc47 joins (~yecinem@host-212-114-138-22.customer.m-online.net) |
| 2025-02-06 08:39:01 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
All times are in UTC.