Newest at the top
| 2025-11-11 17:29:32 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-11 17:28:36 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-11-11 17:27:28 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-11 17:22:59 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-11 17:15:53 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-11 17:15:20 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 17:15:07 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 17:13:57 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-11 17:12:24 +0100 | Zemyla83 | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-11 17:07:36 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-11 17:07:15 +0100 | <merijn> | Morj: You can have a look at the reverse state monad and tardis monads to get your mind broken |
| 2025-11-11 17:06:32 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-11 17:05:37 +0100 | Googulator70 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 17:05:37 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 17:03:41 +0100 | <haskellbridge> | <Morj> But I'm pretty sure I've seen a small set of such when I was studying myself. I just lost it now |
| 2025-11-11 17:03:19 +0100 | <haskellbridge> | <Morj> Ok, I guess I'll have to put a mental checknote to start gathering real life problems to create a set of such tasks... |
| 2025-11-11 17:02:21 +0100 | <lucabtz> | ah i see |
| 2025-11-11 17:02:13 +0100 | <haskellbridge> | <Morj> To matrix |
| 2025-11-11 17:02:11 +0100 | <merijn> | lucabtz: matrix |
| 2025-11-11 17:02:03 +0100 | <lucabtz> | what does haskellbridge bridge to? |
| 2025-11-11 17:02:02 +0100 | <merijn> | Morj: I'm not sure if there's any good exercises for that |
| 2025-11-11 16:57:37 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 16:57:04 +0100 | Googulator70 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-11 16:56:44 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 16:54:22 +0100 | <haskellbridge> | <Morj> Thanks to links shared above and some googling, I found some really good exercises, but not really any that utilize lazyness meaningfully. Does anyone have tasks specifically for implementing algorithms using lazy evaluation? |
| 2025-11-11 16:49:13 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-11 16:42:08 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-11 16:41:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 16:40:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-11 16:37:50 +0100 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-11 16:35:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2025-11-11 16:34:12 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 16:26:52 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-11 16:23:15 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-11 16:23:00 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-11 16:15:52 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-11 16:15:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-11 16:15:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-11 16:14:26 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-11 16:14:13 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-11-11 16:08:25 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-11-11 16:07:25 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-11 16:05:50 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-11 16:05:25 +0100 | fp | (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) (Ping timeout: 240 seconds) |
| 2025-11-11 16:03:39 +0100 | <Sidney> | Just found it! Thank you so much |
| 2025-11-11 16:02:56 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-11 16:02:54 +0100 | <merijn> | And one earlier at 1:00: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1693741#trid1693741 |
| 2025-11-11 16:02:39 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-11-11 16:02:19 +0100 | <merijn> | Not sure if that's the one you meant |
| 2025-11-11 16:02:13 +0100 | <merijn> | Incidentally, I do see a question from you at 02:42 |