Home freenode/#xmonad: Logs Calendar

Logs on 2021-05-17 (freenode/#xmonad)

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

All times are in UTC on 2021-05-17.