Newest at the top
2025-09-20 13:14:33 +0200 | Axman7217 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
2025-09-20 13:12:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-20 13:12:13 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-20 13:12:08 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
2025-09-20 13:10:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-09-20 13:09:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-09-20 13:09:14 +0200 | Jackneill | (~Jackneill@94-21-227-192.pool.digikabel.hu) (Ping timeout: 260 seconds) |
2025-09-20 13:08:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-20 13:06:36 +0200 | Jackneill_ | (~Jackneill@91-83-15-174.pool.digikabel.hu) |
2025-09-20 13:02:03 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
2025-09-20 13:00:04 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
2025-09-20 12:46:13 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
2025-09-20 12:41:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-20 12:37:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-20 12:30:27 +0200 | Miroboru | (~myrvoll@84.214.174.128) Miroboru |
2025-09-20 12:29:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-20 12:22:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-20 12:21:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) |
2025-09-20 12:19:11 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
2025-09-20 12:17:19 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-09-20 12:12:18 +0200 | Square2 | (~Square@user/square) Square |
2025-09-20 12:11:53 +0200 | Square2 | (~Square@user/square) (Remote host closed the connection) |
2025-09-20 12:11:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-20 12:07:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-20 12:00:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-20 12:00:24 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-20 11:59:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-09-20 11:56:54 +0200 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
2025-09-20 11:56:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-20 11:55:31 +0200 | puke | (~puke@user/puke) puke |
2025-09-20 11:55:11 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
2025-09-20 11:54:03 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-09-20 11:51:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-20 11:51:39 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
2025-09-20 11:50:58 +0200 | <tomsmeding> | they behave more intuitively under composition of pull-style functions |
2025-09-20 11:50:44 +0200 | <tomsmeding> | pull arrays are generally more versatile |
2025-09-20 11:50:42 +0200 | <Enrico63> | Now that I'm unemployed, I have plenty of time to discuss stuff, ahah |
2025-09-20 11:50:29 +0200 | <tomsmeding> | relevant: https://hackage-content.haskell.org/package/massiv-1.0.5.0/docs/Data-Massiv-Array.html (the `D` representation is a pull array, represented as effectively (Int, Int -> a); the `DL` representation is a push array) |
2025-09-20 11:50:20 +0200 | <Enrico63> | Thanks for the discussion! :) |
2025-09-20 11:49:48 +0200 | <tomsmeding> | but "not the same" doesn't imply an order of preference |
2025-09-20 11:49:16 +0200 | <tomsmeding> | also, they're just algorithmically not the same |
2025-09-20 11:48:01 +0200 | <tomsmeding> | without picking an arbitrary "base language" of pure operations that you allow |
2025-09-20 11:47:43 +0200 | <tomsmeding> | but I don't think there's a robust way you can argue that one is more pure than the other |
2025-09-20 11:47:22 +0200 | <tomsmeding> | they generalise differently to non-bijective index mapping functions, and they parallelise somewhat differently, especially in the non-bijective case |
2025-09-20 11:46:49 +0200 | <tomsmeding> | I know they feel different, but indeed the point I'm making is that in terms of _purity_, they aren't necessarily so different |
2025-09-20 11:46:48 +0200 | <Enrico63> | yeah, I see |
2025-09-20 11:46:26 +0200 | <tomsmeding> | right |
2025-09-20 11:46:11 +0200 | <tomsmeding> | why do you not split up `listArray` similarly? |
2025-09-20 11:46:05 +0200 | <tomsmeding> | Enrico63: your reasoning why `elems (array (0, n-1) (zip idxs list))` is not pure first splits up `array` in two phases: array allocation and then a bunch of writes |
2025-09-20 11:45:55 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |