Logs: freenode/#xmonad
| 2021-05-17 04:47:27 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-17 04:55:13 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Quit: Leaving) |
| 2021-05-17 05:12:30 | × | a6a45081-2b83 quits (~aditya@171.76.17.86) (Remote host closed the connection) |
| 2021-05-17 05:25:09 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-05-17 05:37:24 | → | yosafbridge joins (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2021-05-17 05:51:54 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-17 06:22:19 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 250 seconds) |
| 2021-05-17 06:25:00 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-05-17 06:33:03 | × | gzj quits (~gzj@unaffiliated/gzj) (Quit: Leaving) |
| 2021-05-17 06:38:00 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-17 06:45:25 | → | notis joins (~notis@185.51.134.230) |
| 2021-05-17 06:46:25 | × | notis quits (~notis@185.51.134.230) (Client Quit) |
| 2021-05-17 06:49:06 | → | notis joins (~notis@185.51.134.230) |
| 2021-05-17 06:57:53 | × | notis quits (~notis@185.51.134.230) (Ping timeout: 265 seconds) |
| 2021-05-17 06:59:22 | → | notis joins (~notis@85.203.44.186) |
| 2021-05-17 07:16:55 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:e36f:f64f:f933:dd5f) (Ping timeout: 250 seconds) |
| 2021-05-17 07:29:30 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:aeb:7147:cca0:e8ac) |
| 2021-05-17 07:46:42 | × | mohab quits (~mohab@41.129.95.191) (Ping timeout: 265 seconds) |
| 2021-05-17 07:47:35 | → | mohab joins (~mohab@41.129.95.191) |
| 2021-05-17 07:52:36 | × | mohab quits (~mohab@41.129.95.191) (Read error: Connection reset by peer) |
| 2021-05-17 07:54:15 | → | mohab joins (~mohab@41.129.95.191) |
| 2021-05-17 07:54:57 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-17 08:01:52 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-17 08:06:05 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-17 08:19:32 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-17 09:16:49 | → | kajzer joins (~kajzer@unaffiliated/kajzer) |
| 2021-05-17 09:53:45 | × | mohab quits (~mohab@41.129.95.191) (Ping timeout: 260 seconds) |
| 2021-05-17 09:54:16 | → | mohab joins (~mohab@41.129.95.191) |
| 2021-05-17 09:58:39 | × | mohab quits (~mohab@41.129.95.191) (Ping timeout: 265 seconds) |
| 2021-05-17 10:31:44 | → | mohab joins (~mohab@41.129.95.191) |
| 2021-05-17 11:10:48 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-17 11:28:39 | → | henninb joins (~henninb@63-226-190-31.mpls.qwest.net) |
| 2021-05-17 11:29:59 | × | henninb quits (~henninb@63-226-190-31.mpls.qwest.net) (Client Quit) |
| 2021-05-17 11:30:36 | → | henninb joins (~henninb@63-226-190-31.mpls.qwest.net) |
| 2021-05-17 11:30:41 | × | mohab quits (~mohab@41.129.95.191) (Ping timeout: 240 seconds) |
| 2021-05-17 11:41:02 | → | materiyolo joins (~materiyol@112.205.57.255) |
| 2021-05-17 11:47:55 | → | mohab joins (~mohab@41.129.95.191) |
| 2021-05-17 11:49:59 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:aeb:7147:cca0:e8ac) (Ping timeout: 245 seconds) |
| 2021-05-17 11:53:42 | × | mohab quits (~mohab@41.129.95.191) (Remote host closed the connection) |
| 2021-05-17 12:01:58 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:bb87:2466:bc3c:d7f9) |
| 2021-05-17 13:01:29 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-05-17 13:04:42 | × | henninb quits (~henninb@63-226-190-31.mpls.qwest.net) (Quit: Lost terminal) |
| 2021-05-17 13:10:03 | × | notis quits (~notis@85.203.44.186) (Ping timeout: 265 seconds) |
| 2021-05-17 13:13:45 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 13:22:45 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-17 13:30:07 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-17 13:39:14 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-17 13:50:11 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 246 seconds) |
| 2021-05-17 13:59:00 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-05-17 14:26:53 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-17 14:33:36 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-05-17 14:41:11 | × | benin quits (~benin@183.82.177.199) (Ping timeout: 268 seconds) |
| 2021-05-17 15:01:19 | → | notis joins (~notis@85.203.44.149) |
| 2021-05-17 15:12:26 | × | notis quits (~notis@85.203.44.149) (Ping timeout: 240 seconds) |
| 2021-05-17 15:17:52 | → | benin joins (~benin@183.82.177.199) |
| 2021-05-17 15:20:03 | → | notis joins (~notis@85.203.44.226) |
| 2021-05-17 15:42:40 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-17 15:51:00 | × | notis quits (~notis@85.203.44.226) (Read error: Connection reset by peer) |
| 2021-05-17 15:55:22 | → | notis joins (~notis@85.203.44.186) |
| 2021-05-17 16:10:09 | × | benin quits (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-17 16:28:42 | × | mohab quits (~mohab@156.223.213.178) (Remote host closed the connection) |
| 2021-05-17 16:29:00 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-17 16:35:50 | × | mohab quits (~mohab@156.223.213.178) (Read error: Connection reset by peer) |
| 2021-05-17 16:36:08 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-17 17:04:06 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 2021-05-17 17:18:39 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-17 17:19:00 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 17:22:31 | × | mohab quits (~mohab@156.223.213.178) (Remote host closed the connection) |
| 2021-05-17 17:32:01 | × | materiyolo quits (~materiyol@112.205.57.255) (Read error: Connection reset by peer) |
| 2021-05-17 17:58:41 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-17 18:04:38 | × | notis quits (~notis@85.203.44.186) (Read error: Connection reset by peer) |
| 2021-05-17 18:12:37 | <Solid> | let x = fromConfExt =<< typeRep x `M.lookup` extensibleConf c in x |
| 2021-05-17 18:12:41 | <Solid> | this breaks my brain a little |
| 2021-05-17 18:12:45 | <Solid> | why does this terminate? |
| 2021-05-17 18:14:26 | <geekosaur> | because it's not actually using x's value, only its type? |
| 2021-05-17 18:16:05 | <geekosaur> | pretty sure you could pass an appropriately typed undefined there and it would still work (but be less useful) |
| 2021-05-17 18:17:54 | × | isamiamsam quits (~d@zukertort.childrenofmay.org) (Ping timeout: 252 seconds) |
| 2021-05-17 18:21:50 | <Liskni_si> | yeah, it's one of those "old people prefer let hacks over ScopedTypeVariables" situations :-) |
| 2021-05-17 18:22:57 | <Liskni_si> | but the first time I wrote this, there was typeOf in place of typeRep, which is one proxy/Maybe away from the correct type, and it still typechecked yet didn't work, so it's questionable whether the let hack is really less error-prone than explicit typing |
| 2021-05-17 18:23:48 | <Liskni_si> | anyway, using (undefined `asTypeOf` x) could make this more readable, possibly |
| 2021-05-17 18:24:00 | <geekosaur> | the cleverer the language, the cleverer the ways it breaks :þ |
| 2021-05-17 18:24:28 | <Liskni_si> | (off to dinner, will reply later, sorry) |
| 2021-05-17 18:27:39 | <Solid> | oh interesting |
| 2021-05-17 18:29:14 | <Solid> | I'll play around with this a bit tomorrow; I have faith that ScopedTypeVariables will make this much more readable :P |
| 2021-05-17 18:29:37 | <geekosaur> | I don't, it |
| 2021-05-17 18:29:46 | <geekosaur> | 's kinda spooky action at a distance |
| 2021-05-17 19:09:37 | <Liskni_si> | Solid: you may try TypeApplications too |
| 2021-05-17 19:09:50 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-17 19:10:37 | <Solid> | oh good point, that gets rid of some Proxy's every now and then, so maybe it'll be useful here too |
| 2021-05-17 19:10:45 | <Solid> | btw, I think that this is really cool |
| 2021-05-17 19:10:49 | <Solid> | so thanks :) |
| 2021-05-17 19:11:18 | <Liskni_si> | I have no strong opinions about this, personally; instinctively I went with what was simplest/shortest, but readable trumps short most times |
| 2021-05-17 19:12:31 | <Liskni_si> | anyway, I have (again) high hopes that when this lands, the EwmhDesktops stuff of #399 should follow easily and nicely |
| 2021-05-17 19:12:51 | <Liskni_si> | now we just need to figure out how to handle all this dependency stuff |
| 2021-05-17 19:13:23 | <Solid> | the real fun |
| 2021-05-17 19:15:46 | → | cyr4x3 joins (~cyr4x3@139.47.119.53) |
| 2021-05-17 19:18:19 | <Liskni_si> | have you guys ever been to ZuriHac, btw? |
| 2021-05-17 19:18:38 | <Liskni_si> | it's online this year so I registered, but I have no idea what it will be like |
| 2021-05-17 19:19:48 | <geekosaur> | nope |
| 2021-05-17 19:22:46 | <Solid> | I participated in the online event last year |
All times are in UTC.