Logs: liberachat/#kmonad
| 2021-07-22 20:23:04 | <Tisoxin> | did you reboot? |
| 2021-07-22 20:23:07 | <Tisoxin> | i think you need to |
| 2021-07-22 20:23:13 | <Tisoxin> | though i'm not sure |
| 2021-07-22 20:23:25 | <Tisoxin> | does `groups` show uinput as well as input? |
| 2021-07-22 20:23:43 | <SomeRandomDude> | groups shows only uinput |
| 2021-07-22 20:23:52 | <Tisoxin> | then you need to reboot |
| 2021-07-22 20:23:59 | <Tisoxin> | or relog |
| 2021-07-22 20:24:03 | <SomeRandomDude> | ok i will be back |
| 2021-07-22 20:24:08 | × | SomeRandomDude quits (~SomeRando@2405:201:5c04:f137:3452:dd96:e675:9a7) (Quit: Client closed) |
| 2021-07-22 20:27:06 | → | SomeRandomDude joins (~SomeRando@2405:201:5c04:f137:3452:dd96:e675:9a7) |
| 2021-07-22 20:27:11 | <SomeRandomDude> | Hey Im Back |
| 2021-07-22 20:27:19 | <SomeRandomDude> | It works now |
| 2021-07-22 20:27:26 | <Tisoxin> | nice |
| 2021-07-22 20:27:31 | <SomeRandomDude> | thanks for helping |
| 2021-07-22 20:27:39 | <SomeRandomDude> | :) |
| 2021-07-22 20:27:45 | <Tisoxin> | np |
| 2021-07-22 20:29:44 | Tisoxin | sighs in Haskell Confusion |
| 2021-07-22 20:31:12 | <Solid> | this does not really seem haskell related |
| 2021-07-22 20:31:29 | <Solid> | (and if the install instructions are wrong please pr a fix :)) |
| 2021-07-22 20:31:31 | <Tisoxin> | yes |
| 2021-07-22 20:32:00 | <Tisoxin> | I think the problem is, that there is, that the systmd file is not actually documented |
| 2021-07-22 20:32:17 | <Solid> | ah I see |
| 2021-07-22 20:32:23 | <Tisoxin> | My haskell confusion is also not rooted in their problem |
| 2021-07-22 20:33:00 | <Tisoxin> | i'm currently reading the typeclassopedia |
| 2021-07-22 20:33:23 | <Tisoxin> | „((.) ($ f) (flip ($)))“ |
| 2021-07-22 20:34:19 | <Solid> | lol |
| 2021-07-22 20:35:51 | <Tisoxin> | the flip ($) is the worst |
| 2021-07-22 20:36:13 | <Tisoxin> | though alone it's still comprehensible |
| 2021-07-22 20:36:19 | <Tisoxin> | but in combination with (.)… |
| 2021-07-22 20:40:50 | <Solid> | x) |
| 2021-07-22 20:40:56 | <Solid> | (&) reads a bit nicer than flip ($) |
| 2021-07-22 20:41:15 | <Solid> | @pointful ((.) ($ f) (flip ($))) |
| 2021-07-22 20:41:15 | <lambdabot> | f |
| 2021-07-22 20:41:21 | × | SomeRandomDude quits (~SomeRando@2405:201:5c04:f137:3452:dd96:e675:9a7) (Quit: Client closed) |
| 2021-07-22 20:41:23 | <Tisoxin> | one could also write ↑ |
| 2021-07-22 20:41:24 | <Solid> | oh that's prety neat |
| 2021-07-22 20:41:28 | <Tisoxin> | :D |
| 2021-07-22 20:42:15 | <Tisoxin> | I tried to prove „pure f <*> x = pure (flip ($)) <*> x <*> pure f“ |
| 2021-07-22 20:43:01 | <Tisoxin> | * `pure f <*> x = pure (flip ($)) <*> x <*> pure f` |
| 2021-07-22 20:44:51 | <Solid> | looks true |
| 2021-07-22 20:45:05 | <Tisoxin> | it is |
| 2021-07-22 20:45:56 | <Tisoxin> | Why did i even use those Applicative laws |
| 2021-07-22 20:45:58 | <Tisoxin> | ._. |
| 2021-07-22 20:46:14 | <Tisoxin> | If i look at it, its pretty obviously true |
| 2021-07-22 20:46:27 | <Solid> | :D |
| 2021-07-22 20:46:54 | <Tisoxin> | well, the more you learn… |
| 2021-07-22 20:47:00 | <Solid> | It may also be easier to look at `pure ($) <*> pure f <*> x` instead of wrapping your head around flip |
| 2021-07-22 20:47:22 | <Solid> | well actually |
| 2021-07-22 20:47:26 | <Tisoxin> | yes, but that was the exercise… |
| 2021-07-22 20:47:37 | <Tisoxin> | * not the exercise |
| 2021-07-22 20:47:46 | <Solid> | let's just do `($) <$> pure f <*> x` to really make it clear |
| 2021-07-22 20:48:40 | <Tisoxin> | or `f <$> x` :> |
| 2021-07-22 20:48:44 | <Solid> | :D |
| 2021-07-22 20:49:21 | <Tisoxin> | sometimes, haskell is great at doing easy things complicated |
| 2021-07-22 20:50:26 | <Tisoxin> | though that particular example wasn't exactly haskells fault |
| 2021-07-22 20:51:19 | <Tisoxin> | But that's just the trade-off from having high abstractions i suppose |
| 2021-07-22 20:52:33 | <Solid> | I mean if you ever see someone trying to define f as ((.) ($ f) (flip ($))) then please slap that person :D |
| 2021-07-22 20:53:16 | <Solid> | but yeah these are just exercises to familiarise you with the laws for these functors |
| 2021-07-22 20:53:32 | <Solid> | don't worry, you'll forget them in a few days :P |
| 2021-07-22 20:53:46 | <Tisoxin> | :] |
| 2021-07-22 20:53:57 | <Tisoxin> | <Solid "I mean if you ever see someone t"> i will, i will |
| 2021-07-22 20:55:07 | Tisoxin | will use somewhere in his next haskell project ((.) ($ f) (flip ($))) instead of f :> |
| 2021-07-22 20:55:30 | <Solid> | x) |
| 2021-07-22 21:08:28 | <Tisoxin> | <Tisoxin "sometimes, haskell is great at d"> on a second thought, that's not really true |
| 2021-07-22 21:08:42 | <Tisoxin> | since the complicated bits are also the abstract ones |
| 2021-07-22 21:10:14 | <Tisoxin> | and abstraction is often intuitive but most of the time hard to understand completely |
| 2021-07-23 02:01:40 | <contrapunctus> | `((.) ($ f) (flip ($)))` funny dialect of Lisp you've got there 😏️ |
| 2021-07-23 06:01:11 | <Solid> | contrapunctus: it may be less obscurely written as ($ f) . (&) |
| 2021-07-23 06:01:20 | <Solid> | then you can also kind of see what's going on |
| 2021-07-23 06:01:59 | <Solid> | Tisoxin: it depends on how "completely" you want to understand the abstraction |
| 2021-07-23 06:02:29 | <Solid> | I think you can fully understand Applicative in a Haskell context without knowing that it's a (lax) monoidal functor |
| 2021-07-23 06:50:50 | <Tisoxin> | i think that as well |
| 2021-07-23 06:55:07 | <Tisoxin> | https://paste.ubuntu.com/p/YkStSMnbC3/ |
| 2021-07-23 06:56:19 | <Tisoxin> | ↑ I think this excerpt from the typeclassopedia explains what I mean |
| 2021-07-23 06:58:11 | <Tisoxin> | (Probably my opinion got heavily influenced by it) |
| 2021-07-23 09:50:18 | <Solid> | ah I see |
| 2021-07-23 09:50:40 | <Solid> | I think this makes it sound a little more mysterious than it is |
| 2021-07-23 09:51:10 | <Solid> | it's not too hard to see that in order to chain effects, you need to be able to lift things in the first place |
| 2021-07-23 09:51:25 | <Solid> | and that for directed chaining you need... to be able to chain at all |
| 2021-07-23 21:15:22 | × | ircbrowse_tom quits (~ircbrowse@static.162.49.55.162.clients.your-server.de) (ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-07-23 21:15:36 | → | ircbrowse_tom_ joins (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2021-07-23 21:15:42 | Server | sets mode +nt |
| 2021-07-24 20:25:44 | → | niemand joins (~niemand@p5796aed9.dip0.t-ipconnect.de) |
| 2021-07-24 20:31:31 | × | niemand quits (~niemand@p5796aed9.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-07-25 01:42:37 | <contrapunctus> | Does Kmonad introduce any latency to typing? |
| 2021-07-25 06:14:12 | <Solid> | I'm not sure anyone has ever measured it for sure, but I haven't noticed any additional latency, even on my crappy laptop |
| 2021-07-25 07:10:34 | <contrapunctus> | Solid: I see...on a related note, do you happen to know your typing speed? 🤔 |
| 2021-07-25 07:11:37 | <Solid> | That depends on the text ;) |
| 2021-07-25 07:11:49 | <Solid> | The last time I did 10fastfingers I think it was around 115wpm |
| 2021-07-25 07:13:14 | <contrapunctus> | 🤯 |
| 2021-07-25 08:24:09 | Tisoxin | just now got 87 wpm with an accuracy of 97.53% |
| 2021-07-25 08:24:51 | <Tisoxin> | That reminds me, that i should configure kmonad once again |
| 2021-07-25 13:14:50 | <Tisoxin> | contrapunctus: What's your speed? |
| 2021-07-25 13:18:47 | <Tisoxin> | @help |
| 2021-07-25 13:18:48 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2021-07-25 13:18:57 | <Tisoxin> | @listmodules |
| 2021-07-25 13:18:57 | <lambdabot> | activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search |
| 2021-07-25 13:18:57 | <lambdabot> | seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where |
| 2021-07-25 13:19:24 | <Tisoxin> | @help karma |
| 2021-07-25 13:19:24 | <lambdabot> | karma <polynick>. Return a person's karma value |
All times are in UTC.