| 2022-04-20 00:03:22 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 250 seconds) |
| 2022-04-20 01:03:24 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 01:05:10 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 01:05:21 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 01:35:41 +0000 | jeeeun1 | (~jeeeun@78.40.148.178) |
| 2022-04-20 01:37:13 +0000 | <abastro[m]> | I wonder of a way to make the declarative combinators more composable.. |
| 2022-04-20 01:37:37 +0000 | jeeeun | (~jeeeun@78.40.148.178) (Quit: Ping timeout (120 seconds)) |
| 2022-04-20 01:37:37 +0000 | koluacik | (~koluacik@165.227.171.188) (Ping timeout: 272 seconds) |
| 2022-04-20 01:37:37 +0000 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2022-04-20 01:37:38 +0000 | Czernobog | (~Czernobog@user/czernobog) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-20 01:37:38 +0000 | rieper|net | (~riepernet@sxbeta1.geo.uni-leipzig.de) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-20 01:37:38 +0000 | Czernobog | (~Czernobog@49.36.107.87) |
| 2022-04-20 01:37:38 +0000 | jeeeun1 | jeeeun |
| 2022-04-20 01:37:39 +0000 | Czernobog | (~Czernobog@49.36.107.87) (Changing host) |
| 2022-04-20 01:37:39 +0000 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-20 01:37:53 +0000 | koluacik | (~koluacik@165.227.171.188) |
| 2022-04-20 01:38:04 +0000 | rieper | (~riepernet@sxbeta1.geo.uni-leipzig.de) |
| 2022-04-20 01:38:25 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 01:39:40 +0000 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2022-04-20 01:41:17 +0000 | koluacik_ | (~koluacik@165.227.171.188) |
| 2022-04-20 01:41:33 +0000 | The_Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-20 01:42:13 +0000 | scardinal | (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | koluacik | (~koluacik@165.227.171.188) (Client Quit) |
| 2022-04-20 01:42:17 +0000 | byorgey | (~byorgey@155.138.238.211) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:45 +0000 | scardinal | (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 2022-04-20 01:42:54 +0000 | Czernobog | (~Czernobog@user/czernobog) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:55 +0000 | The_Czernobog | Czernobog |
| 2022-04-20 01:43:29 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2022-04-20 01:48:32 +0000 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) |
| 2022-04-20 01:57:59 +0000 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-04-20 02:02:19 +0000 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 240 seconds) |
| 2022-04-20 02:07:27 +0000 | ectospasm | (~ectospasm@user/ectospasm) (Ping timeout: 272 seconds) |
| 2022-04-20 02:16:50 +0000 | ectospasm | (~ectospasm@user/ectospasm) |
| 2022-04-20 02:24:37 +0000 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2022-04-20 02:25:53 +0000 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Ping timeout: 256 seconds) |
| 2022-04-20 02:54:23 +0000 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) |
| 2022-04-20 02:55:36 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-20 02:58:23 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 03:22:21 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-20 03:30:29 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-20 03:33:51 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 04:15:27 +0000 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-04-20 04:34:07 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-20 04:36:40 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 04:41:03 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 04:41:14 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 05:23:42 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
| 2022-04-20 05:37:18 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 05:38:40 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 06:02:29 +0000 | <abastro> | Hmm, decoupling taffybar made my config a bit more stable |
| 2022-04-20 06:03:16 +0000 | benin5 | (~benin@106.198.93.9) |
| 2022-04-20 06:05:11 +0000 | benin | (~benin@183.82.204.110) (Ping timeout: 256 seconds) |
| 2022-04-20 06:05:12 +0000 | benin5 | benin |
| 2022-04-20 06:18:37 +0000 | benin4 | (~benin@183.82.204.110) |
| 2022-04-20 06:20:54 +0000 | benin | (~benin@106.198.93.9) (Ping timeout: 276 seconds) |
| 2022-04-20 06:20:54 +0000 | benin4 | benin |
| 2022-04-20 06:41:05 +0000 | <abastro> | TIL invoking `cabal build` after `cabal install` makes next `cabal build` take less time. |
| 2022-04-20 06:42:02 +0000 | <Solid> | presumably cabal install also builds the package before installing it :) |
| 2022-04-20 07:19:05 +0000 | <abastro> | Yep, but cabal install takes longer time if I just want to check if I should re-install stuffs |
| 2022-04-20 07:58:39 +0000 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-04-20 08:14:35 +0000 | <abastro> | What could I use to read a file alike stock `Read` instance reads? |
| 2022-04-20 08:15:16 +0000 | <abastro> | The stock instance is quite cumbersome (No error messages, constrained to String) |
| 2022-04-20 09:00:09 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 276 seconds) |
| 2022-04-20 10:31:28 +0000 | chomwitt | (~chomwitt@2a02:587:dc1b:da00:41cd:5357:91a5:6) |
| 2022-04-20 11:04:50 +0000 | wybpip[m] | (~wybpipmat@2001:470:69fc:105::1:f452) |
| 2022-04-20 11:04:51 +0000 | wybpip[m] | (~wybpipmat@2001:470:69fc:105::1:f452) () |
| 2022-04-20 11:39:11 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Remote host closed the connection) |
| 2022-04-20 12:00:10 +0000 | <geekosaur> | abastro[m], the general recommendation is to ignore Read completely and write a parser |
| 2022-04-20 12:00:25 +0000 | <geekosaur> | parsec/megaparsec and attoparsec are commonly used |
| 2022-04-20 12:01:57 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 12:02:00 +0000 | <geekosaur> | Read's sole advantage is it can be done with stuff in base and restricted to haskell98 |
| 2022-04-20 12:02:10 +0000 | <geekosaur> | but it's a *lousy* parser |
| 2022-04-20 12:07:45 +0000 | <abastro[m]> | It takes time to write a good parser though. |
| 2022-04-20 12:08:05 +0000 | <geekosaur> | well, yes |
| 2022-04-20 12:08:17 +0000 | <geekosaur> | it took time to design Read too though :) |
| 2022-04-20 12:08:33 +0000 | <abastro> | Yep |
| 2022-04-20 12:08:44 +0000 | <geekosaur> | especially since some key parts of modern parsers didn't exist back then (Applicative and Alternative) |
| 2022-04-20 12:09:14 +0000 | <abastro> | I mean, want out-of-the box solution |
| 2022-04-20 12:09:18 +0000 | <abastro> | I want* |
| 2022-04-20 12:13:30 +0000 | <tdammers> | another problem with the format Show/Read use is that it's not actually properly specified |
| 2022-04-20 12:14:28 +0000 | <tdammers> | the entire specification is pretty much "as close to valid Haskell syntax as you can reasonably make it", but more than enough instances produce something that isn't valid Haskell code to make even this bit of specification practically useless |
| 2022-04-20 12:15:05 +0000 | <tdammers> | this is fine for the use case that Show and Read were intended for (casual debugging), but it's a bad choice if you need anything more robust than that |
| 2022-04-20 12:15:10 +0000 | <abastro> | I find the syntax great-looking personally |
| 2022-04-20 12:15:25 +0000 | <tdammers> | of course, but that's not the point |
| 2022-04-20 12:15:30 +0000 | <abastro> | So I wanted something which replicates some of its behavior with more advanced tools |
| 2022-04-20 12:15:34 +0000 | <tdammers> | the point is that it's not fully defined |
| 2022-04-20 12:16:05 +0000 | <abastro> | Yep, I'd like some specialized solution which is better defined, but sufficiently similar with `Read` instance |
| 2022-04-20 12:35:27 +0000 | <abastro[m]> | I guess I could use JSON & Aeson, but I think aeson would carry quite a bit of dependency baggage |
| 2022-04-20 13:00:01 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-04-20 13:04:13 +0000 | ArshiaAghaei[m] | (~arshiaagh@2001:470:69fc:105::1:c382) (Ping timeout: 240 seconds) |
| 2022-04-20 13:04:25 +0000 | ArshiaAghaei[m] | (~arshiaagh@2001:470:69fc:105::1:c382) |
| 2022-04-20 13:04:33 +0000 | <abastro> | Perhaps it would not take much effort to implement one myself, let me see. |
| 2022-04-20 14:20:55 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-20 14:53:57 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 15:00:35 +0000 | <Solid> | there are leaner JSON libraries than aeson out there if that's all that's holding you back from using it |
| 2022-04-20 15:14:51 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-20 15:17:15 +0000 | <abastro[m]> | Hmm |
| 2022-04-20 15:17:41 +0000 | <abastro[m]> | I mean I think haskell syntax is nice but that might just be my bias |
| 2022-04-20 15:18:35 +0000 | <abastro[m]> | Is JSON config file desirable |
| 2022-04-20 15:32:55 +0000 | <abastro[m]> | Yea aeson dependency footprint is too huge, as well |
| 2022-04-20 15:49:53 +0000 | Czernobog | (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-20 15:50:58 +0000 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-20 15:59:18 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8) |
| 2022-04-20 15:59:30 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-04-20 16:00:12 +0000 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-04-20 16:01:27 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-04-20 17:01:03 +0000 | <geekosaur> | we don't often care about dependencies given cabal/stack manages them for us |
| 2022-04-20 17:01:16 +0000 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) |
| 2022-04-20 17:02:37 +0000 | <abhixec> | is there a way to make toggleFloatallnew for just the workspace i toggle on? |
| 2022-04-20 17:06:48 +0000 | <geekosaur> | not easily |
| 2022-04-20 17:07:39 +0000 | <abhixec> | ok thanks! |
| 2022-04-20 17:08:11 +0000 | <geekosaur> | you would have to write your own version of toggleFloatAllNew that recorded the current workspace, and a version of floatNextHook that compared it against XMonad.Hooks.ManageHelpers.currentWs |
| 2022-04-20 17:19:45 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-04-20 17:35:09 +0000 | Czernobog | (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-20 17:36:22 +0000 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-20 17:43:55 +0000 | werneta | (~werneta@137.79.201.225) |
| 2022-04-20 17:50:01 +0000 | jeeeun | (~jeeeun@78.40.148.178) (Remote host closed the connection) |
| 2022-04-20 17:51:20 +0000 | jeeeun | (~jeeeun@78.40.148.178) |
| 2022-04-20 18:02:19 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 240 seconds) |
| 2022-04-20 18:05:54 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 18:29:23 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2022-04-20 18:31:39 +0000 | ge59wox[m] | (~ge59woxtu@2001:470:69fc:105::1:fdcf) |
| 2022-04-20 18:35:56 +0000 | lulu_hu | (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) |
| 2022-04-20 18:37:07 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2022-04-20 18:37:53 +0000 | <lulu_hu> | hi guys, I wanted to ask whether "keys = myKeys <+> keys def" in my config and " |
| 2022-04-20 18:37:53 +0000 | <lulu_hu> | myKeys conf@(XConfig {XMonad.modMask = modm}) = M.fromList [ ] |
| 2022-04-20 18:38:29 +0000 | <lulu_hu> | ((modm, xK_y), scratchpadSpawnAction conf) is sufficiet for adding a scratchpad (sorry for the bad formatting, first time usisng an irc). |
| 2022-04-20 18:40:29 +0000 | <geekosaur> | the keys and spawn action part has tobeinside the list |
| 2022-04-20 18:40:58 +0000 | <geekosaur> | although these days we recommend additionalKeysP instead of manipulating keys like that directly |
| 2022-04-20 18:42:15 +0000 | Natch | (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 18:57:08 +0000 | lulu_hu | (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) (Remote host closed the connection) |
| 2022-04-20 18:57:34 +0000 | lulu_hu | (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) |
| 2022-04-20 19:00:28 +0000 | lulu_hu | (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) (Remote host closed the connection) |
| 2022-04-20 19:10:12 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds) |
| 2022-04-20 19:16:15 +0000 | <geekosaur> | hrm |
| 2022-04-20 19:16:48 +0000 | <geekosaur> | looked over the code, it seems to do the right thing. anyone else override the fontName for tabbed? does it work for you? |
| 2022-04-20 19:17:12 +0000 | <geekosaur> | (it's not the font that is wrong, I use the same font with Prompt and it works fine) |
| 2022-04-20 19:23:21 +0000 | lulu_hu | (~user@ip4d15b30c.dynamic.kabel-deutschland.de) |
| 2022-04-20 19:30:00 +0000 | Natch | (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 276 seconds) |
| 2022-04-20 19:31:44 +0000 | lulu_hu | (~user@ip4d15b30c.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-04-20 19:32:54 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 19:40:56 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 20:19:31 +0000 | Forkk | (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-20 20:40:36 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds) |
| 2022-04-20 21:41:19 +0000 | werneta | (~werneta@137.79.201.225) (Ping timeout: 256 seconds) |
| 2022-04-20 21:46:57 +0000 | werneta | (~werneta@137.79.218.82) |
| 2022-04-20 21:48:41 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-20 22:00:01 +0000 | abiss27 | (~abiss27@user/abiss) |
| 2022-04-20 22:02:06 +0000 | werneta | (~werneta@137.79.218.82) (Ping timeout: 276 seconds) |
| 2022-04-20 22:08:30 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 22:15:39 +0000 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds) |
| 2022-04-20 22:42:33 +0000 | ge59wox[m] | LukasLuluHu[m] |
| 2022-04-20 22:56:37 +0000 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-04-20 23:09:22 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-20 23:11:12 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-20 23:25:10 +0000 | Czernobog | (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-20 23:25:25 +0000 | thonoht[m] | (~thonohtma@2001:470:69fc:105::d7be) (Ping timeout: 240 seconds) |
| 2022-04-20 23:25:44 +0000 | thonoht[m] | (~thonohtma@2001:470:69fc:105::d7be) |
| 2022-04-20 23:25:51 +0000 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-20 23:26:13 +0000 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) (Ping timeout: 240 seconds) |
| 2022-04-20 23:28:50 +0000 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) |
| 2022-04-20 23:34:55 +0000 | Czernobog | (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-20 23:35:59 +0000 | Czernobog | (~Czernobog@user/czernobog) |