2025/08/29

Newest at the top

2025-08-30 00:33:04 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-08-30 00:33:04 +0200arandombit(~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a) (Changing host)
2025-08-30 00:33:04 +0200arandombit(~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a)
2025-08-30 00:31:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-30 00:27:11 +0200zarakshR(~Thunderbi@0542a05a.skybroadband.com) zarakshR
2025-08-30 00:27:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-30 00:26:51 +0200zarakshR(~Thunderbi@0542a05a.skybroadband.com) (Quit: zarakshR)
2025-08-30 00:26:14 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2025-08-30 00:23:00 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-08-30 00:22:10 +0200TMA(tma@twin.jikos.cz) TMA
2025-08-30 00:19:05 +0200trickard_trickard
2025-08-30 00:18:13 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-08-30 00:16:33 +0200sw4n(~sw4n@2605:59c0:413f:3110:e59f:e0ff:6b6e:883b)
2025-08-30 00:16:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-30 00:14:34 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 260 seconds)
2025-08-30 00:10:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-30 00:09:19 +0200sw4n(~sw4n@2605:59c0:413f:3110:e59f:e0ff:6b6e:883b) (Ping timeout: 260 seconds)
2025-08-30 00:07:30 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-30 00:06:18 +0200lightspell(~lightspel@dhcp-143-103-27-110.gobrightspeed.net)
2025-08-30 00:05:49 +0200lightspell(~lightspel@50.218.25.218) (Ping timeout: 260 seconds)
2025-08-30 00:02:27 +0200sw4n(~sw4n@2605:59c0:413f:3110:e59f:e0ff:6b6e:883b)
2025-08-30 00:02:06 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-08-30 00:02:01 +0200TMA(tma@twin.jikos.cz) TMA
2025-08-30 00:01:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-08-30 00:01:05 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-08-30 00:00:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-30 00:00:33 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-08-29 23:57:37 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-08-29 23:55:49 +0200tromp(~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-29 23:55:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-29 23:53:08 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-08-29 23:53:08 +0200arandombit(~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a) (Changing host)
2025-08-29 23:53:08 +0200arandombit(~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a)
2025-08-29 23:50:38 +0200 <lightspell> Huh. It actually works when I replace GameRandomHandle with (): https://play.haskell.org/saved/m78Qrr9Y
2025-08-29 23:47:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-29 23:45:59 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::49)
2025-08-29 23:42:50 +0200sw4n(~sw4n@2605:59c0:413f:3110:e59f:e0ff:6b6e:883b) (Ping timeout: 256 seconds)
2025-08-29 23:41:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-29 23:41:23 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-29 23:41:19 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-08-29 23:38:34 +0200 <lightspell> I'm curious why any of that was necesary even after switching to GHC0204. I would have thought the local version would work then.
2025-08-29 23:37:51 +0200lightspell(~lightspel@50.218.25.218)
2025-08-29 23:37:40 +0200lightspell(~lightspel@50.218.25.218) (Quit: lightspell)
2025-08-29 23:37:09 +0200 <lightspell> tomsmeding: I switched to GHC2024, but it's still not working like it is on playground. I'm trying to get the instance FrozenGen you recommended working. I had to enable TypeFamilies, and for some reason on my machine I have to define `overwriteGen` even though on the playground it's `thawGen`. Here's what I did: https://play.haskell.org/saved/bO5hp2ha
2025-08-29 23:37:00 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-29 23:35:57 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-08-29 23:35:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a) (Changing host)
2025-08-29 23:35:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a)
2025-08-29 23:31:48 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 258 seconds)
2025-08-29 23:31:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)