Newest at the top
| 2025-02-11 21:38:55 +0100 | <haskellbridge> | <Bowuigi> You would need to dream about this new topic AND remember your dream later |
| 2025-02-11 21:38:47 +0100 | <EvanR> | that's what I was getting at |
| 2025-02-11 21:38:29 +0100 | <haskellbridge> | <Bowuigi> Learning stuff while sleeping is likely possible, but so hard it's not worth it |
| 2025-02-11 21:37:19 +0100 | <haskellbridge> | <Bowuigi> EvanR Sleeping already mutates the physical structure of your brain, that's why we sleep |
| 2025-02-11 21:36:55 +0100 | jespada | (~jespada@2800:a4:2230:3e00:3974:82a3:7f20:1404) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-11 21:36:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 21:36:40 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2025-02-11 21:36:10 +0100 | <haskellbridge> | <sm> play haskell videos in the background... |
| 2025-02-11 21:36:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-11 21:35:46 +0100 | <haskellbridge> | <sm> @Digit: skim #haskell IRC/matrix chats in idle moments, it’s not exactly sleeping but you can pick up a lot over time |
| 2025-02-11 21:34:32 +0100 | <mauke> | knowledge is costrength |
| 2025-02-11 21:34:09 +0100 | <monochrom> | Learning is Unlearning. Ignorance is Strength. Great. >:) |
| 2025-02-11 21:33:43 +0100 | <EvanR> | which is handy if you already learned C++ before trying to learn haskell |
| 2025-02-11 21:33:24 +0100 | <EvanR> | or unlearning |
| 2025-02-11 21:33:05 +0100 | <monochrom> | Then does brain surgery count as learning, too? >:) |
| 2025-02-11 21:32:41 +0100 | <EvanR> | then yes |
| 2025-02-11 21:32:29 +0100 | <EvanR> | is it a mutation in the physical structure of the brain |
| 2025-02-11 21:32:11 +0100 | <EvanR> | what counts as learning |
| 2025-02-11 21:31:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 21:31:42 +0100 | <monochrom> | Can you learn anything at all while you sleep? |
| 2025-02-11 21:29:24 +0100 | <Digit> | ooh, now you're onto something. could hypnotise myself in my sleep to stop being so lazy and self sabotaging around my Haskell aspirations. |
| 2025-02-11 21:28:37 +0100 | <EvanR> | maybe that's enough |
| 2025-02-11 21:28:28 +0100 | <EvanR> | maybe subliminal messaging to convince yourself you know haskell |
| 2025-02-11 21:27:44 +0100 | <mauke> | doubt it |
| 2025-02-11 21:26:50 +0100 | <Digit> | 20 years since i first got interested in Haskell. i should probably learn how to use it. is there a "learn Haskell while you sleep"? or anything that can be repurposed for such. ... do you think that's even possible? can Haskell be learned in our sleep? |
| 2025-02-11 21:26:35 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2025-02-11 21:26:17 +0100 | <justsomeguy> | My battery is about to die! I'm going to experiment with this more. |
| 2025-02-11 21:25:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-11 21:24:08 +0100 | <mauke> | (or rather, Reader is a newtype wrapper around (->)) |
| 2025-02-11 21:24:00 +0100 | <mauke> | if you're familiar with the Reader monad, (->) is the same thing |
| 2025-02-11 21:22:58 +0100 | <mauke> | which is why you can partially apply a type constructor like (->) and make a Functor instance for it |
| 2025-02-11 21:22:04 +0100 | <mauke> | perhaps non-obvious: you can curry type applications |
| 2025-02-11 21:22:03 +0100 | <monochrom> | BTW [a] = [] a |
| 2025-02-11 21:21:58 +0100 | <justsomeguy> | (By the way, I'm on 7% batter right now.) |
| 2025-02-11 21:21:49 +0100 | <mauke> | a -> b = (->) a b = ((->) a) b |
| 2025-02-11 21:21:47 +0100 | <monochrom> | Precisely why all of the above is correct. |
| 2025-02-11 21:21:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 21:21:29 +0100 | <mauke> | yes |
| 2025-02-11 21:21:21 +0100 | <monochrom> | All true. |
| 2025-02-11 21:21:12 +0100 | <justsomeguy> | I'm not sure. Isn't (->) the type of a function, and e is the type of its first argument? |
| 2025-02-11 21:21:01 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-11 21:20:07 +0100 | <mauke> | for example, do you know what (->) e means as a type? |
| 2025-02-11 21:19:56 +0100 | <mauke> | what's the first thing that makes no sense? |
| 2025-02-11 21:19:54 +0100 | <monochrom> | Write your own Functor instance for (->)e, and discover that its fmap is exactly (.) |
| 2025-02-11 21:19:50 +0100 | <mauke> | it wasn't very thoughtful :-) |
| 2025-02-11 21:19:17 +0100 | <justsomeguy> | Honestly, I wish I could say that I understood your thoughtful explanation, but I'm so confused. |
| 2025-02-11 21:15:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-02-11 21:14:23 +0100 | <mauke> | = (a -> b) -> (e -> a) -> (e -> b) |
| 2025-02-11 21:14:01 +0100 | <mauke> | let f = ((->) e) in (a -> b) -> f a -> f b ==> (a -> b) -> (->) e a -> (->) e b |
| 2025-02-11 21:12:57 +0100 | pavonia | (~user@user/siracusa) siracusa |