Logs: liberachat/#haskell
| 2025-09-10 18:17:14 | → | Everything joins (~Everythin@217.147.163.184) |
| 2025-09-10 18:18:13 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-10 18:20:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 18:21:02 | <monochrom> | I would expect lists to be slower when they get very long. |
| 2025-09-10 18:24:30 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-10 18:24:37 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-10 18:24:40 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-10 18:25:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 18:25:41 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-09-10 18:33:45 | <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 18:35:16 | <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 18:35:54 | <monochrom> | (And the code is only run 10 times per year.) |
| 2025-09-10 18:36:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 18:36:58 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-10 18:41:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 18:48:27 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-09-10 18:49:28 | × | jespada quits (~jespada@r190-135-93-147.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-09-10 18:51:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 18:52:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-10 18:52:30 | ljdarj1 | is now known as ljdarj |
| 2025-09-10 18:53:37 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 18:55:22 | × | plitter quits (~plitter@user/plitter) (Quit: WeeChat 4.4.2) |
| 2025-09-10 18:56:38 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-09-10 18:58:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 19:00:07 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-10 19:00:48 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-09-10 19:02:01 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2025-09-10 19:02:26 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-10 19:05:34 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-10 19:06:01 | × | Everything quits (~Everythin@217.147.163.184) (Quit: leaving) |
| 2025-09-10 19:07:40 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-10 19:07:47 | → | jespada joins (~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) |
| 2025-09-10 19:10:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 19:10:22 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-09-10 19:14:05 | <EvanR> | kqr, vector of unboxed int |
| 2025-09-10 19:14:14 | <EvanR> | with space for every kind of card, if it's normal cards |
| 2025-09-10 19:14:26 | <EvanR> | might not work for magic the gathering |
| 2025-09-10 19:14:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 19:17:29 | <__monty__> | Not many card games with regular playing cards where you can have more than one of any given card. |
| 2025-09-10 19:17:41 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-09-10 19:18:08 | <__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 19:21:26 | <monochrom> | Dependently typed UIs are prophesized to solve that problem. >:) |
| 2025-09-10 19:21:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 19:21:59 | <int-e> | monochrom: dependent types solve problems in production by making it impossible to write code ;-) |
| 2025-09-10 19:26:29 | × | remedan quits (~remedan@193-179-60-135.customers.tmcz.cz) (Ping timeout: 244 seconds) |
| 2025-09-10 19:26:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 19:28:19 | → | remedan joins (~remedan@78-80-80-28.customers.tmcz.cz) |
| 2025-09-10 19:36:18 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-10 19:37:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 19:40:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 258 seconds) |
| 2025-09-10 19:41:14 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-10 19:44:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 19:46:10 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-10 19:46:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-10 19:50:09 | <tomsmeding> | kqr: it's a pity you have duplicates, otherwise (there being only 52 distinct cards in a normal deck) you could store a hand as a bitset in a single Int64. :) |
| 2025-09-10 19:51:08 | <tomsmeding> | single CPU instruction for membership test, discarding and hand size! |
| 2025-09-10 19:51:14 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-09-10 19:51:49 | <tomsmeding> | okay maybe 3 instructions or so |
| 2025-09-10 19:55:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 19:58:33 | × | Beowulf quits (florian@gabilgathol.bandrate.org) (Quit: = "") |
| 2025-09-10 19:59:08 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-10 20:00:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 20:00:27 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-10 20:00:58 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 20:07:49 | × | jespada quits (~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) (Ping timeout: 244 seconds) |
| 2025-09-10 20:08:05 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 2025-09-10 20:11:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 20:16:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 20:17:43 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 20:22:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 20:27:07 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-10 20:27:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 20:31:09 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-10 20:38:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 20:40:37 | → | sprotte24 joins (~sprotte24@p5b039f5e.dip0.t-ipconnect.de) |
| 2025-09-10 20:40:40 | <probie> | tomsmeding: it can be a single instruction if you're the one designing the CPU :p |
| 2025-09-10 20:43:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 20:47:09 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-09-10 20:53:00 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 20:53:08 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-10 20:54:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 20:59:05 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-10 20:59:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 21:02:51 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 21:06:03 | × | fp1 quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 21:07:14 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-09-10 21:10:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 21:12:28 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-10 21:14:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 21:25:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 21:27:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-10 21:31:51 | <biberao> | i went to try and install wsl2 do i just install whatever distro diretly |
| 2025-09-10 21:32:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 21:36:34 | <biberao> | i think i understood sorry windows newb :D |
| 2025-09-10 21:36:43 | <biberao> | on wsl btw debian or ubuntu? |
| 2025-09-10 21:37:14 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2025-09-10 21:37:25 | <haskellbridge> | <sm> you don't need wsl to do haskell |
| 2025-09-10 21:37:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) |
| 2025-09-10 21:38:00 | <haskellbridge> | <sm> but, either of those should work fine |
| 2025-09-10 21:39:01 | → | hjj123 joins (~hjj123@178.155.115.231) |
All times are in UTC.