Newest at the top
| 2025-02-11 21:46:59 +0100 | <ski> | (i've also had dreams pondering programming or math problems. but those (for me) tend to be more abstract, not like you're in a 3D environment at all) |
| 2025-02-11 21:46:31 +0100 | <EvanR> | memory palace |
| 2025-02-11 21:46:28 +0100 | <mauke> | it doesn't go well |
| 2025-02-11 21:46:25 +0100 | <mauke> | nah, I've tried to read things in dreams (text, diagrams, etc) |
| 2025-02-11 21:46:01 +0100 | <ski> | i've heard some engineers have been able to generate a "real life" model of a design, in front of them, in a lucid dream, being able to move around and view from different angles, adjust and modify things to see how it seems to work out |
| 2025-02-11 21:44:16 +0100 | <haskellbridge> | <Bowuigi> But technically, if you had control over most of your dreams you can learn new stuff. Specially since pattern matching becomes easier. Sounds useful for CT |
| 2025-02-11 21:43:18 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-02-11 21:42:22 +0100 | <haskellbridge> | <Bowuigi> They are kinda just streamed once and gone forever |
| 2025-02-11 21:41:31 +0100 | <mauke> | do dreams live in volatile ram? |
| 2025-02-11 21:41:24 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 2025-02-11 21:41:21 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-02-11 21:41:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-11 21:40:31 +0100 | <haskellbridge> | <Bowuigi> AFAIU we have many dreams per night, but we usually don't remember all of them. Even if we do, they kinda blend into a single story, yet another explanation why dreams can be so weird |
| 2025-02-11 21:39:47 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-02-11 21:39:22 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 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 |