Newest at the top
| 2025-02-05 07:42:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:41:16 +0100 | <Axman6> | albet70: I would recommend walking through evaluating it yourself by hand. start with rec [1,2,3,0,4] [] id, expand it to (\ls -> \accum -> \k -> ...) [1,2,3,0,4] [] id, substitute in the arguments, then iterate your definition of mapK |
| 2025-02-05 07:34:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 07:32:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 07:29:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 07:28:27 +0100 | <haskellbridge> | <thirdofmay18081814goya> jackdk: lots of material on this, thanks a lot for the reference! |
| 2025-02-05 07:27:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:24:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-05 07:24:14 +0100 | _ht | (~huub@62.250.52.179) (Remote host closed the connection) |
| 2025-02-05 07:23:32 +0100 | <albet70> | I want accum store the previous computed values and return with k |
| 2025-02-05 07:23:00 +0100 | <albet70> | why this accum is empty in above code |
| 2025-02-05 07:22:46 +0100 | <albet70> | https://paste.tomsmeding.com/lzecPvyN |
| 2025-02-05 07:22:44 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-05 07:19:23 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-05 07:16:59 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-05 07:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 07:12:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:08:57 +0100 | <jackdk> | thirdofmay18081814goya: I don't know the literature but you might want to try looking at categorical presentations of profunctor optics |
| 2025-02-05 07:08:05 +0100 | <albet70> | how to store computed value in iteration compute? |
| 2025-02-05 07:04:54 +0100 | tnt2 | tnt1 |
| 2025-02-05 07:04:54 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-05 07:04:10 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 07:01:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:56:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:47:53 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-02-05 06:46:53 +0100 | xff0x | (~xff0x@2404:7a85:a201:8600:6e59:82a6:334a:c830) (Ping timeout: 252 seconds) |
| 2025-02-05 06:45:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-05 06:45:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:41:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 06:41:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:33:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:26:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:22:13 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-05 06:15:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:11:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:00:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 05:59:02 +0100 | agent314 | (~quassel@79.127.222.205) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-05 05:58:07 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 05:55:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:53:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 05:46:23 +0100 | cuteguest | (~cuteguest@2601:602:482:b20::8c6) (Quit: Client closed) |
| 2025-02-05 05:44:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 05:44:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-05 05:40:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:40:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 05:36:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-05 05:32:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 05:27:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:22:08 +0100 | <haskellbridge> | <thirdofmay18081814goya> what are some good theory-heavy readings on optics/lenses? |
| 2025-02-05 05:15:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |