Logs: liberachat/#xmonad
| 2021-05-29 19:38:51 | <liskin> | I just never thought that's a good use of static/dynamic :-) |
| 2021-05-29 19:40:08 | <mc47> | I obviously didn't give it a lot of thought since it's just in my config |
| 2021-05-29 19:43:40 | <liskin> | anyway I was just going to suggest that we create a statusBar cmd logHook :: String -> X () -> StatusBarConfig function |
| 2021-05-29 19:43:53 | <liskin> | then statusBarPropTo can be implemented in terms of it |
| 2021-05-29 19:44:06 | <liskin> | and staticStatusBar is just statusBar cmd mempty |
| 2021-05-29 19:44:35 | <liskin> | and also statusBarPipe must be implemented using the IORef Handle trick, because it now doesn't work with dynamicSBs |
| 2021-05-29 19:44:53 | <mc47> | yes that sounds reasonable |
| 2021-05-29 19:45:23 | <mc47> | Why doesn't it work? |
| 2021-05-29 19:45:55 | <liskin> | updateSBs relies on sbStartupHook and sbCleanupHook but statusBarPipe launches it itself and doesn't implement these two hooks |
| 2021-05-29 19:46:13 | <liskin> | so if you use statusBarPipe in dynamicSBs, the bar just stays there no matter what |
| 2021-05-29 19:46:45 | <liskin> | didn't notice during the review as I only looked at the diff |
| 2021-05-29 19:46:59 | <liskin> | now that I'm looking at the whole file it's obvious |
| 2021-05-29 19:48:34 | <mc47> | right, that totally slipped my mind :/ |
| 2021-05-29 19:49:51 | <liskin> | I should've persuaded you to use the proper impl of statusBarPipe in the first PR |
| 2021-05-29 19:50:08 | <liskin> | it's an abuse of the StatusBarConfig api :-) |
| 2021-05-29 19:50:54 | <liskin> | you created a nice abstraction, so obviously you then assumed that the abstraction works |
| 2021-05-29 19:51:12 | <mc47> | it feels a bit like cheating if I'm being honest |
| 2021-05-29 19:51:19 | <liskin> | what does? |
| 2021-05-29 19:51:36 | <mc47> | the way statusBarPipe currently is |
| 2021-05-29 19:51:40 | <liskin> | yes :-) |
| 2021-05-29 19:52:06 | <mc47> | I vaguely remember thinking "wait, that ~~should be~~ is illegal" |
| 2021-05-29 19:53:19 | <liskin> | we'd need a way stronger type system to make the current implementation illegal |
| 2021-05-29 20:07:17 | × | mc47 quits (~yecinem@89.246.239.190) (Ping timeout: 272 seconds) |
| 2021-05-29 20:08:05 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-29 20:33:35 | × | Dynom quits (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) (Quit: WeeChat 3.1) |
| 2021-05-29 20:41:08 | × | mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving) |
| 2021-05-29 20:42:37 | <jg> | mc47, I think I am setting it up right, I forked it, and am rebuilding my stack with the fork |
| 2021-05-29 20:52:49 | × | jg quits (~jrgiacone@47.149.222.98) (Quit: Lost terminal) |
| 2021-05-29 21:14:01 | × | gksudo quits (~user@user/gksudo) (Quit: kernel update) |
| 2021-05-29 21:36:23 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-05-29 21:38:08 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-29 21:46:26 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-29 21:51:12 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-29 22:13:14 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-29 22:22:43 | → | benin joins (~benin@183.82.177.19) |
| 2021-05-29 22:28:55 | → | Guest53 joins (~Guest53@ip-178-203-146-137.hsi10.unitymediagroup.de) |
| 2021-05-29 22:29:13 | × | Guest53 quits (~Guest53@ip-178-203-146-137.hsi10.unitymediagroup.de) (Client Quit) |
| 2021-05-29 22:35:02 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-05-29 22:44:21 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 272 seconds) |
| 2021-05-29 23:07:45 | × | werneta quits (~werneta@mobile-166-176-57-108.mycingular.net) (Remote host closed the connection) |
| 2021-05-29 23:12:11 | → | werneta joins (~werneta@mobile-166-176-57-108.mycingular.net) |
| 2021-05-29 23:53:00 | → | jg joins (~jrgiacone@47.149.222.98) |
| 2021-05-30 00:15:53 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-30 00:16:12 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-05-30 00:16:20 | allbery_b | is now known as geekosaur |
| 2021-05-30 00:29:24 | × | mc47[m] quits (~mc47matri@2001:470:69fc:105::733) (*.net *.split) |
| 2021-05-30 00:38:18 | → | mc47[m] joins (~mc47matri@2001:470:69fc:105::733) |
| 2021-05-30 00:47:41 | × | jg quits (~jrgiacone@47.149.222.98) (Ping timeout: 265 seconds) |
| 2021-05-30 00:51:16 | × | mc47[m] quits (~mc47matri@2001:470:69fc:105::733) (Ping timeout: 245 seconds) |
| 2021-05-30 00:57:34 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-30 00:59:05 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-05-30 00:59:10 | allbery_b | is now known as geekosaur |
| 2021-05-30 01:04:35 | → | jg joins (~jrgiacone@47.149.222.98) |
| 2021-05-30 01:14:04 | × | jg quits (~jrgiacone@47.149.222.98) (Quit: Lost terminal) |
| 2021-05-30 01:24:44 | × | tremon_ quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-05-30 01:31:03 | × | themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1) |
| 2021-05-30 01:32:06 | → | mc47[m] joins (~mc47matri@2001:470:69fc:105::733) |
| 2021-05-30 01:44:51 | → | jg joins (~jrgiacone@47.149.222.98) |
| 2021-05-30 02:23:29 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-05-30 02:33:37 | × | td_ quits (~td@94.134.91.167) (Ping timeout: 272 seconds) |
| 2021-05-30 02:34:50 | → | td_ joins (~td@94.134.91.12) |
| 2021-05-30 02:46:15 | × | jg quits (~jrgiacone@47.149.222.98) (Remote host closed the connection) |
| 2021-05-30 03:04:34 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-05-30 03:05:34 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 264 seconds) |
| 2021-05-30 04:30:33 | → | jrgiacon1 joins (~jrgiacone@47.149.222.98) |
| 2021-05-30 04:30:37 | jrgiacon1 | is now known as jg |
| 2021-05-30 05:24:47 | × | jg quits (~jrgiacone@47.149.222.98) (Quit: Lost terminal) |
| 2021-05-30 06:03:56 | → | a6a45081-2b83 joins (~aditya@106.212.79.20) |
| 2021-05-30 06:55:34 | × | a6a45081-2b83 quits (~aditya@106.212.79.20) (Remote host closed the connection) |
| 2021-05-30 07:04:01 | → | qbt joins (~edun@user/edun) |
| 2021-05-30 07:32:25 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-30 07:32:41 | → | codedmart joins (~codedmart@li335-49.members.linode.com) |
| 2021-05-30 07:45:19 | <Solid> | mc47[m]: I think I have written a grand total of like 50 lines of python in my life, so jupyter notebook is not something I've ever looked at :P |
| 2021-05-30 08:04:41 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-05-30 08:10:10 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 268 seconds) |
| 2021-05-30 08:14:18 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-30 08:16:33 | <mc47> | Solid I only used jupyter notebooks for some courses so not that much, but I almost write python on a daily basis and emacs is quite good for it |
| 2021-05-30 08:22:01 | <mc47> | it kinda makes me wonder why haskell isn't popular with the AI crowd... |
| 2021-05-30 08:28:02 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-05-30 08:51:52 | <Solid> | that is a good point |
| 2021-05-30 08:52:00 | <Solid> | haskell seems like a great glue language for this |
| 2021-05-30 08:53:04 | <liskin> | might have to do something with tooling; is there a jupyter for Haskell? also the need for cabal/stack to max your CPU for an hour before you can do anything useful |
| 2021-05-30 09:00:54 | <mc47> | I guess there is |
| 2021-05-30 09:15:50 | → | themainman joins (~themainma@user/themainman) |
| 2021-05-30 09:46:08 | → | jceb joins (~jceb@2a02:8109:4c0:e09:8283:486b:bcfd:d5a8) |
| 2021-05-30 09:59:20 | → | Dynom joins (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) |
| 2021-05-30 10:00:33 | × | spoonm quits (~spoonm@tokyo.spoonm.org) (Ping timeout: 245 seconds) |
| 2021-05-30 10:46:12 | × | jceb quits (~jceb@2a02:8109:4c0:e09:8283:486b:bcfd:d5a8) (Ping timeout: 250 seconds) |
| 2021-05-30 10:47:26 | × | themainman quits (~themainma@user/themainman) (Ping timeout: 268 seconds) |
| 2021-05-30 10:47:26 | × | qbt quits (~edun@user/edun) (Ping timeout: 268 seconds) |
| 2021-05-30 10:48:17 | → | qbt joins (~edun@user/edun) |
| 2021-05-30 10:48:51 | → | themainman joins (~themainma@87.116.176.85) |
| 2021-05-30 10:52:42 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-05-30 11:30:25 | → | tremon_ joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-05-30 11:31:24 | × | mc47[m] quits (~mc47matri@2001:470:69fc:105::733) (Ping timeout: 268 seconds) |
| 2021-05-30 11:31:25 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2021-05-30 11:35:20 | → | themainm1 joins (~themainma@user/themainman) |
| 2021-05-30 11:35:37 | × | themainman quits (~themainma@87.116.176.85) (Ping timeout: 268 seconds) |
| 2021-05-30 11:41:29 | → | mc47[m] joins (~mc47matri@2001:470:69fc:105::733) |
| 2021-05-30 11:45:22 | × | themainm1 quits (~themainma@user/themainman) (Read error: Connection reset by peer) |
All times are in UTC.