Newest at the top
2025-09-10 21:10:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-09-10 21:10:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-10 21:07:47 +0200 | jespada | (~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) jespada |
2025-09-10 21:07:40 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-09-10 21:06:01 +0200 | Everything | (~Everythin@217.147.163.184) (Quit: leaving) |
2025-09-10 21:05:34 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
2025-09-10 21:02:26 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
2025-09-10 21:02:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
2025-09-10 21:00:48 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-10 21:00:07 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-10 20:58:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-10 20:56:38 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
2025-09-10 20:55:22 +0200 | plitter | (~plitter@user/plitter) (Quit: WeeChat 4.4.2) |
2025-09-10 20:53:37 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
2025-09-10 20:52:30 +0200 | ljdarj1 | ljdarj |
2025-09-10 20:52:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
2025-09-10 20:51:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-10 20:49:28 +0200 | jespada | (~jespada@r190-135-93-147.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
2025-09-10 20:48:27 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-10 20:41:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-10 20:36:58 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-10 20:36:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-10 20:35:54 +0200 | <monochrom> | (And the code is only run 10 times per year.) |
2025-09-10 20:35:16 +0200 | <monochrom> | I am also known to simply code up [ (x,y,z) | (x,y) <- list1, (x',z) <- list2, x == x' ] when the lists are merely 200 elements long. :) |
2025-09-10 20:33:45 +0200 | <kqr> | The thing this is storing are hands in a card game, and the players' rarely have more than 15 or so cards – and more commonly around 6 or so. (The query of "get the list except one element" is used when playing a card from the hand.) |
2025-09-10 20:25:41 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-09-10 20:25:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-10 20:24:40 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-09-10 20:24:37 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-09-10 20:24:30 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-09-10 20:21:02 +0200 | <monochrom> | I would expect lists to be slower when they get very long. |
2025-09-10 20:20:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-10 20:18:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-09-10 20:17:14 +0200 | Everything | (~Everythin@217.147.163.184) Everything |
2025-09-10 20:14:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-09-10 20:11:46 +0200 | Everything | (~Everythin@178.137.93.79) (Read error: Connection reset by peer) |
2025-09-10 20:11:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-10 20:11:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-09-10 20:10:33 +0200 | <kqr> | I have converted to MultiSet (which is effectively a strict Map a Int) now, which didn't turn out that great in terms of performance. Slightly slower than lists. (Understandable – the sets have to be rebuilt relatively often and they are very small.) Vectors are the next step! Then if that doesn't work, I'm tempted to encode the element types as integers instead of records of sum type fields. |
2025-09-10 20:06:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-10 20:06:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) |
2025-09-10 20:04:30 +0200 | <dminuoso> | EvanR: Oh that already exists. It's called a blackhole! |
2025-09-10 19:59:43 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-09-10 19:58:05 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-09-10 19:55:50 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
2025-09-10 19:55:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-10 19:51:11 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-10 19:50:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-10 19:50:44 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
2025-09-10 19:49:13 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |