| 2021-05-17 00:17:22 +0000 | vanvik | (~nimor@82.194.204.210) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:26 +0000 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2021-05-17 00:17:47 +0000 | vanvik | (~nimor@82.194.204.210) |
| 2021-05-17 00:22:25 +0000 | Natch | (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-17 00:34:40 +0000 | materiyolo | (~materiyol@112.205.57.255) (Quit: WeeChat 3.0.1) |
| 2021-05-17 00:47:41 +0000 | mohab | (~mohab@41.129.95.191) |
| 2021-05-17 00:48:34 +0000 | materiyolo | (~materiyol@112.205.57.255) |
| 2021-05-17 00:56:14 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:b6b3:41e:9821:2954) (Ping timeout: 245 seconds) |
| 2021-05-17 00:59:47 +0000 | mohab | (~mohab@41.129.95.191) (Ping timeout: 268 seconds) |
| 2021-05-17 01:09:45 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:e36f:f64f:f933:dd5f) |
| 2021-05-17 01:29:57 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-05-17 01:30:51 +0000 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-17 01:31:10 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-05-17 01:33:24 +0000 | kajzer | (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 2021-05-17 01:39:41 +0000 | a6a45081-2b83 | (~aditya@171.76.17.86) |
| 2021-05-17 02:11:07 +0000 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-17 02:11:11 +0000 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-05-17 02:11:28 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-05-17 02:16:53 +0000 | materiyolo | (~materiyol@112.205.57.255) (Ping timeout: 260 seconds) |
| 2021-05-17 02:45:49 +0000 | theDon | (~td@94.134.91.128) (Ping timeout: 245 seconds) |
| 2021-05-17 02:47:56 +0000 | theDon | (~td@94.134.91.15) |
| 2021-05-17 03:02:58 +0000 | mohab | (~mohab@41.129.95.191) |
| 2021-05-17 03:16:07 +0000 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-17 03:16:27 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-05-17 03:30:40 +0000 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-17 03:37:03 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-17 04:47:27 +0000 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-17 04:55:13 +0000 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Quit: Leaving) |
| 2021-05-17 05:12:30 +0000 | a6a45081-2b83 | (~aditya@171.76.17.86) (Remote host closed the connection) |
| 2021-05-17 05:25:09 +0000 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-05-17 05:37:24 +0000 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2021-05-17 05:51:54 +0000 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-17 06:22:19 +0000 | ixian | (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 250 seconds) |
| 2021-05-17 06:25:00 +0000 | ixian | (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-05-17 06:33:03 +0000 | gzj | (~gzj@unaffiliated/gzj) (Quit: Leaving) |
| 2021-05-17 06:38:00 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-17 06:45:25 +0000 | notis | (~notis@185.51.134.230) |
| 2021-05-17 06:46:25 +0000 | notis | (~notis@185.51.134.230) (Client Quit) |
| 2021-05-17 06:49:06 +0000 | notis | (~notis@185.51.134.230) |
| 2021-05-17 06:57:53 +0000 | notis | (~notis@185.51.134.230) (Ping timeout: 265 seconds) |
| 2021-05-17 06:59:22 +0000 | notis | (~notis@85.203.44.186) |
| 2021-05-17 07:16:55 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:e36f:f64f:f933:dd5f) (Ping timeout: 250 seconds) |
| 2021-05-17 07:29:30 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:aeb:7147:cca0:e8ac) |
| 2021-05-17 07:46:42 +0000 | mohab | (~mohab@41.129.95.191) (Ping timeout: 265 seconds) |
| 2021-05-17 07:47:35 +0000 | mohab | (~mohab@41.129.95.191) |
| 2021-05-17 07:52:36 +0000 | mohab | (~mohab@41.129.95.191) (Read error: Connection reset by peer) |
| 2021-05-17 07:54:15 +0000 | mohab | (~mohab@41.129.95.191) |
| 2021-05-17 07:54:57 +0000 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-17 08:01:52 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-17 08:06:05 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-17 08:19:32 +0000 | mc47 | (~yecinem@89.246.239.190) |
| 2021-05-17 09:16:49 +0000 | kajzer | (~kajzer@unaffiliated/kajzer) |
| 2021-05-17 09:53:45 +0000 | mohab | (~mohab@41.129.95.191) (Ping timeout: 260 seconds) |
| 2021-05-17 09:54:16 +0000 | mohab | (~mohab@41.129.95.191) |
| 2021-05-17 09:58:39 +0000 | mohab | (~mohab@41.129.95.191) (Ping timeout: 265 seconds) |
| 2021-05-17 10:31:44 +0000 | mohab | (~mohab@41.129.95.191) |
| 2021-05-17 11:10:48 +0000 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-17 11:28:39 +0000 | henninb | (~henninb@63-226-190-31.mpls.qwest.net) |
| 2021-05-17 11:29:59 +0000 | henninb | (~henninb@63-226-190-31.mpls.qwest.net) (Client Quit) |
| 2021-05-17 11:30:36 +0000 | henninb | (~henninb@63-226-190-31.mpls.qwest.net) |
| 2021-05-17 11:30:41 +0000 | mohab | (~mohab@41.129.95.191) (Ping timeout: 240 seconds) |
| 2021-05-17 11:41:02 +0000 | materiyolo | (~materiyol@112.205.57.255) |
| 2021-05-17 11:47:55 +0000 | mohab | (~mohab@41.129.95.191) |
| 2021-05-17 11:49:59 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:aeb:7147:cca0:e8ac) (Ping timeout: 245 seconds) |
| 2021-05-17 11:53:42 +0000 | mohab | (~mohab@41.129.95.191) (Remote host closed the connection) |
| 2021-05-17 12:01:58 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:bb87:2466:bc3c:d7f9) |
| 2021-05-17 13:01:29 +0000 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-05-17 13:04:42 +0000 | henninb | (~henninb@63-226-190-31.mpls.qwest.net) (Quit: Lost terminal) |
| 2021-05-17 13:10:03 +0000 | notis | (~notis@85.203.44.186) (Ping timeout: 265 seconds) |
| 2021-05-17 13:13:45 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 13:22:45 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-17 13:30:07 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-17 13:39:14 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-17 13:50:11 +0000 | sagax | (~sagax_nb@213.138.71.146) (Ping timeout: 246 seconds) |
| 2021-05-17 13:59:00 +0000 | seschwar | (~seschwar@unaffiliated/seschwar) |
| 2021-05-17 14:26:53 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-17 14:33:36 +0000 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-05-17 14:41:11 +0000 | benin | (~benin@183.82.177.199) (Ping timeout: 268 seconds) |
| 2021-05-17 15:01:19 +0000 | notis | (~notis@85.203.44.149) |
| 2021-05-17 15:12:26 +0000 | notis | (~notis@85.203.44.149) (Ping timeout: 240 seconds) |
| 2021-05-17 15:17:52 +0000 | benin | (~benin@183.82.177.199) |
| 2021-05-17 15:20:03 +0000 | notis | (~notis@85.203.44.226) |
| 2021-05-17 15:42:40 +0000 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-17 15:51:00 +0000 | notis | (~notis@85.203.44.226) (Read error: Connection reset by peer) |
| 2021-05-17 15:55:22 +0000 | notis | (~notis@85.203.44.186) |
| 2021-05-17 16:10:09 +0000 | benin | (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-17 16:28:42 +0000 | mohab | (~mohab@156.223.213.178) (Remote host closed the connection) |
| 2021-05-17 16:29:00 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-17 16:35:50 +0000 | mohab | (~mohab@156.223.213.178) (Read error: Connection reset by peer) |
| 2021-05-17 16:36:08 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-17 17:04:06 +0000 | sagax | (~sagax_nb@213.138.71.146) |
| 2021-05-17 17:18:39 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-17 17:19:00 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 17:22:31 +0000 | mohab | (~mohab@156.223.213.178) (Remote host closed the connection) |
| 2021-05-17 17:32:01 +0000 | materiyolo | (~materiyol@112.205.57.255) (Read error: Connection reset by peer) |
| 2021-05-17 17:58:41 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-17 18:04:38 +0000 | notis | (~notis@85.203.44.186) (Read error: Connection reset by peer) |
| 2021-05-17 18:12:37 +0000 | <Solid> | let x = fromConfExt =<< typeRep x `M.lookup` extensibleConf c in x |
| 2021-05-17 18:12:41 +0000 | <Solid> | this breaks my brain a little |
| 2021-05-17 18:12:45 +0000 | <Solid> | why does this terminate? |
| 2021-05-17 18:14:26 +0000 | <geekosaur> | because it's not actually using x's value, only its type? |
| 2021-05-17 18:16:05 +0000 | <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 +0000 | isamiamsam | (~d@zukertort.childrenofmay.org) (Ping timeout: 252 seconds) |
| 2021-05-17 18:21:50 +0000 | <Liskni_si> | yeah, it's one of those "old people prefer let hacks over ScopedTypeVariables" situations :-) |
| 2021-05-17 18:22:57 +0000 | <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 +0000 | <Liskni_si> | anyway, using (undefined `asTypeOf` x) could make this more readable, possibly |
| 2021-05-17 18:24:00 +0000 | <geekosaur> | the cleverer the language, the cleverer the ways it breaks :รพ |
| 2021-05-17 18:24:28 +0000 | <Liskni_si> | (off to dinner, will reply later, sorry) |
| 2021-05-17 18:27:39 +0000 | <Solid> | oh interesting |
| 2021-05-17 18:29:14 +0000 | <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 +0000 | <geekosaur> | I don't, it |
| 2021-05-17 18:29:46 +0000 | <geekosaur> | 's kinda spooky action at a distance |
| 2021-05-17 19:09:37 +0000 | <Liskni_si> | Solid: you may try TypeApplications too |
| 2021-05-17 19:09:50 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-17 19:10:37 +0000 | <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 +0000 | <Solid> | btw, I think that this is really cool |
| 2021-05-17 19:10:49 +0000 | <Solid> | so thanks :) |
| 2021-05-17 19:11:18 +0000 | <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 +0000 | <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 +0000 | <Liskni_si> | now we just need to figure out how to handle all this dependency stuff |
| 2021-05-17 19:13:23 +0000 | <Solid> | the real fun |
| 2021-05-17 19:15:46 +0000 | cyr4x3 | (~cyr4x3@139.47.119.53) |
| 2021-05-17 19:18:19 +0000 | <Liskni_si> | have you guys ever been to ZuriHac, btw? |
| 2021-05-17 19:18:38 +0000 | <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 +0000 | <geekosaur> | nope |
| 2021-05-17 19:22:46 +0000 | <Solid> | I participated in the online event last year |
| 2021-05-17 19:22:52 +0000 | <Solid> | It was... an online event |
| 2021-05-17 19:23:42 +0000 | <mc47> | that's the first time I hear about it |
| 2021-05-17 19:23:54 +0000 | <mc47> | it might be fun, but I'm kinda not motivated |
| 2021-05-17 19:24:07 +0000 | <Liskni_si> | Solid: do tell more, if you can; I have absolutely no idea what to expect |
| 2021-05-17 19:24:29 +0000 | <Solid> | I remember one workshop about generics being really good, but online conferences really fail to capture what I like about conferences |
| 2021-05-17 19:24:53 +0000 | <geekosaur> | the hallway track? |
| 2021-05-17 19:25:04 +0000 | <Liskni_si> | I was hoping it'd be more a hackathon than a conference |
| 2021-05-17 19:25:05 +0000 | cyr4x3 | (~cyr4x3@139.47.119.53) (Quit: WeeChat 2.3) |
| 2021-05-17 19:25:11 +0000 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-17 19:25:23 +0000 | cyr4x3 | (~cyr4x3@139.47.119.53) |
| 2021-05-17 19:25:29 +0000 | <Solid> | it is if you ignore the talks :D but even for hackathon I need human contact :/ |
| 2021-05-17 19:25:39 +0000 | <Solid> | basically, there's a big discord server (yikes) with different rooms for different projects (people can ask for rooms) |
| 2021-05-17 19:25:47 +0000 | <Liskni_si> | and that being online would solve my social anxiety issues |
| 2021-05-17 19:25:50 +0000 | <Solid> | plus some off-topic stuff, plus rooms for talks where you can ask questions |
| 2021-05-17 19:26:04 +0000 | cyr4x3 | (~cyr4x3@139.47.119.53) (Client Quit) |
| 2021-05-17 19:26:17 +0000 | <Liskni_si> | I've been to conference once or twice, but never talked to anyone, as those people were already talking to one another :-/ |
| 2021-05-17 19:26:31 +0000 | cyr4x3 | (~cyr4x3@139.47.119.53) |
| 2021-05-17 19:26:32 +0000 | geekosaur | resembles that one |
| 2021-05-17 19:26:52 +0000 | <Liskni_si> | (the good old trick of getting absolutely shitfaced at 10 am is frowned upon at international conferences, unfortunately) |
| 2021-05-17 19:27:25 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-17 19:27:46 +0000 | cyr4x3 | (~cyr4x3@139.47.119.53) (Client Quit) |
| 2021-05-17 19:28:00 +0000 | cyr4x3 | (~cyr4x3@139.47.119.53) |
| 2021-05-17 19:28:24 +0000 | <Liskni_si> | mc47: not motivated in general or not motivated by zurihac in particular? |
| 2021-05-17 19:29:29 +0000 | <mc47> | in general, if everything goes well, I should be chilling by the beach by then |
| 2021-05-17 19:29:56 +0000 | <mc47> | or still working on my bachelor thesis because I procrastinated too much |
| 2021-05-17 19:31:55 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-17 19:32:45 +0000 | <Liskni_si> | :-) |
| 2021-05-17 19:33:39 +0000 | <Solid> | let's hope it's the beach :P |
| 2021-05-17 19:41:11 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-17 19:41:29 +0000 | cyr4x3 | (~cyr4x3@139.47.119.53) (Quit: WeeChat 2.3) |
| 2021-05-17 19:41:32 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 20:04:38 +0000 | <mc47> | fingers crossed |
| 2021-05-17 20:04:54 +0000 | <mc47> | Liskni_si I think the PRs you added today are pretty cool! good job |
| 2021-05-17 20:06:42 +0000 | <Liskni_si> | I'm glad you guys like it; I'm very excited about them myself, I think it'll improve a lot of stuff |
| 2021-05-17 20:07:24 +0000 | <mc47> | I didn't have time to look at the implementation details, but the contribution solves a real problem |
| 2021-05-17 20:09:53 +0000 | benin | (~benin@183.82.177.199) |
| 2021-05-17 20:13:52 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-17 20:44:14 +0000 | samiamsam | (~d@zukertort.childrenofmay.org) |
| 2021-05-17 21:04:10 +0000 | notis | (~notis@85.203.44.186) |
| 2021-05-17 21:06:56 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-17 21:20:50 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-17 21:21:08 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-17 21:35:20 +0000 | notis | (~notis@85.203.44.186) (Ping timeout: 246 seconds) |
| 2021-05-17 21:36:06 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 265 seconds) |
| 2021-05-17 21:37:30 +0000 | notis | (~notis@185.51.134.229) |
| 2021-05-17 21:48:25 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-17 21:48:46 +0000 | samiamsam | (~d@zukertort.childrenofmay.org) (Ping timeout: 252 seconds) |
| 2021-05-17 22:00:29 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:bb87:2466:bc3c:d7f9) (Ping timeout: 250 seconds) |
| 2021-05-17 22:02:26 +0000 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-17 22:09:59 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-17 22:12:20 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) |
| 2021-05-17 22:26:44 +0000 | seschwar | (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-05-17 22:45:41 +0000 | notis | (~notis@185.51.134.229) (Ping timeout: 240 seconds) |
| 2021-05-17 22:47:51 +0000 | notis | (~notis@85.203.44.149) |
| 2021-05-17 23:24:43 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-17 23:32:25 +0000 | a6a45081-2b83 | (~aditya@171.76.17.86) |
| 2021-05-17 23:32:25 +0000 | a6a45081-2b83 | (~aditya@171.76.17.86) (Client Quit) |
| 2021-05-17 23:40:19 +0000 | notis | (~notis@85.203.44.149) (Ping timeout: 265 seconds) |