2025/09/20

Newest at the top

2025-09-20 13:14:33 +0200Axman7217(~Axman6@user/axman6) (Ping timeout: 264 seconds)
2025-09-20 13:12:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 13:12:13 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-20 13:12:08 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds)
2025-09-20 13:10:48 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-20 13:09:21 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-20 13:09:14 +0200Jackneill(~Jackneill@94-21-227-192.pool.digikabel.hu) (Ping timeout: 260 seconds)
2025-09-20 13:08:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 13:06:36 +0200Jackneill_(~Jackneill@91-83-15-174.pool.digikabel.hu)
2025-09-20 13:02:03 +0200caconym74787(~caconym@user/caconym) caconym
2025-09-20 13:00:04 +0200caconym74787(~caconym@user/caconym) (Quit: bye)
2025-09-20 12:46:13 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) MelodyOwO
2025-09-20 12:41:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 12:37:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 12:30:27 +0200Miroboru(~myrvoll@84.214.174.128) Miroboru
2025-09-20 12:29:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 12:22:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 12:21:54 +0200tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 12:19:11 +0200qqe(~qqq@185.54.23.100) (Remote host closed the connection)
2025-09-20 12:17:19 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-09-20 12:12:18 +0200Square2(~Square@user/square) Square
2025-09-20 12:11:53 +0200Square2(~Square@user/square) (Remote host closed the connection)
2025-09-20 12:11:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 12:07:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 12:00:43 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-20 12:00:24 +0200__monty__(~toonn@user/toonn) toonn
2025-09-20 11:59:43 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-20 11:56:54 +0200fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2025-09-20 11:56:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 11:55:31 +0200puke(~puke@user/puke) puke
2025-09-20 11:55:11 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2025-09-20 11:54:03 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-09-20 11:51:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 11:51:39 +0200fgarcia(~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 +0200fgarcia(~lei@user/fgarcia) fgarcia