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