2025/09/10

Newest at the top

2025-09-10 21:10:22 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-09-10 21:10:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 21:07:47 +0200jespada(~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) jespada
2025-09-10 21:07:40 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-09-10 21:06:01 +0200Everything(~Everythin@217.147.163.184) (Quit: leaving)
2025-09-10 21:05:34 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 272 seconds)
2025-09-10 21:02:26 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) (Quit: Leaving.)
2025-09-10 21:02:01 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2025-09-10 21:00:48 +0200caconym747(~caconym@user/caconym) caconym
2025-09-10 21:00:07 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-10 20:58:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-10 20:56:38 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) MelodyOwO
2025-09-10 20:55:22 +0200plitter(~plitter@user/plitter) (Quit: WeeChat 4.4.2)
2025-09-10 20:53:37 +0200fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds)
2025-09-10 20:52:30 +0200ljdarj1ljdarj
2025-09-10 20:52:30 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-09-10 20:51:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 20:49:28 +0200jespada(~jespada@r190-135-93-147.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds)
2025-09-10 20:48:27 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-09-10 20:41:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-10 20:36:58 +0200weary-traveler(~user@user/user363627) user363627
2025-09-10 20:36:10 +0200merijn(~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 +0200dolio(~dolio@130.44.140.168) dolio
2025-09-10 20:25:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-10 20:24:40 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-09-10 20:24:37 +0200dolio(~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in)
2025-09-10 20:24:30 +0200divlamir(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 20:18:13 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-09-10 20:17:14 +0200Everything(~Everythin@217.147.163.184) Everything
2025-09-10 20:14:42 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-10 20:11:46 +0200Everything(~Everythin@178.137.93.79) (Read error: Connection reset by peer)
2025-09-10 20:11:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-10 20:11:10 +0200sord937(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 20:06:13 +0200tromp(~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 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-09-10 19:58:05 +0200EvanR(~EvanR@user/evanr) EvanR
2025-09-10 19:55:50 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 256 seconds)
2025-09-10 19:55:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-10 19:51:11 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-10 19:50:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 19:50:44 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-09-10 19:49:13 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 260 seconds)