Logs: liberachat/#xmonad
| 2023-05-03 17:05:46 | → | pl_ joins (sid98063@id-98063.helmsley.irccloud.com) |
| 2023-05-03 17:06:15 | pl_ | is now known as pl |
| 2023-05-03 17:06:39 | → | kaskal joins (~kaskal@213-147-167-152.nat.highway.webapn.at) |
| 2023-05-03 17:06:51 | → | mazte[m] joins (~sujammama@2001:470:69fc:105::2:ea4c) |
| 2023-05-03 17:07:51 | → | deip[m] joins (~deipmatri@2001:470:69fc:105::2:679e) |
| 2023-05-03 17:09:42 | → | sparksdrinker[m] joins (~sparksdri@2001:470:69fc:105::3:1939) |
| 2023-05-03 17:10:05 | → | jaspion[m] joins (~jaspionmo@2001:470:69fc:105::2:fd41) |
| 2023-05-03 17:10:52 | → | mekeor[m] joins (~mekeormat@2001:470:69fc:105::17e4) |
| 2023-05-03 17:13:40 | → | noex joins (~null@user/noex) |
| 2023-05-03 17:32:01 | × | jeeeun quits (~jeeeun@78.40.148.178) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-03 17:35:37 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2023-05-03 18:33:26 | × | jeeeun quits (~jeeeun@78.40.148.178) (Quit: Ping timeout (120 seconds)) |
| 2023-05-03 18:33:40 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2023-05-03 19:03:35 | → | MrElendig joins (~Urist@archlinux/op/MrElendig) |
| 2023-05-03 19:27:41 | × | chomwitt quits (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
| 2023-05-03 19:29:34 | → | chomwitt joins (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
| 2023-05-03 19:44:48 | × | hightower2 quits (~hightower@85.94.71.188) (Ping timeout: 240 seconds) |
| 2023-05-03 19:56:17 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-05-03 20:09:16 | <geekosaur> | new PerScreen in testing locally |
| 2023-05-03 20:09:31 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 2023-05-03 20:09:33 | <geekosaur> | sadly it has a bit of a TOCTOU related to `rescreen` |
| 2023-05-03 20:09:45 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 2023-05-03 20:13:50 | <geekosaur> | and I'll need someone else to test that and see how much of an issue it actually is because if I plug/unplug a screen my driver wigs out 😕 |
| 2023-05-03 20:16:54 | → | hightower2 joins (~hightower@230-70.dsl.iskon.hr) |
| 2023-05-03 20:20:30 | <geekosaur> | and she works! |
| 2023-05-03 20:20:40 | geekosaur | preps a PR before it explodes on him |
| 2023-05-03 20:27:04 | <geekosaur> | okay, draft PR created. would like someone to test the rescreen case before I pull the trigger |
| 2023-05-03 20:29:48 | <xmonadtrack> | New xmonad-contrib branch created: pull/813 (6 commits) https://github.com/xmonad/xmonad-contrib/pull/813 |
| 2023-05-03 21:49:40 | <jade[m]> | @geekosaur:matrix.org: I wondered whether there was something more idiomatic for the none-match check (`null rs || not (or rs)`) and came up with `all not rs` which can also be `>>=`'ed anonymously in theory |
| 2023-05-03 21:49:40 | <lambdabot> | Unknown command, try @list |
| 2023-05-03 21:51:19 | <geekosaur> | there's also clarity to consider |
| 2023-05-03 21:51:29 | <jade[m]> | mhm |
| 2023-05-03 21:52:42 | <jade[m]> | I don't know enough about thunking and stuff - would the two O(n) traversals be done in the same pass? |
| 2023-05-03 21:53:02 | <jade[m]> | wait nvm, null is O(1) |
| 2023-05-03 21:53:29 | <jade[m]> | but it wasn't, it wouldn't because || is strict in its first argument right |
| 2023-05-03 21:54:22 | <geekosaur> | right |
| 2023-05-03 22:13:08 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2023-05-03 23:25:28 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2023-05-03 23:40:50 | → | tv joins (~tv@user/tv) |
| 2023-05-04 00:02:44 | <[Leary]> | geekosaur: Some weird code in there, though I guess that was ezyang, not you. Like... |
| 2023-05-04 00:02:49 | <[Leary]> | :t \mx f -> mx >>= maybe (return Nothing) (return . Just . f) |
| 2023-05-04 00:02:50 | <lambdabot> | Monad m => m (Maybe a1) -> (a1 -> a2) -> m (Maybe a2) |
| 2023-05-04 00:02:56 | <[Leary]> | Why not just double fmap? |
| 2023-05-04 00:03:08 | <geekosaur> | yeh, I was pretty confused by that |
| 2023-05-04 00:03:40 | <[Leary]> | And the direct application of a lambda in updateL1/2; why not let or where, or inline it? |
| 2023-05-04 00:04:10 | <geekosaur> | mostly I just copied from the corresponding functions in the original (now ByWidth) |
| 2023-05-04 00:04:27 | <geekosaur> | the mkNew… functions |
| 2023-05-04 00:06:07 | <[Leary]> | I guess you prefer not to fix what isn't broken---personally, I wouldn't be able to resist cleaning that up. |
| 2023-05-04 00:07:36 | <geekosaur> | yeh, I tend to stick to what's already there by default when messing with someone else's code |
| 2023-05-04 00:09:03 | <geekosaur> | you can probably leave review comments if you want |
| 2023-05-04 00:39:37 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2023-05-04 00:55:11 | → | tv joins (~tv@user/tv) |
| 2023-05-04 01:44:13 | → | hightower3 joins (~hightower@230-61.dsl.iskon.hr) |
| 2023-05-04 01:46:28 | × | hightower2 quits (~hightower@230-70.dsl.iskon.hr) (Ping timeout: 240 seconds) |
| 2023-05-04 01:56:01 | × | srk quits (~sorki@user/srk) (Remote host closed the connection) |
| 2023-05-04 01:56:20 | → | srk joins (~sorki@user/srk) |
| 2023-05-04 02:48:05 | × | td_ quits (~td@i53870903.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-04 02:50:05 | → | td_ joins (~td@i5387092F.versanet.de) |
| 2023-05-04 03:08:04 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2023-05-04 06:05:12 | × | chomwitt quits (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-05-04 06:07:07 | → | chomwitt joins (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
| 2023-05-04 06:08:43 | × | chomwitt quits (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-05-04 06:10:39 | → | chomwitt joins (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
| 2023-05-04 06:50:17 | → | mncheck joins (~mncheck@193.224.205.254) |
| 2023-05-04 07:10:22 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2023-05-04 07:10:48 | × | hightower3 quits (~hightower@230-61.dsl.iskon.hr) (Ping timeout: 240 seconds) |
| 2023-05-04 07:27:30 | → | zawaken- joins (~zawaken@user/zawaken) |
| 2023-05-04 07:28:24 | × | zawaken quits (~zawaken@user/zawaken) (Ping timeout: 250 seconds) |
| 2023-05-04 07:51:05 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (*.net *.split) |
| 2023-05-04 07:51:05 | × | pharonix71 quits (~pharonix7@user/pharonix71) (*.net *.split) |
| 2023-05-04 07:52:07 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 2023-05-04 07:52:07 | → | pharonix71 joins (~pharonix7@user/pharonix71) |
| 2023-05-04 07:52:25 | <mekeor[m]> | hello. i use xmonad on guix system. after upgrading my user packages, i now can't recompile xmonad. ghc (or more specifically the linker ld) can't find "-lrt". but librt.so.1 is in my $LIBRARY_PATH. any ideas? |
| 2023-05-04 07:54:41 | <geekosaur> | you need the non-versioned one (librt.so) at link time; librt.so.1 is a versioned runtime library |
| 2023-05-04 07:55:16 | <geekosaur> | (this allows multiple runtime versions to coexist while allowing compilation to build against one of them) |
| 2023-05-04 07:55:45 | <geekosaur> | I don't know guix so don't know how you proceed from here |
| 2023-05-04 07:56:12 | <mekeor[m]> | oh. could i also somehow tell ghc to not link against librt. i suspect it's not actually needed? |
| 2023-05-04 07:56:32 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (Ping timeout: 240 seconds) |
| 2023-05-04 07:56:36 | <geekosaur> | that would be up to the settings file, I think |
| 2023-05-04 07:57:01 | <geekosaur> | cat $(ghc --print-libdir)/settings |
| 2023-05-04 07:57:47 | <mekeor[m]> | jpoiret: why will :static fix this? :) |
| 2023-05-04 07:57:58 | <geekosaur> | note that editing the settings file manually is a lovely way to break ghc completely; make a backup first |
| 2023-05-04 07:58:57 | <mekeor[m]> | i just got some more info from #guix. apparently, the guix maintainers forgot to add an empty librt.a. apparently, installing gcc-toolchain:static will fix it. i'm now trying. |
| 2023-05-04 07:59:09 | <mekeor[m]> | yes, that works. |
| 2023-05-04 07:59:19 | <mekeor[m]> | still, thanks, geekosaur! :) |
| 2023-05-04 07:59:51 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 2023-05-04 09:00:16 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2023-05-04 09:00:16 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle) |
| 2023-05-04 09:06:10 | → | YudditeG[m] joins (~errisnotn@2001:470:69fc:105::3:3dbe) |
| 2023-05-04 09:06:48 | → | hightower2 joins (~hightower@85.94.71.188) |
| 2023-05-04 09:25:33 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2023-05-04 09:39:01 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-05-04 09:45:30 | × | chomwitt quits (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2023-05-04 09:56:04 | × | mncheck quits (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2023-05-04 10:57:44 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (Ping timeout: 240 seconds) |
| 2023-05-04 10:59:05 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 2023-05-04 11:41:00 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2023-05-04 12:05:43 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (Remote host closed the connection) |
| 2023-05-04 12:06:09 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 2023-05-04 13:26:45 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
All times are in UTC.