Logs on 2025-02-05 (liberachat/#xmonad)
| 00:33:46 | × | dweller quits (~dweller@178.62.146.60) (Ping timeout: 252 seconds) |
| 00:34:03 | → | dweller joins (~dweller@178.62.146.60) |
| 00:38:45 | → | ElKowar8 joins (~ElKowar@srv-fin.xware-gmbh.de) |
| 00:40:22 | × | ElKowar quits (~ElKowar@srv-fin.xware-gmbh.de) (Ping timeout: 252 seconds) |
| 00:41:36 | → | ElKowar joins (~ElKowar@srv-fin.xware-gmbh.de) |
| 00:43:18 | × | ElKowar8 quits (~ElKowar@srv-fin.xware-gmbh.de) (Ping timeout: 252 seconds) |
| 02:35:25 | → | hightower4 joins (~hightower@141-136-229-141.dsl.iskon.hr) |
| 02:37:37 | × | hightower3 quits (~hightower@226-170.dsl.iskon.hr) (Ping timeout: 248 seconds) |
| 02:40:29 | × | hightower4 quits (~hightower@141-136-229-141.dsl.iskon.hr) (Remote host closed the connection) |
| 02:40:54 | → | hightower4 joins (~hightower@141-136-229-141.dsl.iskon.hr) |
| 02:57:08 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 03:42:10 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 03:45:07 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:a66e::) |
| 04:01:38 | × | rekahsoft quits (~rekahsoft@70.51.99.237) (Ping timeout: 245 seconds) |
| 07:06:00 | × | ft quits (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:32:05 | → | mc47 joins (~yecinem@p200300ee0f22d8f17d9f22863b6682b3.dip0.t-ipconnect.de) |
| 10:36:01 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 10:47:35 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 13:19:56 | × | alp quits (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) (Read error: Connection reset by peer) |
| 13:20:57 | → | alp joins (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) |
| 14:06:40 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds) |
| 14:12:10 | → | rekahsoft joins (~rekahsoft@142.112.184.232) |
| 14:13:53 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 16:37:04 | × | hightower4 quits (~hightower@141-136-229-141.dsl.iskon.hr) (Remote host closed the connection) |
| 16:57:58 | → | ft joins (~ft@p3e9bcd97.dip0.t-ipconnect.de) |
| 17:01:56 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 17:40:05 | × | mc47 quits (~yecinem@p200300ee0f22d8f17d9f22863b6682b3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 18:45:35 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 18:57:24 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:38:40 | → | ChubaDuba joins (~ChubaDuba@176.212.42.22) |
| 20:55:57 | × | hightower2 quits (~hightower@213.186.15.36) (Remote host closed the connection) |
| 21:07:11 | → | beastwic1 joins (~brian@pool-74-102-103-193.nwrknj.fios.verizon.net) |
| 21:07:16 | → | mc47 joins (~yecinem@p200300ee0f22d8f17d9f22863b6682b3.dip0.t-ipconnect.de) |
| 21:09:05 | × | beastwick quits (~brian@user/beastwick) (Ping timeout: 248 seconds) |
| 21:13:05 | → | jzargo2 joins (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) |
| 21:15:00 | → | kaskal- joins (~kaskal@2a02:8388:15bf:c200:f01c:d173:579b:8db6) |
| 21:17:05 | × | ChubaDuba quits (~ChubaDuba@176.212.42.22) (Quit: WeeChat 4.5.1) |
| 21:17:56 | → | srk- joins (~sorki@user/srk) |
| 21:18:09 | × | kaskal quits (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (Ping timeout: 252 seconds) |
| 21:18:09 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 21:18:09 | × | srk quits (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 21:18:10 | × | scardinal quits (~supreme@0x573d64a9.static.cust.fastspeed.dk) (Ping timeout: 252 seconds) |
| 21:18:10 | × | tv quits (~tv@user/tv) (Ping timeout: 252 seconds) |
| 21:18:10 | × | jzargo quits (~jzargo@user/jzargo) (Ping timeout: 252 seconds) |
| 21:20:46 | srk- | is now known as srk |
| 21:27:40 | → | scardinal joins (~supreme@0x573d64a9.static.cust.fastspeed.dk) |
| 21:29:17 | → | tv joins (~tv@user/tv) |
| 21:39:29 | × | mc47 quits (~yecinem@p200300ee0f22d8f17d9f22863b6682b3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 21:43:47 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:46:49 | → | hightower2 joins (~hightower@213.186.15.36) |
| 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? |
| 21:53:01 | → | Guest64 joins (~Guest64@81-231-8-142-no600.tbcn.telia.com) |
| 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 |
| 22:00:29 | <geekosaur> | basically someone else insists it causes problems and I want them to review it |
| 22:00:58 | <geekosaur> | although I just noted that the comment I made was actually about WORKAREA which is a different can of worms |
| 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 |
| 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) |
| 22:04:25 | × | Guest64 quits (~Guest64@81-231-8-142-no600.tbcn.telia.com) (Quit: Client closed) |
| 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. |
| 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 |
| 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. |
| 22:30:25 | <geekosaur> | no, I just want more eyes on it |
| 22:30:40 | <geekosaur> | partly because my brain has been messed up last night and today |
| 22:31:37 | <geekosaur> | (confusing viewport and workarea last night being a symptom, sigh)\ |
| 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) |
| 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... |
| 22:48:32 | <haskellbridge> | ... transformations instead of transforming. |
| 22:49:05 | <geekosaur> | `map` is too simple by itself. you may be reaching for the `Traversable` typeclass though |
| 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 🙂 |
| 22:51:00 | <haskellbridge> | <m1mir> A similar thing happened to me recently but it wasn't a jacket but a pullover. |
| 22:51:08 | <geekosaur> | I mean, pretty much anything can be used as a HOF |
| 22:51:26 | <geekosaur> | (uh, that was a response to something in a different channel) |
| 22:56:49 | <geekosaur> | oh I was the one who was looking in the wrong place. still a mess 😟 |
| 23:16:46 | × | hightower2 quits (~hightower@213.186.15.36) (Remote host closed the connection) |
| 23:17:00 | → | hightower2 joins (~hightower@213.186.15.36) |
| 23:47:13 | × | jzargo2 quits (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 23:47:26 | → | jzargo2 joins (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) |
| 23:47:59 | × | jzargo2 quits (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
All times are in UTC on 2025-02-05.