2021-02-10 00:37:37 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
2021-02-10 00:38:34 +0100 | tremon | (~aschuring@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
2021-02-10 00:48:16 +0100 | brttmsn | (~brtt@2600:8804:8689:3f00::2395) |
2021-02-10 00:48:25 +0100 | <brttmsn> | hello everyone |
2021-02-10 01:05:43 +0100 | brttmsn | AlexNevesky |
2021-02-10 01:07:48 +0100 | <AlexNevesky> | anyone know how to get shell prompt working? i got the extension being imported but for whatever reason when i push my keybind for it, nothing happens? |
2021-02-10 01:08:01 +0100 | <AlexNevesky> | Do i need to configure it in my xmonad.hs? |
2021-02-10 01:22:36 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) |
2021-02-10 01:23:05 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Client Quit) |
2021-02-10 01:39:26 +0100 | notis | (~notis@185.51.134.222) (Ping timeout: 272 seconds) |
2021-02-10 01:41:00 +0100 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
2021-02-10 01:44:39 +0100 | gazler_ | (~gazler@195.107.2.81.in-addr.arpa) |
2021-02-10 01:45:14 +0100 | gazler__ | (~gazler@2001:8b0:b165:a8d2:d19:fc83:e0fa:4af3) (Read error: Connection reset by peer) |
2021-02-10 03:04:18 +0100 | materiyolo | (~materiyol@112.204.169.246) |
2021-02-10 04:06:22 +0100 | theDon | (~td@muedsl-82-207-238-061.citykom.de) (Ping timeout: 272 seconds) |
2021-02-10 04:07:34 +0100 | theDon | (~td@muedsl-82-207-238-226.citykom.de) |
2021-02-10 05:11:40 +0100 | sundbry_ | (~quassel@99-42-143-129.lightspeed.sntcca.sbcglobal.net) |
2021-02-10 05:12:50 +0100 | sundbry_ | sundbry |
2021-02-10 05:22:37 +0100 | lally | (sid388228@gateway/web/irccloud.com/x-cekrhietwembxiah) (Read error: Connection reset by peer) |
2021-02-10 05:22:47 +0100 | ryjm | (sid383513@gateway/web/irccloud.com/x-worjbcdglldngruf) (Read error: Connection reset by peer) |
2021-02-10 05:22:55 +0100 | lally | (sid388228@gateway/web/irccloud.com/x-atokysbqldyuqfqn) |
2021-02-10 05:22:57 +0100 | ryjm | (sid383513@gateway/web/irccloud.com/x-nwcdeqfygfvvwnek) |
2021-02-10 05:37:47 +0100 | AlexNevesky | (~brtt@2600:8804:8689:3f00::2395) (*.net *.split) |
2021-02-10 05:37:53 +0100 | meck | (~meck@li1809-18.members.linode.com) (*.net *.split) |
2021-02-10 05:37:53 +0100 | Irishluck83 | (~Irishluck@unaffiliated/irishluck83) (*.net *.split) |
2021-02-10 05:37:54 +0100 | tcberner | (~quassel@freebsd/developer/tcberner) (*.net *.split) |
2021-02-10 05:42:19 +0100 | meck | (~meck@li1809-18.members.linode.com) |
2021-02-10 05:42:19 +0100 | Irishluck83 | (~Irishluck@unaffiliated/irishluck83) |
2021-02-10 05:42:19 +0100 | tcberner | (~quassel@freebsd/developer/tcberner) |
2021-02-10 05:45:59 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-fpxgdokdscwzxwdk) (Ping timeout: 240 seconds) |
2021-02-10 05:46:24 +0100 | By_JumperX4[m] | (byjumperx4@gateway/shell/matrix.org/x-rvsbfbifgmvagwty) (Ping timeout: 240 seconds) |
2021-02-10 05:46:36 +0100 | noIOBeforeBedtim | (dissatisfi@gateway/shell/matrix.org/x-bwslpnirznlxovjv) (Ping timeout: 260 seconds) |
2021-02-10 05:46:40 +0100 | jerin | (jerinmatri@gateway/shell/matrix.org/x-stcjgbkwbrmjmqpx) (Ping timeout: 244 seconds) |
2021-02-10 05:47:04 +0100 | Half-Shot | (half-shoth@gateway/shell/matrix.org/x-yxqsrqjdjwnywlto) (Ping timeout: 260 seconds) |
2021-02-10 05:47:16 +0100 | psibi[m] | (psibimatri@gateway/shell/matrix.org/x-szrzizrgsxssjwim) (Ping timeout: 268 seconds) |
2021-02-10 05:47:32 +0100 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-qgxppkedmgxzarko) (Ping timeout: 260 seconds) |
2021-02-10 05:47:32 +0100 | chimay[m] | (chimaymatr@gateway/shell/matrix.org/x-ailfwxjqzhpyduim) (Ping timeout: 260 seconds) |
2021-02-10 05:47:32 +0100 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-wtfkvxvbcyhgxsnt) (Ping timeout: 260 seconds) |
2021-02-10 06:09:18 +0100 | noIOBeforeBedtim | (dissatisfi@gateway/shell/matrix.org/x-jxlugcrvctekxscd) |
2021-02-10 06:11:09 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-zayaxobioedyvltl) |
2021-02-10 06:14:53 +0100 | jerin | (jerinmatri@gateway/shell/matrix.org/x-wtcdluvnmxnxtkrv) |
2021-02-10 06:19:04 +0100 | By_JumperX4[m] | (byjumperx4@gateway/shell/matrix.org/x-hranjpfkdgyzbicg) |
2021-02-10 06:21:09 +0100 | psibi[m] | (psibimatri@gateway/shell/matrix.org/x-hszobnattmgdkuue) |
2021-02-10 06:22:18 +0100 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-jtiqptlbbppvizcn) |
2021-02-10 06:22:27 +0100 | chimay[m] | (chimaymatr@gateway/shell/matrix.org/x-fscmthuflyyzyyyp) |
2021-02-10 06:22:28 +0100 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-vptkevswyiacaius) |
2021-02-10 07:02:21 +0100 | palo1 | (~weechat@c-base/crew/palo) |
2021-02-10 07:05:16 +0100 | palo | (~weechat@c-base/crew/palo) (Ping timeout: 240 seconds) |
2021-02-10 07:05:16 +0100 | palo1 | palo |
2021-02-10 07:08:25 +0100 | materiyolo | (~materiyol@112.204.169.246) (Ping timeout: 240 seconds) |
2021-02-10 07:23:27 +0100 | materiyolo | (~materiyol@112.204.169.246) |
2021-02-10 07:36:12 +0100 | thc202 | (~thc202@unaffiliated/thc202) |
2021-02-10 07:47:08 +0100 | gazler__ | (~gazler@2001:8b0:b165:a8d2:d19:fc83:e0fa:4af3) |
2021-02-10 07:49:18 +0100 | gazler_ | (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 246 seconds) |
2021-02-10 07:59:35 +0100 | palo1 | (~weechat@c-base/crew/palo) |
2021-02-10 08:02:57 +0100 | palo | (~weechat@c-base/crew/palo) (Ping timeout: 264 seconds) |
2021-02-10 08:02:57 +0100 | palo1 | palo |
2021-02-10 08:31:02 +0100 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-02-10 08:51:25 +0100 | <Solid> | god damn I was looking up this distrotube guy just now and man has he done a lot of videos on xmonad |
2021-02-10 08:55:35 +0100 | notis | (~notis@185.51.134.222) |
2021-02-10 09:19:17 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
2021-02-10 09:20:40 +0100 | notis | (~notis@185.51.134.222) (Quit: WeeChat 3.0) |
2021-02-10 09:23:07 +0100 | notis | (~notis@185.51.134.229) |
2021-02-10 09:26:35 +0100 | <Solid> | https://www.youtube.com/watch?v=pY9HPm1N16Y this one in particular is a pretty good show-case of some cool functionality |
2021-02-10 09:26:50 +0100 | <Solid> | might be worth putting onto the new-and-improved™ homepage even |
2021-02-10 09:27:07 +0100 | Solid | has procrastinated enough now, back to work! |
2021-02-10 10:21:17 +0100 | mc47 | (~yecinem@89.246.239.190) |
2021-02-10 10:24:04 +0100 | ADG1089__ | (~aditya@122.163.210.206) |
2021-02-10 10:37:47 +0100 | <mc47> | Solid, his videos on xmonad are pretty cool! They kinda motivated me at first to give xmonad a try |
2021-02-10 10:41:09 +0100 | <dminuoso> | It is clear to me, that mc47 must be German. |
2021-02-10 10:42:22 +0100 | <Solid> | hah |
2021-02-10 10:42:48 +0100 | <mc47> | dminuoso, not quite, just living there since 3 years |
2021-02-10 10:43:11 +0100 | <Solid> | german-speaking they meant |
2021-02-10 10:43:33 +0100 | <mc47> | may I ask how ? just curious haha |
2021-02-10 10:43:37 +0100 | <Solid> | though with that comma before the "that" I would speculate on dminuoso also being German :) |
2021-02-10 10:43:59 +0100 | <mc47> | hahahah |
2021-02-10 10:44:38 +0100 | <mc47> | I'm actually Tunisian, I speak a lot of German since three years so it influenced my english :) |
2021-02-10 10:44:55 +0100 | ADG1089__ | (~aditya@122.163.210.206) (Remote host closed the connection) |
2021-02-10 10:57:09 +0100 | <dminuoso> | Solid: Touche. |
2021-02-10 11:20:57 +0100 | MasseR | (~MasseR@51.15.143.128) (Ping timeout: 264 seconds) |
2021-02-10 11:33:05 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2021-02-10 11:50:15 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
2021-02-10 12:05:40 +0100 | notis | (~notis@185.51.134.229) (Ping timeout: 256 seconds) |
2021-02-10 12:07:30 +0100 | notis | (~notis@92.118.13.23) |
2021-02-10 12:23:19 +0100 | <mc47> | I finally found the logs that the stdout/stderr of xmonad get piped to |
2021-02-10 12:23:31 +0100 | <mc47> | and I was surprised with """xxxmommbooabbraa:rr e::o fee ooafft a atat na anen a erealaryr llsyyt assgtteaa"gg |
2021-02-10 12:23:32 +0100 | <mc47> | ee"" |
2021-02-10 12:37:05 +0100 | <Solid> | hahahaha |
2021-02-10 12:45:28 +0100 | <Liskni_si> | that facepalm moment one realizes that xmobar/xmonad are advertised as lightweight yet under the hood it's all Strings and one-byte reads/writes |
2021-02-10 12:46:57 +0100 | <Solid> | I mean they're pretty light-weight compared to GNOME3 ;) |
2021-02-10 12:48:05 +0100 | <Liskni_si> | true, one-byte writes end up being better than using unsafe javascript bindings to glib that leak memory and handles like crazy |
2021-02-10 12:48:25 +0100 | <dminuoso> | Liskni_si: It's beyond me, how almost irrelevant breaking changes were introduced like Foldable/Traversable or AMP, but everything clings onto String like crazy |
2021-02-10 12:48:43 +0100 | <dminuoso> | Like, my first thing to get rid off base, is String. |
2021-02-10 12:49:29 +0100 | <dminuoso> | People can argue all day long how "elegant" algorithms on lists are, but these types of algorithms are rarely applied to textual data. And if they are, chances are you have non-trivial amounts of data too.. |
2021-02-10 12:49:47 +0100 | <Solid> | String is bad, but the strings that xmonad/xmobar handle are so tiny that I think using text is more of a "this is morally correct" issue than anything else |
2021-02-10 12:50:03 +0100 | <dminuoso> | Well, it causes friction whenever you interface with it. |
2021-02-10 12:50:44 +0100 | <Liskni_si> | Solid: wouldn't be so sure about that |
2021-02-10 12:50:49 +0100 | <Solid> | unless you also work with strings :> |
2021-02-10 12:50:55 +0100 | <dminuoso> | Well sure. |
2021-02-10 12:51:24 +0100 | <dminuoso> | The reality is, we all rely on GHC optimizations to make string performance acceptable in many cases. |
2021-02-10 12:51:28 +0100 | <Solid> | and I think changing all of base String -> Text would certainly be a much bigger break than AFP and MFP etc. |
2021-02-10 12:51:31 +0100 | <dminuoso> | Which is rather poor |
2021-02-10 12:51:37 +0100 | <Liskni_si> | Solid: you remember our discussion about O(n²) nub? the O(log n) nub uses pointer and more memory, that makes it slow |
2021-02-10 12:51:45 +0100 | <Liskni_si> | *pointers |
2021-02-10 12:52:02 +0100 | <Liskni_si> | String is all pointers and thunks and _lots_ of garbage collection afterwards |
2021-02-10 12:52:47 +0100 | <dminuoso> | The pointer indirection causes extremely poor locality of reference, as well as extreme amounts of cache evictions |
2021-02-10 12:53:13 +0100 | <dminuoso> | So merely dealing with String has global performance impacts on other things |
2021-02-10 12:54:09 +0100 | <dminuoso> | We tend to not notice how bad String performance is, because it's usually not the performance bottleneck. But things like cache evictions are very hard to measure |
2021-02-10 12:54:42 +0100 | <dminuoso> | Arguably, it'd be nice if we could seamlessly exchange string data through ffi - and Text doesnt help us here either. |
2021-02-10 12:55:29 +0100 | <dminuoso> | (because text uses unpinned memory, you cant expose it to ffi..) |
2021-02-10 13:01:48 +0100 | <Liskni_si> | Solid: just say the youtube video you linked, it really is good! |
2021-02-10 13:02:00 +0100 | <Liskni_si> | *saw |
2021-02-10 13:36:27 +0100 | <Solid> | right? |
2021-02-10 13:37:05 +0100 | <Solid> | I do wish he didn't look up "dank" in the urban dictionary but I guess that's a small nit :) |
2021-02-10 13:59:18 +0100 | MasseR | (~MasseR@51.15.143.128) |
2021-02-10 14:01:27 +0100 | wsm | (~wsm@78.186.186.247) |
2021-02-10 14:01:29 +0100 | wsm | (~wsm@78.186.186.247) (Connection closed) |
2021-02-10 14:07:05 +0100 | notis | (~notis@92.118.13.23) (Ping timeout: 240 seconds) |
2021-02-10 14:09:11 +0100 | notis | (~notis@185.51.134.229) |
2021-02-10 14:09:18 +0100 | sockspls | (~sockspls@175.214.248.192) |
2021-02-10 14:09:25 +0100 | <sockspls> | /!\ this channel has moved to ##hamradio /!\ |
2021-02-10 14:09:31 +0100 | Neo | (~Neo@201.127.214.119) |
2021-02-10 14:09:32 +0100 | <Neo> | /!\ this channel has moved to ##hamradio /!\ |
2021-02-10 14:09:50 +0100 | Neo | (~Neo@201.127.214.119) (Remote host closed the connection) |
2021-02-10 14:09:54 +0100 | sockspls | (~sockspls@175.214.248.192) (Remote host closed the connection) |
2021-02-10 14:12:34 +0100 | strengthen | (~strengthe@121.143.136.228) |
2021-02-10 14:12:40 +0100 | <strengthen> | /!\ this channel has moved to #nyymit /!\ |
2021-02-10 14:12:53 +0100 | strengthen | (~strengthe@121.143.136.228) (Remote host closed the connection) |
2021-02-10 14:15:28 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-02-10 14:16:59 +0100 | samuR | (~sam@212.69.21.42) |
2021-02-10 14:17:02 +0100 | samuR | (~sam@212.69.21.42) (Remote host closed the connection) |
2021-02-10 14:23:16 +0100 | <Solid> | kids are bored again |
2021-02-10 14:23:57 +0100 | <geekosaur> | yeh |
2021-02-10 14:24:38 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds) |
2021-02-10 14:36:00 +0100 | geekosaur | winces at lack of quoting in shell scripts |
2021-02-10 14:39:17 +0100 | <geekosaur> | hm, whoops, forgot "git fetch --all" |
2021-02-10 14:39:24 +0100 | <geekosaur> | biab |
2021-02-10 14:41:40 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Ping timeout (120 seconds)) |
2021-02-10 14:41:58 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-02-10 14:42:49 +0100 | <geekosaur> | ok, think I'm ready to start working on the cabal stuff. I see I have to remove instructions for sandboxes because they're gone as of cabal 3.4 |
2021-02-10 14:47:01 +0100 | <wz1000> | dminuoso: text using unpinned memory is a good thing. Have you seen the amount of fragmentation in non-trivial programs that use ByteString? |
2021-02-10 14:47:45 +0100 | <geekosaur> | but that means copying when working with FFI, which happens a lot with xmonad |
2021-02-10 14:48:40 +0100 | <geekosaur> | then again we have to encode to UTF8 anyway (Text representation internally is that of ICU, which is 16 bit) |
2021-02-10 14:51:45 +0100 | <dminuoso> | wz1000: Well, perhaps there could be a way to control whether `text-next-generation` gives you pinned or unpinned buffers, depending on whether you have to do FFI? |
2021-02-10 14:52:27 +0100 | <dminuoso> | But yeah, like geekosaur points out, the internal encoding of text is another issue in the way. |
2021-02-10 14:52:31 +0100 | <geekosaur> | again, only if someone rewrites text to be utf8 underneath, otherwise there has to be a copy/conversion step anyway |
2021-02-10 14:52:41 +0100 | <dminuoso> | As long as text is unpinned, the internal encoding doesnt matter. |
2021-02-10 14:52:54 +0100 | <dminuoso> | Or not as much, anyway |
2021-02-10 14:53:06 +0100 | <dminuoso> | Right, geekosaur. |
2021-02-10 15:01:36 +0100 | <Liskni_si> | wz1000: does the fragmentation happen with short-lived bytestrings as well or just long-lived ones? |
2021-02-10 15:02:10 +0100 | <wz1000> | long lived ones |
2021-02-10 15:02:37 +0100 | <wz1000> | if a block has no live bytestrings in it, there is no fragmentation |
2021-02-10 15:03:02 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
2021-02-10 15:03:24 +0100 | <dminuoso> | Liskni_si: If its short lived, it doesn't really matter anyway, does it? |
2021-02-10 15:04:53 +0100 | <Liskni_si> | short lived String is still a waste of CPU cycles, caches, and some more CPU cycles in GC |
2021-02-10 15:05:10 +0100 | <Liskni_si> | so the choice of data structure still matters |
2021-02-10 15:05:35 +0100 | <Liskni_si> | (but I'm no expert on bytestring vs text, hence the question) |
2021-02-10 15:06:29 +0100 | <dminuoso> | In GHC pinned and unpinned blocks reside in the same megablocks, dont they? |
2021-02-10 15:07:31 +0100 | <dminuoso> | If text used pinned buffers, and resided in special megablocks, it wouldn't really cause fragmentation across the board. |
2021-02-10 15:07:41 +0100 | <dminuoso> | or at least not as much |
2021-02-10 15:10:56 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-02-10 15:12:15 +0100 | Liskni_si | has no idea :-( |
2021-02-10 15:14:22 +0100 | dxld | (~dxld@rush.pub.dxld.at) |
2021-02-10 15:19:50 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:a2d2:896d:399a:a417) (Ping timeout: 264 seconds) |
2021-02-10 15:25:57 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
2021-02-10 15:31:26 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:5542:a02b:6ef4:719e) |
2021-02-10 15:42:32 +0100 | seschwar | (~seschwar@unaffiliated/seschwar) |
2021-02-10 15:51:52 +0100 | <geekosaur> | o.O |
2021-02-10 15:52:29 +0100 | geekosaur | used external bt keyboards for years with xmonad, and can't think of any reason they wouldn't work unless they also messed with xinput2 |
2021-02-10 15:54:27 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
2021-02-10 16:06:05 +0100 | <dminuoso> | Trying to find a joke about how a flaky bluetooth keyboard could cause IRC disconnects... |
2021-02-10 16:06:11 +0100 | <dminuoso> | Anyone? |
2021-02-10 16:07:02 +0100 | <Liskni_si> | Today a screen/irssi vulnerability joke would be more appropriate. |
2021-02-10 16:07:21 +0100 | <dminuoso> | How's that? |
2021-02-10 16:07:25 +0100 | <dminuoso> | Didn't get the memo |
2021-02-10 16:07:43 +0100 | <Liskni_si> | dminuoso: https://www.openwall.com/lists/oss-security/2021/02/09/7 |
2021-02-10 16:09:03 +0100 | <dminuoso> | It's beyond me how people still write stuff in C... |
2021-02-10 16:09:28 +0100 | <dminuoso> | And when they do, asan is off. |
2021-02-10 16:12:10 +0100 | <Liskni_si> | It's more about rewriting old stuff that works not being much fun. |
2021-02-10 16:13:02 +0100 | <Liskni_si> | Like why haven't we rewritten everything to not use String and to support Wayland and have a compositor and whatnot. Because what we have works so our time is best spent elsewhere. :-/ |
2021-02-10 16:19:57 +0100 | <Liskni_si> | mc47: you haven't updated us on your xmonad-related school course in a while, btw |
2021-02-10 16:20:26 +0100 | <Liskni_si> | mc47: did you have to write some sort of final report or just the one we saw already? |
2021-02-10 16:21:09 +0100 | <mc47> | Liskni_si, I'm still gonna write a final report on the contributions and the interaction with the community, and do a presentation in mid march, after I'm done with my exams |
2021-02-10 16:21:48 +0100 | <Liskni_si> | I see |
2021-02-10 16:22:26 +0100 | <Liskni_si> | by that time we'll surely have merged the dynamic bars PR as well, good :-) |
2021-02-10 16:22:40 +0100 | <mc47> | haha :D |
2021-02-10 16:22:53 +0100 | <Solid> | :D |
2021-02-10 16:23:00 +0100 | <mc47> | The conversation matters more than the actual PR being merged or not |
2021-02-10 16:23:26 +0100 | <dminuoso> | Liskni_si: Oh I can do away without a compositor. |
2021-02-10 16:24:02 +0100 | <dminuoso> | I know, 30 years from now Ill be one of those old, gray, bearded folks saying how GNU Emacs is the only true editor, defending X11, and still writing Haskell. |
2021-02-10 16:24:19 +0100 | <dminuoso> | Impossible to convince otherwise. |
2021-02-10 16:24:21 +0100 | Solid | truly sees himself in that |
2021-02-10 16:24:23 +0100 | <Solid> | scary |
2021-02-10 16:24:29 +0100 | <Liskni_si> | I wish I could be that guys |
2021-02-10 16:24:46 +0100 | <mc47> | That guy is awwesome |
2021-02-10 16:24:47 +0100 | <dminuoso> | What's wrong? Wrong gender for the beard? Dont have hair? |
2021-02-10 16:24:51 +0100 | <Liskni_si> | instead I have this massive FOMO about not keeping up with everything |
2021-02-10 16:24:57 +0100 | <dminuoso> | Oh. |
2021-02-10 16:25:06 +0100 | <Liskni_si> | without the FOMO, I already am that guy though |
2021-02-10 16:25:20 +0100 | <Liskni_si> | except being gray, that is |
2021-02-10 16:25:43 +0100 | <Liskni_si> | I have so little hair there's plenty of pigment to keep it dark |
2021-02-10 16:25:58 +0100 | <dminuoso> | Well, its sort of like these sysadmins these days, who still swear by their postfix, writing tcl at day, compiling their kernel at night.. |
2021-02-10 16:26:10 +0100 | <dminuoso> | If you know what kind of personality I mean |
2021-02-10 16:26:29 +0100 | <dminuoso> | The folks you see in #perl ! |
2021-02-10 16:26:32 +0100 | <dminuoso> | :P |
2021-02-10 16:26:33 +0100 | <Liskni_si> | oh don't even think about telling me there's something newer and better than postfix |
2021-02-10 16:28:46 +0100 | <Liskni_si> | well anyway, if you ever become this guy, the young will make fun of you for (the equivalent of) still writing in C and not doing any fuzzing or asan |
2021-02-10 16:29:08 +0100 | <Liskni_si> | and I don't want to be _that_ guys, hence the FOMO :-/ |
2021-02-10 16:31:32 +0100 | Tsar | (~Tsar@89-73-72-8.dynamic.chello.pl) |
2021-02-10 16:33:38 +0100 | Tsar | (~Tsar@89-73-72-8.dynamic.chello.pl) (Client Quit) |
2021-02-10 16:57:01 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 272 seconds) |
2021-02-10 17:32:55 +0100 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
2021-02-10 17:47:09 +0100 | spasmaster | (~dummy0000@151-59-177-143.ftth.glasoperator.nl) (Quit: Leaving) |
2021-02-10 17:47:44 +0100 | <Liskni_si> | mc47: btw I don't think the conversation matters more; shipping code that works and solves real problems for real people matters a great deal, the conversation is just means to that end |
2021-02-10 17:48:42 +0100 | <Liskni_si> | (it does matter from the perspective of individual learning, I know; there's a balance out there somewhere) |
2021-02-10 17:49:30 +0100 | <mc47> | Yes, what you said is true, I was referring to the lab when I said that though ;) |
2021-02-10 17:49:47 +0100 | <Liskni_si> | oh, I see |
2021-02-10 17:50:04 +0100 | <mc47> | Like the point of the lab is to do open source and get over the mental block of "open source is scary, I can never contribute" |
2021-02-10 17:50:34 +0100 | <mc47> | so it was out of the question that somebody spends the whole semester just coding and then submit a PR at the end and that's it |
2021-02-10 17:57:16 +0100 | <mc47> | but in the general sense, I agree with what you said |
2021-02-10 18:05:00 +0100 | materiyolo | (~materiyol@112.204.169.246) (Quit: WeeChat 2.9) |
2021-02-10 18:06:26 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
2021-02-10 18:10:36 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-02-10 18:44:34 +0100 | geekosaur | wonders what he's just let himself in for |
2021-02-10 18:45:07 +0100 | <geekosaur> | "optimization: 2" in cabal.project.local might mean rebuilding the known world with optimization, which might take a while |
2021-02-10 18:45:48 +0100 | <geekosaur> | oh, good, just xmonad and xmonad-config, not e.g. all of dbus's deps (lens!) |
2021-02-10 18:46:28 +0100 | <geekosaur> | testing my stuff as I go, this should end up being a more robust config than the existing one |
2021-02-10 18:49:23 +0100 | <geekosaur> | hm. apparently accepted "executable-stripping" config but ignored it, sigh |
2021-02-10 18:54:39 +0100 | <geekosaur> | and it looks like that's a known bug because I use cabal build instead of cabal install. pfeh |
2021-02-10 19:26:55 +0100 | <Liskni_si> | mc47: I thought I'd check out your refactor-dynamic-log branch and do some finishing touches on it to save some time on the github PR back-and-forth, and I got an idea: |
2021-02-10 19:27:02 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
2021-02-10 19:27:06 +0100 | <Liskni_si> | the DynamicLog module is just too huge now |
2021-02-10 19:27:49 +0100 | <Liskni_si> | how about we put all the new stuff into XMonad.Hook.StatusBar and keep only the bare minimum to keep compatibility with the last release in DynamicLog |
2021-02-10 19:28:52 +0100 | <Liskni_si> | we'd need to use .hs-boot to be able to use X.H.StatusBar in DynamicLog though, but I think it's probably worth it, as we'd then proceed to deprecate the compat wrappers in DynamicLog |
2021-02-10 19:29:43 +0100 | <Liskni_si> | and now the questions are: is this a good idea? shall I do it or would you like to keep the PR open a bit more? :-) |
2021-02-10 19:30:54 +0100 | <Liskni_si> | (just look at the changelog since last release; the DynamicLog entry looks like "we added X; we added Y to abstract away some X; we added Z cause Y still wasn't good enough" |
2021-02-10 19:31:20 +0100 | <Liskni_si> | so why don't we clean it up a bit :-)) |
2021-02-10 19:33:42 +0100 | <mc47> | I think it's a good idea, and no it's absolutely fine if it stays open |
2021-02-10 19:33:46 +0100 | <mc47> | what's hs-boot btw? |
2021-02-10 19:34:19 +0100 | <Liskni_si> | hs-boot is what you need to have if you want a cycle in imports |
2021-02-10 19:34:31 +0100 | <Liskni_si> | X.H.StatusBar needs to import PP from DynamicLog |
2021-02-10 19:34:51 +0100 | <Liskni_si> | X.H.DynamicLog needs to import makeStatusBar or statusBar or something from X.H.StatusBar |
2021-02-10 19:35:33 +0100 | <Liskni_si> | so we'll need to create a .hs-boot file that lists the types for one of those |
2021-02-10 19:36:09 +0100 | <Liskni_si> | probably X/H/StatusBar.hs-boot with a type declaration for the one function that is needed to keep the dzen/xmobar/statusBar wrappers in DynamicLog |
2021-02-10 19:36:26 +0100 | <mc47> | Oh I see |
2021-02-10 19:36:52 +0100 | <mc47> | I definitely think a cleanup is a good idea, mainly because a lot of the changes aren't in the release |
2021-02-10 19:37:44 +0100 | <Liskni_si> | ok, awesome |
2021-02-10 19:37:58 +0100 | <mc47> | The new PR could also go in there :D |
2021-02-10 19:38:12 +0100 | <Liskni_si> | exactly, and that will solve the naming problem |
2021-02-10 19:39:42 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-02-10 19:40:17 +0100 | <mc47> | if you have something on your todo list go ahead, and I'll take care of it if you want |
2021-02-10 19:42:53 +0100 | <Liskni_si> | I could work on the ewmh stuff, yeah |
2021-02-10 19:43:58 +0100 | <mc47> | alright I'll do it then, a chance to learn about the hs-boot |
2021-02-10 19:45:27 +0100 | <Liskni_si> | at least I finally pushed myself to add your fork as a remote here, so I'll be able to range-diff the force pushes and be quicker to react to reviews |
2021-02-10 19:45:32 +0100 | <Liskni_si> | should've done that earlier |
2021-02-10 19:46:18 +0100 | <Liskni_si> | I'd really like to merge it soon, it's been through many iterations |
2021-02-10 19:47:11 +0100 | <Liskni_si> | (actually if anyone thinks it's worth it, we can merge it as it and refactor in a new PR, as we'll be breaking several months worth of additions anyway) |
2021-02-10 19:48:35 +0100 | <mc47> | I kinda tend to a new PR, since it might be less intimidating for people to look and see what changed exactly |
2021-02-10 19:49:06 +0100 | <mc47> | It makes more sense for someone who didn't see the discussion on the IRC at least |
2021-02-10 19:51:55 +0100 | <Solid> | the dynamiclog changes entry reads pretty funny I have to say |
2021-02-10 19:54:26 +0100 | tremon | (~aschuring@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
2021-02-10 19:55:01 +0100 | <Liskni_si> | ok I'll make a fixup with the small tweaks I wanted to make and let's merge it then |
2021-02-10 19:55:42 +0100 | <mc47> | awesome |
2021-02-10 19:57:31 +0100 | <mc47> | So if I understood correctly, the statusBar* except for statusBar, xmobar and dzen will be nuked and replaced with the new module and interface, right? |
2021-02-10 19:57:49 +0100 | <Liskni_si> | git show v0.16:XMonad/Hooks/DynamicLog.hs |
2021-02-10 19:57:58 +0100 | <Liskni_si> | this is your reference what should be kept :-) |
2021-02-10 20:04:27 +0100 | <geekosaur> | may I suggest moving PP to its own module and importing from both, rather than creating the nightmare of a .hs-boot file? |
2021-02-10 20:05:26 +0100 | <Liskni_si> | and reexporting the entire module from DynamicLog then |
2021-02-10 20:05:33 +0100 | <Liskni_si> | yeah, that seems even better |
2021-02-10 20:06:41 +0100 | <Liskni_si> | which reminds me that I stumbled upon AusCyberman introducing themselves on one of those modern communication tools and they're a high schooler |
2021-02-10 20:07:15 +0100 | <Liskni_si> | which explains the gap between us :-) |
2021-02-10 20:08:02 +0100 | <Liskni_si> | and now that we'll have DynamicLog split and cleaned up, it will make all the more sense to put the dynamic icons into its own module as well |
2021-02-10 20:09:05 +0100 | <Solid> | doesn't mean it shouldn't comply to the same standards as the other new contrib modules ;) |
2021-02-10 20:09:10 +0100 | <Solid> | but yes, that does explain a lot |
2021-02-10 20:09:31 +0100 | geekosaur | kinda figured from the username |
2021-02-10 20:09:52 +0100 | <Liskni_si> | aren't github usernames for life? :-) |
2021-02-10 20:13:01 +0100 | <mc47> | Awesome |
2021-02-10 20:13:24 +0100 | <mc47> | Refactoring is kinda therapeutic for me, and it'll be a good break from learning for the exams |
2021-02-10 20:14:01 +0100 | <mc47> | (stupid electives, I'm spending all my day on economics instead of focusing on a very awesome semantics' course) |
2021-02-10 20:14:15 +0100 | <Liskni_si> | I feel more like https://i.gifer.com/39Op.mp4 |
2021-02-10 20:14:29 +0100 | <Liskni_si> | (now I'm fighting with haddock, for example) |
2021-02-10 20:14:48 +0100 | <mc47> | that gif hahahaha |
2021-02-10 20:16:22 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
2021-02-10 20:31:48 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-02-10 20:38:07 +0100 | <geekosaur> | hm. does the new XDG stuff support $XDG_CONFIG_HOME? |
2021-02-10 20:38:55 +0100 | <Solid> | yes |
2021-02-10 20:39:01 +0100 | <geekosaur> | (I have a build script that guesses at the xmonad config dir with fallbacks if no directory is specified) |
2021-02-10 20:39:09 +0100 | <geekosaur> | ok, I'll add that in too |
2021-02-10 20:39:48 +0100 | <geekosaur> | SRC_DIR="${XMONAD_CONFIG_DIR:-${XDG_CONFIG_DIR:-${XDG_CONFIG_HOME:-$HOME}/.config/xmonad}}" |
2021-02-10 20:40:10 +0100 | <geekosaur> | amazing what you can do in one line of shell that took so much work in haskell >.> |
2021-02-10 20:40:20 +0100 | <Solid> | :D |
2021-02-10 20:40:31 +0100 | <Solid> | I don't think we're looking for XDG_CONFIG_DIR though |
2021-02-10 20:40:35 +0100 | <Solid> | unless that's something that you do |
2021-02-10 20:40:51 +0100 | <geekosaur> | no, that's wired in as one of the Xdg functions |
2021-02-10 20:41:14 +0100 | <geekosaur> | which come to think of it is probably what handles $XDG_CONFIG_HOME too |
2021-02-10 20:41:55 +0100 | <geekosaur> | and all of that is defaulting if a directory isn't specified. I'm not sure if I should copy the existing build script's directory, which looks like someone's personal config |
2021-02-10 20:42:06 +0100 | <Solid> | we're using System.Directory.XdgConfig, but according to that doc it only looks at $XDG_CONFIG_HOME |
2021-02-10 20:42:44 +0100 | <geekosaur> | $XDG_CONFIG_HOME is the directory under which .config, .local, .cache etc. are found |
2021-02-10 20:42:50 +0100 | <geekosaur> | and defaults to $HOME |
2021-02-10 20:43:10 +0100 | <geekosaur> | there's a parameter which specifies which of the directories you want from that set |
2021-02-10 20:43:28 +0100 | <Solid> | "It uses the XDG_CONFIG_HOME environment variable. On non-Windows systems, the default is ~/.config." |
2021-02-10 20:43:34 +0100 | <Solid> | this is form the System.Directory docs |
2021-02-10 20:43:38 +0100 | <Solid> | is that wrong? |
2021-02-10 20:46:06 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/libraries/directory-1.3.6.1/System-Directory.ht… |
2021-02-10 20:46:14 +0100 | <geekosaur> | is what I thought we were using |
2021-02-10 20:46:47 +0100 | <Solid> | yeah we're using that |
2021-02-10 20:47:02 +0100 | <Solid> | but if you look at `XdgDirectory' you'll see what I posted |
2021-02-10 20:48:08 +0100 | <geekosaur> | I think that doc is wrong and what I described (and used in the line I pasted earlier) is right |
2021-02-10 20:48:47 +0100 | <geekosaur> | but I can double check the spec |
2021-02-10 20:49:45 +0100 | <geekosaur> | sigh, looks like I'm wrong. thought in particular they had a way to relocate all the dotfiles in one go for e.g. network shared home dirs |
2021-02-10 20:51:51 +0100 | <geekosaur> | ok, fixed locally but not in repo yet much less pushed :) |
2021-02-10 20:52:06 +0100 | <geekosaur> | that's a bit of a pain since I have to switch networks to use ssh |
2021-02-10 20:56:34 +0100 | <geekosaur> | anyway the new script can be used without editing if you put everything in xmonad's config dir |
2021-02-10 20:56:52 +0100 | <geekosaur> | or you can specify as with the old script |
2021-02-10 20:58:57 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 272 seconds) |
2021-02-10 21:15:32 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
2021-02-10 21:20:11 +0100 | <geekosaur> | now I have to figure out how to do the same thing with stack, ideally including using the correct way to find the new executable instead of rooting around in its innards |
2021-02-10 21:20:48 +0100 | <geekosaur> | which I think is some form of "stack path", or maybe something similar to the way I use "cabal install" to get a properly exported version |
2021-02-10 21:21:20 +0100 | <Liskni_si> | not sure how clean it is but I just use stack exec -- ghc … which runs ghc with all the necessary stuff in its pkg path or whatever |
2021-02-10 21:21:43 +0100 | <geekosaur> | oh, hm, exec name hack won't work if they use package.yaml. altough these days that's deprecated |
2021-02-10 21:21:52 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
2021-02-10 21:21:58 +0100 | <geekosaur> | or at least non-recommended |
2021-02-10 21:22:20 +0100 | <Liskni_si> | well yeah it's not for anyone who has xmonad.hs in an actual cabal/hpack package |
2021-02-10 21:22:37 +0100 | <Liskni_si> | I just have a plain xmonad.hs that I want built against stack-built xmonad |
2021-02-10 21:22:48 +0100 | <Liskni_si> | and for that stack exec ghc works well |
2021-02-10 21:22:51 +0100 | <geekosaur> | the current build-with-stack.sh deals with these things |
2021-02-10 21:23:05 +0100 | <geekosaur> | mostly by not dealing :) |
2021-02-10 21:23:29 +0100 | <geekosaur> | (for example, forcing the user to specify the executable name. mine extracts it from the cabal file) |
2021-02-10 22:02:53 +0100 | <Liskni_si> | mc47: I pushed a fixup into your branch (I still have no idea how github decides whether to allow it or not) |
2021-02-10 22:04:45 +0100 | <mc47> | Yes I just got notified, LGTM! |
2021-02-10 22:05:09 +0100 | <Liskni_si> | okay, I'll rebase autosquash, push again, merge |
2021-02-10 22:06:47 +0100 | <mc47> | awesome :) I'll make another PR with what we discussed tomorrow (maybe tonight if I'm done with learning) |
2021-02-10 22:16:30 +0100 | <Liskni_si> | https://github.com/xmonad/xmonad-contrib/pull/443#issuecomment-777041434 |
2021-02-10 22:16:41 +0100 | <Liskni_si> | summarized like this it looks like a lot of work :-) |
2021-02-10 22:25:26 +0100 | <mc47> | :D |
2021-02-10 22:36:08 +0100 | <geekosaur> | Liskni_si, there's a checkbox on the PR to allow project maintainers access to it |
2021-02-10 22:37:02 +0100 | <Liskni_si> | oh! |
2021-02-10 22:37:32 +0100 | <Liskni_si> | I feel you already told me a while ago, so I will forgot in a month again :-( |
2021-02-10 22:37:54 +0100 | <geekosaur> | I wasn't the one who told you, I think |
2021-02-10 22:39:05 +0100 | <Liskni_si> | :-) |
2021-02-10 23:00:44 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
2021-02-10 23:54:19 +0100 | seschwar | (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
2021-02-10 23:57:13 +0100 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |