Home freenode/#xmonad: Logs Calendar

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

00:00:59 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
00:23:02 × kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1)
00:23:20 × wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds)
00:23:32 → kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de)
00:23:32 × kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Client Quit)
00:47:02 × kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1)
01:06:02 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds)
02:42:52 → a6a45081-2b83 joins (~aditya@122.163.207.227)
02:44:57 × theDon quits (~td@94.134.91.15) (Ping timeout: 265 seconds)
02:46:43 → theDon joins (~td@muedsl-82-207-238-185.citykom.de)
02:54:20 × a6a45081-2b83 quits (~aditya@122.163.207.227) (Quit: Konversation terminated!)
02:56:11 → a6a45081-2b83 joins (~aditya@122.163.207.227)
02:57:08 <a6a45081-2b83> what are alternatives to something like kde plasmoids/gnome applets/osx menu bar widgets if using something like xmonad+xmobar?
03:04:45 → f33f046c-a02e joins (~aditya@122.163.149.247)
03:05:16 × a6a45081-2b83 quits (~aditya@122.163.207.227) (Ping timeout: 260 seconds)
03:06:32 → ghormoon_ joins (~ghormoon@ghorland.net)
03:06:39 × ghormoon quits (~ghormoon@ghorland.net) (Ping timeout: 252 seconds)
03:28:29 × mohab quits (~mohab@156.223.213.178) (Read error: Connection reset by peer)
03:29:56 → mohab joins (~mohab@156.223.213.178)
03:40:24 × mohab quits (~mohab@156.223.213.178) (Read error: Connection reset by peer)
03:40:34 → mohab joins (~mohab@156.223.213.178)
04:55:26 × f33f046c-a02e quits (~aditya@122.163.149.247) (Remote host closed the connection)
05:57:43 × growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
05:58:55 → pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de)
06:08:07 → cfricke joins (~cfricke@unaffiliated/cfricke)
06:11:57 × CosmosAtlas quits (~CosmosAtl@222.94.107.137) (Quit: WeeChat 3.1)
06:32:18 → kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de)
06:53:19 → seschwar joins (~seschwar@unaffiliated/seschwar)
06:55:29 → thc202 joins (~thc202@unaffiliated/thc202)
07:08:26 → def_jam joins (~eblip@unaffiliated/eblip)
07:09:26 × eblip quits (~eblip@unaffiliated/eblip) (Ping timeout: 240 seconds)
07:21:46 → notis joins (~notis@85.203.44.186)
07:24:05 × mohab quits (~mohab@156.223.213.178) (Ping timeout: 260 seconds)
08:21:10 × pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection)
08:30:14 <Solid> Liskni_si: you were right, TypeApplications provide a great way to go about things
08:31:52 <Solid> now I just need to find out if this is actually correct (the added tests don't quite seem to catch all errors)
08:34:54 <Liskni_si> uh, what errors do they not catch?
08:35:25 <Liskni_si> definitely do add more tests if there are errors not caught by them or the type system
08:42:35 <Solid> If we just add everything as an `Int` things still typecheck and the tests still work
08:43:47 <Solid> so we probably just need to add some tests that adds things of different types
08:53:02 <Liskni_si> how do you add something as Int if you don't have an Int? :-)
08:55:58 <Solid> with undefined :D
08:56:04 <Solid> something like typeOf (undefined :: Int)
08:56:30 <Solid> It's a stupid error I agree, but the test is easy to write and runs in no time at all
08:58:14 <Liskni_si> if you use undefined instead of the value when writing back to extensibleConf, then surely the lookup tests already fail
08:58:45 <Liskni_si> oh, but you can put it in the map under a different type, okay
08:58:55 <Liskni_si> sure, add a test for a different type, why not
08:59:40 <Liskni_si> a test that adds and looks up two different types might be a good idea
09:00:01 <Liskni_si> anyway it seems like now is the only time without rain this whole week, so I'm out
09:00:59 <Solid> hf! :)
09:06:18 × notis quits (~notis@85.203.44.186) (Ping timeout: 265 seconds)
09:07:19 → kajzer joins (~kajzer@unaffiliated/kajzer)
09:08:08 → notis joins (~notis@85.203.44.98)
09:11:25 → mohab joins (~mohab@156.223.213.178)
09:42:40 × Irishluck83 quits (~Irishluck@unaffiliated/irishluck83) (Ping timeout: 252 seconds)
09:43:20 → Irishluck83 joins (~Irishluck@149.28.126.73)
09:43:20 × Irishluck83 quits (~Irishluck@149.28.126.73) (Changing host)
09:43:20 → Irishluck83 joins (~Irishluck@unaffiliated/irishluck83)
09:51:47 → materiyolo joins (~materiyol@112.205.57.255)
09:54:38 × novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Read error: Connection reset by peer)
09:54:43 → novas0x2a1 joins (~blah@157-131-126-102.fiber.dynamic.sonic.net)
10:28:43 <dminuoso> Solid: TypeApplication is a sad part of Haskell. It's just not right :(
10:29:43 <Solid> dminuoso: how so?
10:30:58 <dminuoso> For one, suddenly type variable order becomes part of your API - which means you need to forall every type variable if you dont want unexpected breakage (or worse buggy code when applying to the wrong type argument)
10:31:23 <dminuoso> Also, you cant apply visible type variables to inferred type arguments
10:31:33 <dminuoso> That bit very rapidly gets incredibly frustrating
10:32:45 <dminuoso> Every time I have used TypeApplication I have regretted it, Proxy is just the cleaner and more stable approach
10:33:18 <dminuoso> (And regarding unexpected breackage, GHC has made modifications twice already that changed the implicit type order, if not specified with forall)
10:33:42 × materiyolo quits (~materiyol@112.205.57.255) (Quit: WeeChat 3.0.1)
10:33:43 <Solid> Proxy just creates unnecessary noise tbh :/
10:33:57 → materiyolo joins (~materiyol@112.205.57.255)
10:34:00 <Solid> But all functions that are supposed to be used with TypeApplications have an explicit forall in them anyways (in this case)
10:34:14 <dminuoso> TypeApplications in the absence of binding sites is very orthogonal and universe crossing
10:34:16 <dminuoso> for instance
10:34:31 <dminuoso> You cant write `f @a x = ....` (yet)
10:34:42 <dminuoso> Which means you hoist the binding site to an implicit type level
10:34:53 <dminuoso> binding in a type signature, and using it in code below
10:35:05 <dminuoso> I find that aesthetically even less pleasing than Proxy
11:45:11 × notis quits (~notis@85.203.44.98) (Ping timeout: 240 seconds)
12:21:51 → a6a45081-2b83 joins (~aditya@122.163.149.247)
12:30:24 × a6a45081-2b83 quits (~aditya@122.163.149.247) (Remote host closed the connection)
12:40:13 → notis joins (~notis@85.203.44.245)
12:45:13 → davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net)
12:48:22 → geekosaur joins (45870322@069-135-003-034.biz.spectrum.com)
12:55:33 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed)
13:00:56 → geekosaur joins (45870322@069-135-003-034.biz.spectrum.com)
13:23:23 × arca0[m] quits (kamilmatri@gateway/shell/matrix.org/x-byrwzdateroorkqx) (Ping timeout: 260 seconds)
13:35:31 × [Neurotic]__ quits (sid10123@gateway/web/irccloud.com/x-dtvyylvtovyxxiia) (Ping timeout: 260 seconds)
13:35:57 × benin quits (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat)
13:37:29 → arca0[m] joins (kamilmatri@gateway/shell/matrix.org/x-mbptuzsiayvjbazs)
13:38:41 → [Neurotic]__ joins (sid10123@gateway/web/irccloud.com/x-bvfachcfnvyoshte)
13:55:32 × qudi quits (~qudi@cpc75392-sotn16-2-0-cust240.15-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in)
13:55:48 → qudi joins (~qudi@cpc75392-sotn16-2-0-cust240.15-1.cable.virginm.net)
13:59:51 → agent13 joins (~sam@unaffiliated/sam-d/x-1905598)
13:59:57 → styledash7 joins (~styledash@157.230.173.136)
14:00:30 × yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving)
14:01:14 → yosafbridge joins (~yosafbrid@static.38.6.217.95.clients.your-server.de)
14:01:30 × sam_d quits (~sam@unaffiliated/sam-d/x-1905598) (Quit: Bye)
14:01:30 × styledash quits (~styledash@157.230.173.136) (Quit: Ping timeout (120 seconds))
14:01:30 styledash7 is now known as styledash
14:01:30 × mohab quits (~mohab@156.223.213.178) (Ping timeout: 240 seconds)
14:03:51 → mohab joins (~mohab@156.223.213.178)
14:07:15 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) (Ping timeout: 260 seconds)
14:10:07 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed)
14:10:26 → geekosaur joins (45870322@069-135-003-034.biz.spectrum.com)
14:11:55 → growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net)
14:16:37 × materiyolo quits (~materiyol@112.205.57.255) (Quit: WeeChat 3.0.1)
14:19:25 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:dcc7:3c52:3009:4cfd)
14:39:04 → mc47 joins (~yecinem@89.246.239.190)
15:27:31 × mohab quits (~mohab@156.223.213.178) (Ping timeout: 252 seconds)
16:07:16 → yakamo joins (~yakamo@yakamok.art)
16:08:10 <yakamo> hi, im running xmonad on Manjaro everything works perfectly except one of my games that trys to go into fullscreen but just runs without anything appearking just the terminal
16:08:15 <yakamo> and idea what i might be missing
16:08:16 <yakamo> ?
16:08:40 <yakamo> any*
16:09:22 <geekosaur> if it's mono-based then it won't work in a nonreparenting window manager, it can't find its canvas window
16:09:39 <geekosaur> if it's java-based then it has the same problem but there's a workaround
16:11:10 <yakamo> its c++ if i remember right
16:11:14 <yakamo> its 0ad
16:11:15 ← davemq parts (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)")
16:11:40 <yakamo> i dont know anything about game development though
16:14:59 <geekosaur> conceivably it has the same problem although most programs do things properly and can adapt to not having a frame window
16:18:08 <yakamo> yeah the only other game i play is minecraft and thats totally fine with bing in a window
16:33:36 → al_ joins (~al@2607:fea8:4d60:66f0:c176:78cf:b4c9:5eef)
16:35:19 × al_ quits (~al@2607:fea8:4d60:66f0:c176:78cf:b4c9:5eef) (Client Quit)
17:02:23 → mohab joins (~mohab@156.223.213.178)
17:16:15 ← yakamo parts (~yakamo@yakamok.art) ()
17:38:37 → ChubaDuba joins (~ChubaDuba@176.212.33.22)
18:04:49 × notis quits (~notis@85.203.44.245) (Ping timeout: 252 seconds)
18:31:50 → eb0t joins (~eblip@unaffiliated/eblip)
18:33:33 × def_jam quits (~eblip@unaffiliated/eblip) (Ping timeout: 240 seconds)
19:03:44 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:dcc7:3c52:3009:4cfd) (Ping timeout: 245 seconds)
19:16:34 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:7767:3034:663c:8014)
19:23:23 → tv1 joins (~tv@unaffiliated/tv)
19:23:38 × tv1 quits (~tv@unaffiliated/tv) (Client Quit)
19:31:24 <Ristovski> Does xmonad implement (maybe in contrib?) a way to have multiple sets of 1-9 workspaces?
19:33:54 <Ristovski> seems like something from DynamicProjects would do the job perhaps
19:38:37 <geekosaur> XMonad.Actions.Plane, maybe?
19:39:20 <geekosaur> otherwise you can expand it fairly easily although you have to set up the keybindings yourself
19:59:53 <Ristovski> geekosaur: Ok I thought DynamicProjects would be what I want, but it's not. I thought switching to a project would basically "replace" everything with a clean slate, and all actions etc would be carried out in the project (so it would have only 1 workspace if you switched into an empty project, etc)
20:00:08 <Ristovski> Which is what I am looking for :P
20:02:18 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
20:04:41 × ChubaDuba quits (~ChubaDuba@176.212.33.22) (Quit: WeeChat 1.6)
20:06:58 <Ristovski> hmm, XMonad.Actions.Workscreen perhaps
20:12:00 → notis joins (~notis@85.203.44.98)
20:26:37 → a6a45081-2b83 joins (~aditya@122.163.149.247)
20:34:09 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
20:55:21 × notis quits (~notis@85.203.44.98) (Ping timeout: 265 seconds)
21:00:44 → notis joins (~notis@185.51.134.230)
21:09:11 × notis quits (~notis@185.51.134.230) (Ping timeout: 240 seconds)
21:11:09 → notis joins (~notis@85.203.44.245)
21:12:55 × mohab quits (~mohab@156.223.213.178) (Ping timeout: 252 seconds)
21:16:33 → benin joins (~benin@183.82.177.199)
21:32:59 → mohab joins (~mohab@156.223.213.178)
21:33:14 × mohab quits (~mohab@156.223.213.178) (Read error: Connection reset by peer)
21:33:31 → mohab joins (~mohab@156.223.213.178)
21:44:42 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds))
21:45:26 → geekosaur joins (45870322@069-135-003-034.biz.spectrum.com)
22:00:42 → davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net)
22:03:51 ← davemq parts (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)")
22:04:09 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds)
22:05:06 × seschwar quits (~seschwar@unaffiliated/seschwar) (Ping timeout: 268 seconds)
22:07:05 × kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1)
22:08:15 → kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de)
22:19:04 × kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1)
22:39:11 × notis quits (~notis@85.203.44.245) (Ping timeout: 240 seconds)
23:26:33 × sibi quits (psibimatri@gateway/shell/matrix.org/x-uovcnjujpumtwdqj) (Ping timeout: 258 seconds)
23:26:33 × Ikosit quits (vherrmanns@gateway/shell/matrix.org/x-hkvwcnrgqussnlnr) (Ping timeout: 258 seconds)
23:27:20 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-xpmdgbjyijdibdlg) (Ping timeout: 258 seconds)
23:46:08 → rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-dyxaspuyjknheyma)
23:47:40 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
23:47:41 → Ikosit joins (vherrmanns@gateway/shell/matrix.org/x-hxsxwbkhnrihwdrm)
23:48:35 → sibi joins (psibimatri@gateway/shell/matrix.org/x-zfctsfocgzqlwbdi)

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