2025/11/11

Newest at the top

2025-11-11 17:50:53 +0100euphores(~SASL_euph@user/euphores) euphores
2025-11-11 17:47:53 +0100Sidney(~Sidney@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed)
2025-11-11 17:45:45 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-11-11 17:44:18 +0100EvanR(~EvanR@user/evanr) EvanR
2025-11-11 17:43:58 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-11-11 17:36:25 +0100ljdarj1ljdarj
2025-11-11 17:36:25 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds)
2025-11-11 17:35:23 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-11 17:35:19 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-11-11 17:35:06 +0100Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-11 17:34:30 +0100Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-11 17:32:33 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-11 17:30:35 +0100comerijn(~merijn@77.242.116.146) merijn
2025-11-11 17:29:32 +0100Lord_of_Life_Lord_of_Life
2025-11-11 17:28:36 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2025-11-11 17:27:28 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-11 17:22:59 +0100spew(~spew@user/spew) (Quit: WeeChat 4.6.3)
2025-11-11 17:15:53 +0100Zemyla(~Zemyla@72.178.108.235) (Ping timeout: 250 seconds)
2025-11-11 17:15:20 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-11 17:15:07 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-11 17:13:57 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-11-11 17:12:24 +0100Zemyla83(~Zemyla@72.178.108.235) Zemyla
2025-11-11 17:07:36 +0100jmcantrell(~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 +0100Zemyla(~Zemyla@72.178.108.235) Zemyla
2025-11-11 17:05:37 +0100Googulator70(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-11 17:05:37 +0100Googulator(~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 +0100tromp(~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d)
2025-11-11 16:57:04 +0100Googulator70(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-11 16:56:44 +0100Googulator70(~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 +0100karenw(~karenw@user/karenw) karenw
2025-11-11 16:42:08 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-11-11 16:41:23 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-11 16:40:17 +0100tromp(~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-11 16:37:50 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-11 16:35:25 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds)
2025-11-11 16:34:12 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-11 16:26:52 +0100ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-11-11 16:23:15 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-11 16:23:00 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-11 16:15:52 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-11 16:15:38 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj