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