Newest at the top
| 2026-05-22 22:30:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-22 22:27:42 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-22 22:27:31 +0000 | <jaror> | This has only 1 extra word of overhead, so you could use it in a similar way as those types if you don't need the mathy linear API |
| 2026-05-22 22:27:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-22 22:24:21 +0000 | <EvanR> | definitely a different API though |
| 2026-05-22 22:24:07 +0000 | jreicher | (~joelr@user/jreicher) (Server closed connection) |
| 2026-05-22 22:23:37 +0000 | <EvanR> | which are just data types with strict fields |
| 2026-05-22 22:23:24 +0000 | <EvanR> | when I think "small vector" I think V1, V2, V3, and V4 from linear |
| 2026-05-22 22:21:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-22 22:16:09 +0000 | PHO` | (~pho@akari.cielonegro.org) PHO` |
| 2026-05-22 22:16:06 +0000 | <jaror> | nevermind the "by default", I don't provide a lazy version in the package |
| 2026-05-22 22:15:41 +0000 | <jaror> | Oh and these are strict by default |
| 2026-05-22 22:15:33 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-05-22 22:15:27 +0000 | <jaror> | Basically: build time, space overhead for small vectors, easy to read implementation. |
| 2026-05-22 22:15:03 +0000 | bramh | (~bramh@user/bramh) bramh |
| 2026-05-22 22:14:52 +0000 | <jaror> | Scroll down a bit to the readme :) |
| 2026-05-22 22:14:52 +0000 | PHO` | (~pho@akari.cielonegro.org) (Ping timeout: 256 seconds) |
| 2026-05-22 22:14:52 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 256 seconds) |
| 2026-05-22 22:14:50 +0000 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 2026-05-22 22:13:49 +0000 | <EvanR> | what exactly is the benefit or difference wrt standard vector |
| 2026-05-22 22:13:28 +0000 | puke | (~puke@014136001187.ctinets.com) |
| 2026-05-22 22:11:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-22 22:09:14 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-22 22:07:15 +0000 | Digitteknohippie | Digit |
| 2026-05-22 22:06:50 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-22 22:03:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-22 21:58:57 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2026-05-22 21:58:35 +0000 | Axman6 | (~Axman6@user/axman6) (Server closed connection) |
| 2026-05-22 21:57:54 +0000 | puke | (~puke@user/puke) (Server closed connection) |
| 2026-05-22 21:57:51 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-22 21:57:02 +0000 | jreicher | (~joelr@user/jreicher) (Server closed connection) |
| 2026-05-22 21:55:22 +0000 | metabulation | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-22 21:53:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-22 21:48:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-22 21:43:07 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-22 21:39:24 +0000 | <jaror> | https://hackage.haskell.org/package/vector-simple-0.1.0.0/candidate |
| 2026-05-22 21:39:22 +0000 | <jaror> | I have now made a package candidate of my simplified vector package based on SmallArray# :) |
| 2026-05-22 21:38:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 276 seconds) |
| 2026-05-22 21:36:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-22 21:35:23 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-22 21:32:33 +0000 | eron | (~eron@143.0.15.19) (Quit: Client closed) |
| 2026-05-22 21:32:23 +0000 | synchromesh | (~john@2406:5a00:247e:1500:29d7:765d:2d71:9db7) synchromesh |
| 2026-05-22 21:32:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-22 21:30:44 +0000 | synchromesh | (~john@2406:5a00:247e:1500:29d7:765d:2d71:9db7) (Read error: Connection reset by peer) |
| 2026-05-22 21:21:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-22 21:16:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-22 21:13:51 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-22 21:09:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-22 21:05:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-22 21:04:56 +0000 | kimiamania408 | (~67ff9c51@user/kimiamania) kimiamania |