2021/05/18

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