| 2021-05-18 00:00:29 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:bb87:2466:bc3c:d7f9) (Ping timeout: 250 seconds) |
| 2021-05-18 00:02:26 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-18 00:09:59 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-18 00:12:20 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) |
| 2021-05-18 00:26:44 +0200 | seschwar | (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-05-18 00:45:41 +0200 | notis | (~notis@185.51.134.229) (Ping timeout: 240 seconds) |
| 2021-05-18 00:47:51 +0200 | notis | (~notis@85.203.44.149) |
| 2021-05-18 01:24:43 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-18 01:32:25 +0200 | a6a45081-2b83 | (~aditya@171.76.17.86) |
| 2021-05-18 01:32:25 +0200 | a6a45081-2b83 | (~aditya@171.76.17.86) (Client Quit) |
| 2021-05-18 01:40:19 +0200 | notis | (~notis@85.203.44.149) (Ping timeout: 265 seconds) |
| 2021-05-18 02:00:59 +0200 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-05-18 02:23:02 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-18 02:23:20 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-05-18 02:23:32 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-18 02:23:32 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-05-18 02:47:02 +0200 | kajzer | (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 2021-05-18 03:06:02 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-18 04:42:52 +0200 | a6a45081-2b83 | (~aditya@122.163.207.227) |
| 2021-05-18 04:44:57 +0200 | theDon | (~td@94.134.91.15) (Ping timeout: 265 seconds) |
| 2021-05-18 04:46:43 +0200 | theDon | (~td@muedsl-82-207-238-185.citykom.de) |
| 2021-05-18 04:54:20 +0200 | a6a45081-2b83 | (~aditya@122.163.207.227) (Quit: Konversation terminated!) |
| 2021-05-18 04:56:11 +0200 | a6a45081-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 +0200 | f33f046c-a02e | (~aditya@122.163.149.247) |
| 2021-05-18 05:05:16 +0200 | a6a45081-2b83 | (~aditya@122.163.207.227) (Ping timeout: 260 seconds) |
| 2021-05-18 05:06:32 +0200 | ghormoon_ | (~ghormoon@ghorland.net) |
| 2021-05-18 05:06:39 +0200 | ghormoon | (~ghormoon@ghorland.net) (Ping timeout: 252 seconds) |
| 2021-05-18 05:28:29 +0200 | mohab | (~mohab@156.223.213.178) (Read error: Connection reset by peer) |
| 2021-05-18 05:29:56 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-18 05:40:24 +0200 | mohab | (~mohab@156.223.213.178) (Read error: Connection reset by peer) |
| 2021-05-18 05:40:34 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-18 06:55:26 +0200 | f33f046c-a02e | (~aditya@122.163.149.247) (Remote host closed the connection) |
| 2021-05-18 07:57:43 +0200 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-18 07:58:55 +0200 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-18 08:08:07 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-18 08:11:57 +0200 | CosmosAtlas | (~CosmosAtl@222.94.107.137) (Quit: WeeChat 3.1) |
| 2021-05-18 08:32:18 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-18 08:53:19 +0200 | seschwar | (~seschwar@unaffiliated/seschwar) |
| 2021-05-18 08:55:29 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-18 09:08:26 +0200 | def_jam | (~eblip@unaffiliated/eblip) |
| 2021-05-18 09:09:26 +0200 | eblip | (~eblip@unaffiliated/eblip) (Ping timeout: 240 seconds) |
| 2021-05-18 09:21:46 +0200 | notis | (~notis@85.203.44.186) |
| 2021-05-18 09:24:05 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 260 seconds) |
| 2021-05-18 10:21:10 +0200 | pmj | (~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 +0200 | notis | (~notis@85.203.44.186) (Ping timeout: 265 seconds) |
| 2021-05-18 11:07:19 +0200 | kajzer | (~kajzer@unaffiliated/kajzer) |
| 2021-05-18 11:08:08 +0200 | notis | (~notis@85.203.44.98) |
| 2021-05-18 11:11:25 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-18 11:42:40 +0200 | Irishluck83 | (~Irishluck@unaffiliated/irishluck83) (Ping timeout: 252 seconds) |
| 2021-05-18 11:43:20 +0200 | Irishluck83 | (~Irishluck@149.28.126.73) |
| 2021-05-18 11:43:20 +0200 | Irishluck83 | (~Irishluck@149.28.126.73) (Changing host) |
| 2021-05-18 11:43:20 +0200 | Irishluck83 | (~Irishluck@unaffiliated/irishluck83) |
| 2021-05-18 11:51:47 +0200 | materiyolo | (~materiyol@112.205.57.255) |
| 2021-05-18 11:54:38 +0200 | novas0x2a | (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
| 2021-05-18 11:54:43 +0200 | novas0x2a1 | (~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 +0200 | materiyolo | (~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 +0200 | materiyolo | (~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 +0200 | notis | (~notis@85.203.44.98) (Ping timeout: 240 seconds) |
| 2021-05-18 14:21:51 +0200 | a6a45081-2b83 | (~aditya@122.163.149.247) |
| 2021-05-18 14:30:24 +0200 | a6a45081-2b83 | (~aditya@122.163.149.247) (Remote host closed the connection) |
| 2021-05-18 14:40:13 +0200 | notis | (~notis@85.203.44.245) |
| 2021-05-18 14:45:13 +0200 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-05-18 14:48:22 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 14:55:33 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-18 15:00:56 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 15:23:23 +0200 | arca0[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 +0200 | benin | (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-18 15:37:29 +0200 | arca0[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 +0200 | qudi | (~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 +0200 | qudi | (~qudi@cpc75392-sotn16-2-0-cust240.15-1.cable.virginm.net) |
| 2021-05-18 15:59:51 +0200 | agent13 | (~sam@unaffiliated/sam-d/x-1905598) |
| 2021-05-18 15:59:57 +0200 | styledash7 | (~styledash@157.230.173.136) |
| 2021-05-18 16:00:30 +0200 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-05-18 16:01:14 +0200 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2021-05-18 16:01:30 +0200 | sam_d | (~sam@unaffiliated/sam-d/x-1905598) (Quit: Bye) |
| 2021-05-18 16:01:30 +0200 | styledash | (~styledash@157.230.173.136) (Quit: Ping timeout (120 seconds)) |
| 2021-05-18 16:01:30 +0200 | styledash7 | styledash |
| 2021-05-18 16:01:30 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 240 seconds) |
| 2021-05-18 16:03:51 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-18 16:07:15 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) (Ping timeout: 260 seconds) |
| 2021-05-18 16:10:07 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-18 16:10:26 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 16:11:55 +0200 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-05-18 16:16:37 +0200 | materiyolo | (~materiyol@112.205.57.255) (Quit: WeeChat 3.0.1) |
| 2021-05-18 16:19:25 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:dcc7:3c52:3009:4cfd) |
| 2021-05-18 16:39:04 +0200 | mc47 | (~yecinem@89.246.239.190) |
| 2021-05-18 17:27:31 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-18 18:07:16 +0200 | yakamo | (~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 +0200 | davemq | (~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 +0200 | al_ | (~al@2607:fea8:4d60:66f0:c176:78cf:b4c9:5eef) |
| 2021-05-18 18:35:19 +0200 | al_ | (~al@2607:fea8:4d60:66f0:c176:78cf:b4c9:5eef) (Client Quit) |
| 2021-05-18 19:02:23 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-18 19:16:15 +0200 | yakamo | (~yakamo@yakamok.art) () |
| 2021-05-18 19:38:37 +0200 | ChubaDuba | (~ChubaDuba@176.212.33.22) |
| 2021-05-18 20:04:49 +0200 | notis | (~notis@85.203.44.245) (Ping timeout: 252 seconds) |
| 2021-05-18 20:31:50 +0200 | eb0t | (~eblip@unaffiliated/eblip) |
| 2021-05-18 20:33:33 +0200 | def_jam | (~eblip@unaffiliated/eblip) (Ping timeout: 240 seconds) |
| 2021-05-18 21:03:44 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:dcc7:3c52:3009:4cfd) (Ping timeout: 245 seconds) |
| 2021-05-18 21:16:34 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:7767:3034:663c:8014) |
| 2021-05-18 21:23:23 +0200 | tv1 | (~tv@unaffiliated/tv) |
| 2021-05-18 21:23:38 +0200 | tv1 | (~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 +0200 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-05-18 22:04:41 +0200 | ChubaDuba | (~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 +0200 | notis | (~notis@85.203.44.98) |
| 2021-05-18 22:26:37 +0200 | a6a45081-2b83 | (~aditya@122.163.149.247) |
| 2021-05-18 22:34:09 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-18 22:55:21 +0200 | notis | (~notis@85.203.44.98) (Ping timeout: 265 seconds) |
| 2021-05-18 23:00:44 +0200 | notis | (~notis@185.51.134.230) |
| 2021-05-18 23:09:11 +0200 | notis | (~notis@185.51.134.230) (Ping timeout: 240 seconds) |
| 2021-05-18 23:11:09 +0200 | notis | (~notis@85.203.44.245) |
| 2021-05-18 23:12:55 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-18 23:16:33 +0200 | benin | (~benin@183.82.177.199) |
| 2021-05-18 23:32:59 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-18 23:33:14 +0200 | mohab | (~mohab@156.223.213.178) (Read error: Connection reset by peer) |
| 2021-05-18 23:33:31 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-18 23:44:42 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-18 23:45:26 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |