2025/09/10

Newest at the top

2025-09-10 22:27:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-10 22:27:07 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-10 22:22:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 22:17:43 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-10 22:16:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-10 22:11:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 22:08:05 +0200Beowulf(florian@gabilgathol.bandrate.org)
2025-09-10 22:07:49 +0200jespada(~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) (Ping timeout: 244 seconds)
2025-09-10 22:00:58 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-10 22:00:27 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-09-10 22:00:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-10 21:59:08 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-10 21:58:33 +0200Beowulf(florian@gabilgathol.bandrate.org) (Quit: = "")
2025-09-10 21:55:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 21:51:49 +0200 <tomsmeding> okay maybe 3 instructions or so
2025-09-10 21:51:14 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-09-10 21:51:08 +0200 <tomsmeding> single CPU instruction for membership test, discarding and hand size!
2025-09-10 21:50:09 +0200 <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 21:46:29 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-10 21:46:10 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-10 21:44:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-10 21:41:14 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-10 21:40:55 +0200karenw(~karenw@user/karenw) (Ping timeout: 258 seconds)
2025-09-10 21:37:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-10 21:36:18 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-09-10 21:28:19 +0200remedan(~remedan@78-80-80-28.customers.tmcz.cz) remedan
2025-09-10 21:26:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-10 21:26:29 +0200remedan(~remedan@193-179-60-135.customers.tmcz.cz) (Ping timeout: 244 seconds)
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 +0200merijn(~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 +0200fp(~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 +0200merijn(~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 +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