Home freenode/#xmonad: Logs Calendar

Logs on 2021-04-29 (freenode/#xmonad)

00:25:33 × kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1)
01:37:13 × kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1)
01:44:00 × heatwave quits (~heatwave@192.145.118.161) (Quit: WeeChat 3.1)
01:45:54 → heatwave joins (~heatwave@192.145.118.157)
01:54:03 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
02:30:52 × theDon quits (~td@94.134.91.183) (Ping timeout: 240 seconds)
02:32:53 → theDon joins (~td@muedsl-82-207-238-033.citykom.de)
03:23:08 → novas0x2a1 joins (~blah@157-131-126-102.fiber.dynamic.sonic.net)
03:25:37 × novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
03:35:13 × growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
05:33:33 → ChubaDuba joins (~ChubaDuba@46.147.119.123)
05:34:20 → xubun2 joins (~xubun2@unaffiliated/xubun2)
05:50:41 → wonko7 joins (~wonko7@62.115.229.50)
06:01:24 → ChubaDub1 joins (~ChubaDuba@5.165.252.247)
06:04:04 × ChubaDuba quits (~ChubaDuba@46.147.119.123) (Ping timeout: 268 seconds)
06:26:53 → cfricke joins (~cfricke@unaffiliated/cfricke)
06:29:01 → materiyolo joins (~materiyol@112.204.174.249)
06:30:17 → idhugo__ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
07:14:04 → thc202 joins (~thc202@unaffiliated/thc202)
07:42:29 → notis joins (~notis@185.51.134.222)
07:47:57 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
08:01:37 → kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de)
08:11:29 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
08:23:07 × materiyolo quits (~materiyol@112.204.174.249) (Read error: Connection reset by peer)
08:27:05 × ChubaDub1 quits (~ChubaDuba@5.165.252.247) (Quit: WeeChat 1.6)
08:45:21 × kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1)
09:10:56 × notis quits (~notis@185.51.134.222) (Ping timeout: 246 seconds)
09:21:52 → materiyolo joins (~materiyol@112.204.174.249)
09:45:34 → kajzer joins (~kajzer@unaffiliated/kajzer)
10:23:20 <Solid> Liskni_si: r.e. #76: shouldn't we rather bracket the two peeks in getClassHint instead of the call to xGetClassHint?
10:23:37 <Solid> we can't really do any meaningful cleanup with just the status
10:23:53 <Liskni_si> Solid: xGetClassHint is the one that allocates the two strings
10:34:56 <Solid> but if we bracket that and an exception occurs surely it's not safe to peek to get the pointers to res_{name,class}?
10:36:38 <Liskni_si> not sure I follow
10:36:57 <Liskni_si> the bracket is there so that if an exception occurs, we don't forget the xFrees
10:39:05 <Liskni_si> s/is there/would be there/ :-)
10:40:21 <Solid> but if we put `xGetClassHint` in the acquire then the release only gets a `Status`; we only get the pointers after calling `#{peek ...}`
10:42:07 <Liskni_si> oh, I see
10:43:05 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
10:43:15 <Liskni_si> but I believe it is indeed safe to peek at the pointers, as long as you're inside the alloca XClassHint bracket
10:43:37 <Liskni_si> although it is a bit weird to peek at them twice
10:49:31 <Liskni_si> it's a shame there's no alloca that acts like calloc :-/
10:50:02 <Liskni_si> turns out it's not really safe to peek without also making sure the pointers are initialized to NULL
10:50:24 <Liskni_si> this will end up being ugly code :-/
10:51:49 <Liskni_si> it's entirely possible the rest of X11 (the haskell lib) is just as unsafe with exceptions, and in that case it may be best to just give up :-)
10:52:53 <Liskni_si> it's mostly async exceptions we're talking about here, xGetClassHint or peek won't raise anything meaningful really
11:03:45 → _0dI joins (~user@193-154-44-255.adsl.highway.telekom.at)
11:25:57 → notis joins (~notis@85.203.44.60)
11:38:44 <mc47[m]> Solid did you think about including your TI datatype in the TopicSpace module? I think they're pretty neat
11:42:30 <mc47[m]> DynamicProjects was cool but it messes up my workspaces, and I'm not sure if that's the expected behavior
11:47:31 → cfricke joins (~cfricke@unaffiliated/cfricke)
11:56:10 <Solid> mc47[m]: I think I stole that particular definition from byorgey's config so I'd feel a bit weird about just adding it :P
11:57:09 <Solid> Liskni_si: I see similar xFree usage throughout, but I still feel some self-destructive urge to get this right
11:57:26 <mc47[m]> Oh, byorgey wrote DynamicProjects and it goes somewhere in that direction...
11:59:17 <Solid> wrote and uses are two different things sometimes :>
12:05:32 × xubun2 quits (~xubun2@unaffiliated/xubun2) (Ping timeout: 240 seconds)
12:08:31 → xubun2 joins (~xubun2@unaffiliated/xubun2)
12:40:17 → mc47 joins (~yecinem@89.246.239.190)
12:45:15 × idhugo__ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection)
12:45:42 → idhugo__ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
12:50:16 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
12:55:00 <mc47> Solid yep he doesn't use it apparently... I promised myself I won't spend too much on it, but it's getting harder to keep that promise :D
12:55:01 × notis quits (~notis@85.203.44.60) (Read error: Connection reset by peer)
12:55:14 <Solid> :)
12:59:37 × idhugo__ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
13:03:50 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
13:17:14 → kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de)
13:36:47 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
13:41:49 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
13:43:38 → eb0t joins (~eblip@unaffiliated/eblip)
14:10:21 → idhugo__ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
14:43:10 → cfricke joins (~cfricke@unaffiliated/cfricke)
14:56:41 × kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1)
15:36:27 → seschwar joins (~seschwar@unaffiliated/seschwar)
15:40:07 → growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net)
15:58:26 → notis joins (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77)
16:04:33 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
16:06:06 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
16:15:05 <Solid> oh you merged the x11 pr already
16:15:38 <Solid> that means I'm saved from self destructive tendencies
16:15:40 <Solid> yay :D
16:20:09 <Liskni_si> I didn't realize you actually intended to act upon those tendencies in that same PR
16:20:16 <Liskni_si> but it's for the best I guess :-)
16:20:29 <Solid> :)
16:20:38 <Solid> tbh I should really lose my fear of low-level stuff
16:20:45 <Solid> maybe I'll revisit this at some poin
16:25:33 <Liskni_si> that fear is understandable, as the type system no longer has your back there
16:26:02 <Liskni_si> I wonder if running GHC-compiled code under valgrind prints a lot of noise or not
16:27:05 <Liskni_si> and then there's all that modern stuff like fuzzers and address space whatever and stack canaries and whatnot that wasn't available when I was young enough to do low-level stuff on a daily basis
16:27:26 <Liskni_si> but it's not as solid as a type system :-)
16:27:41 <geekosaur> +RTS -V0
16:28:27 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
16:28:42 <geekosaur> turns off the master timer, which reduces the noise considerably
16:29:55 <geekosaur> I do wonder what valgrind would make of the 2-stage allocator though
16:30:06 <geekosaur> memcheck's probably a lost cause
16:33:19 <geekosaur> sadly there's no RTS option to select the old memory allocator, you need a ghc built with it
16:33:44 <Liskni_si> I must admit I have very little idea what you're talking about :-)
16:39:07 × materiyolo quits (~materiyol@112.204.174.249) (Read error: Connection reset by peer)
16:40:03 <Solid> here's to hoping that I'll pick some of this stuff up through osmosis as time goes on =)
16:44:45 × notis quits (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77) (Ping timeout: 250 seconds)
16:45:07 → notis joins (~notis@85.203.44.100)
16:55:12 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
16:57:06 × coldpress quits (~coldpress@128.9.105.34.bc.googleusercontent.com) (Ping timeout: 240 seconds)
16:57:43 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
17:00:32 × idhugo__ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
17:22:50 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
17:38:11 × xubun2 quits (~xubun2@unaffiliated/xubun2) (Ping timeout: 240 seconds)
18:12:51 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
18:16:49 → ADG1089 joins (~aditya@171.76.29.233)
18:21:53 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
19:12:35 × ml| quits (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 246 seconds)
19:20:40 → linuxguru joins (~linuxguru@2607:fea8:d660:468e::3)
19:25:56 → ml| joins (~ml|@unaffiliated/ml/x-3958674)
19:30:41 × ml| quits (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 268 seconds)
19:39:42 × heatwave quits (~heatwave@192.145.118.157) (Quit: WeeChat 3.1)
19:43:00 → ml| joins (~ml|@unaffiliated/ml/x-3958674)
19:44:13 → toniz4 joins (~toniz4@unaffiliated/toniz4)
19:44:42 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
19:50:14 × toniz4 quits (~toniz4@unaffiliated/toniz4) (Quit: leaving)
19:50:33 → toniz4 joins (~toniz4@unaffiliated/toniz4)
19:51:41 × wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds)
20:02:13 × _0dI quits (~user@193-154-44-255.adsl.highway.telekom.at) (Ping timeout: 260 seconds)
20:31:22 × notis quits (~notis@85.203.44.100) (Ping timeout: 252 seconds)
20:33:31 → notis joins (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77)
20:45:07 × ADG1089 quits (~aditya@171.76.29.233) (Remote host closed the connection)
21:02:15 × toniz4 quits (~toniz4@unaffiliated/toniz4) (Remote host closed the connection)
21:02:29 × kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1)
21:03:10 → kajzer joins (~kajzer@unaffiliated/kajzer)
21:40:26 × linuxguru quits (~linuxguru@2607:fea8:d660:468e::3) (Quit: WeeChat 3.1)
21:52:54 × seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq)
22:24:18 → drl joins (~l@2600:1700:8360:3870:4d08:914b:f058:f092)
22:31:37 × drl quits (~l@2600:1700:8360:3870:4d08:914b:f058:f092) (Quit: Leaving)
22:54:28 × kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1)
22:54:49 → kajzer joins (~kajzer@unaffiliated/kajzer)
23:02:19 × notis quits (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77) (Ping timeout: 260 seconds)
23:19:40 × gazler_ quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 252 seconds)
23:37:29 → gazler joins (~gazler@195.107.2.81.in-addr.arpa)

All times are in UTC on 2021-04-29.