Newest at the top
2025-09-10 21:21:59 +0200 | <int-e> | monochrom: dependent types solve problems in production by making it impossible to write code ;-) |
2025-09-10 21:21:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-10 21:21:26 +0200 | <monochrom> | Dependently typed UIs are prophesized to solve that problem. >:) |
2025-09-10 21:18:08 +0200 | <__monty__> | I wonder more about the case where you can try playing a card you don't have. Why does the UI even allow that? |
2025-09-10 21:17:41 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-09-10 21:17:29 +0200 | <__monty__> | Not many card games with regular playing cards where you can have more than one of any given card. |
2025-09-10 21:14:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-10 21:14:26 +0200 | <EvanR> | might not work for magic the gathering |
2025-09-10 21:14:14 +0200 | <EvanR> | with space for every kind of card, if it's normal cards |
2025-09-10 21:14:05 +0200 | <EvanR> | kqr, vector of unboxed int |
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 |